Skip to content
@srg-imperial

Software Reliability Group

Popular repositories Loading

  1. SaBRe SaBRe Public

    Load-time selective binary rewriting

    C 153 16

  2. SnapFuzz SnapFuzz Public

    C 67 6

  3. GrayC GrayC Public

    GrayC: Greybox Fuzzing of Compilers and Analysers for C

    C++ 56 1

  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 6 2

Repositories

Showing 10 of 32 repositories
  • norman Public

    Norman, a C language normalizer

    srg-imperial/norman’s past year of commit activity
    C++ 1 0 0 0 Updated Nov 5, 2024
  • covrig Public

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

    srg-imperial/covrig’s past year of commit activity
    Python 6 2 0 0 Updated Apr 8, 2024
  • GrayC Public

    GrayC: Greybox Fuzzing of Compilers and Analysers for C

    srg-imperial/GrayC’s past year of commit activity
    C++ 56 1 2 0 Updated Dec 1, 2023
  • kdalloc-issta-2023 Public
    srg-imperial/kdalloc-issta-2023’s past year of commit activity
    C++ 2 1 0 0 Updated Jul 17, 2023
  • klee-fp-parboil-opencl Public
    srg-imperial/klee-fp-parboil-opencl’s past year of commit activity
    C++ 0 0 0 0 Updated May 26, 2023
  • klee-fp-uclibc Public
    srg-imperial/klee-fp-uclibc’s past year of commit activity
    C 0 LGPL-2.1 0 0 0 Updated May 26, 2023
  • klee-fp-opencv Public
    srg-imperial/klee-fp-opencv’s past year of commit activity
    C++ 0 0 0 0 Updated May 26, 2023
  • klee-fp-opencl Public
    srg-imperial/klee-fp-opencl’s past year of commit activity
    C 0 0 0 0 Updated May 26, 2023
  • klee-fp Public

    KLEE-FP / KLEE-CL

    srg-imperial/klee-fp’s past year of commit activity
    C++ 0 0 0 0 Updated May 26, 2023
  • SnapFuzz Public
    srg-imperial/SnapFuzz’s past year of commit activity
    C 67 MIT 6 1 0 Updated Sep 2, 2022
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…