Module PointsTo::PointsTo::Flow

Predicates

callsite_argument_transfer

Holds if the (argument, caller) pair matches up with (param, callee) pair across call.

callsite_calls_function
callsite_exit_value_transfer

Gets the ESSA variable from which def acquires its value, when a call occurs. Helper for callsite_points_to.

module_and_name_for_import_star

Helper for import_star_points_to.

scope_entry_value_transfer

Model the transfer of values at scope-entry points. Transfer from (pred_var, pred_context) to (succ_def, succ_context).

variable_not_redefined_by_import_star

Holds if def is technically a definition of var, but the from ... import * does not in fact define var.