Implement domain for Integer and Pointer

karelklic / canal

Abstract interpreter for real-world application programs

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

Other

32 stars 2 forks source link

Implement domain for Integer and Pointer #149

Open xbrukner opened 11 years ago

xbrukner commented 11 years ago

As a result of our meeting on Thursday, we decided to create a domain, which would be an union of Pointer and Integer. It will solve trouble with conversion between Pointer and Integer, as well as pointer operations add and sub, which may result in pointer or integer.

xbrukner commented 11 years ago

Our board.