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	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.
Pp	Provides the functionality to pretty-print SSA expressions and statements.
Stmt	Represents an SSA statement.
Variable	Represents SSA variables that always have their own identifier.
VariableKind	Represents the destination of an assignment statement.