Contains classes of the code analysis framework MonoREIL.
More...
Classes |
| class | DefaultStateVector< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > > |
| | Default state vector that can be used in MonoREIL. More...
|
| class | DownWalker< GraphNode extends IGraphNode< GraphNode > > |
| | Used to walk instruction graphs downwards. More...
|
| interface | IGraphWalker< GraphNode, ObjectType > |
| | Used to walk through lattice graphs. More...
|
| interface | IInfluencingState< LatticeElement extends ILatticeElement< LatticeElement >, ObjectType > |
| | Interface for influencing states. More...
|
| interface | ILattice< LatticeElement extends ILatticeElement< LatticeElement >, ObjectType > |
| | Interface for MonoREIL lattices. More...
|
| interface | ILatticeElement< LatticeElement extends ILatticeElement<?> > |
| | Interface for lattice elements. More...
|
| interface | ILatticeGraph< GraphNode > |
| | Interface for lattice graphs. More...
|
| class | InstructionGraph |
| | Lattice graph class where each node contains one REIL instructions. More...
|
| class | InstructionGraphEdge |
| class | InstructionGraphNode |
| interface | IStateVector< GraphNode, LatticeElement > |
| | Interface for state vectors. More...
|
| interface | ITransformationProvider< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > > |
| | Interface for object that transform lattice elements. More...
|
| class | MonotoneSolver< GraphNode, LatticeElement extends ILatticeElement< LatticeElement >, ObjectType, Lattice extends ILattice< LatticeElement, ObjectType > > |
| | Main class of MonoREIL. More...
|
| class | UpWalker< GraphNode extends IGraphNode< GraphNode > > |
| | Used to walk instruction graphs upwards. More...
|
Detailed Description
The package BinNavi.API.reil.mono contains classes that can be used to access the static code analysis MonoREIL. Using this framework it is possible to write static REIL-based code analysis algorithms.
