...

/

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.

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 ...