C-logic

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов

О C-logic

Это сканер исходных кодов C, основанный на символической логике. Он анализирует исходный код C (особенно ядро Linux, на которое оно направлено) для ошибок и уязвимостей программирования. Тесты определяются пользователем.