Пример файла RC для шины

Question

Я использую шину для проверки кода, и она выдает огромное количество предупреждений. Некоторые из них, я думаю, можно игнорировать. Я нахожусь в процессе создания .splintrc методом проб и ошибок.

Мой вопрос,

Есть ли пример файла .splintrc, который можно использовать?

Я использую шину для кода C, написанного для многозадачной встроенной системы.

Answer 1

Я никогда не работал со Splint, но работал с PC-Lint, и это был мой опыт. Без файлов конфигурации компилятора инструмент lint выдаст массу ошибок.

Вам нужно будет найти или создать файлы конфигурации для конкретного компилятора для вашего компилятора, информируя инструмент linting о специальных (нестандартных) конструкциях C и макросах, которые он использует, которые следует игнорировать инструментом linting, или вы продолжите бросать тонны ошибок.

Однако это того стоит. Написание кода поможет вам находить ошибки сейчас, а не во время тестирования, когда их труднее найти и гораздо дороже исправить.

Answer 2

Возможно, это не самая лучшая помощь, но я думаю, что вам нужно предоставить немного больше информации о типе сообщений об ошибках, которые вы получаете, и о целевом процессоре / компиляторе, который вы используете. Различные компиляторы для встроенных целевых процессоров имеют свой собственный синтаксис для обеспечения их конкретной функциональности (например, обработка прерываний, передача в режимы супервизора и аппаратное взаимодействие)

Я пытался использовать шину на MSP430 под IAR и отказался из-за количества предупреждений и ошибок, которые он выдавал, когда пытался обработать предоставленные компилятором файлы определения аппаратного интерфейса. Я укусил пулю и купил Gimpel LINT, который шел с некоторыми файлами конфигурации, которые я мог изменить, чтобы поддерживать точную версию компилятора и процессора, которые я использовал.