Package it.unive.lisa.analysis.traces

Class Summary

Class	Description
Branching	A TraceToken representing the traversal of a if-then-else condition, associated with the branch taken.
ExecutionTrace	An execution trace, made of TraceTokens representing the intraprocedural control-flow instructions that have been traversed up to now.
LoopIteration	A TraceToken representing the traversal of a loop condition at the beginning of a specific iteration.
LoopSummary	A TraceToken representing the traversal of a loop condition, summarizing all possible iterations.
TracePartitioning<A extends it.unive.lisa.analysis.AbstractState<A,H,V,T>,H extends it.unive.lisa.analysis.heap.HeapDomain<H>,V extends it.unive.lisa.analysis.value.ValueDomain<V>,T extends it.unive.lisa.analysis.value.TypeDomain<T>>	The trace partitioning abstract domain that splits execution traces to increase precision of the analysis.
TraceToken	A token of an ExecutionTrace, tracking the traversal of a condition represented by a ProgramPoint.