Version imprimable
Bonjour,
Je suis à la recherche d'un analyseur statique de code gratuit pour un programme C/C++.
J'aimerais un outil qui parcours mon code et fasse une analyse de récursivité/cycles. L'idée étant de savoir si, à un moment donné, une fonction s'appelle elle-même (par ex., A appelle B qui appelle C qui apelle de nouveau A).
Cela pourrait prendre la forme d'un visualiseur graphique qui me permettrait de parcourir les appels de fonction à la main.
Je ne sais pas si j'étais assez clair...
Salut,
Selon le compilateur que tu utilises, il n'est pas exclu que tu puisse trouver directement ton bonheur dans les différents outils qui sont fournis avec...
Avec gcc, par exemple, tu dispose de gprof, même s'il s'agit d'un profiler "dynamique" (qui fonctionne lors de l'exécution) et pour lequel il me semble même qu'il existe une IHM.
Pour le reste, comme il semblerait intéressant de disposer de quelque chose qui s'adapte à ton environnement de développement, il serait pas mal de nous en dire plus à ce sujet (compiateur, EDI / RAD que tu utilise)
J'utilise gcc 3.4.6, mais pas d'IDE pour le moment (je suis en TMA sur un programme déjà existant, en fait). Mais je peux envisager d'en utiliser un si cela apporte quelque chose par rapport à ma problématique.
Je viens de parcourir le site concernant gprof : il semble qu'il affiche les cycles d'appels de fonction (http://sourceware.org/binutils/docs-...es.html#Cycles), ou bien ai-je mal compris ?
Je ne me vois pas trop développer moi-même un programme pour réaliser cette analyse (n'étant pas très calé question algorithmique...).
Merci pour d'éventuelles suggestions.
gprof permet en réalité plein de choses, parmi lesquelles le fait de voir dans quelle partie d'un code le programme passe le plus de temps.
Mais il permet également, comme tu l'as bien compris, de retrouver la récursivité des différents appels de fonction sur base de cycles.
Dans le cas qui nous occupe, tu ne semble intéressé que par le fait de découvrir les éventuels appels récursifs, et la notion de temps d'exécution ne semble donc pas primordiale dans un premier temps...
Mais qui sait :question: peut-être voudra tu plus tard disposer d'un profiling complet, et donc disposer de ces informations :question:
Comme tu utilise gcc (c'était ça, l'information importante qu'il me manquait;) ) je te confirme que gprof est normalement présent sur ton système.
Pense juste à compiler ton projet avec l'option -pg pour pouvoir l'utiliser ;)
Super, je vais me pencher sur l'outil.
Je te remercie pour tes explications.
Doxygen, qui est fait à la base pour générer de la documentation, permet de générer les graphes d'appel. C'est bien présenté.
Merci pour vos contributions.
Un autre besoin est apparu concernant le même projet. Il s'agit dorénavant de vérifier la syntaxe du code source C++ à partir de règles définies dans un cahier des charges.
Les règles sont, par exemple, imposer un espace avant et après chaque opérateur, imposer la présence d'un bloc "{...}" après chaque boucle de contrôle, imposer un "break" pour chaque "case" d'un bloc "switch", vérifier que toute variable déclarée est utilisée, etc.
Plutôt compétent en environnement Java concernant cet aspect, j'ai déjà utilisé Checkstyle et PMD qui réalisent cette analyse syntaxique de code source (avec un paramétrage possible de chaque règle) ; mais ceux-ci ne gèrent que le Java.
Connaissez-vous un ou des outils équivalents pour C++ ?
Pour certaines choses (le fait qu'une variable déclarée soit utilisée, par exemple), tu peux déjà configurer ton compilateur en mode "paranoïaque", en lui passant par exemple l'option -Wall qui active tous les avertissements pour le compilateur.
Pour d'autres (la présence d'un espace obligatoire avant et/ou après les opérateurs), si tu travaille sous *nix, un script shell qui utilise sed et/ou grep devrait te permettre de t'en sortir pas trop mal ;)
Pour l'analyse réellement syntaxique, peut être pourrais tu te tourner vers boost.spirit :question: