analysis

Class NFAAnalyser

java.lang.Object

analysis.NFAAnalyser

All Implemented Interfaces:

NFAAnalyserInterface

Direct Known Subclasses:

NFAAnalyserFlattening, NFAAnalyserMerging

public abstract class NFAAnalyser
extends Object
implements NFAAnalyserInterface

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	NFAAnalyser.IdaSpecialTransitionLabel

Nested classes/interfaces inherited from interface analysis.NFAAnalyserInterface

NFAAnalyserInterface.AnalysisResultsType, NFAAnalyserInterface.EdaAnalysisResultsESCC, NFAAnalyserInterface.EdaAnalysisResultsFilter, NFAAnalyserInterface.EdaAnalysisResultsNoEda, NFAAnalyserInterface.EdaAnalysisResultsParallel, NFAAnalyserInterface.IdaAnalysisResultsIda, NFAAnalyserInterface.IdaAnalysisResultsNoIda

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<NFAGraph,analysis.EdaAnalysisResults>	edaResultsCache
protected ExploitStringBuilder	exploitStringBuilder
protected Map<NFAGraph,IdaAnalysisResults>	idaResultsCache
protected AnalysisSettings.PriorityRemovalStrategy	priorityRemovalStrategy

Constructor Summary

Constructors

Constructor and Description
NFAAnalyser(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)

Method Summary

Modifier and Type	Method and Description
protected abstract analysis.EdaAnalysisResults	calculateEdaAnalysisResults(NFAGraph originalM)
protected abstract analysis.EdaAnalysisResults	calculateEdaUnprioritisedAnalysisResults(NFAGraph originalM)
protected abstract IdaAnalysisResults	calculateIdaAnalysisResults(NFAGraph originalM)
protected abstract IdaAnalysisResults	calculateIdaUnprioritisedAnalysisResults(NFAGraph originalM)
NFAAnalyserInterface.AnalysisResultsType	containsEDA(NFAGraph originalM)
NFAAnalyserInterface.AnalysisResultsType	containsIDA(NFAGraph originalM)
protected NFAGraph	createUnprioritisedNFAGraph(NFAGraph m)
protected analysis.EdaAnalysisResults	edaTestCaseFilter(NFAGraph originalM, NFAGraph merged)
protected analysis.EdaAnalysisResults	edaTestCaseParallel(NFAGraph originalM, LinkedList<NFAGraph> sccsInFlat)
protected analysis.EdaAnalysisResults	edaUnprioritisedAnalysis(NFAGraph m)
ExploitString	findEDAExploitString(NFAGraph originalM)
ExploitString	findIDAExploitString(NFAGraph originalM)
analysis.EdaAnalysisResults	getEdaAnalysisResults(NFAGraph m)
IdaAnalysisResults	getIdaAnalysisResults(NFAGraph m)
protected IdaAnalysisResults	idaTestCaseFilter(NFAGraph originalM, NFAGraph flat)
protected IdaAnalysisResults	idaUnprioritisedAnalysis(NFAGraph m)
protected boolean	isInterrupted()
protected AnalysisResults	searchEdaCache(NFAGraph originalM)
protected AnalysisResults	searchIdaCache(NFAGraph originalM)

Methods inherited from class java.lang.Object

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

Field Detail

exploitStringBuilder

protected final ExploitStringBuilder exploitStringBuilder

priorityRemovalStrategy

protected final AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy

edaResultsCache

protected Map<NFAGraph,analysis.EdaAnalysisResults> edaResultsCache

idaResultsCache

protected Map<NFAGraph,IdaAnalysisResults> idaResultsCache

Constructor Detail

NFAAnalyser

public NFAAnalyser(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)

Method Detail

calculateEdaAnalysisResults

protected abstract analysis.EdaAnalysisResults calculateEdaAnalysisResults(NFAGraph originalM)
                                                                    throws InterruptedException

Throws:

InterruptedException

calculateEdaUnprioritisedAnalysisResults

protected abstract analysis.EdaAnalysisResults calculateEdaUnprioritisedAnalysisResults(NFAGraph originalM)
                                                                                 throws InterruptedException

Throws:

InterruptedException

calculateIdaAnalysisResults

protected abstract IdaAnalysisResults calculateIdaAnalysisResults(NFAGraph originalM)
                                                           throws InterruptedException

Throws:

InterruptedException

calculateIdaUnprioritisedAnalysisResults

protected abstract IdaAnalysisResults calculateIdaUnprioritisedAnalysisResults(NFAGraph originalM)
                                                                        throws InterruptedException

Throws:

InterruptedException

containsIDA

public NFAAnalyserInterface.AnalysisResultsType containsIDA(NFAGraph originalM)

Specified by:

containsIDA in interface NFAAnalyserInterface

getIdaAnalysisResults

public IdaAnalysisResults getIdaAnalysisResults(NFAGraph m)

Specified by:

getIdaAnalysisResults in interface NFAAnalyserInterface

containsEDA

public NFAAnalyserInterface.AnalysisResultsType containsEDA(NFAGraph originalM)

Specified by:

containsEDA in interface NFAAnalyserInterface

getEdaAnalysisResults

public analysis.EdaAnalysisResults getEdaAnalysisResults(NFAGraph m)

Specified by:

getEdaAnalysisResults in interface NFAAnalyserInterface

searchEdaCache

protected AnalysisResults searchEdaCache(NFAGraph originalM)
                                  throws InterruptedException

Throws:

InterruptedException

searchIdaCache

protected AnalysisResults searchIdaCache(NFAGraph originalM)
                                  throws InterruptedException

Throws:

InterruptedException

findEDAExploitString

public ExploitString findEDAExploitString(NFAGraph originalM)
                                   throws InterruptedException

Specified by:

findEDAExploitString in interface NFAAnalyserInterface

Throws:

InterruptedException

findIDAExploitString

public ExploitString findIDAExploitString(NFAGraph originalM)
                                   throws InterruptedException

Specified by:

findIDAExploitString in interface NFAAnalyserInterface

Throws:

InterruptedException

edaTestCaseParallel

protected analysis.EdaAnalysisResults edaTestCaseParallel(NFAGraph originalM,
                                                          LinkedList<NFAGraph> sccsInFlat)
                                                   throws InterruptedException

Throws:

InterruptedException

edaTestCaseFilter

protected analysis.EdaAnalysisResults edaTestCaseFilter(NFAGraph originalM,
                                                        NFAGraph merged)
                                                 throws InterruptedException

Throws:

InterruptedException

idaTestCaseFilter

protected IdaAnalysisResults idaTestCaseFilter(NFAGraph originalM,
                                               NFAGraph flat)
                                        throws InterruptedException

Throws:

InterruptedException

edaUnprioritisedAnalysis

protected analysis.EdaAnalysisResults edaUnprioritisedAnalysis(NFAGraph m)
                                                        throws InterruptedException

Throws:

InterruptedException

idaUnprioritisedAnalysis

protected IdaAnalysisResults idaUnprioritisedAnalysis(NFAGraph m)
                                               throws InterruptedException

Throws:

InterruptedException

createUnprioritisedNFAGraph

protected NFAGraph createUnprioritisedNFAGraph(NFAGraph m)
                                        throws InterruptedException

Throws:

InterruptedException

isInterrupted

protected boolean isInterrupted()