Fast as a shadow, expressive as a tree: Optimized memory monitoring for C

The combined monitoring technique and the pre-analysis step have been implemented in the runtime assertion checking tool for e-acsl. Our initial experiments confirm that the proposed hybrid approach leads to a significant speedup with respect to an earlier implementation based on a Patricia trie alone without any loss of precision, while the proposed static analysis reduces the monitoring of irrelevant variables and further improves the performances of the instrumented code.