lisa
0.1
Lisa (Biblioteca para el análisis estático) tiene como objetivo facilitar la creación e implementación de analizadores estáticos basados en la teoría de la interpretación abstracta. Lisa proporciona un motor de análisis que funciona en una representación de gráficos de flujo de control genérico y extensible del programa para analizar. Los intérpretes abstractos en LISA están construidos para analizar dicha representación, proporcionando una infraestructura de análisis única para todos los analizadores que confiarán en ella.
Construir un analizador sobre Lisa se reduce a escribir un analizador para el lenguaje que uno tiene como objetivo analizar, traduciendo el código fuente o el código compilado hacia la representación del gráfico de flujo de control de LISA. Luego, las verificaciones simples que iteran sobre los resultados proporcionados por los análisis semánticos de LISA se pueden definir fácilmente para traducir información semántica en advertencias que pueden ser valiosas para el usuario final.
Para obtener más información, documentación y guías útiles, ¡consulte el sitio web del proyecto!
Lisa es desarrollada y mantenida por el grupo de verificación de software y sistema (SSV) @ Università Ca 'Foscari en Venecia, Italia. ¡Las contribuciones externas siempre son bienvenidas! Consulte nuestras pautas contribuyentes para obtener información sobre cómo contribuir a LISA.
Dirígete a la página de lanzamientos para la lista completa de lanzamientos.
La instantánea de la última confirmación de la rama master siempre está disponible en los paquetes de GitHub. Tenga en cuenta que necesitará un token de acceso personal para usar paquetes como servidor para resolver dependencias. Puede consultar la Guía oficial de GitHub para Maven o Gradle para obtener más información.
