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

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
>