--- layout: fc_discuss_archives title: Message 79 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



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
>