blog/compiler-testing-part-2/ #49
giscus[bot]
Bot
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
{{ message }}
giscus[bot]
Bot
Uh oh!
There was an error while loading. Please reload this page.
-
blog/compiler-testing-part-2/
Hunting compiler miscompilations on smart-contract platforms with differential and metamorphic testing, using mutations proven equivalence-preserving in Lean4 — including real-world findings, some rewarded with bug bounties.
https://nowarp.io/blog/compiler-testing-part-2/
Beta Was this translation helpful? Give feedback.
All reactions