src/plugins/builtin/stdlib/calloc.ml

src/plugins/builtin/stdlib/free.ml

src/plugins/builtin/stdlib/malloc.ml

src/plugins/builtin/string/memcmp.ml

src/plugins/builtin/string/memcpy.ml

src/plugins/builtin/string/memmove.ml

src/plugins/builtin/string/memset.ml

src/plugins/builtin/tests/stdlib/calloc.c

src/plugins/builtin/tests/stdlib/free.c

src/plugins/builtin/tests/stdlib/malloc.c

src/plugins/builtin/tests/stdlib/oracle/calloc.res.oracle

src/plugins/builtin/tests/stdlib/oracle/free.res.oracle

src/plugins/builtin/tests/stdlib/oracle/malloc.res.oracle

src/plugins/builtin/tests/string/memcmp.c

src/plugins/builtin/tests/string/memcpy.c

src/plugins/builtin/tests/string/memmove.c

src/plugins/builtin/tests/string/memset_0.c

src/plugins/builtin/tests/string/memset_FF.c

src/plugins/builtin/tests/string/memset_value.c

src/plugins/builtin/tests/string/oracle/memcmp.res.oracle