dk.brics.servletvalidator.flowgraph
Class ServletValidatorThrowAnalysis

java.lang.Object
  soot.toolkits.exceptions.AbstractThrowAnalysis
      soot.toolkits.exceptions.UnitThrowAnalysis
          dk.brics.servletvalidator.flowgraph.ServletValidatorThrowAnalysis

All Implemented Interfaces:

soot.toolkits.exceptions.ThrowAnalysis

public class ServletValidatorThrowAnalysis
extends soot.toolkits.exceptions.UnitThrowAnalysis

A throw Analysis that is a little less pedantic than the default one

Author:

schwarz

Nested Class Summary

protected class

ServletValidatorThrowAnalysis.LessPedanticUnitSwitch

Nested classes/interfaces inherited from class soot.toolkits.exceptions.UnitThrowAnalysis

soot.toolkits.exceptions.UnitThrowAnalysis.UnitSwitch, soot.toolkits.exceptions.UnitThrowAnalysis.ValueSwitch

Constructor Summary

ServletValidatorThrowAnalysis()

Method Summary

Methods inherited from class soot.toolkits.exceptions.UnitThrowAnalysis

mightThrow, mightThrowImplicitly, mightThrowImplicitly, v

Methods inherited from class soot.toolkits.exceptions.AbstractThrowAnalysis

mightThrowExplicitly, mightThrowExplicitly

Methods inherited from class java.lang.Object

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

Constructor Detail

ServletValidatorThrowAnalysis

public ServletValidatorThrowAnalysis()