proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintBamCpaRun<OuterAbstractStateT extends AbstractState>

java.lang.Object

proguard.analysis.cpa.defaults.CpaRun<BamCpa<CfaNodeT,CfaEdgeT,SignatureT>,AbstractStateT>

proguard.analysis.cpa.defaults.BamCpaRun<CpaT,OuterAbstractStateT,JvmCfaNode,JvmCfaEdge,MethodSignature>

proguard.analysis.cpa.jvm.util.JvmBamCpaRun<SimpleCpa,TaintAbstractState,OuterAbstractStateT>

proguard.analysis.cpa.jvm.domain.taint.JvmTaintBamCpaRun<OuterAbstractStateT>

public class JvmTaintBamCpaRun<OuterAbstractStateT extends AbstractState>
extends JvmBamCpaRun<SimpleCpa,TaintAbstractState,OuterAbstractStateT>

This run wraps the execution of BAM JvmTaintCpa.

Field Summary

Fields inherited from class proguard.analysis.cpa.jvm.util.JvmBamCpaRun

cfa, heapModel

Fields inherited from class proguard.analysis.cpa.defaults.BamCpaRun

reduceHeap

Fields inherited from class proguard.analysis.cpa.defaults.CpaRun

abortOperator, cpa

Constructor Summary

Constructors

Constructor and Description
JvmTaintBamCpaRun(JvmCfa cfa, java.util.Set<TaintSource> taintSources, MethodSignature mainMethodSignature, int maxCallStackDepth) Create a simple CPA run.
JvmTaintBamCpaRun(JvmCfa cfa, java.util.Set<TaintSource> taintSources, MethodSignature mainMethodSignature, int maxCallStackDepth, HeapModel heapModel, AbortOperator abortOperator, boolean reduceHeap, MapAbstractStateFactory heapNodeMapAbstractStateFactory) Create a CPA run.

Method Summary

Modifier and Type	Method and Description
ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>	createExpandOperator() Returns the expand operator.
SimpleCpa	createIntraproceduralCPA() Returns the intraprocedural CPA.
java.util.Collection<OuterAbstractStateT>	getInitialStates() Returns a collection of initial AbstractStates.
MethodSignature	getMainSignature() Returns the signature of the main procedure.

Methods inherited from class proguard.analysis.cpa.jvm.util.JvmBamCpaRun

createReachedSet, createReduceOperator, getCfa

Methods inherited from class proguard.analysis.cpa.defaults.BamCpaRun

createCache, createRebuildOperator, getCpa, getMaxCallStackDepth

Methods inherited from class proguard.analysis.cpa.defaults.CpaRun

createWaitlist, execute, getAbortOperator

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JvmTaintBamCpaRun

public JvmTaintBamCpaRun(JvmCfa cfa,
                         java.util.Set<TaintSource> taintSources,
                         MethodSignature mainMethodSignature,
                         int maxCallStackDepth)

Create a simple CPA run.

Parameters:

cfa - a CFA

taintSources - a set of taint sources

mainMethodSignature - the signature of the main method

maxCallStackDepth - the maximum depth of the call stack analyzed interprocedurally 0 means intraprocedural analysis < 0 means no maximum depth

JvmTaintBamCpaRun

public JvmTaintBamCpaRun(JvmCfa cfa,
                         java.util.Set<TaintSource> taintSources,
                         MethodSignature mainMethodSignature,
                         int maxCallStackDepth,
                         HeapModel heapModel,
                         AbortOperator abortOperator,
                         boolean reduceHeap,
                         MapAbstractStateFactory heapNodeMapAbstractStateFactory)

Create a CPA run. If reduceHeap is set to false no reduction/expansion is applied to the heap states at call/return sites (this parameter is irrelevant for FORGETFUL heap model).

Parameters:

cfa - a CFA

taintSources - a set of taint sources

mainMethodSignature - the signature of the main method

maxCallStackDepth - the maximum depth of the call stack analyzed interprocedurally 0 means intraprocedural analysis < 0 means no maximum depth

heapModel - a heap model to be used

abortOperator - an abort operator

reduceHeap - whether reduction/expansion of the heap state is performed at call/return sites

heapNodeMapAbstractStateFactory - a map abstract state factory used for constructing the mapping from fields to values

Method Detail

createIntraproceduralCPA

public SimpleCpa createIntraproceduralCPA()

Description copied from class: BamCpaRun

Returns the intraprocedural CPA.

Specified by:

createIntraproceduralCPA in class BamCpaRun<SimpleCpa,OuterAbstractStateT extends AbstractState,JvmCfaNode,JvmCfaEdge,MethodSignature>

createExpandOperator

public ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature> createExpandOperator()

Description copied from class: BamCpaRun

Returns the expand operator.

Specified by:

createExpandOperator in class BamCpaRun<SimpleCpa,OuterAbstractStateT extends AbstractState,JvmCfaNode,JvmCfaEdge,MethodSignature>

getMainSignature

public MethodSignature getMainSignature()

Description copied from class: BamCpaRun

Returns the signature of the main procedure.

Specified by:

getMainSignature in class BamCpaRun<SimpleCpa,OuterAbstractStateT extends AbstractState,JvmCfaNode,JvmCfaEdge,MethodSignature>

getInitialStates

public java.util.Collection<OuterAbstractStateT> getInitialStates()

Description copied from class: CpaRun

Returns a collection of initial AbstractStates.

Specified by:

getInitialStates in class CpaRun<BamCpa<JvmCfaNode,JvmCfaEdge,MethodSignature>,OuterAbstractStateT extends AbstractState>