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.

Import path

semmle.python.types.Extensions

Imports

Classes

CustomPointsToFact
CustomPointsToOriginFact
RangeIterationVariableFact

Any variable iterating over range or xrange must be an integer

Aliases