TraceExtractor (ProGuardCORE)

Type Parameters:: ContentT - The content of the jvm states for the traced analysis. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

public interface TraceExtractor<ContentT extends AbstractState<ContentT>>

This interface contains helper methods for producing witness traces.

Method Summary

Modifier and Type

Method

Description

default Set<List<BamLocationDependentJvmMemoryLocation<ContentT>>>

extractLinearTraces()

Returns a set of linear witness traces.

Collection<BamLocationDependentJvmMemoryLocation<ContentT>>

getEndPoints()

Returns endpoints or the extracted traces.

ProgramLocationDependentReachedSet<JvmMemoryLocationAbstractState<ContentT>>

getTraceReconstructionReachedSet()

Returns the reached set of a trace extracting memory location CPA.

default List<BamLocationDependentJvmMemoryLocation<ContentT>>

removeDuplicateProgramLocations(List<BamLocationDependentJvmMemoryLocation<ContentT>> trace)

default void

traceExtractionIteration(Set<List<BamLocationDependentJvmMemoryLocation<ContentT>>> result, List<BamLocationDependentJvmMemoryLocation<ContentT>> currentTrace)

Method Details
- extractLinearTraces
  
  default Set<List<BamLocationDependentJvmMemoryLocation<ContentT>>> extractLinearTraces()
  
  Returns a set of linear witness traces.
- getEndPoints
  
  Collection<BamLocationDependentJvmMemoryLocation<ContentT>> getEndPoints()
  
  Returns endpoints or the extracted traces. Its output should be used for constructing initial states for memory location CPAs.
- getTraceReconstructionReachedSet
  
  ProgramLocationDependentReachedSet<JvmMemoryLocationAbstractState<ContentT>> getTraceReconstructionReachedSet()
  
  Returns the reached set of a trace extracting memory location CPA.
- traceExtractionIteration
  
  default void traceExtractionIteration(Set<List<BamLocationDependentJvmMemoryLocation<ContentT>>> result, List<BamLocationDependentJvmMemoryLocation<ContentT>> currentTrace)
- removeDuplicateProgramLocations
  
  default List<BamLocationDependentJvmMemoryLocation<ContentT>> removeDuplicateProgramLocations(List<BamLocationDependentJvmMemoryLocation<ContentT>> trace)