Μαθήματα Debugging ...από την Microsoft

Η εταιρεία που πρωτοπορεί στην ανάπτυξη error-free (‘η bug-free αν θέλετε) λογισμικού (δεν θέλω γέλια), αποφάσισε να πάει ένα βήμα πιο πέρα. To τμήμα Microsoft Research ανέπτυξε ένα εργαλείο που κάνει τον πηγαίο κώδικα (source code) των device drivers. Το όνομα αυτού: Static Driver Verifier (SDV). Το πρόγραμμα λειτουργεί κάνοντας model-checking για να αναλύσει το source και βλέπει αν ο κώδικας είναι γραμμένος βάσει μαθηματικών μοντέλων. Αν όχι τότε ειδοποιεί τον προγραμματιστή ότι ο κώδικας έχει πιθανά λάθη.

Όπως είπε άνθρωπος του project: "It finds bugs via static analysis (compile-time analysis) of the code rather than run-time analysis," says Ball, who led the Slam project with Sriram Rajamani. A typical driver can be checked in a few minutes, but some complex drivers can take as long as 20 minutes to analyze. "Most of the bugs it finds are real, but because it is a static analysis, it can report false bugs." Η σελίδα του project είναι εδώ

(p.s: Αποφάσισα από σήμερα να αρχίσω να σας δίνω μερικά "δωράκια" μαζί με κάθε (ή σχεδόν με κάθε) post. Τα δωράκια θα είναι e-books ή προγράμματα. Ελπίζω να σας αρέσουν. Αν έχετε κάποια ιδέα για αυτά τα δωράκια ή θέλετε κάτι συγκεκριμένο που ψάχνετε, αφήστε ένα comment.)

Δώρο #1 : MS Press - Running MS-DOS 6.22 ...
Δώρο #2 : Syngress - Buffer Overflow Attacks - Detect, Exploit, Prevent (2005) ...