Intersection of Regex

Online Algorithms for Solving Regular Expression Intersection Non-emptiness

Runtime environment

Here we will introduce how to set up a runtime environment

Operating Systerm

Ubuntu20.04 # Other Ubuntu Long-Term Support (LTS) versions are also acceptable.

Set up

sudo apt install build-essential  # install gcc, g++ and make
sudo apt install cmake  # install cmake

Running Commands

Here, we will introduce how to run our tool.

Directory structure

HybridAlgSolver/
├── Membership
├── Parser
├── Solver # Solving Regular Expression Intersection Non-emptiness
    ├── String
    ├── solver.cpp
    ├── ...
└── IntersectionK.cpp  #main code

Building and Running

cd HybridAlgSolver # Enter the root directory of the project
mkdir build && cd build # create build directory
cmake .. # load cmakelist file
make # compile into .exe file
./IntersectionK [RegexFile]  # running command

Running example

A file test.txt containing three regexes is shown below:

\w*
hos\w*name:2024
hostname[2024]+

And running the command:

./IntersectionK 

Its outputs will be printed in the shell:

sat
witness string: hostname:2024

Detect Ambiguity of Regex

Online Algorithms for Detecting Ambiguity of Regex and Generating an Effective Attack String.

Running Commands

cd HybridAlgSolver # Enter the root directory of the project
mkdir build && cd build # create build directory
cmake .. # load cmakelist file
make # compile into .exe file
./DetectAmbiguity [Path of Regex File] [Path of Output File] # runnning command