Package dk.brics.servletvalidator.flowgraph

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

See: Description

Interface Summary

Interface	Description
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
Sharpener

Class Summary

Class	Description
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.
AppendELValueNode
AppendNode	Append nodes represent a point the program where something is written to the servlet output stream.
ChooseSharpener
ControlNode	A special node that can be extended by analysis extensions
EntryNode	An entry node marks the beginning of a method.
ExternalEntryNode
FlowGraph	A reprensentation of a flow graph as defined in [KiM�] section 2.
FlowGraphPrettyPrinter	Pretty prints the flow graph to graphviz dot format
IncludeNode
InvokeNode	An invoke node represents a point in the program where a method is invoked.
MappingState
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.
ReturnNode
ServletValidatorThrowAnalysis	A throw Analysis that is a little less pedantic than the default one
TargetingNode
URLTagSharpener	Improves precision of URL tags in JSTL by hard-coding knowledge about its behavior

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")