Я использую шину для проверки кода, и она выдает огромное количество предупреждений. Некоторые из них, я думаю, можно игнорировать. Я пытаюсь создать .splintrc путем проб и ошибок.образец файла rc для splint
Мой вопрос,
Есть некоторые .splintrc образец файла, который может быть использован?
Я использую шину для кода C, написанную для встроенной системы с несколькими задачами.
Это может быть не самая большая помощь, но я думаю, что вам нужно предоставить немного больше информации о типе сообщений об ошибках, которые вы получаете, и о целевом процессоре/компиляторе, который вы используете. Различные компиляторы для встроенных целевых процессоров имеют свой собственный синтаксис для обеспечения их конкретных функций (обработка прерываний, передача в режимы супервизора и аппаратное сопряжение являются примерами)
Я попытался использовать шину на MSP430 под IAR и сдался, потому что от количества предупреждений и ошибок, которые он метал, когда пытался обработать файлы определения аппаратного интерфейса, предоставленные компилятором. Я укусил пулю и купил Gimpel LINT, который поставлялся с некоторыми конфигурационными файлами, которые я мог изменить, чтобы поддерживать точный вкус компилятора и процессора, которые я использовал.
Я никогда не работал с Splint, но работал с PC-Lint, и это был мой опыт. Без файлов конфигурации компилятора инструмент lint выдаст массу ошибок.
Вам необходимо будет найти или создать файлы конфигураций для вашего компилятора, в которых сообщается инструмент листинга специальных (нестандартных) конструкций C и макросов, которые он использует, которые следует игнорировать инструментом для переливания, или вы будете продолжают бросать тонны ошибок.
Это стоит усилий, однако. Нажимая свой код, вы сможете найти ошибки сейчас, а не во время тестирования, когда их сложнее найти и гораздо дороже исправить.