H ανάγκη για αξιοπιστία και ισχυρά μέτρα ασφαλείας στο αναπτυσσόμενο λογισμικό γίνεται όλο και πιο επιτακτική. Συνεπώς, οι τεχνικές ανάλυσης με σκοπό την ασφάλεια, και ειδικότερα η στατική ανάλυση κώδικα, έγιναν ο στόχος για την κάλυψη αυτής της ανάγκης. Εμπνευσμένες από τη δυνατότητα της εξέτασης κώδικα χωρίς την εκτέλεση του, αυτές οι τεχνικές προσφέρουν τη δυνατότητα αποτελεσματικής ανίχνευσης ευπαθειών σε συστήματα, όπως θέματα στη ροή των δεδομένων, επιπλοκές στη ροή ελέγχου, και σύνθετες ευπάθειες ασφαλείας. Συγκριτικά με παλαιότερα συστήματα, τα σύγχρονα υπολογιστικά συστήματα έχουν τις δικές του μοναδικές δυσκολίες. Αυτά τα συστήματα συνήθως λειτουργούν σε περιβάλλοντα όπου η ακεραιότητα των συστημάτων είναι πρωταρχικής σημασίας και οποιαδήποτε πιθανή ευπάθεια ασφαλείας θα μπορούσα να οδηγήσει σε σημαντική ζημιά. Αυτό απαιτεί την εφαρμογή μηχανισμών που παρέχουν αυστηρή ανίχνευση ευπαθειών χωρίς όμως να επηρεάζουν τις επιδόσεις του συστήματος. Το επίκεντρο της παρούσας διπλωματικής εργασία είναι η ανάπτυξη μεθόδων στατικής ανάλυσης σε κώδικα Python για τον εντοπισμό ευπαθειών ασφαλείας σε υπολογιστικά συστήματα. Διάφορες τεχνικές διερευνήθηκαν, όπως το Linting, η ανάλυσης ροής δεδομένων, η ανάλυση ροής ελέγχου, η ανάλυση πολυπλοκότητας, και η αντιστοίχηση μοτίβου. Αναλύθηκαν μεθοδολογίες για τον εντοπισμό ευπαθειών ασφαλείας, όπως η επικύρωση εισόδου, η κωδικοποίηση εξόδου, η αυθεντικοποίηση και ο έλεγχος πρόσβασης, η κρυπτογραφία, ο έλεγχος εξαιρέσεων, η υπερχείλιση της προσωρινής μνήμης, η έγχυση SQL, και ο χειρισμός αρχείων. Το εργαλείο που αναπτύχθηκε ανιχνεύει κακόβουλες διευθύνσεις IP, URL, και κλήσεις API, παράλληλα εντοπίζει την ύπαρξη anti-debugging και anti-virtualization στρατηγικών. Επιπλέον, υπολογίζεται η εντροπία του αρχείου που περιλαμβάνει τον πηγαίο κώδικα της εφαρμογής για πιθανή χρήση τεχνικών συσκότισης και χρησιμοποιεί υπηρεσίες νέφους ώστε να το αντιπαραβάλει με βάσεις δεδομένων που έχουν γνωστούς ιούς. Τέλος, εκτελούνται μέθοδοι δυναμικής ανάλυσης του πηγαίου κώδικα της εφαρμογής σε εικονικό και απομονωμένο περιβάλλον. Τα αποτελέσματα της διπλωματικής εργασίας τονίζουν τον σημαντικό ρόλο της στατικής ανάλυσης κώδικα Python για τη διατήρηση της ακεραιότητας των υπολογιστικών συστημάτων. Η αποτελεσματική υλοποίηση αυτών των τεχνικών, μαζί με τα κατάλληλα εργαλεία λογισμικού και μία σειρά βελτιστοποιήσεων, έχουν τη δυνατότητα να παρέχουν λύσεις για διαδεδομένα ζητήματα ασφαλείας σε υπολογιστικά συστήματα.