Splint 3.1.1
Νάρθηκας είναι ένα εργαλείο για τον έλεγχο στατικά προγράμματα C για τρωτά σημεία της ασφάλειας και λάθη προγραμματισμού.Νάρθηκας κάνει πολλούς από τους παραδοσιακούς ελέγχους χνούδι συμπεριλαμβανομένων των αχρησιμοποίητων δηλώσεις, ασυνέπειες τύπου, της...