dk.brics.servletvalidator

Interface AnalysisFactory

All Superinterfaces:

dk.brics.xact.ToXMLable

All Known Implementing Classes:

AbstractAnalysisFactory, JspAnalysisFactory, ServletAnalysisFactory, StaticFileAnalysisFactory

public interface AnalysisFactory
extends dk.brics.xact.ToXMLable

Method Summary

Methods

Modifier and Type	Method and Description
Grammar	analyze()
Class<?>[]	getAdditionalclasses()
Class<?>	getClassToAnalyse()
List<ValueBox>	getHotSpots()
List<String>	getInterestingNames()
List<? extends Type>	getInterestingTypes()
String	getPageName()
AnalysisSettings	getSettings()
List<String>	getSignatures()
String	getStartMethodName()
List<String>	getTaintMethods()
Date	getTimeOfFile()
UnitGraph	getUnitGraph(SootMethod m, ThrowAnalysis throwAnalysis)
Node	handleInvoke(SootMethod m, InvokeExpr expr, UnitGraph graph)
boolean	isStaticFile()
void	loadExtraClasses()
SootMethod	resolveMethod(SootMethod m)
List<dk.brics.webflow.ExtraAnalysis>	runExtraAnalyses(SootMethod m)
void	setAdditionalclasses(Class<?>[] additionalclasses)
void	setClassToAnalyse(Class<?> classToAnalyse)
void	setSettings(AnalysisSettings settings)
void	setStartMethodName(String startMethodName)
void	setTaintMethods(List<String> taintMethods)
boolean	shouldSharpen()
void	simplifyFlowGraph(FlowGraph f)

Methods inherited from interface dk.brics.xact.ToXMLable

toXML

Method Detail

analyze

Grammar analyze()

getAdditionalclasses

Class<?>[] getAdditionalclasses()

getClassToAnalyse

Class<?> getClassToAnalyse()

getHotSpots

List<ValueBox> getHotSpots()

getInterestingNames

List<String> getInterestingNames()

getInterestingTypes

List<? extends Type> getInterestingTypes()

getPageName

String getPageName()

getSettings

AnalysisSettings getSettings()

getSignatures

List<String> getSignatures()

getStartMethodName

String getStartMethodName()

getTaintMethods

List<String> getTaintMethods()

getTimeOfFile

Date getTimeOfFile()

getUnitGraph

UnitGraph getUnitGraph(SootMethod m,
                     ThrowAnalysis throwAnalysis)

handleInvoke

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

isStaticFile

boolean isStaticFile()

loadExtraClasses

void loadExtraClasses()

resolveMethod

SootMethod resolveMethod(SootMethod m)

runExtraAnalyses

List<dk.brics.webflow.ExtraAnalysis> runExtraAnalyses(SootMethod m)

setAdditionalclasses

void setAdditionalclasses(Class<?>[] additionalclasses)

setClassToAnalyse

void setClassToAnalyse(Class<?> classToAnalyse)

setSettings

void setSettings(AnalysisSettings settings)

setStartMethodName

void setStartMethodName(String startMethodName)

setTaintMethods

void setTaintMethods(List<String> taintMethods)

shouldSharpen

boolean shouldSharpen()

simplifyFlowGraph

void simplifyFlowGraph(FlowGraph f)