Package crypto.typestate

Class FiniteStateMachineToTypestateChangeFunction

java.lang.Object

typestate.finiteautomata.TypeStateMachineWeightFunctions

crypto.typestate.FiniteStateMachineToTypestateChangeFunction

All Implemented Interfaces:

sync.pds.solver.WeightFunctions<boomerang.jimple.Statement,boomerang.jimple.Val,boomerang.jimple.Statement,typestate.TransitionFunction>

public class FiniteStateMachineToTypestateChangeFunction
extends typestate.finiteautomata.TypeStateMachineWeightFunctions

Field Summary

Fields inherited from class typestate.finiteautomata.TypeStateMachineWeightFunctions

transition

Constructor Summary

Constructors

Constructor	Description
FiniteStateMachineToTypestateChangeFunction(SootBasedStateMachineGraph fsm)

Method Summary

Modifier and Type	Method	Description
Collection<boomerang.WeightedForwardQuery<typestate.TransitionFunction>>	generateSeed(soot.SootMethod method, soot.Unit unit)
protected typestate.finiteautomata.State	initialState()

Methods inherited from class typestate.finiteautomata.TypeStateMachineWeightFunctions

addTransition, callToReturn, generateAtAllocationSiteOf, generateAtConstructor, generateThisAtAnyCallSitesOf, getLeftSideOf, getOne, getSubclassesOf, getZero, initialTransition, normal, pop, push, selectMethodByName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

FiniteStateMachineToTypestateChangeFunction

public FiniteStateMachineToTypestateChangeFunction(SootBasedStateMachineGraph fsm)

Method Detail

generateSeed

public Collection<boomerang.WeightedForwardQuery<typestate.TransitionFunction>> generateSeed(soot.SootMethod method,
                                                                                             soot.Unit unit)

Specified by:

generateSeed in class typestate.finiteautomata.TypeStateMachineWeightFunctions

initialState

protected typestate.finiteautomata.State initialState()

Specified by:

initialState in class typestate.finiteautomata.TypeStateMachineWeightFunctions