dk.brics.servletvalidator

Class StaticFileAnalysisFactory

java.lang.Object

dk.brics.servletvalidator.AbstractAnalysisFactory

dk.brics.servletvalidator.StaticFileAnalysisFactory

All Implemented Interfaces:

AnalysisFactory, dk.brics.xact.ToXMLable

public class StaticFileAnalysisFactory
extends AbstractAnalysisFactory

Author:

schwarz

Constructor Summary

Constructors

Constructor and Description
StaticFileAnalysisFactory(File dataFile, AnalysisSettings settings)

Method Summary

Methods

Modifier and Type	Method and Description
Grammar	analyze()
File	getDataFile()
List<? extends Type>	getInterestingTypes()
String	getPageName()
List<String>	getSignatures()
String	getStartMethodName()
Date	getTimeOfFile()
UnitGraph	getUnitGraph(SootMethod m, ThrowAnalysis throwAnalysis)
boolean	isStaticFile()
void	loadExtraClasses()

Methods inherited from class dk.brics.servletvalidator.AbstractAnalysisFactory

deserialize, getAdditionalclasses, getBackEndAnalysis, getClassToAnalyse, getHotSpots, getInterestingNames, getSettings, getTaintMethods, handleInvoke, populate, resolveMethod, runExtraAnalyses, setAdditionalclasses, setClassToAnalyse, setSettings, setStartMethodName, setTaintMethods, shouldSharpen, simplifyFlowGraph, toString, toXML

Methods inherited from class java.lang.Object

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

Constructor Detail

StaticFileAnalysisFactory

public StaticFileAnalysisFactory(File dataFile,
                         AnalysisSettings settings)

Method Detail

analyze

public Grammar analyze()

getDataFile

public File getDataFile()

getInterestingTypes

public List<? extends Type> getInterestingTypes()

getPageName

public String getPageName()

getSignatures

public List<String> getSignatures()

getStartMethodName

public String getStartMethodName()

Specified by:

getStartMethodName in interface AnalysisFactory

Overrides:

getStartMethodName in class AbstractAnalysisFactory

getTimeOfFile

public Date getTimeOfFile()

getUnitGraph

public UnitGraph getUnitGraph(SootMethod m,
                     ThrowAnalysis throwAnalysis)

isStaticFile

public boolean isStaticFile()

loadExtraClasses

public void loadExtraClasses()