symbolic-execution-tools
Pass
Audited by Gen Agent Trust Hub on Sep 26, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: No malicious patterns, obfuscation, or unauthorized data access were detected. The skill provides legitimate educational content and code snippets for binary reverse engineering.
- [EXTERNAL_DOWNLOADS]: The skill lists standard installations for well-known security research libraries, including
angr,z3-solver,unicorn,capstone, andkeystone-enginevia official package registries. These are recognized as safe and appropriate for the skill's technical scope. - [INDIRECT_PROMPT_INJECTION]: The skill contains logic for ingesting and analyzing binary file output (stdout). While this represents an interface for processing external data, the functionality is core to symbolic execution tools and is implemented through standard security research APIs (e.g.,
s.posix.dumps(1)) in a controlled analysis context.
Audit Metadata