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.CpaRun

abortOperator, cpa

Constructor Summary

Constructors

Constructor and Description
JvmTaintBamCpaRun(JvmCfa cfa, java.util.Set<TaintSource> taintSources, MethodSignature mainMethodSignature, int maxCallStackDepth) Create a CPA run with a forgetful heap model.
JvmTaintBamCpaRun(JvmCfa cfa, java.util.Set<TaintSource> taintSources, MethodSignature mainMethodSignature, int maxCallStackDepth, HeapModel heapModel, AbortOperator abortOperator) 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,
                         HeapModel heapModel,
                         AbortOperator abortOperator)

Create a 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

heapModel - a heap model to be used

abortOperator - an abort operator

JvmTaintBamCpaRun

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

Create a CPA run with a forgetful heap model.

Parameters:

cfa - a CFA

taintSources - a set of taint sources

mainMethodSignature - the signature of the main method

maxCallStackDepth - maximum depth of the call stack analyzed inter-procedurally. 0 means intra-procedural analysis. < 0 means no maximum depth.

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>