Pointer should switch between the numeric and gep offsets

karelklic / canal

Abstract interpreter for real-world application programs

https://github.com/karelklic/canal/wiki

Other

32 stars 2 forks source link

Open karelklic opened 11 years ago

karelklic commented 11 years ago

Required for issue #30.

Offsets should not be used together.

karelklic commented 11 years ago

Probably.