Predicate Conditionals::evaluates
Import path
import semmle.python.pointsto.PointsToObjectInternal evaluates(ControlFlowNode expr, ControlFlowNode use, PointsToContext context, ObjectInternal val, ControlFlowNode origin)import semmle.python.pointsto.PointsToObjectInternal evaluates(ControlFlowNode expr, ControlFlowNode use, PointsToContext context, ObjectInternal val, ControlFlowNode origin)