Outil conçu pour analyser et extraire les commentaires Javadoc d'un fichier Java. Il facilite l'intégration de ces informations dans des environnements comme Icy, un logiciel d'analyse d'images biologiques développé à l'Institut Pasteur. Ce plugin permet aux développeurs de mieux documenter et maintenir leur code tout en offrant des fonctionnalités utiles pour les utilisateurs finaux.

Le projet tata-java est un outil d'analyse de code source permettant de détecter les fuites d'informations sensibles. Il identifie les méthodes sources et puits dans le code et gère les informations associées. Cet outil est basé sur les frameworks Soot et SLF4J, et utilise la bibliothèque JSON-simple pour le traitement des données.

MDE4RTS est un outil d'analyse d'impact de modifications de code et de sélection de tests de régression pour les projets Maven avec code source Java. Il propose deux approches : une basée sur le modèle, qui exécute les cas de test après l'instrumentation du bytecode et analyse les traces d'exécution pour construire un modèle, et une autre basée sur la trace, qui génère le modèle statique avec MoDisco et écrit les traces d'exécution dans une file d'attente topic-based pour l'analyse d'impact. La sélection de tests de régression peut être effectuée entre le dernier commit git et l'état actuel du code ou entre un commit précédent et l'état actuel du code.

Ce projet est un dépôt de code source contenant des exemples d'utilisation de BISM, un outil d'analyse et d'instrumentation de code. Il permet de démontrer différentes fonctionnalités de BISM et différents cas d'utilisation, en utilisant des transformers écrits en Java. Le dépôt contient également des exemples d'utilisation de BISM avec BeepBeep pour l'intégration avec le traitement d'événements complexes.

Spoon est une bibliothèque open source dédiée à l'analyse, la transformation et la génération de code Java. Elle permet aux développeurs d'explorer, modifier et enrichir le code source de manière programmatique. Utilisée pour automatiser des tâches comme l'ajout de fonctionnalités, la refactorisation ou la génération de diversité dans les programmes, elle facilite l'intégration continue et l'amélioration de la qualité du code.

Projet académique dédié à l'analyse statique de code Java et à la modélisation de systèmes de fichiers. Il permet de vérifier la conformité des noms de classes, méthodes et attributs aux conventions de nommage, d'évaluer la qualité du code et de générer des rapports structurés sur les structures logicielles. Utilisé dans un cadre pédagogique pour enseigner les bonnes pratiques de développement et la modélisation UML.

Le projet Plastic est un framework expérimental dédié à l'analyse et à la transformation de code source. Il permet de mesurer la couverture de code et d'effectuer des transformations de code sophistiquées grâce à l'utilisation de Soot, un puissant outil d'analyse et de transformation de code Java.

VeriFast est un outil d'analyse statique formelle conçu pour vérifier la correction de programmes écrits en C et Java. Il permet de détecter des erreurs de typage, des violations de propriétés de sécurité et des bugs potentiels avant l'exécution. Utilisé principalement dans les domaines critiques comme les systèmes embarqués ou les applications sécurisées, il aide les développeurs à prouver que leur code respecte des spécifications formelles.

VeriFast est un outil d'analyse statique conçu pour vérifier la sécurité et la correction des programmes. Il permet de détecter des vulnérabilités potentielles dans le code source, notamment en Java, en s'appuyant sur des annotations et des propriétés formelles. L'outil est utilisé pour garantir la robustesse des systèmes critiques, comme les cartes à puce ou les applications embarquées, en identifiant les erreurs de logique ou les failles de sécurité avant leur déploiement.

Projet académique dédié à la modélisation et à l'analyse de structures logicielles en Java. Il permet de représenter des classes, méthodes et interfaces sous forme de méta-modèles, tout en appliquant des règles de conformité pour garantir la qualité du code. Les outils développés facilitent la compréhension et la vérification des architectures logicielles.