Η εργασία ασχολείται με διάφορα εμπορικά εργαλεία αξιολόγησης λογισμικού (τόσο ανοιχτού κώδικα όσο και επί πληρωμή). Επίσης έγιναν δοκιμαστικές αναλύσεις μεγάλων εμπορικών προγραμμάτων και συγκριτικές αξιολογήσεις. Τέλος στα πλαίσια της εργασίας αναπτύχθηκε εργαλείο στατικής ανάλυσης λογισμικού. / This thesis is occupied with various tools for software analysis(both open source and paid tools).Also large software programms have been tested and analyzed and results evaluated and compared.Finally a static software analysis tool has been developed.

The aim of this work is to create framework for static analysis of Unix shell scripts.  Bourne-again shell is chosen as the primary subject of interest. The first part of the project discusses a principles of static analysis and current static analysis tools. The diploma thesis presents a framework based on modular system,   which enables plug-ins to perform different kinds of analysis on scripts. Framework includes plug-in management, means of interaction, handling outputs and input setting. This thesis also contains the description of a few plug-ins, designed to perform basic analysis of scripts.