Distributed debugging using a reverse-engineering tool