RXXR2正则表达式静态分析器

・1 分钟阅读

RXXR2正则表达式静态分析器
RXXR2是早期分析RXXR的改进版本,在我们的NSS 2013论文中提出,并取代它。

理论背景
本文介绍了RXXR2的分析和正确性:通过子结构逻辑对正则表达式指数运行时的静态分析

下载代码
分析器的源代码可从此页面获得。下载链接位于法律文本下方的底部。

构建需要:ocamllex,ocamlyacc,ocamlc。执行构建脚本:

运行./build.sh
这应该在源目录中生成名为scan.bin的可执行文件。

测试
档案模式:

./scan.bin -i <input_file>
文件中的每一行都被解释为/ REGEX / MODS格式的模式。以#符号开头的空行和行将被忽略。支持最常见的模式语法(Java,PCRE等)。

交互模式:

./scan.bin
然后在终端中输入模式(注意: - 在此模式下,分析器执行穷举搜索)。

Test data

可用的snort数据集 here.

可用的regexlib数据集 here.

学以致用 profile image