Serialized Form

Package dk.brics.servletvalidator

Class dk.brics.servletvalidator.CodeLocation extends Object implements Serializable

Serialized Fields

line

int line

file

String file

Package dk.brics.servletvalidator.exceptions

Class dk.brics.servletvalidator.exceptions.AnalysisException extends RuntimeException implements Serializable

Serialized Fields

codeLocation

CodeLocation codeLocation

Class dk.brics.servletvalidator.exceptions.CanGenerateEmptyException extends AnalysisException implements Serializable

Class dk.brics.servletvalidator.exceptions.ConstructionException extends AnalysisException implements Serializable

Serialized Fields

automaton

dk.brics.automaton.Automaton automaton

nonTerminal

NonTerminal nonTerminal

Class dk.brics.servletvalidator.exceptions.EmptyLanguageException extends AnalysisException implements Serializable

Class dk.brics.servletvalidator.exceptions.GrammarNotWellformedException extends AnalysisException implements Serializable

Class dk.brics.servletvalidator.exceptions.LanguageNotBalancedException extends AnalysisException implements Serializable

Class dk.brics.servletvalidator.exceptions.XMLNotWellFormedException extends AnalysisException implements Serializable

Package dk.brics.servletvalidator.flowgraph

Class dk.brics.servletvalidator.flowgraph.AbstractNode extends Object implements Serializable

Serialized Fields

sucessors

Set<E> sucessors

predecessors

Set<E> predecessors

Class dk.brics.servletvalidator.flowgraph.AppendELValueNode extends AppendNode implements Serializable

Serialized Fields

expresssion

String expresssion

Class dk.brics.servletvalidator.flowgraph.AppendNode extends AbstractNode implements Serializable

Serialized Fields

automaton

dk.brics.automaton.Automaton automaton

taint

boolean taint

Class dk.brics.servletvalidator.flowgraph.ControlNode extends AbstractNode implements Serializable

Class dk.brics.servletvalidator.flowgraph.EntryNode extends AbstractNode implements Serializable

Serialized Fields

className

String className

methodName

String methodName

callSites

Set<E> callSites

Class dk.brics.servletvalidator.flowgraph.ExternalEntryNode extends NopNode implements Serializable

Serialized Fields

className

String className

methodName

String methodName

Class dk.brics.servletvalidator.flowgraph.FlowGraph extends Object implements Serializable

Serialized Fields

entries

List<E> entries

The list of entry nodes in the methods of the main class

locations

Map<K,V> locations

extraResults

Map<K,V> extraResults

Class dk.brics.servletvalidator.flowgraph.IncludeNode extends TargetingNode implements Serializable

Serialized Fields

includedServlets

Set<E> includedServlets

Class dk.brics.servletvalidator.flowgraph.InvokeNode extends TargetingNode implements Serializable

Class dk.brics.servletvalidator.flowgraph.NopNode extends AbstractNode implements Serializable

Class dk.brics.servletvalidator.flowgraph.ReturnNode extends AbstractNode implements Serializable

Serialized Fields

entry

EntryNode entry

Class dk.brics.servletvalidator.flowgraph.TargetingNode extends AbstractNode implements Serializable

Serialized Fields

targets

Set<E> targets

Package dk.brics.servletvalidator.tagform

Class dk.brics.servletvalidator.tagform.GrammarAnnotator.FailedToAnnotateException extends AnalysisException implements Serializable