@inproceedings{ly:cea-02283406, TITLE = {{Soundness of a Dataflow Analysis for Memory Monitoring}}, AUTHOR = {Ly, Dara and Kosmatov, Nikolai and Signoles, Julien and Loulergue, Fr{\'e}d{\'e}ric}, URL = {https://cea.hal.science/cea-02283406}, BOOKTITLE = {{HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems}}, ADDRESS = {Boston, United States}, VOLUME = {12}, YEAR = {2018}, MONTH = Nov, DOI = {10.1145/3375408.3375416}, KEYWORDS = {dataflow analysis ; memory monitoring ; runtime assertion checking ; proof of soundness ; formal semantics ; E-ACSL tool}, PDF = {https://cea.hal.science/cea-02283406/file/2018_hilt.pdf}, HAL_ID = {cea-02283406}, HAL_VERSION = {v1}, }