Package com.tonic.analysis.simulation.state

Immutable simulation state: stack, locals, call stack and the values they hold.

Class Summary

Class	Description
CallStackState	Immutable call stack for inter-procedural simulation.
CallStackState.CallFrame	Represents a single frame on the call stack.
LocalState	Immutable representation of local variable slots during simulation.
SimValue	Immutable simulated value carrying its type, defining instruction and, for references, a points-to set and null state; usable as a map key.
StackState	Immutable operand stack snapshot used during simulation.

Enum Summary

Enum	Description
SimValue.NullState	What is known about a reference value's nullness.