proguard.analysis.cpa.util

Class ValueAnalyzer.ValueAnalysisResult

java.lang.Object

proguard.analysis.cpa.util.ValueAnalyzer.ValueAnalysisResult

Enclosing class:

ValueAnalyzer

public static class ValueAnalyzer.ValueAnalysisResult
extends java.lang.Object

Provides results for the analysis.

The results are not intended as just for the last execution of ValueAnalyzer.analyze(MethodSignature), but as a view on the full analysis' cache.

Since the cache at the moment has no capability to remember the last execution, the result will change as the cache changes (i.e., after calling ValueAnalyzer.analyze(MethodSignature) on a new method, old instances of ValueAnalyzer.ValueAnalysisResult will also be updated).

Method Summary

Modifier and Type	Method and Description
ProgramLocationDependentReachedSet<JvmAbstractState<ValueAbstractState>>	getMainMethodReachedSet() Returns the reached states for the entry method of the analysis.
BamCache<ValueAbstractState>	getResultCache() Returns the cache of the analysis.

Methods inherited from class java.lang.Object

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

Method Detail

getResultCache

public BamCache<ValueAbstractState> getResultCache()

Returns the cache of the analysis. NB: the returned cache is updated every time ValueAnalyzer.analyze(MethodSignature) is called.

While initially this is the only way to access the results, direct access to the cache is discouraged as soon as more fine-grained access to the result is available.

getMainMethodReachedSet

public ProgramLocationDependentReachedSet<JvmAbstractState<ValueAbstractState>> getMainMethodReachedSet()

Returns the reached states for the entry method of the analysis.