Inspector SOFCHECK SOFCHECK INSPECTOR es una herramienta de análisis estático que descubre errores en Java Bytecode.
Descargar ahora

Inspector SOFCHECK Clasificación y resumen

Inspector SOFCHECK Etiquetas

Análisis estático detectar error inspector de errores ROI Maximizer error detectar detector inspector Java Bytecode código bytecode generador de código de bytes de Java CPYTHON BYTECODE Inspector profesional Inspector de productividad Compilador de bytecode inspector de archivos Inspector de PC bytecode inverso depurador de bytecode monitor de código de bytes de Java Analizar el código bytecode de Java TRACE DE BYTECODE Análisis de código estático Inspector de programas Análisis estructural estático Weaver Bytecode Bytecode mixto Inspector de compatibilidad Herramienta de análisis estático código de bytes de Java del instrumento modificar bytecode Análisis de código bytecode java Transformación de código de bytes de Java Modificación de bytecode Generar Java Bytecode Análisis de montón de java Visor de bytecode Manipulación de bytecode java Java Bytecode Framework Inspector de sitios El análisis estático de código Java código de bytes de Java vista Java Bytecode Viewer DecomPile Java Bytecode

Inspector SOFCHECK Descripción

SofCheck Inspector es una herramienta de detección de errores estática que identifica automáticamente los posibles errores de programación y verifica la corrección lógica, sin confiar en las pruebas de tiempo de ejecución intensivas en mano de obra. Se integra en herramientas y procesos de desarrollo existentes. El inspector SOFCHECK realiza pruebas de línea por línea de forma totalmente automatizada, y garantiza la cobertura de ruta completa. SofCheck Inspector encuentra defectos al principio del proceso de desarrollo, junto con la compilación, cuando son menos costosos para reparar. Además, se puede ejecutar en código existente para encontrar defectos latentes antes de convertirse en un problema en el campo. El inspector SOFCHECK admitirá sistemas grandes y detectará una amplia gama de errores de programación como uso indebido de los punteros, indexación de matrices, desbordamientos de tampón (una fuente prevaleciente de fugas de almacenamiento de seguridad,) desbordamientos numéricos, envolturas numéricas y uso indebido de las interfaces de programación de aplicaciones ( API). Pide la causa raíz de cada error hasta la línea de código de código. Incluso en ausencia de errores explícitos, SofCheck Inspector proporciona una caracterización exhaustiva de cada componente del sistema en términos de sus entradas, salidas, creaciones de objetos de montón, las condiciones previas sobre las entradas necesarias para excluir las fallas en tiempo de ejecución, las presunciones sobre los valores de retorno. de métodos externos, y las postcondediciones que caracterizan el rango de salidas. Se puede iniciar una inspección desde la línea de comandos o de forma interactiva, utilizando la consola del inspector SOFCHECK.

Inspector SOFCHECK Software relacionado