rust lisa

Rustlisa

Un analizador estático basado en la interpretación abstracta para el óxido basado en LISA (Biblioteca para el análisis estático)

? Construir

Rustlisa viene como un proyecto de Gradle 6.6.

El desarrollo se realiza en Eclipse. Necesitas:

• instalar el complemento de paquete IDE Gradle a través del mercado de eclipse; Desde la barra de menú de Eclipse:
  • Ayuda
  • Mercado de eclipse ...
  • Buscar el paquete de IDE de Gradle 3.8
  • Instalar Gradle IDE Pack 3.8
• Importar el proyecto en el espacio de trabajo de Eclipse como un proyecto de graduación.
• Ejecute la ./rust-lisa/gradlew build

Ejecute el proyecto con Java 11. Nota: para que se gradúe de graduación, debe ejecutar el proyecto necesario con Java 11 y sin una versión mayor .

Correr

Para ejecutar el proyecto utilizando Eclipse, puede usar la aplicación Java en Eclipse y pasar una ruta a un archivo de óxido como primer argumento.

El resultado se colocará en la carpeta output , que tendrá todos los informes habilitados y un archivo .dot con Lisa-CFG

Puedes ejecutar otra tarea de graduación con

./rust-lisa/gradlew -q :tasks --all

Contribuir

Antes de cada compromiso, es necesario abrir una nueva rama con

git checkout -b < branch-name >

Entonces puedes comenzar a comprometerse en esa rama. Una vez que hayas terminado, primero debes correr

./rust-lisa/gradlew build
./rust-lisa/gradlew spotlessApply

y confirme cada cambio realizado en los archivos.

Después de eso, puede abrir una solicitud de extracción, marcar a los revisores y agregar etiquetas sobre el PR, también con una breve descripción.

Siguientes pasos

• Compilación completa de las construcciones de óxido a los nodos de gráfico de flujo de control de Lisa
• Métodos semantics completos de nodos de gráficos de flujo de control de óxido
• Integre el delantal para los análisis numéricos