An Approach for Symbolic Mapping of Memory References