public class ExploitStringBuilder extends Object implements ExploitStringBuilderInterface<analysis.EdaAnalysisResults,IdaAnalysisResults>
| Constructor and Description |
|---|
ExploitStringBuilder() |
| Modifier and Type | Method and Description |
|---|---|
ExploitString |
buildEdaExploitString(analysis.EdaAnalysisResults results) |
ExploitString |
buildIdaExploitString(IdaAnalysisResults results) |
static String |
buildPrefixString(NFAGraph m,
NFAVertexND finish)
Builds the string that takes the NFA to the state that shows EDA.
|
static String |
buildPumpIntersect(NFAGraph pcscc,
NFAVertexND p,
NFAVertexND q)
This function builds the exploit string for a vulnerable regular
expression, in the cases where p and q were found in the scc.
|
static String |
buildStringFromEdges(LinkedList<NFAEdge> edges)
This function loops through a list of edges and build a string of all
edges representing a symbol transition.
|
static String |
buildSuffixString(NFAGraph n,
NFAVertexND start) |
static ExploitString |
getEsccExploitString(NFAAnalyserInterface.EdaAnalysisResultsESCC esccResults) |
static ExploitString |
getFilterExploitString(NFAAnalyserInterface.EdaAnalysisResultsFilter filterResults) |
static ExploitString |
getParallelExploitString(NFAAnalyserInterface.EdaAnalysisResultsParallel parallelResults) |
public ExploitString buildEdaExploitString(analysis.EdaAnalysisResults results) throws InterruptedException
buildEdaExploitString in interface ExploitStringBuilderInterface<analysis.EdaAnalysisResults,IdaAnalysisResults>InterruptedExceptionpublic ExploitString buildIdaExploitString(IdaAnalysisResults results) throws InterruptedException
buildIdaExploitString in interface ExploitStringBuilderInterface<analysis.EdaAnalysisResults,IdaAnalysisResults>InterruptedExceptionpublic static ExploitString getParallelExploitString(NFAAnalyserInterface.EdaAnalysisResultsParallel parallelResults) throws InterruptedException
InterruptedExceptionpublic static ExploitString getEsccExploitString(NFAAnalyserInterface.EdaAnalysisResultsESCC esccResults) throws InterruptedException
InterruptedExceptionpublic static ExploitString getFilterExploitString(NFAAnalyserInterface.EdaAnalysisResultsFilter filterResults) throws InterruptedException
InterruptedExceptionpublic static String buildPrefixString(NFAGraph m, NFAVertexND finish)
m - The graph reperesenting the NFA.finish - The state that shows EDA.public static String buildSuffixString(NFAGraph n, NFAVertexND start) throws InterruptedException
InterruptedExceptionpublic static String buildStringFromEdges(LinkedList<NFAEdge> edges)
edges - The list of edges.public static String buildPumpIntersect(NFAGraph pcscc, NFAVertexND p, NFAVertexND q)
pcscc - The scc in the product construction.p - The state that shows EDA, to build the path from.q - The state to build the path to.Copyright © 2021. All rights reserved.