GTIRB
v2.2.0
GrammaTech Intermediate Representation for Binaries: C++ API
|
AuxData | AuxData objects can be attached to the IR or individual Modules to store additional client-specific data in a portable way |
Casting | Node and its subclasses support custom casting machinery that allows for type checking, safer static casting, and safe dynamic casting without needing the overhead of a vtable or RTTI |
Control Flow Graphs (CFGs) | Interprocedural control flow graph, with vertices of type Block |
Symbolic Expressions and Operands | Represent data values or instruction operands which should be intepreted as referring to symbols |