Symbolic debugger

A graphing library for Control Flow Graphs

A powerful static binary rewriting tool

Formally verified x86-64 decompilation

A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel

Demonstrating the BadAss issue.

TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets

Penn State Evil League of Evil: Fall 2023 Challenge

A list of data-only attacks

Scripts for artifaction of viper

A tool for automatically identifying syscall-guard variables

Portable OpenSSH

https://packages.debian.org/source/sid/netkit-telnet

A list of useful payloads and bypass for Web Application Security and Pentest/CTF

A tool for effective testing the binding layer of scripting languages

Fuzzing concurrent Go programs

A wrapper script to build whole-program LLVM bitcode files

Winnie makes fuzzing Windows applications easy

A fast and accurate disassembler

A collection of out-of-tree Clang plugins for teaching and learning

A collection of out-of-tree LLVM passes for teaching and learning

Run fuzzing experiments in Docker

The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

SymCC: efficient compiler-based symbolic execution

Fuzzing JavaScript Engines with Aspect-preserving Mutation