Skip to content

maurer/symfuzz

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published