Update the prototype dot graph generation of SeeC-Clang Mapped process states. This is getting closer now. In particular we now expand pointers and layout the pointee Values if those pointees exist in dynamically allocated or known memory regions, and they are not aliased. We still need to implement the alias resolution method, and to generate layout for pointers that refer to other Values (e.g. stack allocated variables).
Update the prototype dot graph generation of SeeC-Clang Mapped process states.
This is getting closer now. In particular we now expand pointers and layout
the pointee Values if those pointees exist in dynamically allocated or known
memory regions, and they are not aliased. We still need to implement the alias
resolution method, and to generate layout for pointers that refer to other
Values (e.g. stack allocated variables).

seec-team/seec,mheinsen/seec,seec-team/seec,seec-team/seec,mheinsen/seec,mheinsen/seec,mheinsen/seec,seec-team/seec,mheinsen/seec,seec-team/seec