Skip navigation links
A B C D E F G H I J L M N O P Q R S T U V W 

A

addAcceptingState(NFAVertexND) - Method in class nfa.NFAGraph
 
addChild(ParseTree.TreeNode) - Method in class regexcompiler.ParseTree.TreeNode
 
addEdge(NFAEdge) - Method in class nfa.NFAGraph
Adds a new edge to the NFA graph
addRule(PreprocessorRule) - Method in class preprocessor.ParsingPreprocessor
 
addRule(String, String) - Method in class preprocessor.SubstitutionPreprocessor
 
addState(String) - Method in class nfa.NFAVertexND
Adds a state at a new dimension, one more than the current highest dimension.
addTreeNode(ParseTree.TreeNode) - Method in class regexcompiler.ParseTree
 
addVertex(NFAVertexND) - Method in class nfa.NFAGraph
 
ALLOW_LINE_BOUNDARY - Static variable in class preprocessor.ParsingPreprocessor
 
ALLOW_LOOKAROUND - Static variable in class preprocessor.ParsingPreprocessor
 
ALLOW_ZERO_ONCE - Static variable in class preprocessor.ParsingPreprocessor
 
analysis - package analysis
 
analysis.driver - package analysis.driver
 
AnalysisDriverStdOut - Class in analysis.driver
 
AnalysisDriverStdOut() - Constructor for class analysis.driver.AnalysisDriverStdOut
 
AnalysisResults - Class in analysis
 
AnalysisResults(NFAGraph) - Constructor for class analysis.AnalysisResults
 
AnalysisSettings - Class in analysis
 
AnalysisSettings(AnalysisSettings.NFAConstruction, AnalysisSettings.PreprocessingType, AnalysisSettings.EpsilonLoopRemovalStrategy, AnalysisSettings.PriorityRemovalStrategy, boolean, boolean, boolean, boolean, int) - Constructor for class analysis.AnalysisSettings
 
AnalysisSettings.EpsilonLoopRemovalStrategy - Enum in analysis
 
AnalysisSettings.NFAConstruction - Enum in analysis
 
AnalysisSettings.PreprocessingType - Enum in analysis
 
AnalysisSettings.PriorityRemovalStrategy - Enum in analysis
 
applyRules(String) - Method in class preprocessor.ParsingPreprocessor
 
applyRules(String) - Method in interface preprocessor.Preprocessor
 
applyRules(String) - Method in class preprocessor.SubstitutionPreprocessor
 

B

buildEdaExploitString(EdaAnalysisResults) - Method in class analysis.ExploitStringBuilder
 
buildEdaExploitString(T1) - Method in interface analysis.ExploitStringBuilderInterface
 
buildIdaExploitString(IdaAnalysisResults) - Method in class analysis.ExploitStringBuilder
 
buildIdaExploitString(T2) - Method in interface analysis.ExploitStringBuilderInterface
 
buildPrefixString(NFAGraph, NFAVertexND) - Static method in class analysis.ExploitStringBuilder
Builds the string that takes the NFA to the state that shows EDA.
buildPumpIntersect(NFAGraph, NFAVertexND, NFAVertexND) - Static method in class analysis.ExploitStringBuilder
This function builds the exploit string for a vulnerable regular expression, in the cases where p and q were found in the scc.
buildStringFromEdges(LinkedList<NFAEdge>) - Static method in class analysis.ExploitStringBuilder
This function loops through a list of edges and build a string of all edges representing a symbol transition.
buildSuffixString(NFAGraph, NFAVertexND) - Static method in class analysis.ExploitStringBuilder
 

C

calculateEdaAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyser
 
calculateEdaAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyserFlattening
 
calculateEdaAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyserMerging
 
calculateEdaUnprioritisedAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyser
 
calculateEdaUnprioritisedAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyserFlattening
 
calculateEdaUnprioritisedAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyserMerging
 
calculateIdaAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyser
 
calculateIdaAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyserFlattening
 
calculateIdaAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyserMerging
 
calculateIdaUnprioritisedAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyser
 
calculateIdaUnprioritisedAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyserFlattening
 
calculateIdaUnprioritisedAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyserMerging
 
CharacterClassTransitionLabel - Class in nfa.transitionlabel
 
CharacterClassTransitionLabel() - Constructor for class nfa.transitionlabel.CharacterClassTransitionLabel
 
CharacterClassTransitionLabel(String) - Constructor for class nfa.transitionlabel.CharacterClassTransitionLabel
 
CharacterClassTransitionLabel(RangeSet) - Constructor for class nfa.transitionlabel.CharacterClassTransitionLabel
 
CharacterPropertyParser - Class in nfa.transitionlabel
 
CharacterPropertyParser(String, int) - Constructor for class nfa.transitionlabel.CharacterPropertyParser
 
charAt(int) - Method in class util.InterruptibleMatchingString
 
compareTo(NFAEdge) - Method in class nfa.NFAEdge
 
compareTo(NFAVertexND) - Method in class nfa.NFAVertexND
 
compareTo(CharacterClassTransitionLabel) - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
compareTo(EpsilonTransitionLabel) - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
compareTo(RangeSet.Range) - Method in class util.RangeSet.Range
 
compile(String, AnalysisSettings.NFAConstruction) - Static method in class regexcompiler.MyPattern
 
complement() - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
complement() - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
complement() - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
complement() - Method in interface nfa.transitionlabel.TransitionLabel
 
complement() - Method in class util.RangeSet
 
complement() - Method in class util.RangeSet.Range
 
complementDfa(NFAGraph) - Static method in class analysis.NFAAnalysisTools
 
Constants - Class in util
 
contains(int) - Method in class util.RangeSet
 
containsEDA(NFAGraph) - Method in class analysis.NFAAnalyser
 
containsEDA(NFAGraph) - Method in interface analysis.NFAAnalyserInterface
 
containsIDA(NFAGraph) - Method in class analysis.NFAAnalyser
 
containsIDA(NFAGraph) - Method in interface analysis.NFAAnalyserInterface
 
convertParseTree(ParseTree) - Method in class regexcompiler.ParseTreeToNFAConverter
 
convertUpNFAToNFAGraph(NFAGraph, HashMap<NFAVertexND, UPNFAState>) - Static method in class analysis.NFAAnalysisTools
 
copy() - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
copy() - Method in class nfa.FilterEdge
 
copy() - Method in class nfa.NFAEdge
 
