A bootloader and experimentation playground for Apple Silicon

A unit test-like interface for fuzzing and symbolic execution

Peter's Amazing Syntax Tree Analyzer

Rellic produces goto-free C output from LLVM bitcode

Auto-gen Go fuzzing wrappers from normal code. Finds buggy call sequences, including data races & deadlocks. Supports rich signature types.

A language for constraint-guided and efficient LLM programming.

Forum for discussing Internet censorship circumvention

GO Simple Tunnel - a simple tunnel written in golang

A censorship circumvention tool to evade detection by authoritarian state adversaries

Efficient techniques for mining LTL formulae over linear input traces

JQF + Zest: Coverage-guided semantic fuzzing for Java.

C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data encryption, stack unwinding support for C++ exception handlin…

An FHE compiler for C++

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

UCLID5: formal modeling, verification, and synthesis of computational systems

Program analysis tools developed at Draper on the CBAT project.

A small, light weight, RISC CPU soft core

OpenTitan: Open source silicon root of trust

Random instruction generator for RISC-V processor verification

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Multi-platform nightly builds of open source digital design and verification tools

A reversing plugin for cross-decompiler collaboration, built on git.

Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode

Source code for the 2022 DEF CON Qualifiers.

Domain-Specific Fuzzing with Waypoints

Asahi Linux documentation

Tool that runs a test to check whether one of your applications is affected by the recent vulnerabilities in log4j: CVE-2021-44228 and CVE-2021-45046

Recent Fuzzing Paper