Implementation of static analysis data structures for the JavaScript language

Abstract

Απώτερος στόχος της διατριβής είναι η παρουσίαση και αξιολόγηση της στατικής ανάλυσης κώδικα ως εργαλείου στη διαδικασία ανάπτυξης λογισμικού. Η στατική ανάλυση κώδικα χρησιμοποιείται κυρίως για να υποδείξει λανθασμένες πρακτικές, λάθη και τρωτά σημεία στο λογισμικό. Επιπλέον, μπορεί να χρησιμοποιηθεί για τον προσδιορισμό της συμπεριφοράς και της λειτουργικότητας ενός κώδικα αποκαλύπτοντας τις εξαρτήσεις ροής ελέγχου και δεδομένων. Αυτή η διατριβή προτείνει ένα εργαλείο, το οποίο έχει αναπτυχθεί για τους σκοπούς της παρούσας διπλωματικής εργασίας, το οποίο είναι σε θέση να παράγει έναν γράφο (Program Dependence Graph) από μια συνάρτηση γραμμένη σε γλώσσα JavaScript. Ο γράφος αυτός μπορεί να αποτελέσει ένα πολύ σημαντικό κομμάτι εργαλείων, όπως για παράδειγμα εργαλεία «τεμαχισμού» κώδικα, που χρειάζονται πληροφορίες σχετικά με τις εξαρτήσεις ροής ελέγχου ή τις εξαρτήσεις δεδομένων που μπορεί να υπάρχουν σε ένα κομμάτι κώδικα.

The ultimate goal of the dissertation is to present and assess static code analysis as a tool in the software development procedure. Static code analysis is used mainly to indicate malpractices, errors and vulnerabilities in software. Moreover, it can be used to determine behavior and functionality of a code by revealing its control and data dependencies. This dissertation proposes a tool, which is developed for the purposes of this thesis, that is able to produce a Program Dependency Graph from a given function in JavaScript, which can be a very important part of tools that need input about control or data dependencies, such as slicing tools.