cbmc/strings_8c_source.html

/* FUNCTION: bzero */


void bzero(void *s, __CPROVER_size_t n)

{

  for(__CPROVER_size_t i=0; i<n; i++)

    ((char *)s)[i]=0;

}


ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562

bzero
void bzero(void *s, __CPROVER_size_t n)
Definition strings.c:3