B2R2.BinIR.LowUIR

B2R2.BinIR.LowUIR Namespace

Contains the definition of the LowUIR intermediate representation (IR) used in B2R2, which is the main IR used to represent the semantics of instructions in a platform-agnostic way.

Type/Module	Description
AST	Provides a set of functions for constructing LowUIR expressions and statements. Any LowUIR AST construction must be done through the functions in this module.
Expr	Represents a LowUIR expression. You must create Expr/Stmt through the AST module. NEVER directly construct Expr nor Stmt unless you know what you are doing.
Pp	Provides several pretty printer functions for LowUIR.
Stmt	Represents a LowUIR statement. You must create Expr/Stmt through the AST module. NEVER directly construct Expr nor Stmt unless you know what you are doing.
TypeCheck	Provides functions for type checking LowUIR.