Mέθοδοι ανίχνευσης και διόρθωσης σφαλμάτων (bugs) σε προγράμματα είτε μέσω στατικής ανάλυσης είτε μέσω ελέγχου σε χρόνο εκτέλεσης (runtime monitoring). · Τρόποι με τους οποίους μπορούμε να ανιχνεύσουμε και να αποφύγουμε ευπάθειες λογισμικού (software vulnerabilities), όπως: o buffer overflows o format string o vulnerabilities o SQL injections o race conditions · Συγγραφή ασφαλούς λογισμικού · Τεχνικές απομόνωσης σφαλμάτων λογισμικού με χρήση κάποιου εικονικού περιβάλλοντος εκτέλεσης (virtualization)