rust lisa

Rustlisa

Un analyseur statique basé sur l'interprétation abstrait pour la rouille construite sur Lisa (bibliothèque pour l'analyse statique)

? Construire

Rustlisa est un projet Gradle 6.6.

Le développement se fait dans Eclipse. Vous devez:

• Installez le plugin Gradle IDE Pack via le marché Eclipse; à partir de la barre de menu Eclipse:
  • Aide
  • Market Eclipse ...
  • Recherche de Gradle IDE Pack 3.8
  • Installer Gradle IDE Pack 3.8
• Importez le projet dans l'espace de travail Eclipse en tant que projet Gradle.
• Exécutez le ./rust-lisa/gradlew build

Exécutez le projet avec Java 11. Remarque: Afin de faire fonctionner Gradle, vous devez exécuter le projet nécessaire avec Java 11 et pas de version plus grande .

Courir

Pour exécuter le projet en utilisant Eclipse, vous pouvez utiliser l'exécution comme application Java dans Eclipse et passer un chemin vers un fichier de rouille comme premier argument.

Le résultat sera mis dans le dossier output , qui aura tous les rapports activés et un fichier .dot avec le Lisa-CFG

Vous pouvez exécuter une autre tâche gradle avec

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

Contribuer

Avant chaque engagement, il est nécessaire d'ouvrir une nouvelle branche avec

git checkout -b < branch-name >

Ensuite, vous pouvez commencer à vous engager sur cette branche. Une fois que vous avez terminé, vous devez d'abord courir

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

et engager chaque modification apportée aux fichiers.

Après cela, vous pouvez ouvrir une demande de traction, marquer les examinateurs et ajouter des étiquettes sur le PR, également avec une brève description.

Étapes suivantes

• Compilation complète des constructions de rouille aux nœuds graphiques de flux de contrôle Lisa
• Méthodes semantics complètes des nœuds de graphe de flux de rouille
• Intégrer le tablier pour les analyses numériques