dk.brics.servletvalidator

Class JspAnalysisFactory

java.lang.Object

dk.brics.servletvalidator.AbstractAnalysisFactory

dk.brics.servletvalidator.JspAnalysisFactory

All Implemented Interfaces:

AnalysisFactory, dk.brics.xact.ToXMLable

public class JspAnalysisFactory
extends AbstractAnalysisFactory

Constructor Summary

Constructors

Constructor and Description
JspAnalysisFactory(File jspFile)
JspAnalysisFactory(String jspFileName)

Method Summary

Methods

Modifier and Type	Method and Description
Grammar	analyze()
List<String>	getInterestingNames()
List<? extends Type>	getInterestingTypes()
String	getJspFileName()
String	getPageName()
List<String>	getSignatures()
Date	getTimeOfFile()
UnitGraph	getUnitGraph(SootMethod m, ThrowAnalysis throwAnalysis)
Node	handleInvoke(SootMethod m, InvokeExpr expr, UnitGraph graph)
boolean	isStaticFile()
void	loadExtraClasses()
void	loadJSPClass()
protected void	populate(dk.brics.xact.XML data)
SootMethod	resolveMethod(SootMethod m)
boolean	shouldSharpen()
void	simplifyFlowGraph(FlowGraph f)
dk.brics.xact.XML	toXML()

Methods inherited from class dk.brics.servletvalidator.AbstractAnalysisFactory

deserialize, getAdditionalclasses, getBackEndAnalysis, getClassToAnalyse, getHotSpots, getSettings, getStartMethodName, getTaintMethods, runExtraAnalyses, setAdditionalclasses, setClassToAnalyse, setSettings, setStartMethodName, setTaintMethods, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

JspAnalysisFactory

public JspAnalysisFactory(File jspFile)

JspAnalysisFactory

public JspAnalysisFactory(String jspFileName)

Method Detail

analyze

public Grammar analyze()

getInterestingNames

public List<String> getInterestingNames()

Specified by:

getInterestingNames in interface AnalysisFactory

Overrides:

getInterestingNames in class AbstractAnalysisFactory

getInterestingTypes

public List<? extends Type> getInterestingTypes()

getJspFileName

public String getJspFileName()

getPageName

public String getPageName()

getSignatures

public List<String> getSignatures()

getTimeOfFile

public Date getTimeOfFile()

getUnitGraph

public UnitGraph getUnitGraph(SootMethod m,
                     ThrowAnalysis throwAnalysis)

handleInvoke

public Node handleInvoke(SootMethod m,
                InvokeExpr expr,
                UnitGraph graph)

Specified by:

handleInvoke in interface AnalysisFactory

Overrides:

handleInvoke in class AbstractAnalysisFactory

isStaticFile

public boolean isStaticFile()

loadExtraClasses

public void loadExtraClasses()

loadJSPClass

public void loadJSPClass()

populate

protected void populate(dk.brics.xact.XML data)

Overrides:

populate in class AbstractAnalysisFactory

resolveMethod

public SootMethod resolveMethod(SootMethod m)

Specified by:

resolveMethod in interface AnalysisFactory

Overrides:

resolveMethod in class AbstractAnalysisFactory

shouldSharpen

public boolean shouldSharpen()

Specified by:

shouldSharpen in interface AnalysisFactory

Overrides:

shouldSharpen in class AbstractAnalysisFactory

simplifyFlowGraph

public void simplifyFlowGraph(FlowGraph f)

Specified by:

simplifyFlowGraph in interface AnalysisFactory

Overrides:

simplifyFlowGraph in class AbstractAnalysisFactory

toXML

public dk.brics.xact.XML toXML()

Specified by:

toXML in interface dk.brics.xact.ToXMLable

Overrides:

toXML in class AbstractAnalysisFactory