CLOTHO: saving programs from malformed strings and incorrect string-handling

Dhar, Aritra; Purandare, Rahul; Dhawan, Mohan; Rangaswamy, Suresh

doi:10.1145/2786805.2786877

Cited by 8 publications

(8 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To be selected for inclusion in our study, a repair tool, from these listed in Table 1, must use the test suite of a project under examination for validation and meet the following inclusion criteria according to the guidelines of the recent related work [9], [10]. We exclude from the beginning CLOTHO [26], Exception repair [28], JAVACC [31], JIST [33], and Timestamps [37] since they are not typical test-suite-based repair tools.…”

Section: Tool Selectionmentioning

confidence: 99%

“…Additionally, there are only a few research-oriented tools that can automatically repair specific types of API misuses. For instance, consider those that repair incorrect error handling [26], [83], [84].…”

Section: Api-misuse Detectorsmentioning

confidence: 99%

“…Constraint-based ACS [25] if conditions DEFECTS4J CLOTHO [26] Invalid String inputs Custom DYNAMOTH [27] Method calls REPAIRTHEMALL Exception repair [28] Incorrect assignments Custom FOOTPATCH [29] Memory leaks Custom JAID [30] Generic DEFECTS4J JAVACC [31] Syntax errors Custom JFIX [32] Generic DEFECTS4J JIST [33] Branching-time logics Custom LOOPFIX [34] Loop conditions DEFECTS4J NOPOL [35] Conditional checks REPAIRTHEMALL NPEFIX [36] Null pointer checks REPAIRTHEMALL Timestamps [37] Timestamp overflows Custom VFIX [38] Null pointer checks Custom…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Evaluating Automatic Program Repair Capabilities to Repair API Misuses

Kechagia

Mechtaev

Sarro

et al. 2022

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

API misuses are well-known causes of software crashes and security vulnerabilities. However, their detection and repair is challenging given that the correct usages of (third-party) APIs might be obscure to the developers of client programs. This paper presents the first empirical study to assess the ability of existing automated bug repair tools to repair API misuses, which is a class of bugs previously unexplored. Our study examines and compares 14 Java test-suite-based repair tools (11 proposed before 2018, and three afterwards) on a manually curated benchmark (APIREPBENCH) consisting of 101 API misuses. We develop an extensible execution framework (APIARTY) to automatically execute multiple repair tools. Our results show that the repair tools are able to generate patches for 28% of the API misuses considered. While the 11 less recent tools are generally fast (the median execution time of the repair attempts is 3.87 minutes and the mean execution time is 30.79 minutes), the three most recent are less efficient (i.e., 98% slower) than their predecessors. The tools generate patches for API misuses that mostly belong to the categories of missing null check, missing value, missing exception, and missing call. Most of the patches generated by all tools are plausible (65%), but only few of these patches are semantically correct to human patches (25%). Our findings suggest that the design of future repair tools should support the localisation of complex bugs, including different categories of API misuses, handling of timeout issues, and ability to configure large software projects. Both APIREPBENCH and APIARTY have been made publicly available for other researchers to evaluate the capabilities of repair tools on detecting and fixing API misuses.

show abstract

Section: Tool Selectionmentioning

confidence: 99%

Section: Api-misuse Detectorsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Evaluating Automatic Program Repair Capabilities to Repair API Misuses

Kechagia

Mechtaev

Sarro

et al. 2022

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…The considered faults are unhandled exceptions, the repair operator consists of adding try/catch blocks with binary rewriting. Clotho [39] is a system that generates simple catch blocks to handle certain runtime exceptions related to string manipulation in Java. The content of the catch block is based on constraints that are collected both statically and dynamically.…”

Section: Crashing Inputsmentioning

confidence: 99%

Automatic Software Repair

2018

View full text Add to dashboard Cite

This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs, without human intervention. This article considers all kinds of repair. First, it discusses behavioral repair where test-suites, contracts, models, crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.

show abstract

“…to this work, WellFormed can check the well-formedness of values that are known at compile-time. Dhar et al also developed a tool called clotho that can identify malformed strings that can lead programs to crashes[DPDR15]. This technique is close to ours, however, since it is based on the exploration of constraints for a specific method, performance can be an issue here.…”

mentioning

confidence: 92%

Tools and techniques for building reliable application programming interfaces

Kechagia¹,

Κεχαγιά²

View full text Add to dashboard Cite

Τα προγράμματα λογισμικού βασίζουν σημαντικά τμήματα της λειτουργικότητάς τους σε διεπαφές προγραμματισμού εφαρμογών. Πέρα από το πώς οι προγραμματιστές χρησιμοποιούν τις εν λόγω διεπαφές, η ευρωστία των προγραμμάτων εξαρτάται και από την ποιότητα του σχεδιασμού και της υλοποίησης των ίδιων των διεπαφών. Στόχος της παρούσας διατριβής είναι η διερεύνηση και ανάπτυξη εργαλείων που είναι ικανά να συμβάλλουν στη βελτίωση της ευρωστίας των σύγχρονων συστημάτων και εφαρμογών πληροφορικής, μέσα από την ανάπτυξη αξιόπιστων διεπαφών προγραμματισμού εφαρμογών.Αρχικά, επεξεργαζόμαστε τηλεμετρικά δεδομένα από εφαρμογές που έχουν καταρρεύσει, για να οργανώσουμε περίπου ένα εκατομμύριο αναφορές λαθών και να εξάγουμε κανόνες που ορίζουν επισφαλείς κλήσεις που πραγματοποιούνται από τις εφαρμογές προς τις διεπαφές προγραμματισμού. Τα ευρήματά μας δείχνουν πως οι σημαντικότερες αιτίες αποδίδονται στους παρακάτω λόγους: ανεπάρκεια μνήμης, θέματα συγχρονισμού, ελλιπής διάθεση κατάλληλων πόρων. Επίσης, εντοπίζουμε προβλήματα (10%) για τις αιτίες των οποίων δεν μπορούμε με βεβαιότητα να αποφανθούμε, εφόσον σχετίζονται με γενικές ή μη τεκμηριωμένες εξαιρέσεις που εμφανίζονται στις αναφορές λαθών.Με βάση το τελευταίο μας εύρημα, αναπτύσσουμε ένα εργαλείο στατικής ανάλυσης το οποίο με αυτοματοποιημένο τρόπο αξιολογεί την ποιότητα σχετικά με τους τύπους των εξαιρέσεων που είναι δηλωμένοι στα έγγραφα τεκμηρίωσης των διεπαφών προγραμματισμού εφαρμογών. Εφαρμόζοντας την τεχνική μας στο οικοσύστημα του Android, βρίσκουμε πως συγκεκριμένες μη τεκμηριωμένες εξαιρέσεις μπορούν να επηρεάζουν αρνητικά τη σταθερότητα των εφαρμογών που βασίζουν τη λειτουργία τους σε μια πλατφόρμα, όπως το Android. Επιπλέον, τα αποτελέσματα ενός πειράματος που διεξάγουμε με 25 προγραμματιστές, μας οδηγούν στο σχεδιασμό και την ανάπτυξη ενός στατικού επαληθευτή που μπορεί να εγγυηθεί τη συνεπή λειτουργία των προγραμμάτων που αναλύει. Χρησιμοποιώντας το σύστημα τύπων που αναπτύσσουμε, εξετάζουμε έργα ανοιχτού λογισμικού Java και εντοπίζουμε λάθη, αποδεικνύοντας τη λειτουργικότητα του συστήματός μας, για τον εντοπισμό προβλημάτων σχετικών με τον χειρισμό του μηχανισμού εξαιρέσεων σε προγράμματα Java, τα οποία μπορούν να δέχονται μη έγκυρα δεδομένα εισόδου.

show abstract

CLOTHO: saving programs from malformed strings and incorrect string-handling

Cited by 8 publications

References 19 publications

Evaluating Automatic Program Repair Capabilities to Repair API Misuses

Evaluating Automatic Program Repair Capabilities to Repair API Misuses

Automatic Software Repair

Tools and techniques for building reliable application programming interfaces

Contact Info

Product

Resources

About