
haruspex
Vulnerability research assistant that extracts pseudocode from the IDA Hex-Rays decompiler.

Vulnerability research assistant that extracts pseudocode from the IDA Hex-Rays decompiler.

Curated Ghidra scripts to automate reverse engineering and vulnerability analysis: locate insecure functions, extract decompiler pseudocode, fix…

Semgrep rules that flag header-trust auth bypass patterns (CVE-2025-29927 class). Companion to bk-security.github.io.

Batch-decompile binaries with Ghidra from the command line, generating per-function C files, callgraphs, BSim signatures, and optional SAST results…

CodeQL + DTrace = Memory Disclosure Vulnerabilities in XNU

Easy setup of static analysis tools for Android and Java projects.

StaCoAn is a crossplatform tool which aids developers, bugbounty hunters and ethical hackers performing static code analysis on mobile applications.


Web-based Source Code Vulnerability Scanner

Static code analysis plugin for Android project. (Checkstyle, PMD)