образец файла rc для шины

Question

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

Мой вопрос,

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

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

Answer 1

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

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

Answer 2

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

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

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