Question: can we control a Linux process (with all its threads, signal handlers etc.) in a completely deterministic way, e.g. by using ptrace() on it?
The example I'm most familiar with, because I work on it, is Shadow. We used ptrace for a bit but now use seccomp.