B2R2.BinIR.SSA

B2R2.BinIR.SSA Namespace

Contains the definition of the SSA (Static Single Assignment) IR used in B2R2, which can be translated from LowUIR.

Type/Module	Description
AST	Provides a set of functions for constructing SSA expressions and statements. Any SSA AST construction must be done through the functions in this module.
Expr (Module)	Provides utility functions for SSA expressions.
Expr (Type)	Represents the SSA IR (Static Single Assignment IR) expressions, which are mostly similar to LowUIR expressions.
IStmtPostProcessor	SSA statement post-processor.
JmpType	Represents a jump kind of SSA's Jmp statement.
Stmt (Module)	Provides utility functions for SSA statements.
Stmt (Type)	Represents an SSA statement.
Variable (Module)	Provides utility functions for SSA variables.
Variable (Type)	Represents SSA variables that always have their own identifier.
VariableKind (Module)	Provides utility functions for SSA variable kinds.
VariableKind (Type)	Represents the destination of an assignment statement.