C-logic
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 5.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O C-logic
Jest to skaner kodu źródłowego języka C oparty na logice symbolicznej. Analizuje kod źródłowy C (zwłaszcza jądro Linuksa, do którego jest skierowany) pod kątem błędów programowania i luk w zabezpieczeniach. Testy są definiowane przez użytkownika.