Package crypto.typestate

Class TypestateAnalysisScope

java.lang.Object

boomerang.scene.AnalysisScope

crypto.typestate.TypestateAnalysisScope

public class TypestateAnalysisScope
extends boomerang.scene.AnalysisScope

Constructor Summary

Constructors

Constructor	Description
TypestateAnalysisScope(boomerang.scene.CallGraph callGraph, Map<String,RuleTransitions> ruleTransitions, boomerang.scene.DataFlowScope dataFlowScope)

Method Summary

Modifier and Type	Method	Description
protected Collection<? extends boomerang.Query>	generate(boomerang.scene.ControlFlowGraph.Edge stmt)

Methods inherited from class boomerang.scene.AnalysisScope

analyseClassInitializers, computeSeeds, setScanLibraryClasses

Methods inherited from class java.lang.Object

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

Constructor Detail

TypestateAnalysisScope

public TypestateAnalysisScope(boomerang.scene.CallGraph callGraph,
                              Map<String,RuleTransitions> ruleTransitions,
                              boomerang.scene.DataFlowScope dataFlowScope)

Method Detail

generate

protected Collection<? extends boomerang.Query> generate(boomerang.scene.ControlFlowGraph.Edge stmt)

Specified by:

generate in class boomerang.scene.AnalysisScope