Shadow state encoding for efficient monitoring of block-level properties-Reference-Cited by-同舟云学术

Shadow state encoding for efficient monitoring of block-level properties

Published:2017-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management
language:
Short-container-title:

Author:

Vorobyov Kostyantyn¹,Signoles Julien¹,Kosmatov Nikolai¹

Affiliation:

1. CEA LIST, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3092255.3092269

Reference44 articles.

1. Runtime error annotation generation plug-in 2009. https:// frama-c.com/rte.html. Runtime error annotation generation plug-in 2009. https:// frama-c.com/rte.html.

2. Preventing Memory Error Exploits with WIT

3. A. Arya and C. Neckar. Fuzzing for security April 2012. http:// blog.chromium.org/2012/04/fuzzing-for-security.html. A. Arya and C. Neckar. Fuzzing for security April 2012. http:// blog.chromium.org/2012/04/fuzzing-for-security.html.

4. H. B¨eck. Safer use of C code - running gentoo with AddressSanitizer January 2016. H. B¨eck. Safer use of C code - running gentoo with AddressSanitizer January 2016.

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime Annotation Checking with Frama-C: The E-ACSL Plug-in;Computer Science Foundations and Applied Logic;2024

2. A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety;ACM Transactions on Software Engineering and Methodology;2023-12-11

3. A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety;IEEE Transactions on Software Engineering;2023-04-01

4. A dynamic analysis tool for memory safety based on smart status and source-level instrumentation;Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings;2022-05-21

5. Runtime detection of memory errors with smart status;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11