Package com.google.security.zynamics.binnavi.API.reil.mono

Contains classes of the code analysis framework MonoREIL. More...

Classes
class	DefaultStateVector< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > >
class	DownWalker< GraphNode extends IGraphNode< GraphNode > >
interface	IGraphWalker< GraphNode, ObjectType >
interface	IInfluencingState< LatticeElement extends ILatticeElement< LatticeElement >, ObjectType >
	Interface for influencing states. More...
interface	ILattice< LatticeElement extends ILatticeElement< LatticeElement >, ObjectType >
interface	ILatticeElement< LatticeElement extends ILatticeElement<?> >
interface	ILatticeGraph< GraphNode >
class	InstructionGraph
class	InstructionGraphEdge
class	InstructionGraphNode
interface	IStateVector< GraphNode, LatticeElement >
interface	ITransformationProvider< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > >
class	MonotoneSolver< GraphNode, LatticeElement extends ILatticeElement< LatticeElement >, ObjectType, Lattice extends ILattice< LatticeElement, ObjectType > >
class	UpWalker< GraphNode extends IGraphNode< GraphNode > >

---

Detailed Description

The package com.google.security.zynamics.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.