Package com.tonic.analysis.simulation.heap

The simulated heap, with allocation sites, points-to queries and escape analysis.

Class Summary

Class	Description
AllocationSite	The identity of one allocation in the program - class, owning method and instruction index - which bounds points-to analysis to one abstract object per NEW instruction.
ConstructorAnalyzer	Analyzes constructor bytecode to extract field assignments.
EscapeAnalyzer	Escape classifier for simulation heap allocation sites, driven by the heap's escape marks and reachability from them.
FieldKey	Identifies a specific field for field-sensitive tracking.
PointsToQuery	Read-only view over a simulated heap answering aliasing, nullness and reachability questions about points-to sets.
SimArray	Immutable abstract state of one allocated array, tracking elements both index-insensitively and per constant index.
SimHeap	Abstract heap of objects, arrays, and static fields keyed by allocation site - mutated in place in MUTABLE mode, copied on every write otherwise.
SimObject	Immutable abstract heap object for one allocation site, holding a set of possible values per field; every mutator returns a new instance.
SimValueBuilder	Builder API for constructing simulated values with field initialization.

Enum Summary

Enum	Description
EscapeAnalyzer.EscapeState	How far an allocation escapes its allocating method.
HeapMode	Configuration for heap behavior during simulation.