Popular repositories Loading

1. SaBRe SaBRe Public

   Load-time selective binary rewriting

   C 159 16

2. SnapFuzz SnapFuzz Public

   C 72 7

3. GrayC GrayC Public

   GrayC: Greybox Fuzzing of Compilers and Analysers for C

   C++ 59 2

4. klee-float klee-float Public

   KLEE with floating point support (unmaintained)

   C++ 18 15

5. SnapFuzz-artefact SnapFuzz-artefact Public

   Shell 10 6

6. covrig covrig Public

   Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software

   Python 7 2