proguard.analysis.cpa.jvm.util

Class JvmBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends LatticeAbstractState<AbstractStateT>,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<CpaT,AbstractStateT,OuterAbstractStateT>

Direct Known Subclasses:

JvmTaintBamCpaRun, JvmValueBamCpaRun

public abstract class JvmBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends LatticeAbstractState<AbstractStateT>,OuterAbstractStateT extends AbstractState>
extends BamCpaRun<CpaT,OuterAbstractStateT,JvmCfaNode,JvmCfaEdge,MethodSignature>

A JVM instance of BamCpaRun uses a reached set optimized for program location-dependent analysis.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JvmBamCpaRun.Builder A builder for JvmBamCpaRun.

Field Summary

Fields

Modifier and Type	Field and Description
protected JvmCfa	cfa
HeapModel	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

Modifier	Constructor and Description
protected	JvmBamCpaRun(JvmCfa cfa, int maxCallStackDepth) Create a JVM BAM CPA run.
protected	JvmBamCpaRun(JvmCfa cfa, int maxCallStackDepth, HeapModel heapModel, AbortOperator abortOperator, boolean reduceHeap) Create a JVM BAM CPA run.

Method Summary

Modifier and Type	Method and Description
protected ReachedSet	createReachedSet() Returns an empty ReachedSet.
ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>	createReduceOperator() Returns the reduce operator.
JvmCfa	getCfa() Returns the CFA.

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

createCache, createExpandOperator, createIntraproceduralCPA, createRebuildOperator, getAnalyzedMethods, getCpa, getMainSignature, getMaxCallStackDepth

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

createWaitlist, execute, getAbortOperator, getInitialStates

Methods inherited from class java.lang.Object

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

Field Detail

cfa

protected JvmCfa cfa

heapModel

public final HeapModel heapModel

Constructor Detail

JvmBamCpaRun

protected JvmBamCpaRun(JvmCfa cfa,
                       int maxCallStackDepth)

Create a JVM BAM CPA run.

Parameters:

cfa - a CFA

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

JvmBamCpaRun

protected JvmBamCpaRun(JvmCfa cfa,
                       int maxCallStackDepth,
                       HeapModel heapModel,
                       AbortOperator abortOperator,
                       boolean reduceHeap)

Create a JVM BAM CPA run.

Parameters:

cfa - a CFA

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

abortOperator - an abort operator

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

Method Detail

getCfa

public JvmCfa getCfa()

Description copied from class: BamCpaRun

Returns the CFA.

Specified by:

getCfa in class BamCpaRun<CpaT extends ConfigurableProgramAnalysis,OuterAbstractStateT extends AbstractState,JvmCfaNode,JvmCfaEdge,MethodSignature>

createReduceOperator

public ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature> createReduceOperator()

Description copied from class: BamCpaRun

Returns the reduce operator.

Specified by:

createReduceOperator in class BamCpaRun<CpaT extends ConfigurableProgramAnalysis,OuterAbstractStateT extends AbstractState,JvmCfaNode,JvmCfaEdge,MethodSignature>

createReachedSet

protected ReachedSet createReachedSet()

Description copied from class: CpaRun

Returns an empty ReachedSet.

Overrides:

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