SiMBA 项目使用教程

SiMBA 项目使用教程

SiMBA Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions 项目地址: https://gitcode.com/gh_mirrors/simba2/SiMBA

1. 项目目录结构及介绍

SiMBA 项目的目录结构如下：

SiMBA/
├── data/
├── paper/
├── slides/
├── src/
│   ├── simplify.py
│   ├── simplify_dataset.py
│   ├── check_linear_mba.py
│   └── ...
├── .gitignore
├── LICENSE
├── README.md
└── example-expressions.txt

目录介绍

• data/: 存放项目的数据文件。
• paper/: 存放与项目相关的论文文件。
• slides/: 存放项目相关的演示文稿文件。
• src/: 存放项目的源代码文件，包括主要的 Python 脚本。
  • simplify.py: 用于简化单个线性混合布尔-算术表达式的脚本。
  • simplify_dataset.py: 用于简化文件中包含的多个线性混合布尔-算术表达式的脚本。
  • check_linear_mba.py: 用于检查表达式是否为线性混合布尔-算术表达式的脚本。
• .gitignore: Git 忽略文件，指定哪些文件或目录不需要被 Git 管理。
• LICENSE: 项目的开源许可证文件，采用 GPL-3.0 许可证。
• README.md: 项目的说明文件，包含项目的简介、使用方法等信息。
• example-expressions.txt: 示例表达式文件，包含多个复杂的线性混合布尔-算术表达式及其简化形式。

2. 项目启动文件介绍

SiMBA 项目的主要启动文件位于 src/ 目录下，主要包括以下几个文件：

• simplify.py: 用于简化单个线性混合布尔-算术表达式的脚本。可以通过命令行直接运行该脚本，输入表达式进行简化。

  示例命令：

  python3 src/simplify.py "x+x"
  

• simplify_dataset.py: 用于简化文件中包含的多个线性混合布尔-算术表达式的脚本。可以通过指定文件路径来批量处理表达式。

  示例命令：

  python3 src/simplify_dataset.py -f example-expressions.txt
  

• check_linear_mba.py: 用于检查表达式是否为线性混合布尔-算术表达式的脚本。可以通过命令行输入表达式进行检查。

  示例命令：

  python3 src/check_linear_mba.py "x*x"
  

3. 项目的配置文件介绍

SiMBA 项目没有专门的配置文件，但可以通过命令行参数进行配置。主要的配置选项包括：

• -l: 启用线性检查，确保输入的表达式是线性混合布尔-算术表达式。
• -z: 启用简化结果的验证，使用 Z3 验证简化后的表达式是否与原始表达式等价。
• -b: 设置常量和变量的位数，默认值为 64。
• -f: 指定包含表达式的文件路径。
• -r: 指定要处理的表达式数量上限。
• -v: 启用详细输出，显示每个表达式的简化结果。
• -e: 对输出表达式进行编码，使用随机整数生成仿射函数。

通过这些命令行参数，用户可以根据需要自定义 SiMBA 项目的运行方式。

SiMBA Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions 项目地址: https://gitcode.com/gh_mirrors/simba2/SiMBA