copy() - Method in class nfa.NFAGraph
 
copy() - Method in class nfa.NFAVertexND
 
copy() - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
copy() - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
copy() - Method in interface nfa.transitionlabel.TransitionLabel
 
copy() - Method in class nfa.UPNFAState
 
countClosureNFA(NFAGraph, RegexCountClosureOperator) - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
countClosureNFA(NFAGraph, RegexCountClosureOperator) - Method in interface regexcompiler.NFACreator
 
countClosureNFA(NFAGraph, RegexCountClosureOperator) - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 
CountClosureOperatorExpansion - Class in preprocessor
 
CountClosureOperatorExpansion() - Constructor for class preprocessor.CountClosureOperatorExpansion
 
createBaseCaseEmpty() - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
createBaseCaseEmpty() - Method in interface regexcompiler.NFACreator
 
createBaseCaseEmpty() - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 
createBaseCaseEmptyString() - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
createBaseCaseEmptyString() - Method in interface regexcompiler.NFACreator
 
createBaseCaseEmptyString() - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 
createBaseCaseLookAround(NFAVertexND) - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
createBaseCaseLookAround(NFAVertexND) - Method in interface regexcompiler.NFACreator
 
createBaseCaseLookAround(NFAVertexND) - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 
createBaseCaseSymbol(String) - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
createBaseCaseSymbol(String) - Method in interface regexcompiler.NFACreator
 
createBaseCaseSymbol(String) - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 
createFilter() - Static method in class analysis.NFAAnalysisTools
Creates an NFA graph representing the Mohri filter.
createRange(int) - Method in class util.RangeSet
 
createRange(int, int) - Method in class util.RangeSet
 
createUnprioritisedNFAGraph(NFAGraph) - Method in class analysis.NFAAnalyser
 

D

DequantifierRule - Class in preprocessor
 
DequantifierRule() - Constructor for class preprocessor.DequantifierRule
 
deriveVertex(NFAGraph, NFAVertexND) - Method in class regexcompiler.ParseTreeToNFAConverter
 
determinize(NFAGraph, Set<NFAVertexND>, Set<TransitionLabel>) - Static method in class analysis.NFAAnalysisTools
 
dfaIntersection(NFAGraph, NFAGraph) - Static method in class analysis.NFAAnalysisTools
 
dfsFlatten(NFAGraph, NFAVertexND) - Static method in class analysis.NFAAnalyserFlattening
 
discretize() - Method in class util.RangeSet
 
driver - package driver
 

E

edaResultsCache - Variable in class analysis.NFAAnalyser
 
edaTestCaseFilter(NFAGraph, NFAGraph) - Method in class analysis.NFAAnalyser
 
edaTestCaseParallel(NFAGraph, LinkedList<NFAGraph>) - Method in class analysis.NFAAnalyser
 
edaUnprioritisedAnalysis(NFAGraph) - Method in class analysis.NFAAnalyser
 
EmptyTransitionLabelException - Exception in nfa.transitionlabel
 
EmptyTransitionLabelException(String) - Constructor for exception nfa.transitionlabel.EmptyTransitionLabelException
 
EpsilonTransitionLabel - Class in nfa.transitionlabel
 
EpsilonTransitionLabel(String) - Constructor for class nfa.transitionlabel.EpsilonTransitionLabel
 
equals(Object) - Method in class analysis.ExploitString
 
equals(Object) - Method in class nfa.FilterEdge
 
equals(Object) - Method in class nfa.NFAEdge
 
equals(Object) - Method in class nfa.NFAGraph
 
equals(Object) - Method in class nfa.NFAVertexND
 
equals(Object) - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
equals(Object) - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
equals(Object) - Method in class nfa.UPNFAState
 
equals(Object) - Method in class util.RangeSet
 
equals(Object) - Method in class util.RangeSet.Range
 
EscapeSequenceExpansionRule - Class in preprocessor
 
EscapeSequenceExpansionRule() - Constructor for class preprocessor.EscapeSequenceExpansionRule
 
expandOperator(StringBuilder, ParsingPreprocessor.RegexToken, ParsingPreprocessor.RegexToken) - Method in class preprocessor.CountClosureOperatorExpansion
 
expandOperator(StringBuilder, ParsingPreprocessor.RegexToken, ParsingPreprocessor.RegexToken) - Method in class preprocessor.NonpreciseCountClosureOperatorExpansion
 
expandOperator(StringBuilder, ParsingPreprocessor.RegexToken, ParsingPreprocessor.RegexToken) - Method in class preprocessor.OperatorExpansionRule
 
expandOperator(StringBuilder, ParsingPreprocessor.RegexToken, ParsingPreprocessor.RegexToken) - Method in class preprocessor.PlusOperatorExpansion
 
expandOperator(StringBuilder, ParsingPreprocessor.RegexToken, ParsingPreprocessor.RegexToken) - Method in class preprocessor.QuestionMarkOperatorExpansion
 
ExploitString - Class in analysis
A class that keeps the prefix and pump part of an input string to a vulnerable regular expression
ExploitString(String, String, String) - Constructor for class analysis.ExploitString
 
ExploitString(String[], String[], String) - Constructor for class analysis.ExploitString
 
ExploitStringBuilder - Class in analysis
 
ExploitStringBuilder() - Constructor for class analysis.ExploitStringBuilder
 
exploitStringBuilder - Variable in class analysis.NFAAnalyser
 
ExploitStringBuilderInterface<T1 extends AnalysisResults,T2 extends AnalysisResults> - Interface in analysis
 

F

FilterEdge - Class in nfa
An NFA edge specifically used in the Mohri Filter.
FilterEdge(NFAVertexND, NFAVertexND, String, String) - Constructor for class nfa.FilterEdge
 
FilterEdge(NFAVertexND, NFAVertexND, TransitionLabel, TransitionLabel) - Constructor for class nfa.FilterEdge
 
findEDAExploitString(NFAGraph) - Method in class analysis.NFAAnalyser
 
findEDAExploitString(NFAGraph) - Method in interface analysis.NFAAnalyserInterface
 
findIDAExploitString(NFAGraph) - Method in class analysis.NFAAnalyser
 
findIDAExploitString(NFAGraph) - Method in interface analysis.NFAAnalyserInterface
 
flattenNFA(NFAGraph) - Static method in class analysis.NFAAnalyserFlattening
 
flattenNFA2(NFAGraph) - Static method in class analysis.NFAAnalyserFlattening
 

