Package crypto.typestate

Class TypestateFunction

java.lang.Object

typestate.finiteautomata.TypeStateMachineWeightFunctions

crypto.typestate.TypestateFunction

All Implemented Interfaces:

sync.pds.solver.WeightFunctions<boomerang.scene.ControlFlowGraph.Edge,boomerang.scene.Val,boomerang.scene.ControlFlowGraph.Edge,typestate.TransitionFunction>

public class TypestateFunction
extends typestate.finiteautomata.TypeStateMachineWeightFunctions

Field Summary

Fields inherited from class typestate.finiteautomata.TypeStateMachineWeightFunctions

transition

Constructor Summary

Constructors

Constructor	Description
TypestateFunction(Collection<LabeledMatcherTransition> transitions)

Method Summary

Modifier and Type	Method	Description
Collection<boomerang.WeightedForwardQuery<typestate.TransitionFunction>>	generateSeed(boomerang.scene.ControlFlowGraph.Edge stmt)
protected typestate.finiteautomata.State	initialState()

Methods inherited from class typestate.finiteautomata.TypeStateMachineWeightFunctions

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

Methods inherited from class java.lang.Object

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

Constructor Detail

TypestateFunction

public TypestateFunction(Collection<LabeledMatcherTransition> transitions)

Method Detail

generateSeed

public Collection<boomerang.WeightedForwardQuery<typestate.TransitionFunction>> generateSeed(boomerang.scene.ControlFlowGraph.Edge stmt)

Specified by:

generateSeed in class typestate.finiteautomata.TypeStateMachineWeightFunctions

initialState

protected typestate.finiteautomata.State initialState()

Specified by:

initialState in class typestate.finiteautomata.TypeStateMachineWeightFunctions