public class JvmTaintMemoryLocationBamCpaRun extends JvmMemoryLocationBamCpaRun<SimpleCpa,TaintAbstractState>
JvmMemoryLocationCpa.thresholdinputCpaRun, inputReachedSet, outputReachedSetabortOperator, cpa| Constructor and Description |
|---|
JvmTaintMemoryLocationBamCpaRun(JvmCfa cfa,
java.util.Set<? extends TaintSource> taintSources,
MethodSignature mainSignature,
int maxCallStackDepth,
HeapModel heapModel,
TaintAbstractState threshold,
java.util.Collection<? extends JvmTaintSink> taintSinks,
AbortOperator abortOperator,
boolean reduceHeap,
MapAbstractStateFactory heapNodeMapAbstractStateFactory)
Create a traced taint CPA run.
|
JvmTaintMemoryLocationBamCpaRun(JvmCfa cfa,
java.util.Set<? extends TaintSource> taintSources,
MethodSignature mainSignature,
int maxCallStackDepth,
TaintAbstractState threshold,
java.util.Collection<? extends JvmTaintSink> taintSinks)
Create a traced taint CPA run with a simple heap and no premature termination.
|
JvmTaintMemoryLocationBamCpaRun(JvmTaintBamCpaRun jvmTaintCpaRun,
TaintAbstractState threshold,
java.util.Collection<? extends JvmTaintSink> taintSinks)
Create a traced taint CPA run.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<BamLocationDependentJvmMemoryLocation<?>> |
getEndPoints()
Returns endpoints or the extracted traces.
|
java.util.List<JvmMemoryLocationAbstractState<?>> |
getInitialStates()
Returns a collection of initial
AbstractStates. |
createReachedSet, createWaitlist, getOutputReachedSetexecute, getInputCpaRungetAbortOperator, getCpaclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitextractLinearTraces, removeDuplicateProgramLocations, traceExtractionIterationpublic JvmTaintMemoryLocationBamCpaRun(JvmTaintBamCpaRun jvmTaintCpaRun, TaintAbstractState threshold, java.util.Collection<? extends JvmTaintSink> taintSinks)
jvmTaintCpaRun - an intraprocedural taint CPA runthreshold - a cut-off thresholdtaintSinks - a collection of taint sinkspublic JvmTaintMemoryLocationBamCpaRun(JvmCfa cfa, java.util.Set<? extends TaintSource> taintSources, MethodSignature mainSignature, int maxCallStackDepth, HeapModel heapModel, TaintAbstractState threshold, java.util.Collection<? extends JvmTaintSink> taintSinks, AbortOperator abortOperator, boolean reduceHeap, MapAbstractStateFactory heapNodeMapAbstractStateFactory)
cfa - a CFAtaintSources - a set of taint sourcesmainSignature - the main signature of the main methodmaxCallStackDepth - the maximum depth of the call stack analyzed interprocedurally.
0 means intraprocedural analysis.
< 0 means no maximum depth.threshold - a cut-off thresholdtaintSinks - a collection of taint sinksabortOperator - an abort operatorreduceHeap - whether reduction/expansion of the heap state is performed at call/return sitesheapNodeMapAbstractStateFactory - a map abstract state factory used for constructing the mapping from fields to valuespublic JvmTaintMemoryLocationBamCpaRun(JvmCfa cfa, java.util.Set<? extends TaintSource> taintSources, MethodSignature mainSignature, int maxCallStackDepth, TaintAbstractState threshold, java.util.Collection<? extends JvmTaintSink> taintSinks)
cfa - a CFAtaintSources - a set of taint sourcesmainSignature - the main signature of the main methodmaxCallStackDepth - maximum depth of the call stack analyzed inter-procedurally.
0 means intra-procedural analysis.
< 0 means no maximum depth.threshold - a cut-off thresholdtaintSinks - a collection of taint sinkspublic java.util.List<JvmMemoryLocationAbstractState<?>> getInitialStates()
CpaRunAbstractStates.getInitialStates in class CpaRun<JvmMemoryLocationCpa<TaintAbstractState>,JvmMemoryLocationAbstractState<?>>public java.util.Collection<BamLocationDependentJvmMemoryLocation<?>> getEndPoints()
TraceExtractor