Static automated program repair for heap properties

Tonder, Rijnard van; Goues, Claire Le

doi:10.1145/3180155.3180250

Cited by 63 publications

(30 citation statements)

References 45 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We selected Infer because it is an open source tool and can detect resource leaks in Java. The applicability of Infer for resource leak detection is also confirmed in the previous work (van Tonder and Goues 2018). Table 8 shows the result of our evaluation.…”

Section: Other Resultssupporting

confidence: 78%

Memory and resource leak defects and their repairs in Java projects

et al. 2019

View full text Add to dashboard Cite

Despite huge software engineering efforts and programming language support, resource and memory leaks are still a troublesome issue, even in memory-managed languages such as Java. Understanding the properties of leak-inducing defects, how the leaks manifest, and how they are repaired is an essential prerequisite for designing better approaches for avoidance, diagnosis, and repair of leak-related bugs.We conduct a detailed empirical study on 491 issues from 15 large opensource Java projects. The study proposes taxonomies for the leak types, for the defects causing them, and for the repair actions. We investigate, under several aspects, the distributions within each taxonomy and the relationships between them. We find that manual code inspection and manual runtime detection are still the main methods for leak detection. We find that most of the errors manifest on error-free execution paths, and developers repair the leak defects in a shorter time than non-leak defects. We also identify 13 recurring code transformations in the repair patches. Based on our findings, we draw a variety of implications on how developers can avoid, detect, isolate and repair leakrelated bugs.

show abstract

Section: Other Resultssupporting

confidence: 78%

Memory and resource leak defects and their repairs in Java projects

et al. 2019

View full text Add to dashboard Cite

show abstract

“…Since identifying comparison is trivial, we studied the ability of TTS in inferring the correct time type for source code expressions. The results show that among the 20 projects, it is able to infer a time 9. https://github.com/apache/activemq/pull/284 10. https://github.com/apache/kafka/pull/5078 11. https://github.com/apache/kafka/pull/5183 12. https://github.com/apache/kafka/pull/5087 type with a recall of 99.97% and a precision of 100%.…”

Section: Summary Of Resultsmentioning

confidence: 98%

“…In both projects, they accepted our patches and merged the pull-requests. 3,9 In the Kafka project, instead, our pull-request 10,11 started a discussion on how to best handle timestamp overflows. While they acknowledged our solution, they also found that a more readable and maintainable solution to this issue is needed.…”

Section: Rq3 -Patch Usefulnessmentioning

confidence: 99%

“…This technique is performed in two steps: first it identifies statements in the source code that contain errors and then, it repairs them. The modern repair techniques [3], [4], [5], [6], [7], [8], [9] often use test cases to (i) construct models of the correct behavior of a program to identify the errors to repair; and to (ii) validate their proposed repairs. Thus, such techniques require developers to write reproducible and deterministic tests that point out the error subjected of the repair.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Automatic Repair of Timestamp Comparisons

Liva

Khan

Pinzger

et al. 2021

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Automated program repair has the potential to reduce the developers' effort to fix errors in their code. In particular, modern programming languages, such as Java, C, and C#, represent time as integer variables that suffer from integer overflow, introducing subtle errors that are hard to discover and repair. Recent researches on automated program repair rely on test cases to discover failures to correct, making them suitable only for regression errors. We propose a new strategy to automatically repair programs that suffer from timestamp overflows that are manifested in comparison expressions. It unifies the benefits of static analysis and automatic program repair avoiding to depend on testing to identify and correct defected code. Our approach performs an abstract analysis over the time domain of a program using a Time Type System to identify the problematic comparison expressions. The repairing strategy rewrites the timestamp comparisons exploiting the binary representation of machine numbers to correct the code. We have validated the applicability of our approach with 20 open source Java projects. The results show that it is able to correctly repair all 246 identified errors. Furthermore, several patches for three open source projects have been acknowledged and accepted by their developers.

show abstract

“…Software systems are often shipped and deployed with (both known and unknown) bugs [9]. Many automatic program repair approaches [16,17,[22][23][24] focus on offline repairs, e.g., they analyze the program code, generate fixes, patch the program, and then recompile and run the patched program. In contrast, on-the-fly repairs [7][8][9][25][26][27] repair a running program, allowing it to recover from errors and continue to run.…”

Section: Introductionmentioning

confidence: 99%

Automatic Data Structure Repair usingSeparation Logic

Zheng

Le²,

Nguyen

et al. 2018

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

Software systems are often shipped and deployed with both known and unknown bugs. On-the-fly program repairs, which handle runtime errors and allow programs to continue successfully, can help software reliability, e.g., by dealing with inconsistent or corrupted data without interrupting the running program.We report on our work-in-progress that repairs data structure using separation logic. Our technique, inspired by existing works on specificationbased repair, takes as input a specification written in a separation logic formula and a concrete data structure that fails that specification, and performs on-the-fly repair to make the data conforms with the specification. The use of separation logic allows us to compactly and precisely represent desired properties of data structures and use existing analyses in separation logic to detect and repair bugs in complex data structures.We have developed a prototype, called STARFIX, to repair invalid Java data structures violating given specifications in separation logic. Preliminary results show that tool can efficiently detect and repair inconsistent data structures including lists and trees.

show abstract

Static automated program repair for heap properties

Cited by 63 publications

References 45 publications

Memory and resource leak defects and their repairs in Java projects

Memory and resource leak defects and their repairs in Java projects

Automatic Repair of Timestamp Comparisons

Automatic Data Structure Repair usingSeparation Logic

Contact Info

Product

Resources

About