【源码】基于ARM汇编的符号执行引擎

项目简介

本项目是一个基于ARM汇编的符号执行引擎（ACEE），其主要目的是为ARM汇编代码的符号执行分析提供强大工具。借助符号执行技术，ACEE可自动探索程序执行路径，识别潜在漏洞与错误。

项目的主要特性和功能

• 符号执行分析：支持对ARM汇编代码做符号执行，能自动生成路径约束并求解。
• 多种寻址模式支持：涵盖立即数偏移、寄存器偏移、缩放寄存器偏移、后索引寻址等多种寻址模式。
• 日志记录：每次执行后会生成详细日志文件，记录执行路径与结果。
• 环境配置：支持在macOS上配置Z3求解器，保障符号执行顺利开展。

安装使用步骤

环境配置

对于macOS用户，需将Z3库路径添加到DYLD_LIBRARY_PATH中： bash export DYLD_LIBRARY_PATH=/Library/Developer/CommandLineTools/Library/Frameworks/Python3.framework/Versions/3.9/lib:$DYLD_LIBRARY_PATH

安装Z3

bash cd z3 python scripts/mk_make.py cd build make sudo make install

快速启动

使用make run命令运行ACEE，并指定输入的ARM汇编文件： bash make run <input_file>.s ACEE会生成一个名为acee_<input_file>.log的日志文件，用于记录执行过程和结果。

下载地址

点击下载 【提取码: 4003】【解压密码: www.makuang.net】