Outil dédié à la génération automatique de code à partir de modèles de machines à états finis. Il permet aux développeurs de concevoir des systèmes logiciels complexes en définissant des états, transitions et événements, puis en produisant le code source correspondant. Idéal pour les applications nécessitant une modélisation comportementale précise, comme les interfaces utilisateur ou les systèmes embarqués.

AutoJMH est un outil qui prend en entrée un segment de code et une exécution d'entraînement, et génère un microbenchmark JMH complet pour le segment. L'outil génère la classe JMH et place le segment de code à l'intérieur de la méthode wrapper, générant entièrement le microbenchmark. AutoJMH initialise également les variables du microbenchmark et effectue une série d'analyses pour éviter automatiquement les pièges courants de la microbenchmarking.

Outil open source dédié à l'identification automatique des vulnérabilités CVE (Common Vulnerabilities and Exposures) dans les codes sources. Il permet aux développeurs et équipes de sécurité de scanner leurs projets pour détecter des failles connues, analyser les correctifs associés et comprendre les modifications nécessaires pour sécuriser leur code. Le projet combine des analyses statiques via des requêtes Tree-sitter et des outils de traitement de données pour générer des jeux de données exploitables.

Le projet generate_changelogs est un outil permettant de générer automatiquement des journaux de modifications pour les dépôts de code source. Il facilite la gestion des mises à jour de versions et permet de suivre les modifications apportées aux projets logiciels.

Dépôt de code source pour le système de génération de correctifs Itzal, axé sur l'open-science. Il permet le développement et l'expérimentation de systèmes dédiés à la génération automatique de correctifs pour des logiciels.

Eclipse MDE est un projet visant à fournir des outils pour la modélisation et la génération de code, en particulier pour les systèmes embarqués. Il permet d'automatiser le processus de développement logiciel en créant des langages spécifiques à un domaine (DSL) et en générant automatiquement le code source correspondant.

Le projet cv2fstar-material est un dépôt de code source contenant une extension pour l'outil CryptoVerif, qui permet de vérifier la correction et la sécurité des protocoles cryptographiques. Cette extension, développée dans le cadre d'une thèse de doctorat, permet de générer automatiquement du code sécurisé à partir de spécifications formelles, améliorant ainsi l'efficacité et la fiabilité du processus de développement de protocoles cryptographiques.

Ce projet permet de traduire automatiquement du code source écrit dans un langage spécifique vers un autre langage cible. Il utilise des outils de compilation et de génération de code pour produire un exécutable fonctionnel à partir d'une entrée syntaxique. Idéal pour automatiser des tâches de migration ou de portage de code.

Outil open source dédié à l'optimisation et à la synthèse de haut niveau (HLS) pour les circuits électroniques. Il permet de transformer des descriptions algorithmiques en architectures matérielles optimisées, facilitant ainsi la conception de systèmes embarqués et de circuits intégrés. Le projet intègre des fonctionnalités avancées pour l'analyse de performance et la génération automatique de code VHDL ou Verilog.

Outil permettant de générer automatiquement des parseurs et du code source à partir de définitions de grammaires ou de structures de données. Il facilite la création de compilateurs, d'interpréteurs ou d'outils d'analyse syntaxique en automatisant la production de code C++ fonctionnel et optimisé.