Я пытаюсь проверить программу на C с помощью Splint (в строгом режиме). Я добавил к исходному коду семантические комментарии, чтобы помочь Splint понять мою программу. Все было хорошо, но я никак не могу избавиться от предупреждения:...

Я использую стабильную версию Debian Linux с установленными шиной и mingw. Я хочу проверить свой код c (который мне нужно скомпилировать с помощью mingw, извините) с помощью шины. Простого добавления mingw-include недостаточно для запуска. Я...

Splint обнаруживает ошибку синтаксического анализа для системного заголовочного файла, в котором используются суффиксы, определяющие размер, которые, по-видимому, используют компиляторы Windows. Таким образом, splint не может проанализировать файл,...