Predicate Expressions::typeCallPointsTo
Import path
import semmle.python.pointsto.PointsTo
predicate typeCallPointsTo(CallNode call, PointsToContext context, ObjectInternal value, ControlFlowNode origin, ControlFlowNode arg, ObjectInternal argvalue)
import semmle.python.pointsto.PointsTo
predicate typeCallPointsTo(CallNode call, PointsToContext context, ObjectInternal value, ControlFlowNode origin, ControlFlowNode arg, ObjectInternal argvalue)