Comment by sandinmyjoints
5 years ago
I get the theory here, but never having written a compiler myself, I’m curious how easy/difficult it would be to come up with those predicates in practice?
5 years ago
I get the theory here, but never having written a compiler myself, I’m curious how easy/difficult it would be to come up with those predicates in practice?
See 'Reflections on Rusting Trust' by Manish Goregaokar (In Pursuit of Laziness).
https://manishearth.github.io/blog/2016/12/02/reflections-on...
He modifies rustc with a predicate that replaces the string 'hello world' with something else. The method used to replicate the change is basically a self-modifying quine.