binary-bug-detection
claudeFind security vulnerabilities in ELF binaries using ClearBit IR analysis. Skills: taint-bug-detection (buffer overflow, command injection, UAF), iot-bug-detection (cross-binary IoT firmware taint), cisb-bug-detection (compiler-introduced security bugs via DSE/UB/reordering), write-custom-query (custom IR queries). Orchestrates Plan, Analyze, and Validate agents.
4 skills · 5 agents · 1 MCP server · LSP
1