Si cela vous intéresse, vous pouvez essayer PAGAI le logiciel d'analyse statique (intraprocédurale et seulement variables numériques) de mon doctorant Julien Henry.

Normalement, il fonctionne sous Linux, MacOS X et Cygwin.