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

Member predicate ControlFlowNode::hasCompletePointsToSet

Check whether this control-flow node has complete points-to information. This would mean that the analysis managed to infer an over approximation of possible values at runtime.

predicate hasCompletePointsToSet()