Predicate Expressions::evaluatesTo
Import path
import semmle.python.pointsto.PointsToboolean evaluatesTo(ControlFlowNode expr, PointsToContext context, ControlFlowNode subexpr, ObjectInternal subvalue)import semmle.python.pointsto.PointsToboolean evaluatesTo(ControlFlowNode expr, PointsToContext context, ControlFlowNode subexpr, ObjectInternal subvalue)