Detecting C++ Lifetime Errors with Symbolic Execution-Reference-Cited by-同舟云学术

Detecting C++ Lifetime Errors with Symbolic Execution

Published:2019-09-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 9th Balkan Conference on Informatics
language:
Short-container-title:

Author:

Kovács Réka¹,Horváth Gábor¹,Porkoláb Zoltán¹

Affiliation:

1. Eötvös Loránd University, Budapest, Hungary

Publisher

ACM

Link

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

Reference39 articles.

1. 2019. HarfBuzz a text shaping engine. https://www.freedesktop.org/wiki/Software/HarfBuzz/ (last accessed: 21-04-2019). 2019. HarfBuzz a text shaping engine. https://www.freedesktop.org/wiki/Software/HarfBuzz/ (last accessed: 21-04-2019).

2. 2019. qBittorrent a free and reliable P2P Bittorrent client. https://www.qbittorrent.org/ (last accessed: 21-04-2019). 2019. qBittorrent a free and reliable P2P Bittorrent client. https://www.qbittorrent.org/ (last accessed: 21-04-2019).

3. The S LAM project

4. Checking Memory Safety with Blast

5. Verifying C++ with STL containers via predicate abstraction

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

1. Uncovering Hidden Dependencies: Constructing Intelligible Path Witnesses using Dataflow Analyses;Acta Cybernetica;2024-03-04

2. PyGuard: Finding and Understanding Vulnerabilities in Python Virtual Machines;2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE);2021-10

3. Detecting Uninitialized Variables in C++ with the Clang Static Analyzer;Acta Cybernetica;2020-11-19

4. The Role of Implicit Conversions in Erroneous Function Argument Swapping in C++;2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM);2020-09