Module IR
Provides classes and predicates for working with an intermediate representation (IR) of Go programs that is used as the foundation of the control flow and data flow graphs.
In the IR, the program is represented as a set of instructions, which correspond to expressions and statements that compute a value or perform an operation (as opposed to providing syntactic structure or type information).
Each instruction is also a control-flow node, but there are control-flow nodes that are not instructions (synthetic entry and exit nodes, as well as no-op skip nodes).
Import path
import semmle.go.controlflow.IRImports
| go | Provides classes for working with Go programs. |
Modules
| IR | Provides predicates and classes for working with IR constructs. |