symbolic-execution-tools
Pass
Audited by Gen Agent Trust Hub on Apr 9, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No malicious patterns or security risks were identified. The content is purely educational and technical, focusing on binary analysis and reverse engineering.
- [EXTERNAL_DOWNLOADS]: The skill documentation describes the installation of reputable and well-known security libraries (angr, z3-solver, unicorn, capstone, and keystone-engine) via standard package managers. These are trusted tools in the security community.
- [COMMAND_EXECUTION]: The skill provides scripts that use symbolic execution and emulation to analyze binary behavior. While these tools involve code execution/emulation, this is the intended and primary purpose of the skill for the user's research activities.
Audit Metadata