dk.brics.servletvalidator.flowgraph
Class FlowGraph

java.lang.Object
  dk.brics.servletvalidator.flowgraph.FlowGraph

public class FlowGraph
extends Object

A reprensentation of a flow graph as defined in [KiMø] section 2. The elements are append nodes that put data on the output, invoke nodes that call methods, entry nodes that mark the beginning of a method and nop nodes that represent join points in the graph.

Author:

schwarz

Constructor Summary

FlowGraph(List<soot.ValueBox> hotSpots, dk.brics.string.StringAnalysis stringAnalysis)

Method Summary

List<EntryNode>	getEntries()
CodeLocation	getLocation(dk.brics.automaton.Automaton a)

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowGraph

public FlowGraph(List<soot.ValueBox> hotSpots,
                 dk.brics.string.StringAnalysis stringAnalysis)

Method Detail

getEntries

public List<EntryNode> getEntries()

getLocation

public CodeLocation getLocation(dk.brics.automaton.Automaton a)