Outil d'analyse statique de code source permettant de générer des graphes d'abstraction pour visualiser la structure du code. Il identifie les opérateurs binaires, parcourt les arbres de syntaxe abstraite et annote le code pour faciliter la compréhension et l'analyse des programmes. Utilisé principalement dans le domaine de la recherche en informatique et de l'optimisation de code.