dk.brics.servletvalidator.flowgraph
Class AppendNode

java.lang.Object
  dk.brics.servletvalidator.flowgraph.AbstractNode
      dk.brics.servletvalidator.flowgraph.AppendNode

All Implemented Interfaces:

Node

public class AppendNode
extends AbstractNode

Append nodes represent a point the program where something is written to the servlet output stream. The append node contains an Automaton descriping a conservative approximation of the possible values that can be written to the stream at this point in the program. This Automaton is obtained from string analysis by the graph builder.

Author:

schwarz

Constructor Summary

AppendNode()

Method Summary

void	accept(NodeVisitor n) Accepts the given visitor
dk.brics.automaton.Automaton	getAutomaton() Returns the automaton descriping a conservative approximation of the string that can be written at this point
boolean	isTaint()
void	setAutomaton(dk.brics.automaton.Automaton automaton) Sets the approximative automaton
void	setTaint(boolean taint)

Methods inherited from class dk.brics.servletvalidator.flowgraph.AbstractNode

addSucessor, getSuccessors

Methods inherited from class java.lang.Object

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

Constructor Detail

AppendNode

public AppendNode()

Method Detail

accept

public void accept(NodeVisitor n)

Description copied from interface: Node

Accepts the given visitor

getAutomaton

public dk.brics.automaton.Automaton getAutomaton()

Returns the automaton descriping a conservative approximation of the string that can be written at this point

Returns:

isTaint

public boolean isTaint()

setAutomaton

public void setAutomaton(dk.brics.automaton.Automaton automaton)

Sets the approximative automaton

Parameters:

automaton -

setTaint

public void setTaint(boolean taint)