Classes

# Package BinNavi.API.reil.mono

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.