Inspetor do Sofcheck Sofcheck Inspector é uma ferramenta de análise estática que descobre erros no Java Bytecode.
Baixe Agora

Inspetor do Sofcheck Classificação e resumo

Inspetor do Sofcheck Tag

Análise estática Detectar erro. inspetor de erros Maximizador de Roi. erro detectar Detector Inspetor Java bytecode. bytecode. Java Bytecode Generator. Cpython bytecode. Inspetor profissional Inspetor de produtividade compilador bytecode inspetor de arquivos Inspector PC bytecode inversa bytecode depurador Monitore Java Bytecode. Analise Java Bytecode. bytecode traçar. Análise de código estático Inspector programa Análise Estrutural estática Bytecode Weaver. Bytecode misto Inspetor de compatibilidade ferramenta de análise estática instrumento Java bytecode modificar bytecode. Análise Java Bytecode. Transformação de bytecode Java modificação bytecode. Gere Java Bytecode. análise de Java heap Viewer bytecode. manipulação de bytecode Java Framework Java Bytecode. Inspetor do site análise de código Java estática bytecode vista Java Java Bytecode Viewer. Decompile Java Bytecode.

Inspetor do Sofcheck Descrição

O Inspetor do Sofcheck é uma ferramenta de detecção de erros estáticos que identifica automaticamente possíveis erros de programação e verifica a correção lógica, sem confiar no teste de tempo de execução intensivo de mão-de-obra. Ele se integra a ferramentas e processos de desenvolvimento existentes. O inspetor do Sofcheck executa testes de linha por linha de forma totalmente automatizada e garante a cobertura total do caminho. O Inspetor do Sofcheck encontra defeitos no início do processo de desenvolvimento - em conjunto com a compilação - quando eles são menos dispendiosos para reparar. Além disso, pode ser executado no código existente para encontrar defeitos latentes antes que eles se tornem um problema no campo. O Inspetor Sofcheck apoiará grandes sistemas e detectará uma ampla gama de erros de programação como uso indevido de ponteiros, indexação de matrizes, transbordamentos de armazenamento de segurança (uma fonte predominante de vazamentos de armazenamento de segurança,) transbordamentos numéricos, waparrounds numéricos e uso indevido de interfaces de programação de aplicativos ( APIs). Ele aponta a causa raiz de cada erro até a linha de código de código. Mesmo na ausência de erros explícitos, o inspetor do Sofcheck fornece uma caracterização completa de todos os componentes do sistema em termos de suas entradas, saídas, criações de objetos de heap, as pré-condições nas entradas necessárias para impedir que as falhas de tempo de execução, as presunções sobre os valores de retorno. de métodos externos e as pós-condições que caracterizam a gama de saídas. Uma inspeção pode ser lançada a partir da linha de comando ou interativamente, usando o console Inspetor do Sofcheck.

Inspetor do Sofcheck Software Relacionado