CORE
main.c
--show-vcc
^EXIT=0$
^SIGNAL=0$
ptr4\$object
ptr5\$object
ptr6\$object
ptr7\$object
ptr8\$object
--
ptr[1-3]\$object
^warning: ignoring
--
ptrX\$object appearing in the VCCs indicates symex was unsure whether the pointer had a valid
target, and uses the $object symbol as a referred object of last resort. ptr1-3 should be judged
not-null by symex, so their $object symbols do not occur.
