Popular repositories Loading

1. SLIME SLIME Public

   SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound Variance-aware (UCB-V) algorithm.

   C 20 2

2. invscov invscov Public

   Forked from eurecom-s3/invscov

   https://www.usenix.org/conference/usenixsecurity21/presentation/fioraldi

   C 1

3. windranger windranger Public

   Forked from SsuiyueL/windranger

   C 1

4. macke macke Public

   Forked from tum-i4/macke

   Modular And Compositional analysis with KLEE Engine

   Python

5. MOpt-AFL MOpt-AFL Public

   Forked from puppet-meteor/MOpt-AFL

   MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"

   C

6. xpdf xpdf Public