VeriFlux es una herramienta de análisis estático basada en métodos formales para programas escritos en Java. Está optimizado para su uso con JamaicaVM , pero se puede utilizar para cualquier programa Java. Puede detectar excepciones en tiempo de ejecución no detectadas, incluidas las excepciones RTSJ , y posibles interbloqueos en el código mediante las funciones de sincronización de Java. También se ha utilizado para el análisis de recursos. [1] Se puede utilizar tanto para el análisis completo del programa como para el análisis parcial del programa.
Escrito en | Java |
---|---|
Sistema operativo | Alguna |
Licencia | Comercial |
Sitio web | www |
Ver también
Referencias
- ^ James J. Hunt, Isabel Tonin, Fridtjof Siebert: Uso del análisis de flujo de datos global en código de bytes para ayudar al análisis del tiempo de ejecución del peor caso para programas Java en tiempo real. JTRES 2008: 97-105