In 2 weeks I've built a system to do exactly that. Autonomously.
https://github.com/qarl/arcade-js
If you can't see this - you should probably get your eyes checked.
EDIT: It's doing TimePilot right now. You watch the progress in the commits.
Don't be a jerk. A lot of people have had bad experiences with these systems from people basically saying exactly what you're saying. This "you should get your eyes checked" mentality is pervasive with the nerds who confidently say that their analysis is solid when it's... not. It's a big problem in communities that have non-conventional videogame puzzles for example. Someone will come in, announce some novel solution.... leading to a four hour fight about the efficacy of LLMs, only to find a mistake in their code the next day.. never to be seen again.
Mind you, I'm not saying that these systems aren't great at reverse engineering and whatnot. They're spectacularly good at that. But RE is a relatively constrained problem because everything is still right in front of you. For complicated problems where the signal is mixed between noise... less so.
Be kinder, friend.
Otherwise, you have a good life as well.
Cheers.
Where's the rest of it?
And your response was "So what - show me another one."
Even granting that framing though, the claimed increase in productivity isn't a one-off, but asserted for everyone using them; you're claiming mass-produced miracles but trying to depend on a single example.
Silent Hill 1 PC https://youtu.be/0niadQJmYx0
Super Smash Bros/other GameCube and Wii games https://www.reddit.com/r/decomps/comments/1uvttvy/moderngekk...
It must take a binary executable and derive English names for the memory addresses.
Ghidra does not provide semantic names.
dotPeek shows you the symbols that were not stripped from the .NET.
Neither of these do what I asked.