Discussion :

[Davidbrcz]

Bonjour � tous.

Je travaille actuellement dans un projet de robotique et j'�cris du code plus ou moins bas niveau.

A divers endroits du code, je manipule des entit�s qui sont existent physiquement sur ma carte. Par exemple, j'ai un �l�ment qui ne peut �tre branch� que sur les pins 2,3 18, 19, 20 ou 21 de ma carte et pas une autre.

Je souhaiterait automatiser les v�rifications pour assurer qu'au moins, le code se base sur des pins "acceptables". Les classes se basant sur des template, je pensais faire un coup de m�ta prog pour v�rifier que l'entier est bien dans un vecteur de boost::mpl mais j'ai 1 souci principal : le poids du code mort. La carte n'a pas de la place illimit�e et j'ai peur que ca en mange pour rien. (par ailleurs, j'ai pas essay� boost avec avr-g++, pas s�r que ca passe)

A la suite de cette discussion Je pensais donc me tourner vers un outil enti�rement externe. Sauf que l�, je s�che : je n'ai pas le moindre nom de logiciel en t�te qui soit gratuit et tourne sous linux.

Si vous pouvez �clairer ma lanterne !
Merci.

[koala01]

Salut,

D�j�, normalement, si tu passes par la programmation g�n�rique et que tu restreins tes politiques aux seules valeur acceptable, tu devrais pouvoir �viter pas mal de probl�mes, pour un code qui, au final, ne devrait pas �tre particuli�rement plus gros, vu que les grosses v�rifications se font � la compilation.

Par contre, wikipedia parle de lint sous linux.. L'as tu essay�?

[Davidbrcz]

et que tu restreins tes politiques aux seules valeur acceptable,

Effectivement, j'avais oubli� qu'un static_assert accepte n'importe quelle expression logique valide .

Probl�me r�solu

[koala01]

Ceci dit, apr�s avoir lu l'article en question, je ne peux m'emp�cher de penser que l'utilisation d'un bon outil d'analyse statique du code ne peut qu'apporter une qualit� non n�gligeable...

Malheureusement, il semble que, encore une fois, linux fasse figure de parent pauvre en terme d'outils efficaces dans le domaine

Ce qui est, quand on y pense, un comble �tant donn� le nombre de d�veloppements pour lesquels on utilise linux .

Enfin, si tu trouves un outil efficace, n'h�sites pas � nous en faire part

[gbdivers]

Je connais pas les outils cit�s dans l'article, mais cpp check n'est pas un �quivalent ?
De plus, sans avoir personnellement fait, je sais qu'il est possible dans cpp check d'ajouter ses propres r�gles

[LittleWhite]

Bonjour,

Depuis un certains article de Carmack, j'ai fait un peu des recherches.
Pour Linux (gratuit), j'ai trouv� les trois outils suivant :

cppcheck
oink
flawfinder

Malheureusement, je n'ai pas eu le temps de tester tout cela.

[koala01]

Mais, ceci dit, pour rebondir sur

Effectivement, j'avais oubli� qu'un static_assert accepte n'importe quelle expression logique valide .

Probl�me r�solu

A vrai dire, je ne pensais m�me pas au static_assert, mais "juste" � une s�rie de traits correctement �tudi�s

Je m'explique... : Tu parles d'�l�ments qui peuvent �tre branch�s sur les pins 2,3 18, 19, 20 ou 21.

Cela signifie que si tu obtiens quelque chose sur "n'importe quel autre pin" (quel que soit son num�ro), tu ne dois pas l'accepter, et que si tu essaye d'acc�der � l'�tat de l'un de ces "n'importe quel autre" pin, il peut sembler correct de refuser la compilation...

Je serais donc parti, assez benoitement, sur quelque chose comme

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
/* le template, sans la valeur énumérée, pour toute valeur non prévue*/
template <int >
struct PinTrait
{
};
/* les spécialisations pour  2,3 18, 19, 20 et 21 */
template <int>
struct PinTrait<2>
{
    enum{value = 2};
};
template <int>
struct PinTrait<3>
{
    enum{value = 3};
};
template <int>
struct PinTrait<18>
{
    enum{value = 18};
};
template <int>
struct PinTrait<19>
{
    enum{value = 19};
};
template <int>
struct PinTrait<20>
{
    enum{value = 20};
};
template <int>
struct PinTrait<21>
{
    enum{value = 21};
};

avec comme r�sultat le fait que PinTrait<8>::value; est accept�, alors que PinTrait<XXX>::value (o� XXX n'est pas une valeur utilisable) sera refus� � la compilation, m�me si c'est avec un message relativement cryptique

Encore faut il voir si cela correspond � tes besoins, bien sur

[Davidbrcz]

koala01 >> Ca fait trop de classe. Je n'ai que 256Kb de flash. Et mon binaire p�se d�j� 15kb.

LittleWhite >> merci pour les liens. Je connaissais Flawfinder et il traque plus des bugs de s�curit�.

Cependant, le premier me semble correspondre � ce que je recherche ! A creuser

[3DArchi]

Salut,
En embarqu�, les outils d'analyse de code type lint, Qac ou polyspace, je les ai vu employer pour v�rifier des r�gles de codage (MISRA par expl et +), des r�gles de 'formattage' (nbr d'espace, retour � la ligne, etc.), mais jamais pour v�rifier l'utilisation des bonnes pins.

@david : je ne comprends pas ta derni�re remarque. Ces classes ne g�n�rent pas de code comme en g�n�ral ce qui rel�ve de la m�ta-prog?

Pour le support boost/Avr, il semblerait que d'autres aient tent� l'aventure : cf ici