Software Reliability Group (@srg-imperial)
Guthub

srg-imperial

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    314
  • Global Org. Rank 31,489 (Top 11 %)
  • Registered almost 13 years ago
  • Most used languages
    C++
         44.4 %
    Shell
         22.2 %
    C
         22.2 %
    Python
         11.1 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 4,458
  • Country Ranking
    C
         211
    C++
         573
    Shell
         1,417
    Python
         8,738

Top repositories

1

SaBRe

Load-time selective binary rewriting
C
152
star
2

SnapFuzz

C
66
star
3

GrayC

GrayC: Greybox Fuzzing of Compilers and Analysers for C
C++
56
star
4

klee-float

KLEE with floating point support (unmaintained)
C++
18
star
5

SnapFuzz-artefact

Shell
10
star
6

covrig

Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software
Python
6
star
7

kdalloc-issta-2023

C++
2
star
8

compiler-bug-impact

Shell
2
star
9

norman

Norman, a C language normalizer
C++
1
star