Splint пропатчил немного. Что такое - гуглится. http://upload.caxapa.ru/Splint3.0.6.1p1.zip
Splint, cyrillic-friendly edition :-)
Сделано на основе версии 3.0.1.6 от 11 Feb 2002.
Оригинальная версия запинается на букве 'я', считая ее за конец файла. Теперь эта ситуация обходится.
Офсайт -
http://www.splint.org
Версия 3.0.6.1 (непатченная) -
Версия 3.0.6.1p1 (патченная) -
Алексей Мусин
Екатеринбург
2 августа 2008
PS. Недолгий опыт.
Программа полезная, но вместе с тем и дотошная, приходится усмирять ее рвение.
Для этого нужно ключиками отключить ряд проверок, а также определить
расширенные языковые конструкции компилятора.
Вот мой ряд опций для конкретного проекта (as is):
+nolib \
-D__far= \
-D__near= \
-D__io= \
-D__interrupt= \
-D__COMPILER_FCC907__ \
-booltype BOOLEAN \
-nest-comment \
-retvalother \
-retvalbool \
-type \
-nullret \
-nullpass \
+charindex \
-immediatetrans \
-temptrans \
-castfcnptr \
-unqualifiedtrans \
-observertrans \
-statictrans \
-compdef \
-predboolothers \
-nullstate \
-boolops \
-exportlocal \
-sysunrecog \
-predboolint \