程序包 proguard.analysis.cpa.util

类 ValueAnalyzer.ValueAnalysisResult

java.lang.Object

proguard.analysis.cpa.util.ValueAnalyzer.ValueAnalysisResult

封闭类:

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

方法概要

修饰符和类型	方法	说明
ProgramLocationDependentReachedSet<JvmAbstractState<ValueAbstractState>>	getMainMethodReachedSet()	Returns the reached states for the entry method of the analysis.
BamCache<ValueAbstractState>	getResultCache()	Returns the cache of the analysis.

从类继承的方法 java.lang.Object

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

方法详细资料

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.