--- layout: fc_discuss_archives title: Message 84 from Frama-C-discuss on April 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] plugin jessie



bonjour,
il? y a? pas? longtemps? je? suis tomb? sur? le?? plugin FRAMA-C_ECLIPSE qui permet de faire l'analyse statique? du code C. ce? plugin est? bas?? dur? le PLUGIN? JESSIE.
l??? je? suis? sur? une mission qui? consiste ? ajouter?? quelques? r?gles? au? plugin framac-eclipse,? pour cela? je?? dois:
?-? savoir? comment?? le plugin? JESSIE est ajouter?? au plugin FRAMAC-ECLIPSE
je? suis vraiment? coinc?,? ?a fait? une? semaine? que? je cherche?? mais??? j'ai?? rien?? trouv?.je?? vous sollicite? pour que?? vous me? d?bloquerez.? 
merci?? ?? l'avance




      
-------------- section suivante --------------
Une pi?ce jointe HTML a ?t? enlev?e...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090430/9bc659e8/attachment.htm