Merge branch 'kostyantyn/bugfix/printf' into 'master'

src/plugins/e-acsl/misc.ml

src/plugins/e-acsl/misc.mli

src/plugins/e-acsl/mmodel_analysis.ml

...acsl/share/e-acsl/segment_model/e_acsl_segment_tracking.h

src/plugins/e-acsl/tests/bts/oracle/gen_bts1398.c

src/plugins/e-acsl/tests/runtime/hidden_malloc.c

src/plugins/e-acsl/tests/runtime/oracle/gen_hidden_malloc.c

...gins/e-acsl/tests/runtime/oracle/hidden_malloc.err.oracle

...gins/e-acsl/tests/runtime/oracle/hidden_malloc.res.oracle