Kyle Huey

Thanks. I'm on vacation until July 6th so it might be a while before anybody looks at this.

When I run the repro script under rr I get a crash in python in `thread_func` in libz3.so. It looks like `pthread_mutex_timedlock` didn't resolve correctly.

That was probably fixed by 469c22059a4a1798d33a8a224457faf22b2c178c, so I'll need to update rr in the container.

Alright, once I do that, when running under rr I see an error message about "Trace failed to synchronize during fast forward? You might want to unhook LinuxLoader". Replaying a...

The behavior inside and outside rr is different.

I was sort of hoping you'd have some idea what "You might want to unhook LinuxLoader" is about.

Right, I can't reproduce the rr crash you've mentioned. Do you know enough about angr's internals to help me figure out why it's behaving differently under rr? :)

I'm investigating how much work this would be. What is the simplest anbox thing that we could run?

That's not an android thing though. I have a good idea of what's required for snap at this point, I want to exercise anbox.

Ideally the latter but a command line thing would be a start.