package

com.pnfsoftware.jeb.core.units.code.asm.decompiler.ast.simulator

Classes

CEnvironment Simulation environment; serves as a proxy to access outside method world. 
CMethodSimulator Pseudo-C method simulator. 
CMethodSimulatorUtils  
CMethodState Stores method state at a given time, with:
  • the concrete value associated to each CIdentifier
  • the concrete return value, if the execution terminated
  • a CMethodState.ControlWord value to select the next instruction to execute
The state also provides an equivalence relationship #isEquivalent(CMethodState), to test if another state might represent the same computation. 
CSimulationLogger Log of a method simulation done by CMethodSimulator

Enums

Exceptions