Package crypto.typestate

Class TypestateAnalysis

java.lang.Object

crypto.typestate.TypestateAnalysis

public abstract class TypestateAnalysis
extends Object

Constructor Summary

Constructors

Constructor	Description
TypestateAnalysis(Collection<CrySLRule> rules)

Method Summary

Modifier and Type	Method	Description
abstract boomerang.scene.CallGraph	callGraph()
abstract boomerang.debugger.Debugger<typestate.TransitionFunction>	debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> idealSeedSolver)
abstract boomerang.scene.DataFlowScope	getDataFlowScope()
Map<ForwardSeedQuery,boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction>>	getResults()
abstract int	getTimeout()
void	runTypestateAnalysis()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypestateAnalysis

public TypestateAnalysis(Collection<CrySLRule> rules)

Method Detail

runTypestateAnalysis

public void runTypestateAnalysis()

getResults

public Map<ForwardSeedQuery,boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction>> getResults()

callGraph

public abstract boomerang.scene.CallGraph callGraph()

getDataFlowScope

public abstract boomerang.scene.DataFlowScope getDataFlowScope()

debugger

public abstract boomerang.debugger.Debugger<typestate.TransitionFunction> debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> idealSeedSolver)

getTimeout

public abstract int getTimeout()