Analyser du code C/C++: d�tecter les struct, class et fonctions

**Rodrigue** · 19/09/2007, 20h41

Bonjour,

Je souhaiterais analyser du code C/C++. Dans un premier temps, je souhaiterais d�tecter toutes les fonctions d�clar�es dans plusieurs fichiers ainsi que les classes et les structures. Connaissez-vous un projet �quivalent assez simple � comprendre en open-source (ex.: doxygen)?

Comment vous y prendriez-vous?

**Fredy Kruger** · 19/09/2007, 22h37

Salut,

ca depond de system, essaye BoUML, StarUML ou Umbrella.

Fredy

**Luc Hermitte** · 19/09/2007, 23h57

Qu'entends-tu par "analyser" ?
Je partirai sur ctags personnellement.

**Jean-Marc.Bourguet** · 20/09/2007, 09h09

Envoy� par Luc Hermitte

Qu'entends-tu par "analyser" ?
Je partirai sur ctags personnellement.

Ou cscope.

Je ne connais pas de front-end C++ facilement utilisable (ca ferait d'ailleurs un beau projet)

**Aurelien.Regat-Barrel** · 20/09/2007, 10h11

Note qu'a cause du pr�processeur, un bete analyse du code peut passer a cot� de d�clarations si le code utilise des macros etc...
On trouve des exemples de code int�ressants dans les exemples de boost : un pr�processeur complet, un "extracteur" de d�clarations de classes, ...

**zais_ethael** · 20/09/2007, 13h03

Je crois savoir que Eclipe CDT et Code::Blocks utilisent tout deux ctags pour impl�menter leur auto-completion, �a fait d�ja un point de d�part.

**Rodrigue** · 20/09/2007, 17h58

Merci pour vos r�ponses, je vais regarder ces diff�rents projets

Qu'entends-tu par "analyser" ?

Je voudrais parser du code C ou C++ sous la forme d'un fichier XML dans un "pseudo-langage" (les imbriquements repr�senteraient une structure de type arbre).

Un code de ce type:

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
 
int Add(int A, int B); //déclaration de fonction
 
int g1=0, g2; /*variable globale
avec un commentaire sur plusieurs lignes */
 
struct test {
float a;
double b;
std::string c;
};
 
/**
 * Fonction principale
 **/
 
int main(int argc, char* argv[])
{
   int i, j;
   test k;
   bool isOk = true;
 
   k.a = 3.14;
 
   //...
 
   if(isOk)
   {
        //...
   } else {
       //...
   }   
}
 
int Add(int A, int B)
{
   return A + B;
}

devrait devenir (dans ce genre l�, je l'ai fait vite fait

):

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
<FUNCTION_DECL>
   <NAME>Add</NAME>
   <RETURN_TYPE>int</RETURN_TYPE>
   <PARAMS>
      <P1>
      	<NAME>A</NAME>
      	<TYPE>int</TYPE>
      </P1>
      <P2>
      	<NAME>B</NAME>
      	<TYPE>int</TYPE>
      </P2>
   </PARAMS>
</FUNCTION_DECL>
 
<GLOBAL_VAR>
int g1=0, g2; /*variable globale
avec un commentaire sur plusieurs lignes */
</GLOBAL_VAR>
 
<STRUCTURE>
struct test {
float a;
double b;
std::string c;
};
</STRUCTURE>
 
/**
 * Fonction principale
 **/
 
 <FUNCTION>
int main(int argc, char* argv[])
{
   int i, j;
   test k;
   bool isOk = true;
 
   k.a = 3.14;
 
   //...
 
   if(isOk)
   {
        //...
   } else {
       //...
   }   
}
</FUNCTION>
 
<FUNCTION>
int Add(int A, int B)
{
   return A + B;
}
</FUNCTION>

Remarquez que j'ai fort d�taill� le premier bloc. Dans un premier, je me contenterais tr�s bien de r�cup�rer la structure globale d'un fichier source

Merci beaucoup pour votre aide! J'esp�re que vous voyez mieux ce que je souhaite r�aliser... si vous avez des questions, n'h�sitez surtout pas � me les poser

**zais_ethael** · 20/09/2007, 20h57

Je sans que Doxygen (ou un module) est capable de g�n�rer du xml, ce serait peut-�tre une piste � explorer.
En tous cas je ne peux que te conseiller de r�utiliser l'un des (rares) programmes qui sont capables de te macher le travail, faire son propre compilo C++ rel�ve de la d�mence

**koala01** · 21/09/2007, 03h57

Salut,

Si tu veux vraiment tout faire � la main, il faut que tu r�fl�chisse � ce qui peut se trouver, et dans quel ordre, dans un fichier de code source (dans le fichier d'en-t�te, d'abord, puis dans le fichier d'impl�mentation

)

Ainsi, tu te rendra compte que tu peux trouver:

Des commandes pr�processeurs (lignes commen�ant par #
des commentaire, uni et multi lignes (commen�ant par // ou commencant par /* et terminant par */
des mots cl�s (class, struct, friend)
des indicateurs sur l'accessibilit� des �l�ments (private, protected, public)
des blocs (commencant par { et terminant par })
des listes d'arguments (commencant par ( et terminant par ) )
des tailles de tableau (commencant par [ et terminant par ] )
des sp�cificateurs de classe de stockage (extern, static, register,...)
des qualificateurs constant/volatile (const et volatile)
une repr�sentation de l'utilisation de m�moire (r�f�rence, pointeur, pointeur de pointeur)
des "fins d'instructions" (";")
des identifiants
...

Tu remarquera que les mots cl�s ont une signification pr�cise et que tous ces �l�ments se trouvent g�n�ralement dans un ordre pr�cis, mais que certains sont incompatible entre eux:

tu ne peux pas d�clarer une variable sous la forme de Type& Mavar[10]
Une d�claration de variable prend une synthaxe du genre de <S C Spec> <C V Qual> Type<utilisation memoire> nom <taille>
une d�claration de fonction prend une synthaxe du genre de <inline><S C Spec | virtualite> <C V Qual> Type_de_retour<utilisation m�moire> Nom(<liste d'arguments>)<throw(<liste d'erreur>)> <C V Qual>;
une d�claration de classe prend la forme de class NomDeClass <: <visibilit�> classe mere> <, <visibilit�> classe_mere> (plusieurs fois possible) >{
Un indicateur de visibilit� s'applique jusqu'� ce qu'un autre indicateur soit plac�
tous les �l�ment "facultatifs" ont une valeur par d�faut, qui peut varier en fonction des circonstances (par exemple: la visibilit� par d�faut d'une structure est publique, alors qu'elle est priv�e pour les classes)
...

Ce ne sont, bien sur, que quelques exemples des choses auxquelles tu dois �tre attentif

A partir de l� tu pourras commencer � te dire que ton fichier, ce n'est qu'un arbre N-aire, dont la racine est... le fichier.

La racine peut contenir une collection d'objets parmis

un instruction preprocesseurs
une d�claration de variables (libre)
une d�claration de fonctions (libre)
une espace de nommage
une (pr�)d�claration de classe ou de structure

Un espace de nomage peut contenir une collection d'objets exactement identique � celle qui peut etre contenue par la racine.

une d�claration de classe peut contenir

une collection d'h�ritage
une collection d'objet parmis
- une visibilit� (private, protected, public)
- une instruction pr� processeur

une signification de visibilit� peut contenir une collection d'objets parmis

une d�claration de classe ou de structure
une d�claration ou une d�finition de fonction
une instruction preprocesseur
une d�claration d'amitie
une d�claration de variable

Enfin, il y a les feuilles et les autres noeuds:

Une fonction peut �tre une feuille (si ce n'est que la d�claration) ou un noeud (si c'est aussi la d�finition)
une d�claration d'amiti� est une feuille
une d�claration de variable est une feuille

Une fois que tu auras tout cela, tu disposera de l'ensemble de ce qui t'es n�cessaire pour cr�er ton fichier XML...

Aucune liste n'est exhaustive, certaines choses manquent et c'est � toi de les trouver (o� serait le plaisir, sinon

)... Mais une simple "observation" de diff�rents codes sources devrait te permettre d'y arriver

**Aurelien.Regat-Barrel** · 21/09/2007, 08h47

Il y a GCC XML mais le projet n'avance plus et est bas� sur GCC 3.x. C'est pas du bete parsing, c'est une r�elle compilation du programme, avec inclusion des en-tetes etc... Le code doit etre compilable avec GCC. En fait, au lieu de te sortir un code objet, il te sort un XML (tres verbeux). C'est pas super utilisable en fait, mais rien ne t'�chappe.

**loufoque** · 21/09/2007, 10h52

Je ne connais pas de front-end C++ facilement utilisable (ca ferait d'ailleurs un beau projet)

C'est le but du projet clang.

**Rodrigue** · 21/09/2007, 23h04

Merci beaucoup pour vos r�ponses! Je vois que le sujet est int�ressant...

Je pr�cise que je ne souhaite pas d�tecter d'erreur dans le code... mais seulement rep�rer des patterns bien d�termin�s

Pour ce faire, j'utilise boost::regex. J'ai d�j� r�cup�r� l'exemple qui permet de d�tecter les classes dans un fichier (le pattern ne fonctionne pas lorsqu'on met un commentaire entre le nom de la classe est l'accolade): class NOM /* comment */ {.
J'ai �galement �crit une petite expression r�guli�re pour d�tecter les directives pr�processeurs...

J'essaye maintenant de d�tecter les commentaires multilignes (c'est pas gagn�). J'ai essay� avec ce pattern mais �a ne fonctionne pas:

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

"//\*(([[:punct:]]|[[:alnum:]]|[[:blank:]])*)\*//"

J'ai du mal avec le d�doublement des caract�res ...

**Matthieu Brucher** · 21/09/2007, 23h32

Envoy� par Aurelien.Regat-Barrel

Il y a GCC XML mais le projet n'avance plus et est bas� sur GCC 3.x. C'est pas du bete parsing, c'est une r�elle compilation du programme, avec inclusion des en-tetes etc... Le code doit etre compilable avec GCC. En fait, au lieu de te sortir un code objet, il te sort un XML (tres verbeux). C'est pas super utilisable en fait, mais rien ne t'�chappe.

GCC XML est utilis� par exemple pour Cable-SWIG, Boost.Python, et sans doute d'autres pour la g�n�ration automatique de code/wrappers.
Apparemment, il avancerai un peu r�guli�rement (je vois des mails dans ce sens sur c++-sig), mais comme tu le sous-entend aussi, on n'en entend pas trop parler

**lun4t1k** · 21/09/2007, 23h41

Bonjour, ce post me rappelle un cas auquel j'ai du faire face r�cemment.
Je devais parser des headers a la recherche d'enums pour en r�cup�rer chaque item.
Et je me suis vite aper�u que les syntaxes pouvaient �tre diverses.
J'ai arrang� tout ca a l'aide de regExp.
Donc attention aux commentaires vicieusement mals plac�s, aux multiples facettes de d�claration, instanciation que le c++ autorise!

Sinon j'ai utilis� Doxygen, et il permet un grand choix de fichiers de sortie.
A essayer absolument !

**Rodrigue** · 22/09/2007, 13h00

Merci pour vos r�ponses. Je vais ouvrir un autre post pour mes probl�mes d'expression r�guli�re

lun4t1k>
Je connais d�j� Doxygen

mais je souhaiterais trouver les structures moi-m�me

(on s'occupe comme on peut

)

**Mat007** · 22/09/2007, 15h28

Salut,

Envoy� par Rodrigue

(...)je souhaiterais trouver les structures moi-m�me

Si tu te limites � un sous ensemble des constructions valides du C++ c'est peut-�tre faisable au prix de pas mal de cheveux en moins (fais des tests unitaires au moins sinon c'est m�me pas la peine de te lancer l�-dedans).
Mais par exemple en C++ on peut faire :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
class C
{
  class D
  {
    void f()
    {
      class E {};
    }
  };
};

Et ce n'est qu'un exemple simple...
Il y a aussi le coup classique des d�clarations de fonctions qui ressemblent en tous points � des initialisations de variables (et inversement), les m�thodes qui sont dans deux classes de m�me nom mais dans des namespaces diff�rents qu'il faut diff�rencier, etc..

Enfin j'imagine que �a d�pend du but final.
Dans tous les cas : bon courage !

MAT.

Analyser du code C/C++: d�tecter les struct, class et fonctions

C++

Discussions similaires

Partager

Partager