An experimental grammar fuzzer in Haskell using QuickCheck, Template Haskell and specific libraries from Hackage. There is more information in its website.
- Pablo Buiras (Chalmers University of Technology)
- Martín Ceresa (CIFASIS-Conicet)
- Gustavo Grieco (CIFASIS-Conicet and VERIMAG)
-
Franco Costantini
-
Agustín Mista
-
Lucas Salvatore
- Martín Escarrá (Universidad Nacional de Rosario)
We support Stack to compile and install QuickFuzz. Before starting with it, make sure you have libgmp-dev installed otherwise ghc will fail to compile. Also, zlib.h is required to compile QuickFuzz (some packages require it). For instance, in Ubuntu/Debian:
# apt-get install zlib1g-dev libgmp-dev
After installing stack, you should:
$ git clone https://github.com/CIFASIS/QuickFuzz
$ cd QuickFuzz
$ stack setup
Because QuickFuzz generates a lot of dependencies that may not be necessary to test an specific category of files, we modularized the project with different activation flags. Currently we have 6 flags:
- imgs
- archs
- docs
- codes
- media
- pki
For instance, to compile only with image generation (Bmp, Gif, Png, Ico, ..):
$ stack install --flag QuickFuzz:imgs
Because of a Stack issue, you must install alex manually before enabling the codes flag:
$ stack install alex
Direct cabal installation is not recommended nor supported.