G

getAcceptingStates() - Method in class nfa.NFAGraph
 
getAlphabet(NFAGraph) - Static method in class analysis.NFAAnalysisTools
 
getAnchorType() - Method in class regexcompiler.RegexAnchor
 
getATransitionCharacter() - Method in class nfa.NFAEdge
 
getChildren() - Method in class regexcompiler.ParseTree.TreeNode
 
getDegree() - Method in class analysis.ExploitString
 
getDegree() - Method in class analysis.NFAAnalyserInterface.IdaAnalysisResultsIda
 
getEdaAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyser
 
getEdaAnalysisResults(NFAGraph) - Method in interface analysis.NFAAnalyserInterface
 
getEdge(NFAEdge) - Method in class nfa.NFAGraph
 
getEndState() - Method in class analysis.NFAAnalyserInterface.EdaAnalysisResultsFilter
 
getEntranceEdge() - Method in class analysis.NFAAnalyserInterface.EdaAnalysisResultsESCC
 
getEpsilonLoopRemovalStrategy() - Method in class analysis.AnalysisSettings
 
getEpsilonStronglyConnectedComponents(NFAGraph) - Static method in class analysis.NFAAnalysisTools
Constructs a list of NFA graphs each representing a strongly connected component containing only epsilon transitions in the graph given as parameter.
getEsccExploitString(NFAAnalyserInterface.EdaAnalysisResultsESCC) - Static method in class analysis.ExploitStringBuilder
 
getExitEdge() - Method in class analysis.NFAAnalyserInterface.EdaAnalysisResultsESCC
 
getFilterExploitString(NFAAnalyserInterface.EdaAnalysisResultsFilter) - Static method in class analysis.ExploitStringBuilder
 
getGroupType() - Method in class regexcompiler.RegexGroup
 
getHigh() - Method in class regexcompiler.RegexCountClosureOperator
 
getIdaAnalysisResults(NFAGraph) - Method in class analysis.NFAAnalyser
 
getIdaAnalysisResults(NFAGraph) - Method in interface analysis.NFAAnalyserInterface
 
getIndex() - Method in class regexcompiler.RegexAnchor
 
getIndex() - Method in class regexcompiler.RegexOperator
 
getIndex() - Method in class regexcompiler.RegexSubexpression
 
getIndex() - Method in interface regexcompiler.RegexToken
 
getInitialState() - Method in class nfa.NFAGraph
 
getInputType() - Method in class util.InterfaceSettings
 
getIsBinaryOperator() - Method in class regexcompiler.RegexOperator
 
getIsBinaryOperator() - Method in enum regexcompiler.RegexOperator.OperatorType
 
getIsDebug() - Method in class util.InterfaceSettings
 
getIsEpsilonTransition() - Method in class nfa.NFAEdge
 
getIsVerbose() - Method in class util.InterfaceSettings
 
getLow() - Method in class regexcompiler.RegexCountClosureOperator
 
getMaxPath() - Method in class analysis.NFAAnalyserInterface.IdaAnalysisResultsIda
 
getMergedScc() - Method in class analysis.NFAAnalyserInterface.EdaAnalysisResultsParallel
 
getNFAConstruction() - Method in class analysis.AnalysisSettings
 
getNumDimensions() - Method in class nfa.NFAVertexND
 
getNumParallel() - Method in class nfa.NFAEdge
 
getOperator() - Method in class preprocessor.CountClosureOperatorExpansion
 
getOperator() - Method in class preprocessor.NonpreciseCountClosureOperatorExpansion
 
getOperator() - Method in class preprocessor.OperatorExpansionRule
 
getOperator() - Method in class preprocessor.PlusOperatorExpansion
 
getOperator() - Method in class preprocessor.QuestionMarkOperatorExpansion
 
getOperatorType() - Method in class preprocessor.CountClosureOperatorExpansion
 
getOperatorType() - Method in class preprocessor.NonpreciseCountClosureOperatorExpansion
 
getOperatorType() - Method in class preprocessor.OperatorExpansionRule
 
getOperatorType() - Method in class preprocessor.PlusOperatorExpansion
 
getOperatorType() - Method in class preprocessor.QuestionMarkOperatorExpansion
 
getOperatorType() - Method in class regexcompiler.RegexOperator
 
getOriginalGraph() - Method in class analysis.AnalysisResults
 
getOriginalScc() - Method in class analysis.NFAAnalyserInterface.EdaAnalysisResultsESCC
 
getOutGoingTransitionCharacter() - Method in class nfa.FilterEdge
 
getP() - Method in class nfa.UPNFAState
 
getParallelEdge() - Method in class analysis.NFAAnalyserInterface.EdaAnalysisResultsParallel
 
getParallelExploitString(NFAAnalyserInterface.EdaAnalysisResultsParallel) - Static method in class analysis.ExploitStringBuilder
 
getPcScc() - Method in class analysis.NFAAnalyserInterface.EdaAnalysisResultsFilter
 
getPrefix() - Method in class analysis.ExploitString
 
getPrefixVisual() - Method in class analysis.ExploitString
 
getPreprocessingType() - Method in class analysis.AnalysisSettings
 
getPriorityRemovalStrategy() - Method in class analysis.AnalysisSettings
 
getPriorityRemovalStrategy() - Method in class analysis.IdaAnalysisResults
 
getPumpByDegree(int) - Method in class analysis.ExploitString
 
getPumpByDegreeVisual(int) - Method in class analysis.ExploitString
 
getPumps() - Method in class analysis.ExploitString
 
getQuantifierType() - Method in class regexcompiler.RegexQuantifiableOperator
 
getRegexEscapedSymbolType() - Method in class regexcompiler.RegexEscapedSymbol
 
getRegexToken() - Method in class regexcompiler.ParseTree.TreeNode
 
getRoot() - Method in class regexcompiler.ParseTree
 
getRuleStrings() - Method in class preprocessor.SubstitutionPreprocessor
 
getSeparatorByDegree(int) - Method in class analysis.ExploitString
 
getSeparatorByDegreeVisual(int) - Method in class analysis.ExploitString
 
getSeparators() - Method in class analysis.ExploitString
 
getShouldConstructEdaExploitString() - Method in class analysis.AnalysisSettings
 
getShouldConstructIdaExploitString() - Method in class analysis.AnalysisSettings
 
getShouldTestExploitString() - Method in class analysis.AnalysisSettings
 
