<div dir="ltr">A new patch attached. In this patch, we introduce a AnonPointeeRegion to represent the assumed pointee of parameter or global pointers.<br><br>Another scheme: we assume nothing about parameter or global pointers, just give them a symbolic value, as we do in the BasicStore. Then we will not bother this AnonPointeeRegion and the unknown MemSpaceRegion. What do you think of this?<br>
</div>