ProgramBench Vetted: Reverse Engineering from a Runnable Binary