On: Resident Evil 4 (GameCube) – complete byte-identical decompilation to C/C++

[Tiberium]

That's a great approach, I think byte matching is just popular because it's extremely easy to test in the end: are the bytes the same? While your approach requires putting far more trust into the tests.