EffectiveSan: type and memory error detection using dynamically typed C/C++-Reference-Cited by-同舟云学术

EffectiveSan: type and memory error detection using dynamically typed C/C++

Published:2018-06-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Duck Gregory J.¹,Yap Roland H. C.¹

Affiliation:

1. National University of Singapore, Singapore

Funder

National Research Foundation

Publisher

ACM

Link

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

Reference34 articles.

1. T. Austin S. Breach and G. Sohi. 1994. Efficient Detection of All Pointer and Array Access Errors. In Programming Language Design and Implementation. ACM. T. Austin S. Breach and G. Sohi. 1994. Efficient Detection of All Pointer and Array Access Errors. In Programming Language Design and Implementation . ACM.

2. H. Boehm and M. Weiser. 1988. Garbage Collection in an Uncooperative Environment. Software Practical Experience 18 9 (1988). H. Boehm and M. Weiser. 1988. Garbage Collection in an Uncooperative Environment. Software Practical Experience 18 9 (1988).

3. Debugging Information Format Committee. 2010. DWARF Debugging Information Format V4. Debugging Information Format Committee. 2010. DWARF Debugging Information Format V4 .

4. A. Diwan K. McKinley and J. Moss. 1998. Type-based Alias Analysis. In Programming Language Design and Implementation. ACM. A. Diwan K. McKinley and J. Moss. 1998. Type-based Alias Analysis. In Programming Language Design and Implementation . ACM.

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

1. SPP: Safe Persistent Pointers for Memory Safety;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2024-06-24

2. GIANTSAN: Efficient Memory Sanitization with Segment Folding;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

3. Detection, exploitation and mitigation of memory errors;Logic Journal of the IGPL;2024-03-16

4. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06

5. Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12