Module SsaSource

Import path

import semmle.python.essa.SsaDefinitions

Predicates

argument_refinement	Holds if a `v` is used as an argument to `call`, which may modify the object referred to by `v`
assignment_definition	Holds if `v` is defined by assignment at `defn` and given `value`.
attribute_assignment_refinement	Holds if an attribute is assigned at `def` and `use` is the use of `v` for that assignment
attribute_deletion_refinement	Holds if an attribute is deleted at `def` and `use` is the use of `v` for that deletion
deletion_definition	Holds if `v` is deleted at `del`.
exception_capture	Holds if `v` is defined by assignment of the captured exception.
exception_group_capture	Holds if `v` is defined by assignment of the captured exception group.
import_star_refinement	Holds if the `v` is in scope at a `from import ... *` and may thus be redefined by that statement
init_module_submodule_defn	Holds if the name of `var` refers to a submodule of a package and `f` is the entry point to the init module of that package.
method_call_refinement	Holds if `v` is used as the receiver in a method call.
multi_assignment_definition	Holds if `v` is defined by multiple assignment at `defn`.
parameter_definition	Holds if `v` is a parameter variable and `defn` is the CFG node for that parameter.
pattern_alias_definition	Holds if `v` is defined by as the alias of an as-pattern.
pattern_capture_definition	Holds if `v` is defined by a capture pattern.
test_refinement	Holds if the set of possible values for `v` is refined by `test` and `use` is the use of `v` in that test.
with_definition	Holds if `v` is defined by a with statement.