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

[张驰斌 via llvm-dev]

Hi Florian,
       It’s been a while since I lasted posted a reply on this mailing list. I’ve been going through code in the FuzzMutate folder and commit https://reviews.llvm.org/D96654 for quite some time now. While the current IRMutator implementation allows for module / function level mutation, only instruction level mutations are implemented, namely instruction injection and deletion, which does not preserve the original semantics of the program. I think the sound mutation rule examples provided by Johannes is something I work on in the summer. Aside from that, do you see any opportunity that D96654 alive2-based fuzzer could be expanded on, or are there anything that you wished to implement but not yet done (because I see the label NOT-TO-BE-MERGED)?
My personal opinion is that it’s pretty feature complete.  Any other advice will be helpful too:)

Thanks in advance,
Chibin Zhang
2021.3.25

发件人: Florian Hahn<mailto:florian_hahn at apple.com>
发送时间: 2021年3月10日 5:22
收件人: Johannes Doerfert<mailto:johannesdoerfert at gmail.com>; 张驰斌<mailto:zhangchb1 at shanghaitech.edu.cn>
抄送: llvm-dev<mailto:llvm-dev at lists.llvm.org>; John Regehr<mailto:regehr at cs.utah.edu>
主题: Re: [llvm-dev] Applying for GSoC 2021(Fuzzing LLVM-IR Passes)



> 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



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20210325/b03e8a7a/attachment.html>