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

Predicate Conditionals::evaluates

Import path

import semmle.python.pointsto.PointsTo
ObjectInternal evaluates(ControlFlowNode expr, ControlFlowNode use, PointsToContext context, ObjectInternal val, ControlFlowNode origin)