This library allows custom extensions to the points-to analysis to incorporate custom domain knowledge into the points-to analysis.
This should be considered an advance feature. Modifying the points-to analysis can cause queries to give strange and misleading results, if not done with care.
WARNING: This module interacts with the internals of points-to analysis and the classes here are more likely to change than the rest of the library.
Internal object API. For use by points-to and testing only.
An extension representing the fact that a variable iterating over range or xrange must be an integer