Το φυλλάδιο που επισυνάπτεται συνοψίζει το βασικό στόχο και τα αναμενόμενα αποτελέσματα του έργου VM4SEC. Το VM4SEC είναι ένα εργαλείο ανίχνευσης ευπαθειών για ασφαλή ανάπτυξη λογισμικού που θα βοηθήσει τους προγραμματιστές και τους υπεύθυνους έργων να βελτιώσουν την λειτουργία και το επίπεδο ασφάλειας των παραγόμενων λογισμικών.