Package com.tonic.analysis.absexec

Abstract execution that builds def-use links by walking every path through a method.

Class Summary

Class	Description
Execution	A path-exploring abstract interpreter over one method's bytecode that builds operand-stack/local def-use (InsnContext/StackCtx/VarCtx) without an abstract value domain.
Frame	One abstract execution path through a method.
InsnContext	Records one execution of one Instruction by the abstract Execution - its operand-stack pops and pushes (with def-use links back to the InsnContext that produced each value) and its local reads.
Stack	The abstract operand stack: a growable array of StackCtx (one logical entry per value; a long/double is a single wide entry).
StackCtx	One operand-stack slot during abstract execution.
VarCtx	One local-variable slot's contents during abstract execution.
Variables	The abstract local-variable table: an array of VarCtx indexed by slot.