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