corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087b3-68a4-72b4-8065-4a5eb1453396

Compiler Testing — Part 2: Metamorphic Testing with Verified Identities

nowarp.io · published 27 June 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at nowarp.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
51
Words captured
12,619

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
Compiler Testing — Part 1: Coverage-Guided Fuzzing with Grammars and LLMs Read at the source ↗
nowarp.io
https://dedaub.com/blog/i-see-dead-code/
dedaub.com
https://hackmd.io/@vyperlang/HJUgNMhs2
hackmd.io
https://hexens.io/research/solidity-compiler-bug-tstore-poison
hexens.io
https://www.zellic.io/blog/the-billion-dollar-move-bug/
zellic.io
https://en.wikipedia.org/wiki/System_under_test
en.wikipedia.org
https://github.com/vyperlang/titanoboa
github.com
https://github.com/AliveToolkit/alive2
github.com
https://hevm.dev/
hevm.dev
https://github.com/gnolang/gno
github.com
https://github.com/gnolang/gno/issues/5806
github.com
https://github.com/golang/go/issues/79964
github.com
https://github.com/paritytech/revive/
github.com
https://github.com/paritytech/revive/issues/524
github.com
https://lean-lang.org/
lean-lang.org
https://leanprover.github.io/functional_programming_in_lean/
leanprover.github.io
https://github.com/andrejbauer/plzoo
github.com
https://en.wikipedia.org/wiki/Hacker%27s_Delight
en.wikipedia.org
https://en.wikipedia.org/wiki/The_Art_of_Computer_Programming
en.wikipedia.org
https://graphics.stanford.edu/~seander/bithacks.html
graphics.stanford.edu
https://plzin.github.io/posts/mba
plzin.github.io
https://en.wikipedia.org/wiki/Obfuscation_(software
en.wikipedia.org
https://www.evm.codes/?fork=osaka
evm.codes
https://docs.soliditylang.org/en/latest/yul.html
docs.soliditylang.org
https://github.com/llvm/llvm-project/tree/main/llvm/lib/Transforms/InstCombine
github.com
https://osec.io/blog/2025-08-11-compiler-bug-causes-compiler-bug/
osec.io
https://github.com/paritytech/revive
github.com
https://paritytech.github.io/polkadot-sdk/master/pallet_revive/
paritytech.github.io
https://github.com/paritytech/revive/pull/531
github.com
https://github.com/paritytech/revive/releases/tag/v1.2.0
github.com
https://hackmd.io/@jpw/bn254
hackmd.io
https://rareskills.io/post/bulletproofs-zk
rareskills.io
https://github.com/paritytech/revive/blob/541955d31b33c44d18ea7f8e5f6638c8efd6ba90/crates/stdlib/stdlib.ll
github.com
https://github.com/matter-labs/era-compiler-llvm
github.com
https://github.com/matter-labs/era-compiler-llvm/issues/936
github.com
http://github.com/hyperledger-solang/solang
github.com
https://github.com/hyperledger-solang/solang/issues/1926
github.com
https://github.com/hyperledger-solang/solang/issues/1905
github.com
https://github.com/ton-blockchain/bug-bounty
github.com
https://github.com/ton-blockchain/ton/issues/1022
github.com
https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
research.google
https://bugs.java.com/bugdatabase/JDK-6412541
bugs.java.com
https://github.com/jubnzv/tolk-less
github.com
https://github.com/vyperlang/vyper/issues/5012
github.com
https://leanprover.github.io/functional_programming_in_lean/getting-to-know/polymorphism.html
leanprover.github.io
https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf
cs.cmu.edu
https://users.cs.utah.edu/~regehr/alive2-pldi21.pdf
users.cs.utah.edu
https://dl.acm.org/doi/10.1145/1982595.1982615
dl.acm.org
https://www.vuminhle.com/pdf/pldi14-emi.pdf
vuminhle.com
https://www.vuminhle.com/pdf/oopsla16.pdf
vuminhle.com
https://theses.hal.science/tel-01623849v1/document
theses.hal.science