public abstract class NFAAnalyser extends Object implements NFAAnalyserInterface
| Modifier and Type | Class and Description |
|---|---|
static class |
NFAAnalyser.IdaSpecialTransitionLabel |
NFAAnalyserInterface.AnalysisResultsType, NFAAnalyserInterface.EdaAnalysisResultsESCC, NFAAnalyserInterface.EdaAnalysisResultsFilter, NFAAnalyserInterface.EdaAnalysisResultsNoEda, NFAAnalyserInterface.EdaAnalysisResultsParallel, NFAAnalyserInterface.IdaAnalysisResultsIda, NFAAnalyserInterface.IdaAnalysisResultsNoIda| 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 and Description |
|---|
NFAAnalyser(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy) |
protected final ExploitStringBuilder exploitStringBuilder
protected final AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy
protected Map<NFAGraph,IdaAnalysisResults> idaResultsCache
public NFAAnalyser(AnalysisSettings.PriorityRemovalStrategy priorityRemovalStrategy)
protected abstract analysis.EdaAnalysisResults calculateEdaAnalysisResults(NFAGraph originalM) throws InterruptedException
InterruptedExceptionprotected abstract analysis.EdaAnalysisResults calculateEdaUnprioritisedAnalysisResults(NFAGraph originalM) throws InterruptedException
InterruptedExceptionprotected abstract IdaAnalysisResults calculateIdaAnalysisResults(NFAGraph originalM) throws InterruptedException
InterruptedExceptionprotected abstract IdaAnalysisResults calculateIdaUnprioritisedAnalysisResults(NFAGraph originalM) throws InterruptedException
InterruptedExceptionpublic NFAAnalyserInterface.AnalysisResultsType containsIDA(NFAGraph originalM)
containsIDA in interface NFAAnalyserInterfacepublic IdaAnalysisResults getIdaAnalysisResults(NFAGraph m)
getIdaAnalysisResults in interface NFAAnalyserInterfacepublic NFAAnalyserInterface.AnalysisResultsType containsEDA(NFAGraph originalM)
containsEDA in interface NFAAnalyserInterfacepublic analysis.EdaAnalysisResults getEdaAnalysisResults(NFAGraph m)
getEdaAnalysisResults in interface NFAAnalyserInterfaceprotected AnalysisResults searchEdaCache(NFAGraph originalM) throws InterruptedException
InterruptedExceptionprotected AnalysisResults searchIdaCache(NFAGraph originalM) throws InterruptedException
InterruptedExceptionpublic ExploitString findEDAExploitString(NFAGraph originalM) throws InterruptedException
findEDAExploitString in interface NFAAnalyserInterfaceInterruptedExceptionpublic ExploitString findIDAExploitString(NFAGraph originalM) throws InterruptedException
findIDAExploitString in interface NFAAnalyserInterfaceInterruptedExceptionprotected analysis.EdaAnalysisResults edaTestCaseParallel(NFAGraph originalM, LinkedList<NFAGraph> sccsInFlat) throws InterruptedException
InterruptedExceptionprotected analysis.EdaAnalysisResults edaTestCaseFilter(NFAGraph originalM, NFAGraph merged) throws InterruptedException
InterruptedExceptionprotected IdaAnalysisResults idaTestCaseFilter(NFAGraph originalM, NFAGraph flat) throws InterruptedException
InterruptedExceptionprotected analysis.EdaAnalysisResults edaUnprioritisedAnalysis(NFAGraph m) throws InterruptedException
InterruptedExceptionprotected IdaAnalysisResults idaUnprioritisedAnalysis(NFAGraph m) throws InterruptedException
InterruptedExceptionprotected NFAGraph createUnprioritisedNFAGraph(NFAGraph m) throws InterruptedException
InterruptedExceptionprotected boolean isInterrupted()
Copyright © 2021. All rights reserved.