getShouldTestIDA() - Method in class analysis.AnalysisSettings
 
getSourceVertex() - Method in class analysis.NFAAnalyserInterface.EdaAnalysisResultsParallel
 
getSourceVertex() - Method in class nfa.NFAEdge
 
getStartState() - Method in class analysis.NFAAnalyserInterface.EdaAnalysisResultsFilter
 
getStateByDimension(int) - Method in class nfa.NFAVertexND
Gets a state at a certain dimension
getStateByDimensionRange(int, int) - Method in class nfa.NFAVertexND
Constructs a new state formed from the states from the dimensions between two indices.
getStateNumberByDimension(int) - Method in class nfa.NFAVertexND
Returns the state at a specified dimension.
getStates() - Method in class nfa.NFAVertexND
 
getStronglyConnectedComponents(NFAGraph) - Static method in class analysis.NFAAnalysisTools
Constructs a list of NFA graphs each representing a strongly connected component in the graph given as parameter.
getSubexpressionContent() - Method in class regexcompiler.RegexSubexpression
 
getSubexpressionType() - Method in class regexcompiler.RegexCharacterClass
 
getSubexpressionType() - Method in class regexcompiler.RegexEscapedSymbol
 
getSubexpressionType() - Method in class regexcompiler.RegexGroup
 
getSubexpressionType() - Method in class regexcompiler.RegexSubexpression
 
getSubexpressionType() - Method in class regexcompiler.RegexSymbol
 
getSuffix() - Method in class analysis.ExploitString
 
getSuffixVisual() - Method in class analysis.ExploitString
 
getSymbol() - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
getSymbol() - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
getSymbol() - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
getSymbol() - Method in interface nfa.transitionlabel.TransitionLabel
 
getSymbols() - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
getTargetVertex() - Method in class nfa.NFAEdge
 
getTimeout() - Method in class analysis.AnalysisSettings
 
getTokenType() - Method in class regexcompiler.RegexAnchor
 
getTokenType() - Method in class regexcompiler.RegexOperator
 
getTokenType() - Method in class regexcompiler.RegexSubexpression
 
getTokenType() - Method in interface regexcompiler.RegexToken
 
getTransitionLabel() - Method in class nfa.NFAEdge
 
getTransitionLabels() - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
getTransitionType() - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
getTransitionType() - Method in class nfa.NFAEdge
 
getTransitionType() - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
getTransitionType() - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
getTransitionType() - Method in interface nfa.transitionlabel.TransitionLabel
 

H

hash32(long, int) - Static method in class util.MurmurHash3
 
hashCode() - Method in class analysis.ExploitString
 
hashCode() - Method in class nfa.FilterEdge
 
hashCode() - Method in class nfa.NFAEdge
 
hashCode() - Method in class nfa.NFAVertexND
 
hashCode() - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
hashCode() - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
hashCode() - Method in class util.RangeSet
 
hashCode() - Method in class util.RangeSet.Range
 
high - Variable in class util.RangeSet.Range
 
HORIZONTAL_TAB - Static variable in interface nfa.transitionlabel.TransitionLabel
 

I

IdaAnalysisResults - Class in analysis
 
IdaAnalysisResults(NFAGraph, IdaAnalysisResults.IdaCases) - Constructor for class analysis.IdaAnalysisResults
 
idaCase - Variable in class analysis.IdaAnalysisResults
 
idaResultsCache - Variable in class analysis.NFAAnalyser
 
IdaSpecialTransitionLabel(LinkedList<TransitionLabel>) - Constructor for class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
idaTestCaseFilter(NFAGraph, NFAGraph) - Method in class analysis.NFAAnalyser
 
idaUnprioritisedAnalysis(NFAGraph) - Method in class analysis.NFAAnalyser
 
incNumParallel() - Method in class nfa.NFAEdge
 
InterfaceSettings - Class in util
 
InterfaceSettings(InterfaceSettings.InputType, boolean, boolean) - Constructor for class util.InterfaceSettings
 
InterfaceSettings.InputType - Enum in util
 
InterruptibleMatchingString - Class in util
 
InterruptibleMatchingString(CharSequence) - Constructor for class util.InterruptibleMatchingString
 
intersection(TransitionLabel) - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
intersection(TransitionLabel) - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
intersection(TransitionLabel) - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
intersection(TransitionLabel) - Method in interface nfa.transitionlabel.TransitionLabel
 
intersection(RangeSet) - Method in class util.RangeSet
 
isAcceptingState(String) - Method in class nfa.NFAGraph
 
isAcceptingState(NFAVertexND) - Method in class nfa.NFAGraph
 
isEmpty() - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
isEmpty() - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
isEmpty() - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
isEmpty() - Method in interface nfa.transitionlabel.TransitionLabel
 
isEmpty() - Method in class util.RangeSet
 
isInterrupted() - Method in class analysis.NFAAnalyser
 
isInterrupted() - Static method in class analysis.NFAAnalysisTools
 
isTransitionFor(String) - Method in class nfa.FilterEdge
 
isTransitionFor(TransitionLabel) - Method in class nfa.FilterEdge
 
isTransitionFor(String) - Method in class nfa.NFAEdge
 
isTransitionFor(TransitionLabel) - Method in class nfa.NFAEdge
 
iterator() - Method in class util.RangeSet
 

J

JavaParseTreeToNFAConverter - Class in regexcompiler
 
JavaParseTreeToNFAConverter() - Constructor for class regexcompiler.JavaParseTreeToNFAConverter
 
joinNFAs(NFAGraph, NFAGraph) - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
joinNFAs(NFAGraph, NFAGraph) - Method in interface regexcompiler.NFACreator
 
joinNFAs(NFAGraph, NFAGraph) - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 

L

length() - Method in class util.InterruptibleMatchingString
 
low - Variable in class util.RangeSet.Range
 

M

Main - Class in driver
 
Main() - Constructor for class driver.Main
 
main(String[]) - Static method in class driver.Main
 
main(String[]) - Static method in class matcher.driver.MatcherDriver
 
main(String[]) - Static method in class matcher.driver.MatcherExploitStringTester
 
main(String[]) - Static method in class nfa.transitionlabel.CharacterPropertyParser
 
main(String[]) - Static method in interface nfa.transitionlabel.TransitionLabel
 
main(String[]) - Static method in class nfa.transitionlabel.TransitionLabelParserRecursive
 
