analysis

Class NFAAnalyserFlattening

java.lang.Object

analysis.NFAAnalyser

analysis.NFAAnalyserFlattening

All Implemented Interfaces:

NFAAnalyserInterface

public class NFAAnalyserFlattening
extends NFAAnalyser

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
NFAAnalyserFlattening(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)
static LinkedList<NFAVertexND>	dfsFlatten(NFAGraph m, NFAVertexND startVertex)
static NFAGraph	flattenNFA(NFAGraph m)
static NFAGraph	flattenNFA2(NFAGraph m)
static HashMap<NFAVertexND,Integer>	numWalksFrom(NFAGraph m, NFAVertexND s)

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

NFAAnalyserFlattening

public NFAAnalyserFlattening(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

flattenNFA2

public static NFAGraph flattenNFA2(NFAGraph m)
                            throws InterruptedException

Throws:

InterruptedException

flattenNFA

public static NFAGraph flattenNFA(NFAGraph m)
                           throws InterruptedException

Throws:

InterruptedException

dfsFlatten

public static LinkedList<NFAVertexND> dfsFlatten(NFAGraph m,
                                                 NFAVertexND startVertex)
                                          throws InterruptedException

Throws:

InterruptedException

numWalksFrom

public static HashMap<NFAVertexND,Integer> numWalksFrom(NFAGraph m,
                                                        NFAVertexND s)