GlobalVariableTracker will now refuse to record state changes in memory that is not known to be allocated. Furthermore, it will set the in-memory pointer object for any recorded pointer to be a new valid pointer object (based on the pointer's value).
GlobalVariableTracker will now refuse to record state changes in memory that is not known to be allocated. Furthermore, it will set the in-memory pointer object for any recorded pointer to be a new valid pointer object (based on the pointer's value).

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