Predicate Expressions::pointsToInt
Import path
import semmle.python.pointsto.PointsTopredicate pointsToInt(ControlFlowNode n, PointsToContext context, ObjectInternal obj, int value)import semmle.python.pointsto.PointsTopredicate pointsToInt(ControlFlowNode n, PointsToContext context, ObjectInternal obj, int value)