Popular repositories Loading

1. symsan symsan Public

   A LLVM Sanitizer for Symbolic Tracing

   C++ 235 31

2. jigsaw jigsaw Public

   JIGSAW is a fuzzing-based path constraint solver.

   C++ 70 8

3. fastgen fastgen Public

   C++ 12 3

4. ucsan ucsan Public

   C++ 3

5. magma magma Public

   Forked from HexHive/magma

   A ground-truth fuzzing benchmark suite based on real programs with real bugs.

   PHP 2

6. fuzzbench fuzzbench Public

   Forked from google/fuzzbench

   FuzzBench - Fuzzer benchmarking as a service.

   Python 1