symbolic-execution-tools · AI Skill 用途与安装 · iSkills.cc
使用 angr 和 Z3 进行符号执行和约束求解来分析二进制。
分类：安全合规
来源仓库：yaklang/hack-skills
适合用来做什么
- 使用符号执行工具分析这个程序的漏洞。
- 比较不同符号执行工具在漏洞检测中的效果。
不适合的情况
- 不适合与“安全合规”无关的任务。
安装 symbolic-execution-tools
npx skills add https://www.iskills.cc/skills/yaklang/hack-skills/symbolic-execution-tools/SKILL.md在本机终端执行安装命令。安装前请阅读原始说明，确认所需工具、账号和权限。