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

[Frama-c-discuss] need frama-c help to develop plugin



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} ***