
BinAbsInspector
Static binary vulnerability scanner using abstract interpretation on Ghidra Pcode. Detects CWE classes like buffer overflows, use-after-free, and…

Static binary vulnerability scanner using abstract interpretation on Ghidra Pcode. Detects CWE classes like buffer overflows, use-after-free, and…

Static analysis framework that identifies fuzzable function targets in source code and binaries, generates harness templates, and integrates with…

Autonomous security research framework integrating static analysis, binary analysis, fuzzing, LLM-powered vulnerability validation, exploit…

Demystifying Exploitable Bugs in Smart Contracts

Automatic SSTI detection tool with interactive interface

A lightweight dynamic instrumentation library

A powerful static binary rewriting tool

Find regular expressions which are vulnerable to ReDoS (Regular Expression Denial of Service)

Scalable assembly analysis platform for indexing, clone search, and executable classification using static, dynamic, and machine-learning techniques…

A reverse engineering framework written in Python.

Build and query a graph database representation of source code

Edge-coverage-guided fuzzer for PHP libraries that detects bugs via crashes, timeouts, and warnings. Supports corpus management, crash minimization,…

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

Binary code coverage visualizer plugin for Ghidra

A tool that automatically creates fuzzing harnesses based on a library

Checker for Lifetimes and other Refinement types

ATrace is a tool for tracing execution of binaries on Windows.

Coverage-based fuzzer for python applications