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

Predicate Expressions::binaryPointsTo

Import path

import semmle.python.pointsto.PointsTo
predicate binaryPointsTo(BinaryExprNode b, PointsToContext context, ObjectInternal value, ControlFlowNode origin, ControlFlowNode operand, ObjectInternal opvalue)