SymFuzz

This is an input-bit dependence inference prototype. See our Oakland 2015 paper for more details.

The paper used 3 components:

1. The software contained in this repository (symfuzz).
2. ofuzz
3. A patch to afl-fuzz

Install

VirtualBox

Probably the easiest way to try symfuzz is to use our VirtualBox appliance.

Nix-based

If using Nix on your system, feel free to use my repository used in the production of the VirtualBox image.

Manual

We recommend using OPAM for building SymFuzz.

1. Install OPAM with OCaml version 4.02.1 or higher.

2. Install libBIL

   git clone https://github.com/sangkilc/libbil.git
   cd libbil; make install; cd ..
   

3. Install libInput

   git clone https://github.com/sangkilc/libinput.git
   cd libinput; make install; cd ..
   

4. Build SymFuzz

   ./fetch-pin.sh
   make
   

Usage

Use of this tool is largely undocumented. If you want to provide documentation, feel free to write a wiki entry or submit a pull request.