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`.