Ferramentas de análise para ajudá -lo no desenvolvimento C

Question

Comecei a aprender C e tenho dificuldade em encontrar bugs, vazamentos de memória e coisas do gênero. Quais são as boas ferramentas para ajudá -lo a encontrar essas coisas? Eu ouvi falar de Valgrind, mas existem outros?

Answer 1

Para mim (no Linux), existem:

• GDB usado para encontrar bugs
• Valgrind Encontre vazamentos de memória

Answer 2

Se você está alocando a memória dinamicamente, seus programas provavelmente já são complexos demais para fazer um trabalho muito bom, mas você pode se divertir com a análise de valor no Frama-C. Dê uma olhada no tutorialet e suba para o capítulo do tutorial em o manual Se você ainda está interessado.

Answer 3

fia é a ferramenta clássica de análise estática C.

Answer 4

Eu suspeito que eles custam mais do que você está disposto a pagar, mas a cobertura e a Klocwork fazem verificação séria para vazamentos de memória, além de muitas outras coisas.

Answer 5

Valgrind captura muitos erros de memória. Também perde uma variedade, como acesso fora de uma matriz local. Nosso Checkpointer A ferramenta capturará praticamente todos os tipos de referências ruins de memória no momento em que o erro é cometido. Consulte a tabela de comparação na página da web para ver mais coisas que Valgrind não vai pegar esse checkpointer.