Splint

Νάρθηκας είναι ένα εργαλείο για τον έλεγχο στατικά προγράμματα C για τρωτά σημεία της ασφάλειας και λάθη προγραμματισμού.
Νάρθηκας κάνει πολλούς από τους παραδοσιακούς ελέγχους χνούδι συμπεριλαμβανομένων των αχρησιμοποίητων δηλώσεις, ασυνέπειες τύπου, της χρήσης πριν από τον ορισμό, απρόσιτο κωδικό, αγνοήθηκε τιμές επιστροφής, μονοπάτια εκτέλεσης χωρίς επιστροφή, πιθανώς άπειρη βρόχους, και να πέσει μέσα περιπτώσεις.
Οι πιο ισχυροί έλεγχοι κατέστη δυνατή με επιπλέον πληροφορίες που δίνονται στους σχολιασμούς πηγαίο κώδικα. Οι σχολιασμοί είναι τυποποιημένο σχόλια που παραδοχές έγγραφο σχετικά με τις λειτουργίες, τις μεταβλητές, τις παραμέτρους και τους τύπους.
Εκτός από τους ελέγχους που ειδικά ενεργοποιούνται από σχολιασμούς, πολλοί από τους παραδοσιακούς ελέγχους χνούδι βελτιώνονται με την αξιοποίηση αυτή πρόσθετες πληροφορίες.
Καθώς όλο και περισσότεροι προσπάθεια έχει τεθεί σε σχολιασμό προγράμματα, καλύτερα αποτελέσματα ελέγχου. Μια παραστατική καμπύλη προσπάθεια-οφέλους για τη χρήση νάρθηκας φαίνεται στο Σχήμα 1.
Νάρθηκας έχει σχεδιαστεί για να είναι ευέλικτο και επιτρέπει στους προγραμματιστές να επιλέξετε τα κατάλληλα σημεία στην καμπύλη προσπάθεια-οφέλους για συγκεκριμένα έργα.
Είναι τόσο διαφορετικοί έλεγχοι ενεργοποιημένος και περισσότερες πληροφορίες δίνονται στον κώδικα σχολιασμούς τον αριθμό των σφαλμάτων που μπορεί να ανιχνευθεί αυξάνεται δραματικά.
Προβλήματα που εντοπίστηκαν από Νάρθηκας περιλαμβάνουν: