src/plugins/builtin/basic_blocks.ml

src/plugins/builtin/basic_blocks.mli

src/plugins/builtin/string/memcmp.ml

src/plugins/builtin/string/memcpy.ml

src/plugins/builtin/string/memmove.ml

src/plugins/builtin/string/memset.ml

...ns/builtin/tests/options/oracle/ignore-builtin.res.oracle

.../builtin/tests/options/oracle/ignore-functions.res.oracle

...ns/builtin/tests/options/oracle/only-functions.res.oracle

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

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

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

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

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

...ugins/builtin/tests/string/oracle/memset_value.res.oracle