Bibliothèque simple et utilitaires pour générer des traces d'exécution de fonctions. Permet de compiler du code avec l'option -finstrument-functions pour tracer l'exécution des fonctions et générer une trace binaire qui peut être décodée et affichée grâce aux utilitaires fournis.

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.

Syringe est une bibliothèque légère permettant d'instrumenter du code Java source. Construite sur Spoon, Syringe offre la possibilité de détecter des éléments du langage Java grâce à son méta-modèle et de les filtrer selon les besoins de l'utilisateur. Une fois les éléments intéressants détectés, une chaîne de caractères définie par l'utilisateur est injectée. Syringe peut être étendu avec des détecteurs et des injecteurs personnalisés pour un contrôle plus fin.

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.

Le projet EuroMPI 2023 - PARCOACH tutorial (eurompi23) est un dépôt de code source qui fournit des exemples et des tutoriels pour l'optimisation des performances des applications MPI en utilisant l'outil PARCOACH. Il offre des guides pour l'analyse de profils de performance et l'instrumentation de code, ainsi que des exemples d'applications parallèles pour démontrer les avantages de l'utilisation de PARCOACH.

PACMON est une extension de PowerApi qui permet de mesurer facilement l'énergie consommée par une application Java au niveau du thread. Le code source est instrumenté à l'aide de ByteBuddy pour envoyer des signaux de début et de fin à un serveur de surveillance et suivre les méthodes de l'application pour envoyer des timestamps de début et de fin au serveur.

Ce framework propose une approche de haut niveau pour l'instrumentation et l'exécution d'un programme, dans le but de collecter des informations dynamiques. Il est capable d'instrumenter à la fois le code source et le byte-code avec des frameworks existants, propose un ensemble de traceurs utilisés pour collecter des traces d'exécution, et fonctionne au niveau du modèle avec EMF et le projet Mondo Hawk.

Le projet Residual Runtime Verification with BISM est une implémentation en tant que plugin pour l'outil d'instrumentation Java BISM. Il permet la vérification de propriétés à l'exécution en instrumentant le code pour capturer des événements de programme spécifiques et détecter les exécutions non conformes.

Ce projet vise à générer un modèle de code source caractérisé avec des métriques d'énergie. Un modèle est généré à l'aide du framework MoDisco. Le code source est instrumenté et exécuté pour collecter des métriques de manière dynamique. Les métriques sont ensuite analysées, modélisées à l'aide du métamodèle de métriques structurées (SMM) et liées au modèle Java.

Dynamic Modisco est un outil permettant d'injecter une analyse basée sur des modèles dans des modèles de code source générés avec MoDisco. Il utilise Spoon pour l'instrumentation du code source et propose une API simple pour spécifier une analyse supplémentaire.