Provides classes for working with static single assignment form (SSA).
Import pathimport semmle.go.dataflow.SSA
Provides classes for working with Go programs.
Predicates getASimilarReadNodeGets a read similar to node
, according to the same rules as SsaWithFields.similar()
.
An SSA definition.
SsaExplicitDefinitionAn SSA definition that corresponds to an explicit assignment or other variable definition.
SsaImplicitDefinitionAn SSA definition that does not correspond to an explicit variable definition.
SsaPhiNodeAn SSA phi node, that is, a pseudo-definition for a variable at a point in the flow graph where otherwise two or more definitions for the variable would be visible.
SsaPseudoDefinitionAn SSA definition such as a phi node that has no actual semantics, but simply serves to merge or filter data flow.
SsaSourceVariableA variable that can be SSA converted, that is, a local variable, but not a variable declared in file scope.
SsaVariableAn SSA variable.
SsaVariableCaptureAn SSA definition representing the capturing of an SSA-convertible variable in the closure of a nested function.
SsaWithFieldsAn SSA variable with zero or more fields read from it.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4