Skip to content
@srg-imperial

Software Reliability Group

Popular repositories Loading

  1. SaBRe SaBRe Public

    Load-time selective binary rewriting

    C 157 16

  2. SnapFuzz SnapFuzz Public

    C 71 6

  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 14

  5. SnapFuzz-artefact SnapFuzz-artefact Public

    Shell 10 5

  6. covrig covrig Public

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

    Python 7 2

Repositories

Showing 10 of 33 repositories
  • norman Public

    Norman, a C language normalizer

    C++ 1 0 0 0 Updated Mar 25, 2025
  • jfs-sampling Public

    An SMT sampler based on coverage-guided fuzzing and the JFS solver.

    C++ 0 MIT 0 0 0 Updated Jan 27, 2025
  • covrig Public

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

    Python 7 2 0 0 Updated Apr 8, 2024
  • GrayC Public

    GrayC: Greybox Fuzzing of Compilers and Analysers for C

    C++ 59 2 2 0 Updated Dec 1, 2023
  • kdalloc-issta-2023 Public
    C++ 2 1 0 0 Updated Jul 17, 2023
  • klee-fp-parboil-opencl Public
    C++ 0 0 0 0 Updated May 26, 2023
  • klee-fp-uclibc Public
    C 0 LGPL-2.1 0 0 0 Updated May 26, 2023
  • klee-fp-opencv Public
    C++ 0 0 0 0 Updated May 26, 2023
  • klee-fp-opencl Public
    C 0 0 0 0 Updated May 26, 2023
  • klee-fp Public

    KLEE-FP / KLEE-CL

    C++ 1 0 0 0 Updated May 26, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.