Software Reliability Group (@srg-imperial)
Guthub

srg-imperial

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    305
  • Global Org. Rank 31,979 (Top 11 %)
  • Registered almost 13 years ago
  • Most used languages
    C++
         37.5 %
    C
         25.0 %
    Shell
         25.0 %
    Python
         12.5 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 4,458
  • Country Ranking
    C
         210
    C++
         609
    Shell
         1,447
    Python
         9,019

Top repositories

1

SaBRe

Load-time selective binary rewriting
C
151
star
2

SnapFuzz

C
66
star
3

GrayC

GrayC: Greybox Fuzzing of Compilers and Analysers for C
C++
48
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