Software Reliability Group

icon indicating a website link http://srg.doc.ic.ac.uk/

icon location London, United Kingdom

Results 4 repositories owned by Software Reliability Group

SaBRe

151
Stars
16
Forks
Watchers

Load-time selective binary rewriting

verified publisher icon srg-imperial

klee-float

18
Stars
14
Forks
Watchers

KLEE with floating point support (unmaintained)

verified publisher icon srg-imperial

SnapFuzz

65
Stars
5
Forks
Watchers

verified publisher icon srg-imperial

GrayC

49
Stars
1
Forks
Watchers

GrayC: Greybox Fuzzing of Compilers and Analysers for C

verified publisher icon srg-imperial