symbolic-execution-tools
Pass
Audited by Gen Agent Trust Hub on Sep 15, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No malicious patterns, prompt injections, or security vulnerabilities were identified within the skill instructions or provided code templates. The instructions are focused on legitimate reverse engineering and CTF challenge solving.
- [EXTERNAL_DOWNLOADS]: The documentation references standard installation commands for reputable and well-known security analysis libraries including angr, z3-solver, unicorn, capstone, and keystone-engine. These downloads target the official Python package registry.
- [COMMAND_EXECUTION]: The skill includes informational shell commands for environment setup and tool installation. These are standard procedures for the technical use case described and do not contain hidden or malicious payloads.
- [DATA_EXFILTRATION]: Analysis confirmed the absence of hardcoded credentials, sensitive file paths, or unauthorized network operations. The provided scripts are designed to operate on local binaries and symbolic memory states within a controlled analysis environment.
Audit Metadata