
magika
Fast and accurate AI powered file content types detection

Fast and accurate AI powered file content types detection

Python toolkit accelerating Ghidra with a cached daemon, ARM64 P-code lifting, Z3 equivalence proofs, GPU-accelerated scanning, binary diffing, and…

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

Automated mobile application security testing framework for Android, iOS, and Windows. Performs static and dynamic analysis, malware detection, and…

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

scanner detecting the use of JavaScript libraries with known vulnerabilities. Can also generate an SBOM of the libraries it finds.

Dynamic and static analysis with Real Time Malware Analysis with Antivirus for Windows, including open-source XDR (3 EDR projects), ClamAV, YARA-X,…

0-day malware detection for binaries, source & scripts (that doesn't suck)

decomp.wtf fork: Windows PE matching, MinGW/clang-cl toolchains, and an optional REA MCP bridge


High-performance secrets scanner. CLI, Go library, Burp Suite extension, and Chrome extension. 487 detection rules with live credential validation.

Open-source AI security harness. Includes a web UI for code analysis, pentesting, vulnerability research, reverse engineering, verification, and…

SQLite 3.53.4 - High - Local - Crash - FTS5 secure-delete PutVarint footer overrun

SQLite 3.53.4 - High - Local - Privilege leftover - FULL JOIN USING skips sqlite3AuthRead

SQLite 3.53.4 - High - Local - Crash - COLLATE chain skips SQLITE_LIMIT_EXPR_DEPTH

SQLite 3.53.4 - High - Local - Crash - nested CTEs skip nNestSel view-depth cap

Runtime-aware SCA — proves which CVEs are actually reachable, not just installed.

Symbolic verification tool for security protocols using multiset rewriting and constraint solving to prove secrecy, authentication, and equivalence…