Voici un petit d'exemple d'analyse de fichier source par QAC. J'ai choisi d'analyser un fichier contenant une erreur du même type que celle détectée sur Ariane 5, c'est à dire un cast implicite d'un flottant vers un entier.

Au départ rien de catastrophique, 2 variables définies à partir de type auquel on a donné un sens fonctionnel en les nommant. Puis on affecte une variable à l'autre. A priori pas de problème...