Crucible is a library for symbolic simulation of imperative programs

Platform-agnostic driver for the SDS011 particle sensor

Alexander Grothendieck's 1972 talk at CERN, on scientific research

List of vulnerability disclosures

The fastest Bloom filter in Rust. No accuracy compromises. Compatible with any hasher.

Android 14 kernel exploit for Pixel7/8 Pro

Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.

Generating structured data from arbitrary, unstructured input.

cwe_checker finds vulnerable patterns in binary executables

Writeups for CTFs I enjoyed solving

Pre-Silicon Hardware Fuzzing Toolkit

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

A JavaScript implementation of various web standards, for use with Node.js

Coverage-guided, in-process fuzzing for Node.js

"Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)

Platform for Architecture-Neutral Dynamic Analysis

🎓 Path to a free self-taught education in Computer Science!

USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types

A static verifier for Rust, based on the Viper verification infrastructure.

Rust library for building and running BPF/eBPF modules

user-friendly rust bindings for the bpf compiler collection

FitM, the Fuzzer in the Middle, can fuzz client and server binaries at the same time using userspace snapshot-fuzzing and network emulation. It's fast and comparably easy to set up.

Platform for emulation and dynamic analysis of Linux-based firmware

Discovering vulnerabilities in firmware through concolic analysis and function clustering.

Working Draft of the RISC-V J Extension Specification

Investigating published Rust crates

Subcommand to show result of macro expansion

Please don't actually use this seriously.

managerie of obfuscated good