4
ответа
Как я могу заставить шплинт проигнорировать, где я объявляю свои переменные?
Вы знаете, как я могу заставить шплинт проигнорировать, где я объявляю свои переменные? Я знаю, что старая школа c говорит Вам объявлять право переменных вначале в каждой функции, но так как я - плохое...
вопрос задан: 23 March 2009 18:46
0
ответов
Странное поведение при проверке границ шины
Кто-нибудь из экспертов по шинам ?? Я пытаюсь использовать шину для статического анализа большого проекта, который у меня есть на C. Я вижу избыточное количество ошибок проверки границ, которые, очевидно, не являются ошибками границ. Я ...
вопрос задан: 22 November 2011 23:22
0
ответов
splint vs gcc: стоят ли внешние инструменты статического анализа кода усилий для кодовых баз C?
Я работаю над довольно сложным проектом, и, как дополнительное осложнение, это модуль в ядре Linux. Запуск инструмента линтинга типа splint на такой кодовой базе, конечно, не является невозможным [1], но тривиальным ...
вопрос задан: 22 November 2011 11:11
0
ответов
ошибка синтаксического анализа отладки splint
Я впервые использую splint (из репозиториев Ubuntu), и меня сразу же ударил WTF. Сообщение об ошибке:nightcracker @ nightcracker-pc : ~ / c / brainfuck $ splint brainfuck.c
Splint 3.1.2 --- 03 ...
вопрос задан: 27 March 2011 01:43