src/plugins/eva/domains/cvalue/builtins_malloc.ml

...plugins/markdown-report/tests/md/oracle/cwe126.res.oracle

...ariadic/tests/defined/oracle/multiple-va_start.res.oracle

src/plugins/variadic/tests/defined/oracle/va_copy.res.oracle

tests/builtins/oracle/alloc-vla.res.oracle

tests/builtins/oracle/alloc.0.res.oracle

tests/builtins/oracle/alloc.1.res.oracle

tests/builtins/oracle/alloc_weak.res.oracle

tests/builtins/oracle/allocated.0.res.oracle

tests/builtins/oracle/allocated.1.res.oracle

tests/builtins/oracle/calloc.1.res.oracle

tests/builtins/oracle/calloc.2.res.oracle

tests/builtins/oracle/calloc.3.res.oracle

tests/builtins/oracle/calloc.4.res.oracle

tests/builtins/oracle/free.res.oracle

tests/builtins/oracle/from_result.res.oracle

tests/builtins/oracle/gcc_zero_length_array.res.oracle

tests/builtins/oracle/imprecise-malloc-free.res.oracle

tests/builtins/oracle/malloc-deps.res.oracle

tests/builtins/oracle/malloc-optimistic.res.oracle