This does sound very interesting. I should have said the debuggers I’m familiar with don’t do it. Or if they do, I have no idea how.
Certainly setting breakpoints on certain conditions instead of just a line, would help a lot. Being able to step backwards through the execution even more so.
Do they have any evidence that F-droid serves more malware than Play Store?