Open
Description
#include <stdlib.h>
int main()
{
void *mem = malloc(sizeof(mem));
void **ok = mem;
mem = malloc(sizeof(mem));
char *warn = mem;
mem = malloc(sizeof(char));
void **err = mem;
*err = NULL;
free (ok);
free (warn);
free (err);
return 0;
}
The code above contains an error on the line *err = NULL (the err has been malloced to the sizeof(char), and is being assigned a pointer). Symbiotic however does not report an error.
This may be related to this warning issued by symbiotic:
KLEE: WARNING ONCE: Alignment of memory from call "malloc" is not modelled. Using alignment of 8.
symbiotic --version
version: 6.1.0-dev