Public Member Functions | Package Functions

com.google.security.zynamics.binnavi.API.reil.mono.DefaultStateVector< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > > Class Reference

Inheritance diagram for com.google.security.zynamics.binnavi.API.reil.mono.DefaultStateVector< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > >:
com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >

List of all members.

Public Member Functions

boolean hasState (GraphNode node)
void setState (GraphNode node, LatticeElement element)
final int size ()
String toString ()

Package Functions

LatticeElement getState (GraphNode node)

Detailed Description

Used to keep track of the currently known program state during a run of the monotone framework.

Parameters:
<GraphNode> Type of the nodes in the walked graph.
<LatticeElement> Type of the elements in the lattice.

Member Function Documentation

LatticeElement com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.getState ( GraphNode  node  )  [package, inherited]

Returns the state of a given node.

Parameters:
node The node for which the state is returned.
Returns:
The state of a given node.
boolean com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.hasState ( GraphNode  node  )  [inherited]

Checks whether the state vector knows the current state of a given node or not.

Parameters:
node The node to check.
Returns:
True, if the state of the node is known. False, otherwise.
void com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.setState ( GraphNode  node,
LatticeElement  element 
) [inherited]

Updates the state of a graph node.

Parameters:
node The graph node whose state is updated.
element The new state of the graph node.
final int com.google.security.zynamics.binnavi.API.reil.mono.DefaultStateVector< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > >.size (  ) 

Returns the number of entries in the state vector.

Returns:
The number of entries in the state vector.

Implements com.google.security.zynamics.binnavi.API.reil.mono.IStateVector< GraphNode, LatticeElement >.

String com.google.security.zynamics.binnavi.API.reil.mono.DefaultStateVector< GraphNode, LatticeElement extends ILatticeElement< LatticeElement > >.toString (  ) 

Returns a string representation of the state vector.

Returns:
A string representation of the state vector.
Generated on Thu Oct 4 2012 11:26:26 for zynamics BinNavi by  doxygen 1.7.1