naaz

纳兹

另一个符号执行引擎。基于 Ghidra 的 P 代码。为乐趣而生。

编译（Linux/OSX）

拉取存储库和子模块：

 git clone https://github.com/borzacchiello/naaz.git
cd naaz
git submodule update --init

编译第三方库：

 cd third_party
./build.sh

编译 naaz：

 cd ..
mkdir build
cd build
cmake ..
make -j`nproc`

命令行工具位于目录build/tools/下

如何使用

naaz 附带两个命令行实用程序：

• naaz_finder查找到达给定地址的状态。
• naaz_path_generator ，它生成覆盖多个路径的输入。

有关如何使用此工具的示例可以在此存储库中找到。

待办事项

• 实现COW内存
• 为所有 P 代码语句实施处理程序
• 系统调用支持
• Windows/PE 支持
• 更多库模型
• 支持更多加载器（例如基于 rizin 的加载器）
• 支持库加载
• Python 的绑定