proguard.analysis.cpa.jvm.domain.value

Class JvmValueBamCpaRun

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,JvmAbstractState<ValueAbstractState>,JvmValueAbstractState>

proguard.analysis.cpa.jvm.domain.value.JvmValueBamCpaRun

public class JvmValueBamCpaRun
extends JvmBamCpaRun<SimpleCpa,JvmAbstractState<ValueAbstractState>,JvmValueAbstractState>

This run wraps the execution of BAM JVM Value Analysis CPA (see JvmValueAbstractState).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JvmValueBamCpaRun.Builder
static interface	JvmValueBamCpaRun.TransferRelationFactory

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

Method Summary

Modifier and Type	Method and Description
ExpandOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>	createExpandOperator() Returns the expand operator.
SimpleCpa	createIntraproceduralCPA() Returns the intraprocedural CPA.
protected ReachedSet	createReachedSet() Returns an empty ReachedSet.
ReduceOperator<JvmCfaNode,JvmCfaEdge,MethodSignature>	createReduceOperator() Returns the reduce operator.
protected Waitlist	createWaitlist() Returns an empty Waitlist.
java.util.Collection<JvmValueAbstractState>	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

getCfa

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

createCache, createRebuildOperator, getAnalyzedMethods, getCpa, getMaxCallStackDepth

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

execute, getAbortOperator

Methods inherited from class java.lang.Object

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

Method Detail

createIntraproceduralCPA

public SimpleCpa createIntraproceduralCPA()

Description copied from class: BamCpaRun

Returns the intraprocedural CPA.

Specified by:

createIntraproceduralCPA in class BamCpaRun<SimpleCpa,JvmValueAbstractState,JvmCfaNode,JvmCfaEdge,MethodSignature>

createReduceOperator

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

Description copied from class: BamCpaRun

Returns the reduce operator.

Overrides:

createReduceOperator in class JvmBamCpaRun<SimpleCpa,JvmAbstractState<ValueAbstractState>,JvmValueAbstractState>

createReachedSet

protected ReachedSet createReachedSet()

Description copied from class: CpaRun

Returns an empty ReachedSet.

Overrides:

createReachedSet in class JvmBamCpaRun<SimpleCpa,JvmAbstractState<ValueAbstractState>,JvmValueAbstractState>

createWaitlist

protected Waitlist createWaitlist()

Description copied from class: CpaRun

Returns an empty Waitlist.

Overrides:

createWaitlist in class CpaRun<BamCpa<JvmCfaNode,JvmCfaEdge,MethodSignature>,JvmValueAbstractState>

createExpandOperator

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

Description copied from class: BamCpaRun

Returns the expand operator.

Specified by:

createExpandOperator in class BamCpaRun<SimpleCpa,JvmValueAbstractState,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,JvmValueAbstractState,JvmCfaNode,JvmCfaEdge,MethodSignature>

getInitialStates

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

Description copied from class: CpaRun

Returns a collection of initial AbstractStates.

Specified by:

getInitialStates in class CpaRun<BamCpa<JvmCfaNode,JvmCfaEdge,MethodSignature>,JvmValueAbstractState>