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

Predicate Expressions::pointsToInt

Import path

import semmle.python.pointsto.PointsTo
predicate pointsToInt(ControlFlowNode n, PointsToContext context, ObjectInternal obj, int value)