Package com.tonic.analysis.simulation.core

Abstract simulation of a method, intra-procedurally or across calls.

Class Summary

Class	Description
InterProceduralEngine	Simulation engine that follows method calls up to a configurable depth, resolving callees from the ClassPool and lifting their bodies to IR on demand.
SimulationContext	Immutable configuration and shared resources for simulation; the with* methods return modified copies.
SimulationContext.Builder	Mutable builder for SimulationContext instances.
SimulationEngine	Main simulation engine for executing abstract interpretation.
SimulationResult	Immutable result of a simulation run.
SimulationResult.Builder	Mutable builder for SimulationResult instances.
SimulationState	Immutable snapshot of stack, locals, heap and position at one point during simulation.
StateSnapshot	An immutable snapshot of simulation state at one instruction.

Enum Summary

Enum	Description
SimulationMode	Defines the granularity of simulation state tracking.