Wasp Static Error Checker descarga

"Análisis de flujo de datos para detectar errores de tiempo de ejecución bien"
indir.biz Editor: Si el programa Java ha sido probado a fondo, pero propenso a errores, WASP programa analizador de errores bien en tiempo de ejecución y puntos débiles puede ayudar a detectar. los siguientes errores en los dispositivos de detección estática de: excepción de puntero nulo, prohibida fundido, el índice de matriz fuera de límites, división por cero, etc debilidades siguientes tipos se pueden detectar: ​​variable sin inicializar no se puede acceder en sucursales o sentencia switch, lazo inalcanzable cuerpo condicional o cláusula de capturas, la asignación de valor de la variable, y etc.Wasp detallado programa preciso llamada al método gráfico de búsqueda de métodos Graph.The método de producción no se puede acceder utilizando la salida principal nunca se sabe lo que los métodos actuales y para cada método le ayudará en la casa que se llama. Además, otros analizadores de error estático aquí este método puede ser la comparación called.In, Avispa tiene dos importantes advantages.Wasp puede saber un error de precisión para cada método en un posible error (advertencia), y potencialmente puede distinguir la posición incorrecta. En el segundo caso, la avispa un mensaje de error llamada condicional en esta aplicación particular five.Wasp un error sobre un caso que parece mostrar genera, por lo que algunas llamadas son sólo un error de pantalla se puede aceptar el análisis de flujo de datos sensible al contexto hace que el método, incluso, pero no los otros todavía. Todos los analizadores conocidos estática (Java, MetaMata de control, por ejemplo QStudio etc) para ejecutar las alertas sensor estático cuando los errores produceonly largas listas, porque el análisis debido a un programa débil no reconoce algunos errores pueden ser aplicados. Su capacidad de encontrar errores en los programas demostrado ser una multa, el usuario tiene todos los tiempos de residuos warnings.Wasp tanto para las etapas de análisis y desarrollo de depuración evenafter prueba debido a la complejidad de Waspdetects situaciones reales.
Nuevo:
Avispa puede acceder a manuales en línea para Linux 3.2
programas de Servlet se pueden analizar con Avispa 3.2
Java 1.4 declaración con los alegatos en este momento estático de error Avispa Avispa Checker 3.2 3.2 puede descargar gratis es procesado.