Module InterProceduralPointsTo
Import path
import semmle.python.pointsto.PointsTo
Predicates
call | |
callWithContext | |
call_points_to | |
callsite_calls_function |
Holds if the |
callsite_points_to |
Points-to for a variable (possibly) redefined by a call: |
named_argument_transfer |
Holds if the named |
neverReturns |
INTERNAL – Use |
parameter_points_to |
Points-to for parameter. |
positional_argument_points_to |
Holds if the |
scope_entry_value_transfer |
Model the transfer of values at scope-entry points. Transfer from |
selfMethodCall | |
varargs_tuple |
Holds if |