update oracles

related to MR frama-c/frama-c!1122 which changes some oracles here

See merge request !97

executables

Updates to --rte option of e-acsl-gcc.sh as per changes to RTE plugin



See merge request !95

Import of segment model

This merge request offers implementation of the segment-based shadow memory model for E-ACSL.

The initial import (via commit 7544180fe1ff948e7c553cf483a31464fb17510e) has been combined with safe locations feature, which is required for seamless integration of the segment model to the present state of E-ACSL. Note, this merge request is essentially the same as the latest MR from my private fork of E-ACSL.

See merge request !96

memcmp and zeroed_out functions in E-ACSL RTL



See merge request !93

Fix wrong compile flags in debug mode during compilation of instrumented executables

There has been an issue in `e-acsl-gcc.sh` where in debug mode source code was compiled with optimization flags. This is fixed in this merge request. Further, this changeset adds `--fno-omit-frama-pointer` flag for cleaner traces.

See merge request !91

Safe locations in RTL

This merge request fixes issues with `errno` and `ctype.h` macros in Patricia Trie RTL

See merge request !90

Change __e_acsl_heap_size  to __e_acsl_heap_allocation_size

This change is due to ambiguity in the segment model where heap size also denotes assumed size of a program's heap.

See merge request !92

instrumented executables

ambiguity in the segment-based shadow memory model of E-ACSL

Synchronize with frama-c/frama-c!941



See merge request !89

--rt-debug feature  of e-acsl-gcc.sh

This merge request offers a change that adds --rt-debug feature  to e-acsl-gcc.sh allowing to enable debug features in instrumented executables at runtime

See merge request !88

debug features in instrumented executables at runtime