Debugging binaries for dynamic analysis