C-logic

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

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

история версии

  • Версия N/A размещено на 2011-08-13
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-08-13

Подробная информация о программе