Package com.tonic.analysis.execution.state

Concrete interpreter state: the operand stack, the locals and the values they hold.

Class Summary

Class	Description
ConcreteLocals	Fixed-size local variable table of concrete values, with wide values occupying two slots.
ConcreteStack	Fixed-capacity operand stack of concrete values with the JVM dup and swap shuffle operations.
ConcreteValue	An immutable tagged JVM value, storing primitives as raw bits and references as a heap instance.

Enum Summary

Enum	Description
ValueTag	Runtime type of an interpreted value, carrying its JVM slot category.