Package crypto.extractparameter

Class ExtractParameterAnalysis

java.lang.Object

crypto.extractparameter.ExtractParameterAnalysis

public class ExtractParameterAnalysis
extends Object

Constructor Summary

Constructors

Constructor	Description
ExtractParameterAnalysis(AnalysisSeedWithSpecification seed)

Method Summary

Modifier and Type	Method	Description
void	addQueryAtCallSite(String varNameInSpecification, boomerang.scene.Statement statement, int index)
Collection<CallSiteWithParamIndex>	getAllQuerySites()
com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue>	getCollectedValues()
com.google.common.collect.Multimap<CallSiteWithParamIndex,boomerang.scene.Type>	getPropagatedTypes()
void	run()

Methods inherited from class java.lang.Object

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

Constructor Detail

ExtractParameterAnalysis

public ExtractParameterAnalysis(AnalysisSeedWithSpecification seed)

Method Detail

run

public void run()

getCollectedValues

public com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> getCollectedValues()

getPropagatedTypes

public com.google.common.collect.Multimap<CallSiteWithParamIndex,boomerang.scene.Type> getPropagatedTypes()

getAllQuerySites

public Collection<CallSiteWithParamIndex> getAllQuerySites()

addQueryAtCallSite

public void addQueryAtCallSite(String varNameInSpecification,
                               boomerang.scene.Statement statement,
                               int index)