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 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ProveNFix: Temporal Property-Guided Program Repair;Proceedings of the ACM on Software Engineering;2024-07-12

2. How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching;Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering;2024-06-18

3. Out of Sight, Out of Mind: Better Automatic Vulnerability Repair by Broadening Input Ranges and Sources;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

4. When debugging encounters artificial intelligence: state of the art and open challenges;Science China Information Sciences;2024-02-21

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