Simple Theorem Prover, an efficient SMT solver for bitvectors

Super-parallel Python port of the C-Reduce

A collection of links related to Linux kernel security and exploitation

Master repository for the JGraphT project

radius2 is a fast binary emulation and symbolic execution framework using radare2

A superoptimizer for LLVM IR

Generation-based, context-free grammar fuzzer.

Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.

Run CodeQL queries at scale using Multi-Repository Variant Analysis (MRVA)

Visually simulate Git operations in your own repos with a single terminal command.

CTF challenge per-team instance runner

The JavaScript / Wasm runtime that powers Cloudflare Workers

Various dominator tree algorithms

Single source file FBX loader

Synthesis of loop-free programs

Solver and analysing tool for Partitioned Boolean Quadratic Problems

A symbolic Java virtual machine for program analysis, verification and test generation

A declarative static analysis tool for jvm bytecode based Datalog like CodeQL

CodeQL extractor for java, which don't need to compile java source

The most advanced and complete solution for extracting WhatsApp key/DB from package directory (/data/data/com.whatsapp) without root access.

Guidelines and training material to write secure smart contracts

Code Review Audit Script Scanner

Java JDK 8-18 CodeQL databases

This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, a…

Display information about files in different file formats and find gadgets to build rop chains for different architectures (x86/x86_64, ARM/ARM64, MIPS, PowerPC, SPARC64). For disassembly ropper us…

rp++ is a fast C++ ROP gadget finder for PE/ELF/Mach-O x86/x64/ARM/ARM64 binaries.

You are running out of (abstract syntax) trees? Reforest helps out in an eco-friendly way!