Package dk.brics.servletvalidator.flowgraph

Contains the classes needed to represent the flow graph as descriped in [KiMø] section 2.

See:
Description

Interface Summary

Node	A node is a node in a FlowGraph.
NodeVisitor	A node visitor can visit nodes in a visitor pattern allowing easy traversal of the graph

Class Summary

AbstractNode	The abstract node class is a super class of the different nodes in the flowgraph that contains the methods to keep track of sucessors of a node.
AppendNode	Append nodes represent a point the program where something is written to the servlet output stream.
EntryNode	An entry node marks the beginning of a method.
FlowGraph	A reprensentation of a flow graph as defined in [KiMø] section 2.
FlowGraphPrettyPrinter	Pretty prints the flow graph to graphviz dot format
InvokeNode	An invoke node represents a point in the program where a method is invoked.
NopNode	A nop node represents a join point in the program, meaning the target of a goto or a place where the program branches or returns from a method invocation.
ServletValidatorThrowAnalysis	A throw Analysis that is a little less pedantic than the default one

Package dk.brics.servletvalidator.flowgraph Description

Contains the classes needed to represent the flow graph as descriped in [KiMø] section 2. The graph is created using the soot jimple abstraction and the documentation for the classes should be read in this context (i.e. there are no "while" or "for" loops in the program being analysed, only "gotos")