Discussion :

[riddickk]

Bonjour,

Je voudrais savoir si il existe des outils ou même des options dans des compilateurs capables de détecter des cast utilisé en langage C dans du code C++.
J'utilise un analyseur statique de code puissant mais il ne parvient pas à detecter ce genre de cast. Je joins le code suivant qui est archi-faux mais qui compile bien :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
 
 
#include <stdio.h>
 
class TestA {
public:
 
    virtual void Print ( void ) {
 
        printf("TestA [%08X].\n",this);
    }
 
    static void Test ( TestA* Class ) {
 
        if (Class)
            Class->Print();
        else
            printf("TestA : NULL passed.\n");
    }
} ;
 
class TestB {
public:
 
    virtual void FunctionDummy ( void ) {
 
        printf("CRASH + CORE !!!! \n");
    }
 
    virtual void Test_CastC ( void ) {
        // This should show an error of invalid cast/ useless /dangerous
        // Devrait montrer une erreur de cast invalide / inutile / dangereux.
        // Normalement, crash ici.
        TestA::Test((TestA*)this);
    }
 
/*  // Don't compile
    // Ne compile pas.
    virtual void Test_SCastCPP ( void ) {
 
        TestA::Test(static_cast<TestA*>(this));
    }
*/
 
    virtual void Test_DCastCPP ( void ) {
        // don't crash for an execution if the class TestA checks NULL values
        // Ne plante pas à l'exécution si la classe TestA vérifie les valeurs NULL.
        TestA::Test(dynamic_cast<TestA*>(this));
    }
} ;
 
int main(int argc, char* argv[]) {
 
    TestA A ;
    TestB B ;
    int i = 0 ;
 
    A.Print();
    A.Test(&A);
    A.Test(NULL);                  // Major crash in the execution => the dynamic_cast in TestA doesn't work (dead code) 
//    A.Test((TestA*)(&i));     // Crash sévère à l'exécution => le dynamic_cast dans TestA ne sert à rien (code mort).
    B.Test_CastC();
//    B.Test_SCastCPP();
    B.Test_DCastCPP();
 
	return 0;
}

Si quelqu'un a une idée sur la question ?

Merci

[riddickk]

J'ai trouvé une option dans gcc, j'utilise la version 4.4.0. En activant l'option -Wold-style-cast pour un programme C++, il détecte l'utilisation de cast utilisé en langage C dans du code C++.
J'utilise la commande:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
gcc -c -x c++ -Wold-style-cast monfichier.cpp .

Avec cette commande voici ce que j'obtiens:

Code : Console

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
gcc -c -x c++ -Wold-style-cast Test_ClassCast.cpp
 
Test_ClassCast.cpp: In member function 'virtual void TestB::Test_CastC()':
Test_ClassCast.cpp:32: warning: use of old-style cast

[Davidbrcz]

Je voudrais savoir si il existe des outils ou même des options dans des compilateurs capables de détecter des cast utilisé en langage C dans du code C++.

Une reponse universelle a cette question (hors option du compilateur), c'est grep et/ou des regex

[Mac LAK]

Une reponse universelle a cette question (hors option du compilateur), c'est grep et/ou des regex

Sûr, un pattern "parenthèse - identificateur - parenthèse" en C/C++, ça va remonter les casts C...

Et quasiment tous les appels de fonction à un seul paramètre, les variables de macros, les arguments des "switch" ou "while" si ce sont des variables qui sont testées, etc...

[Davidbrcz]

Sauf que ces cast se font apres un signe =, une virgule ou une parenthese (jen oublie p-e, mais je pense pas). Et ca permet de limiter les faux positifs

[Mac LAK]

Sauf que ces cast se font apres un signe =, une virgule ou une parenthese (jen oublie p-e, mais je pense pas). Et ca permet de limiter les faux positifs

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

(int)var = (var2) + (type_perso_num)var3

Le premier cast n'est pas dans ce cas de figure.
Le deuxième sera un faux positif.
Le troisième ne sera pas détecté non plus.

Bref, c'est loin d'être aussi simple qu'un test de regexp... Il faut quasiment arriver au niveau de la compilation (après analyse lexicale et une bonne partie d'analyse sémantique) pour tous les détecter, et c'est largement hors du cadre d'une "simple" regexp.

[Ubiquité]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

(int)var = (var2) + (type_perso_num)var3

.

A quoi peut bien servir le (int) devant var !?

[Goten]

Ben à le caster..

[Mac LAK]

Ben à le caster..

Tout est dit...

[Ubiquité]

Mais ça marche pas si y a pas de lvalue à gauche du cast !?

[Goten]

T'as raison... pas pensé à sa.

[Davidbrcz]

Bref, c'est loin d'être aussi simple qu'un test de regexp... Il faut quasiment arriver au niveau de la compilation (après analyse lexicale et une bonne partie d'analyse sémantique) pour tous les détecter, et c'est largement hors du cadre d'une "simple" regexp.

Dans ce cas, on lance boost::spirit / lex && yacc / whatever et on fait une analyse primaire du code source.

[Mac LAK]

Mais ça marche pas si y a pas de lvalue à gauche du cast !?

Tu peux mettre des casts presque n'importe ou et n'importe comment, c'est bien ça le problème justement...

Dans ce cas, on lance boost::spirit / lex && yacc / whatever et on fait une analyse primaire du code source.

Ce qui n'entre pas dans la catégorie "outils" (sûrement sous-entendu "tout prêts") ni dans la catégorie "options du compilateur"... Ni dans la catégorie "ligne de commande simple à taper". En l'occurence, c'est à peu près aussi long à mettre en place qu'un pseudo-compilateur ou une recherche manuelle avec filtrage des faux positifs. Donc, peu rentable si ça ne doit être exécuté qu'une seule fois.

Faire un makefile spécial pour GCC avec éventuellement un filtre de la sortie me semble bien plus rapide et pratique à mettre en œuvre.

[Goten]

Tu peux mettre des casts presque n'importe ou et n'importe comment, c'est bien ça le problème justement...

oui mais :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
(T)var = someExpression;

Ca compilera pas car le cast d'une non-reference donne une rvalue. Donc ici le code voudrait dire : on crée un temporaire non nommée de type T a qui on affecte someExpression.
C'est pourquoi c'est interdit d'ailleurs...