Public Source code Release of Theori's AIxCC AFC Submission

A collection of my Semgrep rules to facilitate vulnerability research.

Hermit for Rust.

Lightweight fuzzing of a memory snapshot using KVM

Code of KextFuzz: Fuzzing macOS Kernel EXTensions on Apple Silicon via Exploiting Mitigations (USENIX Security'23)

Virtual machines for iOS and macOS

Automated generation of provably secure, zero-copy parsers from format specifications

A True Instrumentable Binary Emulation Framework

Driver Buddy Reloaded is an IDA Pro Python plugin that helps automate some tedious Windows Kernel Drivers reverse engineering tasks

JIGSAW is a fuzzing-based path constraint solver.

Winnie makes fuzzing Windows applications easy

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

A lightweight dynamic instrumentation library

Syzkaller with MAB scheduling and seed selection

Driver Security Analyzer

Binary, coverage-guided fuzzer for Windows, macOS, Linux and Android

A powerful static binary rewriting tool

Binary coverage tool without binary modification for Windows

FANS: Fuzzing Android Native System Services

The fastest Intel-PT decoder for fuzzing

p-joker -- iOS/MacOS kernelcache/kexts analysis tool

每日论文推荐

A static analyzer for Java, C, C++, and Objective-C

A fuzzer for full VM kernel/driver targets

The Fantastic Beasts Framework is a collection of tools for fuzzing the Android OS.

a distributed deep learning platform

Produce code coverage results with gcov from afl-fuzz test cases

source code for savior fuzzer