Automatically exported from code.google.com/p/rough-auditing-tool-for-security

This is an example buffer overflow attack on a small vulnerable C program.

GNU Binutils ported to support DARPA Cyber Grand Challenge

Static lua compiler - Compile Lua code into C code.

Secure Coding Validation Suite

Bard Storyteller ebook reader with speech synthesis support

DEPRECATED - use instead AVH_CI_Template

A repository with binaries for angr tests and examples.

QEMU with support for CHERI

SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.

Let's Finally Try to Catch C -- Java like exception handling in C -- April 1999

Python wrappers for Pachi. Contains a modified version of the bleeding-edge Pachi source code.

CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities

Android PicoTTS w/C calling application using submodule

Tiny C Compiler - C Scripting Everywhere - The Smallest ANSI C compiler

please go to angr/patcherex instead of this!

Official QEMU mirror

Component Pascal to C Translator

Tools for testing C compilers for the correct handling of volatile objects.

This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memo…

A database of crash (exception) bugs for Android apps

Learning exercises for CHERI

AFL, modified to support multi-CB challenge sets for CGC.