check that memory for memcpy, memset and memmove is accessible#1463

Merged

kroening merged 1 commit intodevelopfrom

mem-safety-check

Oct 13, 2017

Commits on Oct 12, 2017

check that memory for memcpy, memset and memmove is accessible
Daniel Kroening
committed