Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

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