zjuchenyuan/qsym
zjuchenyuan
QSYM Docker镜像是基于PIN的符号执行引擎，可与AFL结合进行混合模糊测试，帮助发现二进制程序中的安全漏洞。
下载次数: 0状态：社区镜像维护者：zjuchenyuan仓库类型：镜像最近更新：5 年前
让 AI 帮你使用轩辕镜像？ · 展开查看说明 · 点击收起说明
如果你使用 DeepSeek、元宝 AI、Copilot、ChatGPT 等 AI 工具，协助配置轩辕镜像、编写 docker pull 命令、修改 Docker Compose 镜像地址、配置镜像加速、排查镜像拉取失败、分析报错日志等问题，请先让 AI 阅读并遵守轩辕镜像的规则文档。
只需在 AI 对话中先发送下面这句话即可：
请先完整阅读并严格遵守以下文档中的全部规则与要求：
https://xuanyuan.cloud/agents.md
在未充分阅读并理解该文档前，不要生成任何命令、配置、修改建议、故障排查方案或技术回答。后续所有输出都必须严格以该文档中的规范为最高优先级执行。查看 agents.md 用法指南与完整示范。国内用户首推 元宝 AI、DeepSeek 的深度思考模式，不推荐豆包 AI；Cursor 等编辑器可在对话 @ 该链接，或加入 User Rules。 若 AI 无法访问外链，可 打开说明文档 复制全文粘贴。文档会随站点更新，复制内容可能过期，建议定期检查。
QSYM
https://hub.docker.com/r/zjuchenyuan/qsym
源码：https://github.com/sslab-gatech/qsym
修改说明：在setup.py和setup.sh中移除了对/proc/sys/kernel/yama/ptrace_scope的检查。
当前版本：aabec86 版本信息：Ubuntu 16.04、gcc 5.4、PIN 2.14（已修改）、Python 2.7.12、AFL 2.52b 最后更新：2019/08 语言：Python、C 类型：符号执行、基于PIN、二进制插桩、混合模糊测试（与AFL结合）
操作指南
以模糊测试MP3Gain 1.6.2为例。
步骤1：系统配置
echo "" | sudo tee /proc/sys/kernel/core_pattern echo 0 | sudo tee /proc/sys/kernel/core_uses_pid echo performance | sudo tee /sys/devices/system/cpu/cpu*/cpufreq/scaling_governor echo 0 | sudo tee /proc/sys/kernel/yama/ptrace_scope echo 1 | sudo tee /proc/sys/kernel/sched_child_runs_first echo 0 | sudo tee /proc/sys/kernel/randomize_va_space
步骤2：编译目标程序
需使用Address Sanitizer编译目标程序（参考QSYM README）。
wget https://sourceforge.net/projects/mp3gain/files/mp3gain/1.6.2/mp3gain-1_6_2-src.zip/download -O mp3gain-1_6_2-src.zip mkdir -p mp3gain1.6.2 && cd mp3gain1.6.2 unzip ../mp3gain-1_6_2-src.zip # 编译带ASAN的二进制 docker run --rm -w /work -it -v `pwd`:/work --privileged docker.xuanyuan.run/zjuchenyuan/afl \ sh -c "make clean; AFL_USE_ASAN=1 make; mv mp3gain mp3gain_asan" # 编译普通二进制 docker run --rm -w /work -it -v `pwd`:/work --privileged docker.xuanyuan.run/zjuchenyuan/afl \ sh -c "make clean; CC=gcc CXX=g++ make; mv mp3gain mp3gain_normal"
步骤3：准备种子文件
从UNIFUZZ获取MP3种子文件：
apt install -y subversion svn export https://github.com/UNIFUZZ/dockerized_fuzzing_examples/trunk/seed/mp3 seed_mp3
步骤4：启动模糊测试
假设当前目录存在目标二进制和种子文件夹：
wget https://raw.githubusercontent.com/UNIFUZZ/dockerized_fuzzing_examples/master/scripts/runqsym_mp3gain.sh chmod +x ./runqsym_mp3gain.sh mkdir -p output/qsym docker run -w /work -it -v `pwd`:/work --privileged docker.xuanyuan.run/zjuchenyuan/qsym ./runqsym_mp3gain.sh
关键说明
--privileged是PIN工具运行的必要条件。- 崩溃结果位于
afl-master/crashes和afl-slave/crashes，队列文件来自三个目录。 - 大型程序需修改QSYM源码中
qsym/afl.py的DEFAULT_TIMEOUT值。
相关论文
USENIX 2018: Qsym : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing PDF
镜像拉取方式
您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本，请访问 标签列表页面。
DockerHub 原生拉取命令
docker pull zjuchenyuan/qsym:<标签>
镜像拉取常见问题
功能
错误码
用户好评
来自真实用户的反馈，见证轩辕镜像的优质服务
oldzhang
运维工程师
Linux服务器
5
"Docker访问体验非常流畅，大镜像也能快速完成下载。"