Un programme peut être considéré comme un graphe orienté ou chaque fonction est un noeud . Prendre un programme important ( plusieurs dizaines de fichier plusieurs dizaines de milliers de lignes de code ) et l’analyser sous la forme d’un graphe (mat , brin) on doit chercher les connexes et les cycles. )