lisa
0.1
Lisa (Library for Static Analysis) vise à atténuer la création et la mise en œuvre d'analyseurs statiques basés sur la théorie de l'interprétation abstraite. Lisa fournit un moteur d'analyse qui fonctionne sur une représentation de graphe de flux de contrôle générique et extensible du programme à analyser. Les interprètes abstraits de Lisa sont conçus pour analyser une telle représentation, fournissant une infrastructure d'analyse unique pour tous les analyseurs qui s'appuieront sur lui.
Construire un analyseur sur Lisa se résume à l'écriture d'un analyseur pour la langue que l'on vise à analyser, à traduire le code source ou le code compilé vers la représentation du graphique de flux de contrôle de Lisa. Ensuite, des vérifications simples itérant sur les résultats fournis par les analyses sémantiques de Lisa peuvent être facilement définies pour traduire des informations sémantiques en avertissements qui peuvent être utiles pour l'utilisateur final.
Pour plus d'informations, de documentation et de guides utiles, reportez-vous au site Web du projet!
Lisa est développée et maintenue par le groupe Software and System Verification (SSV) @ Università Ca 'Foscari à Venise, en Italie. Les contributions externes sont toujours les bienvenues! Consultez nos directives contributives pour obtenir des informations sur la façon de contribuer à Lisa.
Dirigez-vous vers la page des versions pour la liste complète des versions.
L'instantané du dernier engagement de la branche master est toujours disponible sur les packages GitHub. Sachez que vous aurez besoin d'un jeton d'accès personnel pour utiliser les packages comme serveur pour résoudre les dépendances. Vous pouvez vous référer au guide officiel de GitHub pour Maven ou Gradle pour plus d'informations.
