See also https://pernos.co/ https://pernos.co/ which is based on rr but adds a queryable database of the whole program execution, which allows you to do things

See also https://pernos.co/ https://pernos.co/ which is based on rr but adds a queryable database of the whole program execution, which allows you to do things like this: > [...] just click on the incorrect value. With full program history Pernosco can immediately explain where this value came from. The value is tracked backwards through events such as memcpys or moves in and out of registers until we reach a point where the value "originated" from, and each step in this process is displayed in the "Dataflow" panel that opens automatically. There is no need to read or understand the code and think about what might have happened, we can simply ask the debugger what did happen. https://pernos.co/examples/race-condition https://pernos.co/examples/race-condition