arquivo rc amostra para splint

Question

Eu estou usando tala para verificação de código, e ele está jogando fora um grande número de advertências. Alguns deles, eu acho que pode ser ignorado. Eu estou no processo de criação do .splintrc por tentativa e erro.

A minha pergunta,

Existe algum arquivo .splintrc exemplo que pode ser usado?

Eu estou usando tala para o código C, escrito para um multi-tasking sistema embarcado.

Answer 1

Este não pode ser o maior da ajuda, mas eu acho que você precisa fornecer um pouco mais informações sobre o tipo de mensagens de erro que você está recebendo e o processador alvo / compilador que você está usando. Os compiladores diferentes para processadores alvo incorporados todos têm a sua própria sintaxe para fornecer a sua funcionalidade específica (processamento de interrupção, transferindo para modos supervisor e hardware de interface são exemplos)

Eu tentei usar tala no MSP430 sob IAR e deu-se por causa do número de avisos e erros que ele estava jogando quando tentou processar os arquivos de definição de interface de hardware do compilador fornecido. Eu mordi a bala e comprou Gimpel LINT que veio com alguns arquivos de configuração que eu poderia modificar para suportar o sabor preciso do compilador e processador eu estava usando.

Answer 2

Eu nunca trabalhei com Splint, mas tenho trabalhado com PC-Lint, e esta foi a minha experiência também. Sem os arquivos de configuração do compilador, a ferramenta lint vai jogar uma tonelada de erros.

Você terá que encontrar ou criar arquivos de configurações específicas do compilador para o compilador informando a ferramenta linting da especial (não-padrão) construções C e macros que ele usa, que devem ser ignorados pela ferramenta linting, ou você continuará para lançar toneladas de erros.

Vale a pena o esforço, no entanto. Linting seu código irá ajudá-lo a encontrar erros agora em vez de durante os testes quando eles são mais difíceis de encontrar e muito mais caro para consertar.