Use dstring constant for invalid pointer#6

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:invalid-pointer-dstringtautschnig/cbmc:invalid-pointer-dstringCopy head branch name to clipboard