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 package fournit un script permettant d'effectuer une analyse statique de code source C, dans le but de détecter d'éventuelles fuites de données dues à des attaques de type canal side channel.

Polymalys est un outil d'analyse statique de code binaire qui découvre des relations linéaires entre les données du code. L'analyse repose sur l'interprétation abstraite utilisant un domaine abstrait basé sur des polyèdres. L'implémentation actuelle exploite les relations linéaires découvertes pour calculer des bornes supérieures aux itérations de boucles.

Qualytou est un outil d'analyse de code source PHP utilisé dans les projets de la CNAM sous Symfony. Il fournit des fonctionnalités d'analyse statique pour améliorer la qualité du code et détecter les problèmes potentiels.

Ce projet est un modèle pour créer des applications Python simples. Il facilite la gestion des dépendances et assure la qualité du code grâce à l'analyse statique.

MemCAD est un analyseur statique qui effectue une analyse de la forme dans le code source. Il permet de détecter les fuites de mémoire et d'optimiser l'utilisation de la mémoire.

Pagai est un outil d'analyse statique de code source qui utilise l'interprétation abstraite pour générer des invariants. Il permet d'améliorer la fiabilité et la sécurité du logiciel en détectant les erreurs et les vulnérabilités potentielles.

Clang est un frontal de compilateur pour la famille de langages C (C, C++, Objective-C, Objective-C++), qui fait partie du projet LLVM. Contrairement à de nombreux autres frontaux de compilateur, Clang est utile pour plus d'une chose que la simple compilation de code : nous prévoyons que Clang serve d'hôte à un certain nombre d'outils basés sur le niveau source. Un exemple en est l'Analyseur statique Clang.

Clang est un frontal de compilateur pour les langages de la famille C (C, C++, Objective-C, et Objective-C++) qui fait partie du projet LLVM. Clang est conçu pour être utilisé comme hôte pour une variété d'outils à niveau source, tels que l'analyseur statique de code Clang. Il fournit une API pour les outils de développement logiciel.