Package com.tonic.analysis.execution.core

The bytecode interpreter with the context it runs against and the result it returns.

Class Summary

Class	Description
BytecodeContext	Immutable configuration for a bytecode engine: execution mode, heap, resolution services, and execution limits.
BytecodeContext.Builder	Builder for BytecodeContext; a heap manager and class resolver are required.
BytecodeEngine	Interpreter that executes JVM bytecode over an explicit call stack, dispatching each instruction and modeling invocation, field, heap, and exception semantics.
BytecodeResult	Immutable outcome of a bytecode execution: terminal status, return value or exception, and optional statistics.

Enum Summary

Enum	Description
BytecodeResult.Status	Terminal condition of an execution.
ExecutionMode	Strategy for handling method invocations: RECURSIVE executes callees in-engine, DELEGATED stubs them with default values.

Exception Summary

Exception	Description
ExecutionException	Runtime failure during bytecode execution, carrying the frame, pc, and opcode where it occurred.