[SV-COMP'18 13/19] Memcpy assertions#2002

Closed

tautschnig wants to merge 4 commits intodiffblue:developfrom

tautschnig:memcpy-assertions

Commits on Apr 3, 2018

More precise assertion in memcpy about overlap of src/dst memory.

marek-trtik
authored and
tautschnig
committed
SV-COMP Hotfix: memcpy - turning assert to assume to prever 3 RED results.

marek-trtik
authored and
tautschnig
committed

Commits on May 22, 2018

use __CPROVER_size_t and __CPROVER_ssize_t for __CPROVER_POINTER_OBJECT/OFFSET
Daniel Kroening
committed
use __CPROVER_size_t and __CPROVER_ssize_t for __CPROVER_POINTER_OBJECT/OFFSET
Daniel Kroening
committed