Discussion :

[Aspic]

Bonjour,

Je cherche � parser un code source C suivant :

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
int main()
{
	toto = load_bitmap("....");
	if (!toto) exit(-1);
	tata = load_bitmap("....");
	if (tata == NULL)
	{
		// des choses
	}
	titi = load_bitmap("....");
	if (!titi) {
		/* encore des choses */
		tete = load_bitmap("....");
	}
}

Le but est de r�cup�rer les variables toto, tata, titi, tete toujours � gauche de la fonction "load_bitmap".

Dans un second temps, il faudrait savoir si chacune de ses variables sont dans un "if" avec le pattern suivant : "if (!MA_VARIABLE)" ou alors "if(MA_VARIABLE==NULL)"

Je sais qu'il faut utiliser des regex mais j'aurais besoin de votre aide pour cela. Sinon s'il y a une autre m�thode � part les regex, je suis partant

Merci beaucoup

[ternel]

tu veux le faire en C ou C++?

Parce qu'un combo grep-sed peut suffire

grep source.c -e "= load_bitmap" | sed "/[ \t]*\(.*\)[ \t].*/\1/" > vars.txt mettra les noms des variables dans vars.txt.
grep source.c -f vars.txt | grep -e "if (" lira le fichier et retiendra seulement les if.

Ceci �tant propos� pour linux, et doit s'adapter avec wingrep et un �quivalent � sed sous windows.

[Aspic]

Ah oui, j'ai oubli� de pr�ciser que je suis sous WIndows 7 et je ne veux pas le faire en ligne de commande mais en C ou C++ peu importe (de pr�f�rence sans avoir une lib � installer comme boost)

EDIT : sinon pour les commandes linux, j'ai une erreur pour la premi�re :

sed: -e expression #1, char 22: unknown command: `\'

Et la seconde marche mais ne prends pas en compte la variable "tete" qui est d�j� dans un "if"...

[ternel]

en C ou C++, soit tu vas devoir r�impl�menter une lib d'expression r�guli�re, soit une de machine a �tat, soit utiliser ce qui a d�j� �t� fourni.

Tu peux impl�menter un analyseur syntaxique du C++ en peu de temps (j'ai mis cinq heures pour �tre grammaticallement conforme � toutes les subtilit� du C++11 (lambda inclu...))

[darkman19320]

en C++11, il y a std::regex donc pas besoin de red�finir de lib d'expression r�guli�re non?

[Aspic]

Oui je connais std::regex, en fait c'est plut�t au niveau de la regex que je gal�re... Et les commandes linux avec le sed ne fonctionne pas

[ternel]

Pour trouver les noms de variables, ca va ressembler � "[[:alnum:]]+ = load_bitmap", avec la d�coration pour ne r�cup�rer que le d�but (on appelle ca des captures).

[Aspic]

Bonjour,

J'ai tent� cela mais ca ne marche pas
D�sol� j'ai un vrai probl�me avec les Regex, j'arrive pas � apprendre leur logique

Code :

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

1
2
3
4
5
6
7
8
9
10
11
int main()
{
    std::string s = "toto = load_bitmap(coucou);";
    std::regex pattern("\\^[[:alnum:]]+ = load_bitmap",
        std::regex_constants::basic);
 
    if (std::regex_match (s,pattern))
        std::cout << "string object matched\n";
 
    return 0;
}

[ternel]

Bonjour
Attention, pour matcher au d�but, il ne faut pas �chaper le '^'
sinon, l'expression me semble bonne.

[Aspic]

Bonjour
Attention, pour matcher au d�but, il ne faut pas �chaper le '^'
sinon, l'expression me semble bonne.

Bonjour,
M�me sans �chapper, elle ne fonctionne pas

[ternel]

� ce niveau l�, r�f�re toi � la documentation de la syntaxe des regex.

Pour information, une regex est une description de s�quence de caract�re.
un [] d�signe une alternative (parmi les caracteres internes)
un () forme un groupe
un + signifie que le groupe qui pr�c�de est a reconnaitre au moins une fois
un ? signifie que le groupe qui pr�c�de est a reconnaitre au plus une fois
un * signifie que le groupe qui pr�c�de est a reconnaitre 0, 1 ou plusieurs fois

par exemple:

• "a" reconnait "a"
• "ab" reconnait "ab"
• "a|b" reconnait "a" et "b"
• "[a-d]" reconnait "a", "b", "c", et "d"
• "(abc)+" reconnait "abc", "abcabc", "abcabcabc" et plus si affinit�
• "(abc)+|a(bc)+" reconnait "abc", "abcabc", "abcabcabc" � ou "abcbc" ou "abcbcbc"

Bonne continuation

[Aspic]

Merci je vais voir dans la doc ce que je peux trouver

Juste une remarque, comment dire en regex de virer la redondance des espaces dans la chaine test�e :
Exemple :

Code :

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

1
2
3
4
5
 
int main(...)
int    main(...)
int        main      (    .....  )
int main   (...    )

Je cherche � transformer toutes ses expressions en :
int main () avec un seul espace entre "int" et "main" et un seul espace entre "main" et "("

Bonne soir�e

[ternel]

En th�orie, il faut faire un remplacement de "[ \t]+" par " ".

[Aspic]

Dac, merci

Je vais voir ce que je peux faire.

[white_tentacle]

Vous �tes s�rs que c�est une bonne id�e de partir sur les regex ?

Perso, je conseillerai plut�t une analyse LR. La grammaire C est bien d�finie � quoi que sensible au contexte mais pour ce que tu veux faire cela ne devrait pas poser de soucis �, �a ne devrait pas �tre tr�s difficile.

[Aspic]

Perso, je conseillerai plut�t une analyse LR. La grammaire C est bien d�finie � quoi que sensible au contexte mais pour ce que tu veux faire cela ne devrait pas poser de soucis �, �a ne devrait pas �tre tr�s difficile.

Une analyse LR, c'est quoi ca ?
Tu aurais un tuto d'initiation pour impl�mentation de cela ?

[ternel]

C'est valable aussi.

J'avais juste propos� la solution de "facilit�": grep+sed

Maintenant, pour l'analyse LR, il va quand m�me falloir quelques regex, pour la d�tection des identifieurs et le d�coupage de "alpha+beta" en {identifieur, op+, identifieur}.
Encore qu'elles seront simples parce qu'il ne faut pas valider le code source.

[Aspic]

Je vais regarder vos pistes quand j'aurais le temps.
Merci pour votre aide

[white_tentacle]

Rebonjour,

Pour l�analyse LR : wikip�dia donne une bonne introduction. http://fr.wikipedia.org/wiki/Analyse_LR

Pour l�impl�mentation en c++, une solution est boost::spirit (puissant mais complexe � utiliser).

[ptyxs]

Pour commencer il faudrait �tre s�r que le compilateut utilis� supporte les regex du C++11. Pour l'instant, � ma connaissance il n'y a gu�re que Clang qui le fait...