Merge branch 'bugfix/fonenantsoa/reentracy' into 'master'

src/plugins/e-acsl/doc/Changelog

...e-acsl/share/e-acsl/segment_model/e_acsl_segment_mmodel.c

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

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

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

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

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

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

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

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

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

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

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

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

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

src/plugins/e-acsl/tests/format/oracle/gen_fprintf.c

src/plugins/e-acsl/tests/full-mmodel/oracle/gen_addrOf2.c

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

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

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