Ce projet est une implémentation d'une approche de détection de failles XSS (Cross-Site Scripting) dans le code source en utilisant l'apprentissage profond. Il fournit des transformations pour Node.js et Hop.js en renommant les fonctions et les variables.

Clangml-transforms est un projet dédié à la transformation et l'analyse de code source. Il vise à améliorer la syntaxe et la sémantique des langages de programmation, en générant du code optimisé et plus lisible. Grâce à des algorithmes avancés, il facilite le travail des développeurs en automatisant certaines tâches fastidieuses.

Coccinelle for Rust est un outil de correspondance et de transformation de code développé à l'origine pour le noyau Linux, maintenant adapté pour les codebases Rust. Il permet de spécifier des transformations sous forme de correctifs sémantiques, des patchs abstraits qui décrivent les modifications à apporter. Coccinelle for Rust vise à apporter la puissance de Coccinelle aux projets Rust.

Le projet atsyra-dev vise à développer des plugins et un studio pour l'analyse de modèles formels, la transformation de langages spécifiques de domaines et la génération de code à partir de modèles. Il s'appuie sur des outils tels qu'Xtend, MapStruct, Testcontainers, OSGi, SLF4J, Entity Framework Core, Guava, OpenTracing, Simple Injector, Apache Ant et Markdown.

Ce projet est une implémentation officielle d'une approche de détection de vulnérabilités XSS (Cross-Site Scripting) dans du code PHP, en utilisant l'apprentissage profond. Il fournit des fonctions de transformation de code PHP, telles que la génération de code PHP avec affichage HTML, le renommage automatique de variables PHP et la substitution de balises HTML.

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.

Cette bibliothèque est un dépôt de code source contenant des transformations d'arbres abstraits de Clang en arbres abstraits de MemCAD. Il s'agit d'une dépendance de l'analyseur abstrait MemCAD pour l'analyse de forme.

Ce projet est une implémentation officielle d'une approche de détection de failles XSS (Cross-Site Scripting) dans le code source utilisant l'apprentissage automatique. Il permet de traiter et d'analyser du code source à grande échelle pour en détecter les vulnérabilités et améliorer la sécurité des applications web.

Ce projet est un parser du langage M utilisé par la calculette des impôts sur les revenus. Il permet de transformer le code source en AST, de le simplifier et d'extraire les variables utiles pour le calcul d'impôts.

Dx est un outil en cours de développement permettant de dériver du code C à partir d'un code Gallina monadique, en passant par une représentation intermédiaire. Il fournit des commandes Coq pour générer automatiquement la représentation intermédiaire et des fonctions pour transformer cette représentation en modules dx contenant un arbre syntaxique abstrait pour C.