
ILSpy
.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

Open-source antivirus for AI agents: block risky tools, secret access, prompt injection, malicious packages, MCP servers, plugins, and skills at…

A static analysis security vulnerability scanner for Ruby on Rails applications


Pluggable linting tool to prevent committing credential.

PE file viewer/editor for Windows, Linux and MacOS.

Program for determining types of files for Windows, Linux and MacOS.

Service that builds enrolled open-source repositories in isolated offline VMs and scans them for security vulnerabilities, emailing findings with…

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

Static analysis rule pack for detecting security vulnerabilities, dangerous code patterns, and configuration issues across many languages; integrates…

Reverse engineering and pentesting for Android applications

Curated directory of static analysis (SAST) tools and linters for programming languages, configs, build tools, and CI, focused on improving code…

MCP server bridging Ghidra's reverse engineering with AI tools: 256 tools for decompilation, P-code emulation, live debugging, data flow analysis,…

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Hunt every Endpoint in your code, expose Shadow APIs, map the Attack Surface.

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Deep ghidra decompiler and sleigh disassembler integration for rizin