Uses of Class
crypto.typestate.SootBasedStateMachineGraph

Packages that use SootBasedStateMachineGraph

Package	Description
crypto.analysis
crypto.extractparameter
crypto.typestate

Uses of SootBasedStateMachineGraph in crypto.analysis

Methods in crypto.analysis that return SootBasedStateMachineGraph

Modifier and Type	Method	Description
SootBasedStateMachineGraph	ClassSpecification.getFSM()

Uses of SootBasedStateMachineGraph in crypto.extractparameter

Constructors in crypto.extractparameter with parameters of type SootBasedStateMachineGraph

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

Uses of SootBasedStateMachineGraph in crypto.typestate

Methods in crypto.typestate that return SootBasedStateMachineGraph

Modifier and Type	Method	Description
abstract SootBasedStateMachineGraph	ExtendedIDEALAnaylsis.getStateMachine()

Constructors in crypto.typestate with parameters of type SootBasedStateMachineGraph

Constructor	Description
FiniteStateMachineToTypestateChangeFunction(SootBasedStateMachineGraph fsm)