Pinned Repositories
neural-fuzzer
nosy-newt
Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton
QuickFuzz
An experimental grammar fuzzer in Haskell using QuickCheck
VDiscover
A tool to predict vulnerability discovery of binary only programs
environments-recipes
Grid'5000 Environments recipes, using kameleon and puppet
firefox-fuzzing
Script and resources to fuzz Firefox
secrepo
Sweet, sweet, secrepo.com html.
stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
icfp2016-papers
Link to preprints for ICFP'16 and co-located events
pylearn2
Warning: This project does not have any current developer. See bellow.
gaa-cifasis's Repositories
gaa-cifasis/firefox-fuzzing
Script and resources to fuzz Firefox
gaa-cifasis/environments-recipes
Grid'5000 Environments recipes, using kameleon and puppet
gaa-cifasis/secrepo
Sweet, sweet, secrepo.com html.
gaa-cifasis/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.