de PC-lint e Flexelint Gimpel; Qualquer um usou?

Question

Então, eu li alguns artigos de revistas e site para PC fiapos de Gimpel e compilador Flexelint C / C ++.

É muito caro (pelo menos para mim), mas parece que ele pode ter algum mérito para justificar o custo.

Então, eu estou querendo saber se alguém já usou / comprou e pode fornecer suas opiniões?

Answer 1

Eu costumava usar o PC-Lint um tempo atrás. Pessoalmente, penso que valeu a pena o investimento. Parte da resposta à sua pergunta depende de alguns outros fatores:

1.) Você tentou desligá-se o nível de aviso do compilador para o mais alto nível? Muito chato, mas isso tem o efeito de recuperar quaisquer erros semânticos óbvias. Eu faria isso antes de eu investiu em uma ferramenta especializada como PC-Lint

2.) Quem é você que codifica para a? Se esta é uma lição de casa para a escola, então não vale a pena. Se é software que você está vendendo para os outros, então é um bom investimento na produção de código estável limpo.

Esteja ciente de que como qualquer ferramenta que pode levar algum tempo para aprender a usar o PC-Lint eficaz.

Answer 2

Acabei de terminar a adição de Gimpel PC-Lint a um processo de construção. É uma configuração difícil, mas é definitivamente vale a pena. Eu trabalhei por alguns anos no passado com esta mesma ferramenta linting em várias projeto diferente. código estático ferramentas de verificação ajuda para verificar se há todos os tipos de erros que um compilador não irá verificar, mesmo que a advertência do compilador está definida para o nível mais alto (mais estrito).

Além disso, a ferramenta de Gimpel tem suporte para MISRA (bem como regras específicas para versão diferente do ANSI C).

Eu concordo com Onorio Catenacci, que se você estiver trabalhando em uma tarefa de casa, não é provável que vale a pena o custo. Mas se é para um processo de construção mais robusta, Lint irá ajudá-lo a encontrar erros no início do ciclo de desenvolvimento, e que faz valer a pena.

Answer 3

Eu costumava fiapos de Gimpel e outros produtos em 1985 e era um cliente muito feliz. Eu tinha um part-time consultoria show e ferramentas de Gimpel me permitiu entregar um componente mais confiável mais rapidamente.

Eu não sei como o estado relativo das coisas mudou em 25 anos. Estou impressionado de ver que em Unix, pelo menos, Gimpel ainda está distribuindo código fonte ofuscado.

Answer 4

Isto não é uma resposta para a pergunta que você fez, mas se você estiver considerando uma ferramenta de análise estática comercial, você provavelmente deve considerar ferramentas de análise estática de outras empresas também. Ver, por exemplo, são-C-estática de código-analyis-tools- worth-it? . E eu sugiro adicionando a tag “análise estática” para a questão.