main(String[]) - Static method in class preprocessor.ParsingPreprocessor
 
main(String[]) - Static method in class preprocessor.PreciseSubstitutionPreprocessor
 
main(String[]) - Static method in class regexcompiler.MyPattern
 
main(String[]) - Static method in class util.RangeSet
 
makeTrim(NFAGraph) - Static method in class analysis.NFAAnalysisTools
Removes all useless states from an NFA graph.
makeTrimAlternative(NFAGraph) - Static method in class analysis.NFAAnalysisTools
Removes all useless states from an NFA graph.
makeTrimFromStart(NFAGraph) - Static method in class analysis.NFAAnalysisTools
 
makeTrimUPNFA(NFAGraph, NFAGraph) - Static method in class analysis.NFAAnalysisTools
 
matcher - package matcher
 
matcher(String) - Method in class regexcompiler.MyPattern
 
matcher.driver - package matcher.driver
 
MatcherDriver - Class in matcher.driver
 
MatcherDriver() - Constructor for class matcher.driver.MatcherDriver
 
MatcherExploitStringTester - Class in matcher.driver
 
MatcherExploitStringTester() - Constructor for class matcher.driver.MatcherExploitStringTester
 
matches(String) - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
matches(TransitionLabel) - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
matches() - Method in interface matcher.MyMatcher
 
matches() - Method in class matcher.NFAMatcher
 
matches(String) - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
matches(TransitionLabel) - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
matches(String) - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
matches(TransitionLabel) - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
matches(String) - Method in interface nfa.transitionlabel.TransitionLabel
 
matches(TransitionLabel) - Method in interface nfa.transitionlabel.TransitionLabel
 
MAX_16UNICODE - Static variable in class nfa.transitionlabel.CharacterPropertyParser
 
MAX_16UNICODE - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MAX_DIGIT - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MAX_REPETITION - Static variable in class regexcompiler.ParseTreeToNFAConverter
 
MAX_SPACE - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MAX_WORD1 - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MAX_WORD2 - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MAX_WORD3 - Static variable in interface nfa.transitionlabel.TransitionLabel
 
merge(RangeSet.Range) - Method in class util.RangeSet.Range
 
mergeStronglyConnectedComponents(NFAGraph, boolean) - Static method in class analysis.NFAAnalysisTools
Creates a single state for each strongly connected component.
MILLISECONDS_IN_SECOND - Static variable in class util.Constants
 
MIN_16UNICODE - Static variable in class nfa.transitionlabel.CharacterPropertyParser
 
MIN_16UNICODE - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MIN_DIGIT - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MIN_SPACE - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MIN_WORD1 - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MIN_WORD2 - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MIN_WORD3 - Static variable in interface nfa.transitionlabel.TransitionLabel
 
MurmurHash3 - Class in util
 
MurmurHash3() - Constructor for class util.MurmurHash3
 
MyMatcher - Interface in matcher
 
MyPattern - Class in regexcompiler
 

N

newRoot(ParseTree.TreeNode) - Method in class regexcompiler.ParseTree
 
nextLookAroundState() - Method in class regexcompiler.ParseTreeToNFAConverter
 
nextState() - Method in class regexcompiler.ParseTreeToNFAConverter
 
nfa - package nfa
 
nfa.transitionlabel - package nfa.transitionlabel
 
NFAAnalyser - Class in analysis
 
NFAAnalyser(AnalysisSettings.PriorityRemovalStrategy) - Constructor for class analysis.NFAAnalyser
 
NFAAnalyser.IdaSpecialTransitionLabel - Class in analysis
 
NFAAnalyserFlattening - Class in analysis
 
NFAAnalyserFlattening(AnalysisSettings.PriorityRemovalStrategy) - Constructor for class analysis.NFAAnalyserFlattening
 
NFAAnalyserInterface - Interface in analysis
 
NFAAnalyserInterface.AnalysisResultsType - Enum in analysis
 
NFAAnalyserInterface.EdaAnalysisResultsESCC - Class in analysis
 
NFAAnalyserInterface.EdaAnalysisResultsFilter - Class in analysis
 
NFAAnalyserInterface.EdaAnalysisResultsNoEda - Class in analysis
 
NFAAnalyserInterface.EdaAnalysisResultsParallel - Class in analysis
 
NFAAnalyserInterface.IdaAnalysisResultsIda - Class in analysis
 
NFAAnalyserInterface.IdaAnalysisResultsNoIda - Class in analysis
 
NFAAnalyserMerging - Class in analysis
An analyser for finding patterns that can cause catastrophic backtracking.
NFAAnalyserMerging(AnalysisSettings.PriorityRemovalStrategy) - Constructor for class analysis.NFAAnalyserMerging
 
NFAAnalysisTools - Class in analysis
 
NFAAnalysisTools() - Constructor for class analysis.NFAAnalysisTools
 
NFACreator - Interface in regexcompiler
 
NFAEdge - Class in nfa
An edge used to represent one of the transitions in an NFA.
NFAEdge(NFAVertexND, NFAVertexND, String) - Constructor for class nfa.NFAEdge
 
NFAEdge(NFAVertexND, NFAVertexND, TransitionLabel) - Constructor for class nfa.NFAEdge
 
NFAGraph - Class in nfa
A graph representing an NFA.
NFAGraph() - Constructor for class nfa.NFAGraph
 
NFAMatcher - Class in matcher
 
NFAMatcher(NFAGraph, String) - Constructor for class matcher.NFAMatcher
 
NFAVertexND - Class in nfa
A vertex of a graph representing a state in an NFA.
NFAVertexND(int) - Constructor for class nfa.NFAVertexND
A constructor for creating the default one dimensional vertex with an integer parameter.
NFAVertexND(String) - Constructor for class nfa.NFAVertexND
A constructor for creating the default one dimensional vertex
NFAVertexND(int, int, int) - Constructor for class nfa.NFAVertexND
A constructor for creating the frequently used three dimensional vertex with an integer parameter.
NFAVertexND(String, String, String) - Constructor for class nfa.NFAVertexND
A constructor for creating the frequently used three dimensional vertex.
NFAVertexND(int, int, int, int, int) - Constructor for class nfa.NFAVertexND
A constructor for creating the frequently used five dimensional vertex.
NFAVertexND(String, String, String, String, String) - Constructor for class nfa.NFAVertexND
A constructor for creating the frequently used five dimensional vertex.
NFAVertexND(int...) - Constructor for class nfa.NFAVertexND
A constructor for creating one multidimensional vertex from a list of integers
NFAVertexND(String...) - Constructor for class nfa.NFAVertexND
A constructor for creating one multidimensional vertex from a list of strings
NFAVertexND(NFAVertexND...) - Constructor for class nfa.NFAVertexND
A constructor for creating one multidimensional vertex from multidimensional vertices
NFAVertexND(Collection<String>) - Constructor for class nfa.NFAVertexND
A constructor for creating one multidimensional vertex from a collection of multidimensional vertices
NFAVertexND(Set<NFAVertexND>) - Constructor for class nfa.NFAVertexND
A constructor for creating one multidimensional vertex from a set of multidimensional vertices
NoAnalysisFoundException - Exception in analysis
 
NoAnalysisFoundException() - Constructor for exception analysis.NoAnalysisFoundException
 
NoAnalysisFoundException(String) - Constructor for exception analysis.NoAnalysisFoundException
 
NoExploitStringException - Exception in analysis
 
NoExploitStringException() - Constructor for exception analysis.NoExploitStringException
 
NoExploitStringException(String) - Constructor for exception analysis.NoExploitStringException
 
NonpreciseCountClosureOperatorExpansion - Class in preprocessor
 
NonpreciseCountClosureOperatorExpansion() - Constructor for class preprocessor.NonpreciseCountClosureOperatorExpansion
 
NonpreciseLookaroundExpansion - Class in preprocessor
 
NonpreciseLookaroundExpansion() - Constructor for class preprocessor.NonpreciseLookaroundExpansion
 
NonpreciseSubstitutionPreprocessor - Class in preprocessor
 
NonpreciseSubstitutionPreprocessor() - Constructor for class preprocessor.NonpreciseSubstitutionPreprocessor
 
numWalksFrom(NFAGraph, NFAVertexND) - Static method in class analysis.NFAAnalyserFlattening
 
numWalksFrom(NFAGraph, NFAVertexND) - Static method in class analysis.NFAAnalysisTools
Determines the number of walks between a vertex and all other vertices in a given graph.

O

OperatorExpansionRule - Class in preprocessor
 
OperatorExpansionRule() - Constructor for class preprocessor.OperatorExpansionRule
 
originalGraph - Variable in class analysis.AnalysisResults
 
outgoingEpsilonEdgesOf(NFAVertexND) - Method in class nfa.NFAGraph
All the edges representing an epsilon transition from a vertex
overlaps(RangeSet.Range) - Method in class util.RangeSet.Range
 
overlapsAdjacent(RangeSet.Range) - Method in class util.RangeSet.Range
 

P

parseCharacterProperty(String) - Method in class nfa.transitionlabel.CharacterPropertyParser
 
parseCharacterPropertyIterative(String) - Method in class nfa.transitionlabel.CharacterPropertyParser
 
parseCharacterPropertyStored(String) - Method in class nfa.transitionlabel.CharacterPropertyParser
 
parseTransitionLabel() - Method in class nfa.transitionlabel.TransitionLabelParserRecursive
 
ParseTree - Class in regexcompiler
 
ParseTree() - Constructor for class regexcompiler.ParseTree
 
ParseTree.TreeNode - Class in regexcompiler
 
ParseTreeToNFAConverter - Class in regexcompiler
 
ParseTreeToNFAConverter() - Constructor for class regexcompiler.ParseTreeToNFAConverter
 
ParsingPreprocessor - Class in preprocessor
 
ParsingPreprocessor() - Constructor for class preprocessor.ParsingPreprocessor
 
performAnalysis(BufferedReader, InterfaceSettings, AnalysisSettings) - Static method in class analysis.driver.AnalysisDriverStdOut
 
plusNFA(NFAGraph, RegexQuantifiableOperator.RegexPlusOperator) - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
plusNFA(NFAGraph, RegexQuantifiableOperator.RegexPlusOperator) - Method in interface regexcompiler.NFACreator
 
plusNFA(NFAGraph, RegexQuantifiableOperator.RegexPlusOperator) - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 
PlusOperatorExpansion - Class in preprocessor
 
PlusOperatorExpansion() - Constructor for class preprocessor.PlusOperatorExpansion
 
PreciseSubstitutionPreprocessor - Class in preprocessor
 
PreciseSubstitutionPreprocessor() - Constructor for class preprocessor.PreciseSubstitutionPreprocessor
 
predefinedRangeSetDigits() - Static method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
predefinedRangeSetHorizontalTab() - Static method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
predefinedRangeSetVerticalTab() - Static method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
predefinedRangeSetWhiteSpaces() - Static method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
predefinedRangeSetWordCharacters() - Static method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
predefinedRangeWildcard() - Static method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
prepareForFilter(NFAGraph, String, String) - Static method in class analysis.NFAAnalysisTools
Modifies an NFA graph so that it can be used with the Mohri filter.
preprocessor - package preprocessor
 
Preprocessor - Interface in preprocessor
 
PreprocessorRule - Interface in preprocessor
 
priorityRemovalStrategy - Variable in class analysis.NFAAnalyser
 
process(List<ParsingPreprocessor.RegexToken>) - Method in class preprocessor.DequantifierRule
 
process(List<ParsingPreprocessor.RegexToken>) - Method in class preprocessor.EscapeSequenceExpansionRule
 
process(List<ParsingPreprocessor.RegexToken>) - Method in class preprocessor.NonpreciseLookaroundExpansion
 
process(List<ParsingPreprocessor.RegexToken>) - Method in class preprocessor.OperatorExpansionRule
 
process(List<ParsingPreprocessor.RegexToken>) - Method in interface preprocessor.PreprocessorRule
 
process(List<ParsingPreprocessor.RegexToken>) - Method in class preprocessor.WildCardExpansionRule
 
productConstruction(NFAGraph, NFAGraph, HashMap<NFAEdge, TransitionLabel>) - Static method in class analysis.NFAAnalysisTools
 
productConstructionAFA(NFAGraph) - Static method in class analysis.NFAAnalysisTools
Calculates the product construction of a graph using the the Mohri filter.
productConstructionAFAFA(NFAGraph) - Static method in class analysis.NFAAnalysisTools
 
productConstructionAFB(NFAGraph, NFAGraph) - Static method in class analysis.NFAAnalysisTools
 

Q

questionMarkNFA(NFAGraph, RegexQuantifiableOperator.RegexQuestionMarkOperator) - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
questionMarkNFA(NFAGraph, RegexQuantifiableOperator.RegexQuestionMarkOperator) - Method in interface regexcompiler.NFACreator
 
questionMarkNFA(NFAGraph, RegexQuantifiableOperator.RegexQuestionMarkOperator) - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 
QuestionMarkOperatorExpansion - Class in preprocessor
 
QuestionMarkOperatorExpansion() - Constructor for class preprocessor.QuestionMarkOperatorExpansion
 

R

Range(int, int) - Constructor for class util.RangeSet.Range
 
Range(int) - Constructor for class util.RangeSet.Range
 
RangeSet - Class in util
 
RangeSet(int, int) - Constructor for class util.RangeSet
 
RangeSet(RangeSet) - Constructor for class util.RangeSet
 
RangeSet.Range - Class in util
 
reachableWithEpsilon(NFAGraph, NFAVertexND) - Static method in class analysis.NFAAnalysisTools
 
RegexAnchor - Class in regexcompiler
 
RegexAnchor(RegexAnchor.RegexAnchorType, int) - Constructor for class regexcompiler.RegexAnchor
 
RegexAnchor.RegexAnchorType - Enum in regexcompiler
 
RegexCharacterClass - Class in regexcompiler
 
RegexCharacterClass(String, int) - Constructor for class regexcompiler.RegexCharacterClass
 
regexcompiler - package regexcompiler
 
RegexCountClosureOperator - Class in regexcompiler
 
RegexCountClosureOperator(int, int, RegexQuantifiableOperator.QuantifierType, int) - Constructor for class regexcompiler.RegexCountClosureOperator
 
RegexEscapedSymbol - Class in regexcompiler
 
RegexEscapedSymbol(String, RegexEscapedSymbol.RegexEscapedSymbolType, int) - Constructor for class regexcompiler.RegexEscapedSymbol
 
RegexEscapedSymbol.RegexEscapedSymbolType - Enum in regexcompiler
 
RegexGroup - Class in regexcompiler
 
RegexGroup(List<RegexToken>, RegexGroup.RegexGroupType, int) - Constructor for class regexcompiler.RegexGroup
 
RegexGroup.RegexGroupType - Enum in regexcompiler
 
RegexJoinOperator(int) - Constructor for class regexcompiler.RegexOperator.RegexJoinOperator
 
RegexOperator - Class in regexcompiler
 
RegexOperator(RegexOperator.OperatorType, int) - Constructor for class regexcompiler.RegexOperator
 
RegexOperator.OperatorType - Enum in regexcompiler
 
RegexOperator.RegexJoinOperator - Class in regexcompiler
 
RegexOperator.RegexUnionOperator - Class in regexcompiler
 
RegexPlusOperator(RegexQuantifiableOperator.QuantifierType, int) - Constructor for class regexcompiler.RegexQuantifiableOperator.RegexPlusOperator
 
RegexQuantifiableOperator - Class in regexcompiler
 
RegexQuantifiableOperator(RegexOperator.OperatorType, RegexQuantifiableOperator.QuantifierType, int) - Constructor for class regexcompiler.RegexQuantifiableOperator
 
RegexQuantifiableOperator.QuantifierType - Enum in regexcompiler
 
RegexQuantifiableOperator.RegexPlusOperator - Class in regexcompiler
 
RegexQuantifiableOperator.RegexQuestionMarkOperator - Class in regexcompiler
 
RegexQuantifiableOperator.RegexStarOperator - Class in regexcompiler
 
RegexQuestionMarkOperator(RegexQuantifiableOperator.QuantifierType, int) - Constructor for class regexcompiler.RegexQuantifiableOperator.RegexQuestionMarkOperator
 
RegexStarOperator(RegexQuantifiableOperator.QuantifierType, int) - Constructor for class regexcompiler.RegexQuantifiableOperator.RegexStarOperator
 
RegexSubexpression<SubexpressionContentType> - Class in regexcompiler
 
RegexSubexpression(SubexpressionContentType, int) - Constructor for class regexcompiler.RegexSubexpression
 
RegexSubexpression.SubexpressionType - Enum in regexcompiler
 
RegexSymbol - Class in regexcompiler
 
RegexSymbol(String, int) - Constructor for class regexcompiler.RegexSymbol
 
RegexToken - Interface in regexcompiler
 
RegexToken.TokenType - Enum in regexcompiler
 
RegexUnionOperator(int) - Constructor for class regexcompiler.RegexOperator.RegexUnionOperator
 
removeAcceptingState(NFAVertexND) - Method in class nfa.NFAGraph
 
removeRule(String) - Method in class preprocessor.SubstitutionPreprocessor
 
reverse() - Method in class nfa.NFAGraph
 

S

sampleRangeSet() - Method in class util.RangeSet
 
searchEdaCache(NFAGraph) - Method in class analysis.NFAAnalyser
 
searchIdaCache(NFAGraph) - Method in class analysis.NFAAnalyser
 
setIndex(int) - Method in class nfa.transitionlabel.CharacterPropertyParser
 
setInitialState(NFAVertexND) - Method in class nfa.NFAGraph
 
setNumParallel(int) - Method in class nfa.NFAEdge
 
setOutGoingTransitionCharacter(String) - Method in class nfa.FilterEdge
 
setPriorityRemovalStrategy(AnalysisSettings.PriorityRemovalStrategy) - Method in class analysis.IdaAnalysisResults
 
setTransitionLabel(String) - Method in class nfa.NFAEdge
 
setTransitionLabel(TransitionLabel) - Method in class nfa.NFAEdge
 
shortestPathBetween(NFAGraph, NFAVertexND, NFAVertexND) - Static method in class analysis.NFAAnalysisTools
 
shortestPathTo(NFAGraph, NFAVertexND) - Static method in class analysis.NFAAnalysisTools
This function finds the shortest path from the initial state in the NFA to a certain finish state.
starNFA(NFAGraph, RegexQuantifiableOperator.RegexStarOperator) - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
starNFA(NFAGraph, RegexQuantifiableOperator.RegexStarOperator) - Method in interface regexcompiler.NFACreator
 
starNFA(NFAGraph, RegexQuantifiableOperator.RegexStarOperator) - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 
subSequence(int, int) - Method in class util.InterruptibleMatchingString
 
SubstitutionPreprocessor - Class in preprocessor
 
