Visualization of heap of program/counterexample
DIVINE 4 already has graph memory, so turning it into visualization e.g. using DOT should be possible. However, the challenge is in presentation: it would be useful to have nodes labeled with types and pointers with member/variable names they represent. Also it would be useful to be able to show only parts of the heap, e.g. corresponding to one thread, omitting DiOS,…