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]
ftp://ftp.de.debian.org/debian/pool/main/g/gcx/gcx_1.3.orig.tar.gz
gcx-1.3/src/showimage.c:965:2: warning: memset() called to fill 0 bytes. [memsetZeroBytes]
ftp://ftp.de.debian.org/debian/pool/main/g/gtkwave/gtkwave_3.3.127.orig.tar.gz
gtkwave-gtk3-3.3.127/src/pixmaps.c:4876:1: warning: memset() called to fill 0 bytes. [memsetZeroBytes]
gtkwave-gtk3-3.3.127/src/pixmaps.c:4877:1: warning: memset() called to fill 0 bytes. [memsetZeroBytes]
gtkwave-gtk3-3.3.127/src/pixmaps.c:4878:1: warning: memset() called to fill 0 bytes. [memsetZeroBytes]
gtkwave-gtk3-3.3.127/src/pixmaps.c:4879:1: warning: memset() called to fill 0 bytes. [memsetZeroBytes]