[llvm-dev] Applying for GSoC 2021(Fuzzing LLVM-IR Passes)

[John Regehr via llvm-dev]

> 3.Most of the bugs found by fuzzers are usually crashes or hangs. 
> Correctness testing is interesting but hard to achieve from my limited 
> knowledge. I wonder if this is related to the ‘Alive’tool mentioned by 
> Florian? The fuzzer provides input to some llvm pass, and ‘Alive’will 
> verify that the transformation is valid. Please correct me if my 
> understanding is wrong…

Yes, exactly. Currently what we do is run the LLVM test suite with 
Alive2 watching every transformation and looking for problems -- this 
has found a number of issues.

A similar process, but with inputs supplied by a random IR generator, 
should work quite well.

John