Ancestors

Written by Addison on 2025-01-20 at 13:22

Curious about Rust, fuzzing, and type systems? Interested in GSoC? Then LibAFL may have a project for you.

We are currently looking to implement a generic/associated-type bounds over-specification linter as a GSoC project this year. We have opened an RFC for developing such a project, and are looking for feedback from academics or professionals specialising in Rust tooling and type systems, so do please chime in if you're interested!

=> More informations about this toot | More toots from addison@nothing-ever.works

Toot

Written by april on 2025-01-20 at 18:57

@addison I’d be interested to know if your library could implement this after the RFC: https://core.ac.uk/download/pdf/70594393.pdf!

=> More informations about this toot | More toots from april@cyberglot.lol

Descendants

Written by Addison on 2025-01-20 at 19:19

@april@cyberglot.lol Interesting! Something similar might be quite useful for an evaluation. e.g. we could make some metamorphic relation to rewrite testcases and use that as an oracle for completeness (I think SMT solver testing is done similarly...)

=> More informations about this toot | More toots from addison@nothing-ever.works

Written by april on 2025-01-20 at 21:58

@addison I am well-versed in how to use Palkas’s work, but I don’t understand much of the actual fuzzing required. Happy to help in any possible because it would be a game changer for me to be able to use Rust rather than Haskell to test my Rust compilers.

=> More informations about this toot | More toots from april@cyberglot.lol