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

[Florian Hahn via llvm-dev]

> On Mar 8, 2021, at 23:17, Johannes Doerfert <johannesdoerfert at gmail.com> wrote:
> 
> Having Alive2 as oracle would certainly be great.
> 
> Some rough ideas that can be worked on in parallel if we have multiple GSoC students:
>   - mutation rules we know are sound, e.g., remove guarantees, add 1 iteration loops, etc.
>   - input generation, equivalence checking (alive, partial evaluation, ...)
>   - fragment extraction from larger codes + input tracking -> reproducer splitting, faster equivalence checking, ...
> 
> We certainly can come up with more things.
> 
> Would either or both of your (or anyone else) be interested in co-mentoring students?
> We have multiple interested ones already, even though my project description is lacking any detail.
> 

I’d be happy to help out.

Cheers,
Florian