...
/Adjoint, Duality, Dump, Presheaf, State and Event
Adjoint, Duality, Dump, Presheaf, State and Event
This lesson introduces the following analysis patterns: adjoint space, de Broglie trace duality, state dump, trace presheaf, and state and event.
We'll cover the following...
Adjoint space
Sometimes we need memory reference information that is not available in software traces and logs, for example, to see the pointer dereferences, to follow pointers and linked structures. In such cases, memory dumps saved during logging sessions may help. In the case of process memory dumps, we can even have several step dumps. We may force complete or kernel memory dumps after saving a log file. We call such a pattern adjoint space:
We can also analyze logs and memory dumps together, for example, to follow pointer data further in memory space.
There is also a reverse situation in which we use logs to see past data changes before a memory snapshot (paratext memory analysis pattern).
De Broglie trace duality
Recently we found a correlation between software trace with high ...