Analisador estático LLVM / Clang Aplicativo gratuito que irá ajudá-lo a dindo bugs em programas C
Baixe Agora

Analisador estático LLVM / Clang Classificação e resumo

Analisador estático LLVM / Clang Tag

achar Verifica analisar Analisar código encontrar bug. Checker Checker

Analisador estático LLVM / Clang Descrição

Aplicativo gratuito que irá ajudá-lo a dindo bugs em programas C O LLVM / Clang Static Analyzer é uma ferramenta autônoma que encontra insetos em programas C e Objective-C. Atualmente, o analisador é invocado como uma ferramenta de linha de comando. Destina-se a ser executado em conjunto com uma compilação de um projeto ou base de código.Aqui são algumas coisas importantes que você deve considerar ao usar o analisador estático: esta ferramenta é muito cedo no desenvolvimento. Existem muitos aprimoramentos planejados para melhorar a precisão e o escopo de seus algoritmos de análise, bem como os bugs que ele encontrará. A análise estatal pode ser muito mais lenta do que a compilação. Enquanto o analisador está sendo projetado para ser o mais rápido e leve quanto possível, não espere que seja tão rápido quanto compilar um programa (mesmo com otimizações ativadas). Alguns dos algoritmos necessários para encontrar insetos exigem no pior do tempo exponencial. O analisador é executado em um período de tempo razoável, ambos delimitando a quantidade de trabalho de verificação que farão, além de usar algoritmos inteligentes para reduzir a quantidade de trabalho que deve fazer para encontrar bugs.false positivos. A análise estática não é perfeita. Pode banir falsamente bugs em um programa onde o código se comporta corretamente. Como algumas verificações de código exigem mais precisão de análise que outras, a frequência de positivos falsos pode variar amplamente entre diferentes verificações.

Analisador estático LLVM / Clang Software Relacionado