analysis

Class NFAAnalyserMerging

java.lang.Object

analysis.NFAAnalyser

analysis.NFAAnalyserMerging

All Implemented Interfaces:

NFAAnalyserInterface

public class NFAAnalyserMerging
extends NFAAnalyser

An analyser for finding patterns that can cause catastrophic backtracking.

Author:

N. H. Weideman

Nested Class Summary

Nested classes/interfaces inherited from class analysis.NFAAnalyser

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 inherited from class analysis.NFAAnalyser

edaResultsCache, exploitStringBuilder, idaResultsCache, priorityRemovalStrategy

Constructor Summary

Constructors

Constructor and Description
NFAAnalyserMerging(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)

Method Summary

Modifier and Type	Method and Description
protected analysis.EdaAnalysisResults	calculateEdaAnalysisResults(NFAGraph originalM)
protected analysis.EdaAnalysisResults	calculateEdaUnprioritisedAnalysisResults(NFAGraph originalM)
protected IdaAnalysisResults	calculateIdaAnalysisResults(NFAGraph originalM)
protected IdaAnalysisResults	calculateIdaUnprioritisedAnalysisResults(NFAGraph originalM)

Methods inherited from class analysis.NFAAnalyser

containsEDA, containsIDA, createUnprioritisedNFAGraph, edaTestCaseFilter, edaTestCaseParallel, edaUnprioritisedAnalysis, findEDAExploitString, findIDAExploitString, getEdaAnalysisResults, getIdaAnalysisResults, idaTestCaseFilter, idaUnprioritisedAnalysis, isInterrupted, searchEdaCache, searchIdaCache

Methods inherited from class java.lang.Object

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

Constructor Detail

NFAAnalyserMerging

public NFAAnalyserMerging(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)

Method Detail

calculateEdaAnalysisResults

protected analysis.EdaAnalysisResults calculateEdaAnalysisResults(NFAGraph originalM)
                                                           throws InterruptedException

Specified by:

calculateEdaAnalysisResults in class NFAAnalyser

Throws:

InterruptedException

calculateEdaUnprioritisedAnalysisResults

protected analysis.EdaAnalysisResults calculateEdaUnprioritisedAnalysisResults(NFAGraph originalM)
                                                                        throws InterruptedException

Specified by:

calculateEdaUnprioritisedAnalysisResults in class NFAAnalyser

Throws:

InterruptedException

calculateIdaAnalysisResults

protected IdaAnalysisResults calculateIdaAnalysisResults(NFAGraph originalM)
                                                  throws InterruptedException

Specified by:

calculateIdaAnalysisResults in class NFAAnalyser

Throws:

InterruptedException

calculateIdaUnprioritisedAnalysisResults

protected IdaAnalysisResults calculateIdaUnprioritisedAnalysisResults(NFAGraph originalM)
                                                               throws InterruptedException

Specified by:

calculateIdaUnprioritisedAnalysisResults in class NFAAnalyser

Throws:

InterruptedException