Employing different program analysis methods to study the evolution of bugs in OS libraries

Abstract

The evolution of software bugs has been a well-studied topic in software engineering.We used three different program analysis tools to examine the different versions of two popular sets of programming tools({\sc gnu} Binary and Core utilities),and check if their bugs increase of decrease over time.Each tool is based on a different approach,namely:static analysis,symbolic execution,and fuzzing.In this way we can observe potential differences on the kinds of bugs that each tool detects and examine their effectiveness.To do so,we have performed a qualitative analysis on the results.Overall,our results indicate that we cannot say if bugs either decrease or increase over time and that the tools identify different bug types based on the method they follow.

Η εξέλιξη σφαλμάτων λογισμικού στην τεχνολογία λογισμικού. Χρησιμοποιήσαμε τρία διαφορετικά εργαλεία ανάλυσης προγραμμάτων για να εξετάσει τις διαφορετικές εκδόσεις των δύο δημοφιλήσύνολα εργαλείων προγραμματισμού (Δυαδικά και Κεντρικά βοηθητικά προγράμματα),και ελέγξτε αν τα σφάλματα τους αύξηση της μείωσης με την πάροδο του χρόνου.Κάθε εργαλείο βασίζεται σε ένα διαφορετική προσέγγιση, και συγκεκριμένα:Στατική ανάλυση, συμβολική εκτέλεση, και ασαφής. Με αυτόν τον τρόπο μπορούμε να παρατηρήσουμε πιθανές διαφορές τα είδη σφαλμάτων που ανιχνεύει κάθε εργαλείο και να εξετάσει την αποτελεσματικότητά τους. Να το πράξουν, έχουμε κάνει μια ποιοτική ανάλυση των αποτελεσμάτων. Συνολικά, τα αποτελέσματά μας δείχνουν ότι δεν μπορούμε να πούμεαν τα σφάλματα μειώνονται ή αυξάνονται με την πάροδο του χρόνου και ότι τα εργαλεία εντοπίζουν διαφορετικούς τύπους σφαλμάτων με βάση τη μέθοδο που ακολουθούν.