Skip to content

Latest commit

 

History

History
54 lines (40 loc) · 1.34 KB

README.md

File metadata and controls

54 lines (40 loc) · 1.34 KB

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.