Module Extensions
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.
Import path
import semmle.python.types.ExtensionsImports
Predicates
Classes
| PointsToExtension | |
| RangeIterationVariableFact | An extension representing the fact that a variable iterating over range or xrange must be an integer |
| ReModulePointToExtension |