srg-imperial/GrayC srg-imperial/GrayC

  • Stars
    star
    56
  • Rank 530,104 (Top 11 %)
  • Language
    C++
  • Created over 1 year ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
srg-imperial/GrayC
github

srg-imperial

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

GrayC: Greybox Fuzzing of Compilers and Analysers for C

More Repositories

1

SaBRe

Load-time selective binary rewriting
C
152
star
2

SnapFuzz

C
66
star
3

klee-float

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

SnapFuzz-artefact

Shell
10
star
5

covrig

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

kdalloc-issta-2023

C++
2
star
7

compiler-bug-impact

Shell
2
star
8

norman

Norman, a C language normalizer
C++
1
star