10">We address memory monitoring of C programs annotated in the E-ACSL language.
We combine a tree-based and a shadow-memory-based monitoring techniques.
A static analysis step is used to determine which variables should be monitored.
We implemented these solutions in the runtime assertion checking tool for E-ACSL.
Our experiments illustrate the performances of the proposed solutions.