Package crypto.extractparameter

Class ExtractParameterAnalysis

java.lang.Object

crypto.extractparameter.ExtractParameterAnalysis

public class ExtractParameterAnalysis
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	ExtractParameterAnalysis.AdditionalBoomerangQuery

Constructor Summary

Constructors

Constructor	Description
ExtractParameterAnalysis(CryptoScanner cryptoScanner, Map<boomerang.jimple.Statement,soot.SootMethod> allCallsOnObject, SootBasedStateMachineGraph fsm)

Method Summary

Modifier and Type	Method	Description
void	addAdditionalBoomerangQuery(ExtractParameterAnalysis.AdditionalBoomerangQuery q, crypto.extractparameter.ExtractParameterAnalysis.QueryListener listener)
void	addQueryAtCallsite(String varNameInSpecification, boomerang.jimple.Statement stmt, int index)
Collection<CallSiteWithParamIndex>	getAllQuerySites()
com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue>	getCollectedValues()
com.google.common.collect.Multimap<CallSiteWithParamIndex,soot.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(CryptoScanner cryptoScanner,
                                Map<boomerang.jimple.Statement,soot.SootMethod> allCallsOnObject,
                                SootBasedStateMachineGraph fsm)

Method Detail

run

public void run()

getCollectedValues

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

getPropagatedTypes

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

getAllQuerySites

public Collection<CallSiteWithParamIndex> getAllQuerySites()

addQueryAtCallsite

public void addQueryAtCallsite(String varNameInSpecification,
                               boomerang.jimple.Statement stmt,
                               int index)

addAdditionalBoomerangQuery

public void addAdditionalBoomerangQuery(ExtractParameterAnalysis.AdditionalBoomerangQuery q,
                                        crypto.extractparameter.ExtractParameterAnalysis.QueryListener listener)