Πώς μπορώ να βρω Ασφαλείας Αδυναμίες στην Πηγή μου κώδικα;
Το πρωτότυπο, ακόμα και η καλύτερη, η μέθοδος για την εύρεση ασφάλειας ευπάθειες στο πηγαίο κώδικα είναι να διαβάζουν και να κατανοούν τον πηγαίο κώδικα.
Πηγή κωδικό ασφαλείας ευπάθειες θα κυμαίνεται μεταξύ γλώσσες και πλατφόρμες.
Στοιχεία που να αρέσει σε C κώδικα περιλαμβάνουν:
| Δυνητικός ευπάθεια | Καθήκοντα ζητά να εξεταστεί για ευπάθειες |
|---|---|
| Ρυθμιστικό υπερχειλίσεις | παίρνει (), scanf (), sprintf (), strcat (), strcpy () |
| Format string ευπάθειες | printf (), fprintf (), vprintf (), snprintf (), vsnprintf (), syslog () |
| Αγώνας συνθήκες | πρόσβαση (), chown (), chgrp (), chmod (), mktemp (), tempnam (), tmpfile (), tmpnam () |
| Τυχαίος αριθμός απόκτηση ευπάθειες | rand (), τυχαία () |
| Shell metacharacter ευπάθειες | Exec (), popen (), σύστημα () |
Αυτοματοποιημένη Πηγή Κωδικός Ασφαλείας Vulnerability Scanners
Υπάρχουν ευφυείς εργαλεία για να σας βοηθούν να εξετάσει μεγάλες ποσότητες του πηγαίου κώδικα για θέματα ευπάθειας ασφαλείας.
| Εργαλείο | Περιγραφή |
|---|---|
| Flawfinder | Εξετάζει τον πηγαίο κώδικα και τις εκθέσεις δυνατή ασφάλεια ευπάθειες |
| RATS από Secure Software Solutions | Σαρώνει C, C + +, Perl, PHP και Python πηγαίο κώδικα για θέματα ευπάθειας ασφαλείας δυναμικό. |
| ITS4 από Cigital | Σαρώνει τον πηγαίο κώδικα που αναζητούν δυνητικά ευάλωτη λειτουργία κλήσεις και προδιαμορφωμάτων πηγαίο κώδικα ανάλυσης για τον προσδιορισμό του επιπέδου των κινδύνων |
| PScan | Ένας περιορισμένος πρόβλημα για σαρωτή C αρχεία προέλευσης |
| Boon | Υπέρβαση buffer ανίχνευσης |
| MOPS | Προγράμματα για την Ασφάλεια MOdelchecking ιδιότητες |
| Cqual | Ένα εργαλείο για την προσθήκη του είδους χαρακτηρισμούς σε C |
| MC | Meta-Level Compilation |
| SLAM | Microsoft |
| ESC/Java2 | Εκτεταμένη Στατικός έλεγχος για έκδοση Java 2 |
| Σχίζα | Ασφαλής Προγραμματισμός στουπί |
| Μοτοποδήλατο | A Model-Checker για Pushdown Systems |
| JCAVE | JavaCard Applet Έλεγχος Περιβάλλοντος |
| Η Boop Toolkit | Χρησιμοποιεί και βελτίωση της άντλησης για τον προσδιορισμό της reachability πρόγραμμα των σημείων σε ένα πρόγραμμα C |
| Blast | Berkeley τεμπέλης Abstraction Software Έλεγχος Εργαλείο |
| Uno | Απλό εργαλείο για την ανάλυση του πηγαίου κώδικα |
| PMD | Σαρώνει Java πηγαίο κώδικα και θα εξετάζονται για πιθανά προβλήματα |
| C + + Test | Μονάδα δοκιμών και στατική ανάλυση εργαλείο |
Για περισσότερες πληροφορίες σχετικά με τον πηγαίο κώδικα σαρωτές, διαβάστε Πηγή κώδικα Σαρωτές για Καλύτερη κώδικα στο Linux Journal.
Για περισσότερες πληροφορίες σχετικά ασφαλή προγραμματισμό, διαβάστε την ασφαλή προγραμματισμού για Linux και Unix HOWTO.
Βρείτε τον πηγαίο κώδικα των τρωτών σημείων σε σας κώδικα με τη βοήθεια αυτών των βιβλίων σε ασφαλές προγραμματισμού από το Amazon.com
 |
Ένα θέμα ευπάθειας Διαχείρισης για Ανδρείκελα
Οι φίλοι μας στο Qualys προσφέρουν δωρεάν αντίγραφα της ηλεκτρονικής μορφής των Vulnerability Management για να Ανδρείκελα Tech-Συχνές ερωτήσεις αναγνωστών. Ένα θέμα ευπάθειας Διαχείρισης για Ανδρείκελα:
|  |
| Virus Scan Δοκιμάστε ένα δωρεάν ιών σε Kaspersky σήμερα. | Anti Malware Υψηλής απόδοσης λογισμικού Anti-Malware από Sunbelt Software |
Τελευταίες θέσεις Blog
- SourceForge έναντι Freshmeat
