CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

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.Extensions

Imports

ObjectInternal

Internal object API. For use by points-to and testing only.

python

Predicates

Classes

BottleRoutePointToExtension
PointsToExtension
RangeIterationVariableFact

An extension representing the fact that a variable iterating over range or xrange must be an integer

ReModulePointToExtension