MemFix: static analysis-based repair of memory deallocation errors for C-Reference-Cited by-同舟云学术

MemFix: static analysis-based repair of memory deallocation errors for C

Published:2018-10-26 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Lee Junhee¹,Hong Seongjoon¹,Oh Hakjoo¹

Affiliation:

1. Korea University, South Korea

Publisher

ACM

Link

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

Reference54 articles.

1. Repairing Event Race Errors by Controlling Nondeterminism

2. Better static memory management

3. A Datalog model of must-alias analysis

4. Frederick E Boland Jr and Paul E Black. 2012. The Juliet 1.1 C/C++ and Java test suite. Computer (IEEE Computer) 45 Computer (IEEE Computer) (2012). 10.1109/MC.2012.345 Frederick E Boland Jr and Paul E Black. 2012. The Juliet 1.1 C/C++ and Java test suite. Computer (IEEE Computer) 45 Computer (IEEE Computer) (2012). 10.1109/MC.2012.345

5. Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities

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

1. Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06

2. Program Repair Guided by Datalog-Defined Static Analysis;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

3. SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. From Leaks to Fixes: Automated Repairs for Resource Leak Warnings;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

5. On the coordination of vulnerability fixes;Empirical Software Engineering;2023-11