Maintaining Magma: A Ground-Truth Fuzzing Benchmark

Can we ensure the accuracy of our benchmarks? For Magma, we can.
Like

Share this post

Choose a social network to share with, or copy the URL to share elsewhere

This is a representation of how your post may appear on social media. The actual post will vary between social networks

Magma is a benchmark used on fuzzers - a specific type of software testing tools. It leverages real bugs to tests the efficiency of these tools. This past summer, I have looked for proofs showing that these bugs are reproducible (meaning that they can be triggered), and removed the bugs from the benchmark in case this is not possible.

This poster summarizes the research I did at the HexHive lab at EPFL this past summer. If you'd like know more details about my research, my research report has been posted here.

In the meantime, please don't hesitate to reach out in case of questions or if you'd like to know more about my work! :)

Please sign in

If you are a registered user on Laidlaw Scholars Network, please sign in