Tala Splint é uma ferramenta que verifica programas C para problemas de segurança e erros de codificação.
Baixe Agora

Tala Classificação e resumo

Tala Tag

Depurador Problemas de segurança Erros de codificação Tala

Tala Descrição

A Splint é uma ferramenta que verifica os programas C para problemas de segurança e erros de codificação. A Splint é uma ferramenta para verificar estaticamente C programas de vulnerabilidades de segurança e erros de programação.splint faz muitas das verificações de fiapos tradicionais, incluindo declarações não utilizadas, digite inconsistências, use antes da definição, código inallowable, ignoradas valores de retorno, caminhos de execução sem retorno, provavelmente infinito Loops, e caem através de casos.Mais cheques poderosos são possíveis por informações adicionais fornecidas nas anotações de código-fonte. As anotações são observações estilizadas que documentam suposições sobre funções, variáveis, parâmetros e tipos. Além das verificações especificamente ativadas por anotações, muitas das verificações tradicionais de fita são melhoradas, explorando essas informações adicionais. Como mais esforço é colocado em programas de anotação, melhor Verificando os resultados. Uma curva de esforço de esforço representacional para usar a splint é mostrada na Figura 1.Splint é projetada para ser flexível e permitir que os programadores selecionem pontos apropriados na curva de benefício de esforço para projetos específicos. As verificações diferentes são ativadas e mais informações são ativadas Anotações de código O número de bugs que podem ser detectados aumentos dramaticamente. Problemas detectados por splint incluem: · Dereferencing um ponteiro possivelmente nulo · Usando armazenamento possivelmente indefinido ou armazenamento de devolução que não está definido corretamente · incompatibilidade de tipo, com maior precisão e flexibilidade do que fornecida por C Compiladores · Violações de Informações Ocultar · Erros de Gerenciamento de Memória, incluindo usos de remoções pendentes e vazamentos de memória · Aliasing perigoso · Modificações e usos de variáveis globais que são inconsistentes com interfaces especificadas · fluxo de controle problemático, como os principais loops, queda de casos ou interruptores incompletos. e declarações suspeitas · Vulnerabilidades de estouro do buffer · Perigoso Implementações de macro ou invocações · violações de convenções de nomeação personalizadas.

Tala Software Relacionado