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:

Get hands-on with 1200+ tech skills courses.