ValueAnalyzer.ValueAnalysisResult (ProGuardCORE)

java.lang.Object

proguard.analysis.cpa.util.ValueAnalyzer.ValueAnalysisResult

Enclosing class:: ValueAnalyzer

public static class ValueAnalyzer.ValueAnalysisResult extends 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

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