search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Integer*::isSingleValue and Pointer::isSingleTarget methods should be renamed to isConstant #106

Closed karelklic closed 11 years ago

karelklic commented 11 years ago

When an abstract domain represents a single value, it is called a "constant" in the literature.