Программы c-logic.sf.net

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