memsetZeroBytes
ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz
frama-c-25.0-beta-Manganese/tests/builtins/memset_malloc_0.c:18:3: warning: memset() called to fill 0 bytes. [memsetZeroBytes]
frama-c-25.0-beta-Manganese/tests/libc/string_c.c:96:3: warning: memset() called to fill 0 bytes. [memsetZeroBytes]