--- layout: fc_discuss_archives title: Message 79 from Frama-C-discuss on November 2009 ---
Merci pour la rapidit? de votre r?ponse, Nous devons d?velopper un plugin sous frama-c qui permet de modifier un fichier source en langage C (on veut par exemple lui retirer des lignes, enlever une instruction ...) L'int?ret pour nous d'utiliser frama-c est de profiter des plugins d?j? incorpor?es ainsi que des fonctions de base comme obviously (on doit partir d'un fichier C dans le format g?n?r? par obviously). Probl?me principal pour l'instant : malgr? la doc, nous n'arrivons pas ? comprendre le fonctionnement de frama-c au niveau de la lecture du fichier source. Cordialement Pierre ANDRIEUX Gr?gory BAUDEAU ENSI Bourges > Baudeau Gr?gory wrote: >> Hello, >> >> We are two students who have to develop a new plugin which will turn >> under >> frama-c (not gui env for the moment). We are looking for news in order >> to >> catch text from a .c file. We would like a better help than the tuto to >> start our plugin because we only can do an "hello world". > > > Je r?ponds en priv? et en fran?ais. > > Je n'ai pas compris votre besoin exact. Un analyseur statique manipule au > moins des representations internes (arbres > syntaxiques abstraits) diff?rentes d'une repr?sentation textuelle (celle > dans le fichier *.c analys?). > > Ou bien alors cherchez vous ? traiter les constantes cha?nes de caract?re > dans le code C analys?? > > (Vous pourriez peut-?tre aussi d?velopper, en dehors de Frama-C, un plugin > pour GCC, par exemple avec MELT). > > Je n'ai probablement rien compris ? votre question. N'hesitez pas ? la > reformuler plus pr?cis?ment.. > > Cordialement > > -- > Basile STARYNKEVITCH http://starynkevitch.net/Basile/ > email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 > 8, rue de la Faiencerie, 92340 Bourg La Reine, France > *** opinions {are only mines, sont seulement les miennes} *** > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss >