regexcompiler.NFACreator Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of regex-static-analysis Show documentation

A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.

There is a newer version: 1.0.8

Show newest version

package regexcompiler;

import nfa.*;
import regexcompiler.RegexQuantifiableOperator.RegexPlusOperator;
import regexcompiler.RegexQuantifiableOperator.RegexQuestionMarkOperator;
import regexcompiler.RegexQuantifiableOperator.RegexStarOperator;

public interface NFACreator {
	
	public NFAGraph createBaseCaseEmpty();

	public NFAGraph createBaseCaseLookAround(NFAVertexND lookAroundState);
	
	public NFAGraph createBaseCaseEmptyString();
	
	public NFAGraph createBaseCaseSymbol(String symbol);
	
	public NFAGraph unionNFAs(NFAGraph m1, NFAGraph m2);
	
	public NFAGraph joinNFAs(NFAGraph m1, NFAGraph m2);
	
	public NFAGraph starNFA(NFAGraph m, RegexStarOperator starOperator);
	
	public NFAGraph plusNFA(NFAGraph m, RegexPlusOperator plusOperator);
	
	public NFAGraph countClosureNFA(NFAGraph m, RegexCountClosureOperator countClosureOperator);
	
	public NFAGraph questionMarkNFA(NFAGraph m, RegexQuestionMarkOperator questionMarkOperator);
	
	
}