Analyses de flot de données

Analyse de vivacité

Effectuez l'analyse de vivacité des programmes du répertoire tip_src :

Vous pouvez vérifier vos calculs à l'aide du système TIP :
./tip -cfg -a LA tip_src/cp_example.tip

Analyse des expressions disponibles

Effectuez l'analyse des expressions disponibles du programme suivant :

    var x,y,j,z,k;
    y = input; 
    j = input;
    z = j * y;
    x = y * 2;
    while (x > j * y){
        if (x>y) { j = j + y * 2; }
        x = x - 1;
        k = j * y; 
    }
    return k;

Analyse des expressions très occupées

Effectuez l'analyse des expressions très occupées du programme suivant :

    var x,y,z; 
    x = 2;
    y = 5;
    z = input;
    while (y+z>x) {
        x = x + 2;
        output x - y + z; 
    }
    if (y + z == x) { z = 0; }
    return x * (y + z);

Analyse des définitions atteintes

Effectuez l'analyse des définitions atteintes pour le programme suivant :

    var x,y,z,t;
    x = input; 
    y = 10;
    if (x > 0){ t = 3; x = y;} 
    z = 2;
    output t; 
    while (y > 0) {
        z = x;
        y = y - 1;
    } 
    return x;

Analyse des variables initialisées

Effectuez l'analyse des variables initialisées du programme suivant :

    var x,y,z;
    x = input;
    y = input; 
    while (x > y) { 
        y = y - 1;
        z = x * y;
    }
    output z;