Czy istnieją takie narzędzia, a jeżeli tak to które warte są uwagi? Powracam do pisania programów w C/C++ pod Linuxem, chciałbym wykluczyć typowe błędy bezpieczeństwa: buffer overflows, Time Of Check, Time Of Use, race conditions i innych.
Czy istnieją takie narzędzia, a jeżeli tak to które warte są uwagi? Powracam do pisania programów w C/C++ pod Linuxem, chciałbym wykluczyć typowe błędy bezpieczeństwa: buffer overflows, Time Of Check, Time Of Use, race conditions i innych.
Poniżej parę użytecznych programów do wykrywania błędów bezpieczeństwa w programach napisanych w C / C++.
BLAST (Berkeley Lazy Abstraction Software Verification Tool)