Package crypto.typestate

Class ExtendedIDEALAnaylsis

java.lang.Object

crypto.typestate.ExtendedIDEALAnaylsis

public abstract class ExtendedIDEALAnaylsis
extends Object

Constructor Summary

Constructors

Constructor	Description
ExtendedIDEALAnaylsis()

Method Summary

Modifier and Type	Method	Description
abstract CrySLResultsReporter	analysisListener()
Collection<boomerang.WeightedForwardQuery<typestate.TransitionFunction>>	computeSeeds(soot.SootMethod method)
protected abstract boomerang.debugger.Debugger<typestate.TransitionFunction>	debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> solver)
boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction>	getResults()
abstract SootBasedStateMachineGraph	getStateMachine()
protected abstract boomerang.callgraph.ObservableICFG<soot.Unit,soot.SootMethod>	icfg()
void	log(String string)
Map<boomerang.WeightedForwardQuery<typestate.TransitionFunction>,boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction>>	run()	Only use this method for testing
void	run(boomerang.ForwardQuery query)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExtendedIDEALAnaylsis

public ExtendedIDEALAnaylsis()

Method Detail

getStateMachine

public abstract SootBasedStateMachineGraph getStateMachine()

run

public void run(boomerang.ForwardQuery query)

icfg

protected abstract boomerang.callgraph.ObservableICFG<soot.Unit,soot.SootMethod> icfg()

debugger

protected abstract boomerang.debugger.Debugger<typestate.TransitionFunction> debugger(ideal.IDEALSeedSolver<typestate.TransitionFunction> solver)

log

public void log(String string)

analysisListener

public abstract CrySLResultsReporter analysisListener()

computeSeeds

public Collection<boomerang.WeightedForwardQuery<typestate.TransitionFunction>> computeSeeds(soot.SootMethod method)

run

public Map<boomerang.WeightedForwardQuery<typestate.TransitionFunction>,boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction>> run()

Only use this method for testing

Returns:

map with the forward query

getResults

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