SubstitutionPreprocessor() - Constructor for class preprocessor.SubstitutionPreprocessor
 

T

ThompsonParseTreeToNFAConverter - Class in regexcompiler
 
ThompsonParseTreeToNFAConverter() - Constructor for class regexcompiler.ThompsonParseTreeToNFAConverter
 
toNFAGraph(String, AnalysisSettings.NFAConstruction) - Static method in class regexcompiler.MyPattern
 
topologicalSort(NFAGraph) - Static method in class analysis.NFAAnalysisTools
A function that uses Kahn's algorithm to find the topological order of the vertices in the graph.
toString() - Method in class analysis.ExploitString
 
toString() - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
toString() - Method in class nfa.FilterEdge
 
toString() - Method in class nfa.NFAEdge
 
toString() - Method in class nfa.NFAGraph
 
toString() - Method in class nfa.NFAVertexND
 
toString() - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
toString() - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
toString() - Method in class nfa.UPNFAState
 
toString() - Method in class regexcompiler.ParseTree
 
toString() - Method in class regexcompiler.ParseTree.TreeNode
 
toString() - Method in enum regexcompiler.RegexAnchor.RegexAnchorType
 
toString() - Method in class regexcompiler.RegexCharacterClass
 
toString() - Method in class regexcompiler.RegexCountClosureOperator
 
toString() - Method in class regexcompiler.RegexEscapedSymbol
 
toString() - Method in enum regexcompiler.RegexGroup.RegexGroupType
 
toString() - Method in class regexcompiler.RegexGroup
 
toString() - Method in enum regexcompiler.RegexOperator.OperatorType
 
toString() - Method in class regexcompiler.RegexOperator
 
toString() - Method in enum regexcompiler.RegexQuantifiableOperator.QuantifierType
 
toString() - Method in class regexcompiler.RegexQuantifiableOperator
 
toString() - Method in class regexcompiler.RegexSymbol
 
toString() - Method in class util.RangeSet.Range
 
toString() - Method in class util.RangeSet
 
TransitionLabel - Interface in nfa.transitionlabel
 
TransitionLabel.TransitionType - Enum in nfa.transitionlabel
 
TransitionLabelParserRecursive - Class in nfa.transitionlabel
 
TransitionLabelParserRecursive(String) - Constructor for class nfa.transitionlabel.TransitionLabelParserRecursive
 
TreeNode(RegexToken) - Constructor for class regexcompiler.ParseTree.TreeNode
 

U

UnimplementedFunctionalityException - Exception in regexcompiler
 
UnimplementedFunctionalityException() - Constructor for exception regexcompiler.UnimplementedFunctionalityException
 
UnimplementedFunctionalityException(String) - Constructor for exception regexcompiler.UnimplementedFunctionalityException
 
union(TransitionLabel) - Method in class analysis.NFAAnalyser.IdaSpecialTransitionLabel
 
union(TransitionLabel) - Method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
union(TransitionLabel) - Method in class nfa.transitionlabel.EpsilonTransitionLabel
 
union(TransitionLabel) - Method in interface nfa.transitionlabel.TransitionLabel
 
union(RangeSet) - Method in class util.RangeSet
 
union(RangeSet.Range) - Method in class util.RangeSet
 
union(List<RangeSet.Range>) - Method in class util.RangeSet
 
unionNFAs(NFAGraph, NFAGraph) - Method in class regexcompiler.JavaParseTreeToNFAConverter
 
unionNFAs(NFAGraph, NFAGraph) - Method in interface regexcompiler.NFACreator
 
unionNFAs(NFAGraph, NFAGraph) - Method in class regexcompiler.ThompsonParseTreeToNFAConverter
 
UPNFAState - Class in nfa
 
UPNFAState(Collection<String>, Set<NFAVertexND>) - Constructor for class nfa.UPNFAState
 
upNFAStateIsUseful(NFAGraph, NFAGraph, UPNFAState) - Static method in class analysis.NFAAnalysisTools
 
util - package util
 

V

valueOf(String) - Static method in enum analysis.AnalysisSettings.EpsilonLoopRemovalStrategy
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum analysis.AnalysisSettings.NFAConstruction
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum analysis.AnalysisSettings.PreprocessingType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum analysis.AnalysisSettings.PriorityRemovalStrategy
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum analysis.NFAAnalyserInterface.AnalysisResultsType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum nfa.transitionlabel.TransitionLabel.TransitionType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum regexcompiler.RegexAnchor.RegexAnchorType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum regexcompiler.RegexEscapedSymbol.RegexEscapedSymbolType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum regexcompiler.RegexGroup.RegexGroupType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum regexcompiler.RegexOperator.OperatorType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum regexcompiler.RegexQuantifiableOperator.QuantifierType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum regexcompiler.RegexSubexpression.SubexpressionType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum regexcompiler.RegexToken.TokenType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum util.InterfaceSettings.InputType
Returns the enum constant of this type with the specified name.
values() - Static method in enum analysis.AnalysisSettings.EpsilonLoopRemovalStrategy
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum analysis.AnalysisSettings.NFAConstruction
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum analysis.AnalysisSettings.PreprocessingType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum analysis.AnalysisSettings.PriorityRemovalStrategy
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum analysis.NFAAnalyserInterface.AnalysisResultsType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum nfa.transitionlabel.TransitionLabel.TransitionType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum regexcompiler.RegexAnchor.RegexAnchorType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum regexcompiler.RegexEscapedSymbol.RegexEscapedSymbolType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum regexcompiler.RegexGroup.RegexGroupType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum regexcompiler.RegexOperator.OperatorType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum regexcompiler.RegexQuantifiableOperator.QuantifierType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum regexcompiler.RegexSubexpression.SubexpressionType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum regexcompiler.RegexToken.TokenType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum util.InterfaceSettings.InputType
Returns an array containing the constants of this enum type, in the order they are declared.
VERTICAL_TAB - Static variable in interface nfa.transitionlabel.TransitionLabel
 
visualiseString(String) - Static method in class analysis.ExploitString
 

W

WildCardExpansionRule - Class in preprocessor
 
WildCardExpansionRule() - Constructor for class preprocessor.WildCardExpansionRule
 
wildcardLabel() - Static method in class nfa.transitionlabel.CharacterClassTransitionLabel
 
A B C D E F G H I J L M N O P Q R S T U V W 
Skip navigation links

Copyright © 2021. All rights reserved.