UNIX core-dumps, Windows minidumps or Java heap-dumps are well established technologies for post-mortem defect analysis.
I'll present a similar technology for Python. An improved pickling mechanism makes it possible to serialise the state of a Python
program for subsequent analysis with a conventional Python-debugger.