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] Native dynamic plugin

  • Subject: [Frama-c-discuss] Native dynamic plugin
  • From: david.ribeirocampelo at atosorigin.com (David RIBEIRO CAMPELO)
  • Date: Tue, 21 Apr 2009 09:23:13 -0000
Hi,

I'm new on frama-c, I have OCaml 3.11 and frama-c Lithium.

I have two questions:

 - First of all, I have a dynamic plugin that i would like to use in 
native mode. I add in my makefile the variable NATIVE set to yes. I do 
"make" and "make install" and it's ok .But I don't know how to launch my 
plugin because when i do "frama-c -help", I don't see my plugin.Can 
anyone help me?

- Does exists a plugin that print the tree of my C file like  : 
Instr(Call(Some(Var t....etc   ?

Thanks.

Regards,

David RIBEIRO CAMPELO


-- 

 

	* David RIBEIRO CAMPELO*
*Ing?nieur - Atos Origin*
Telephone : 05 34 36 34 46
Mail : david.ribeirocampelo at atosorigin.com 
<mailto:david.ribeirocampelo at atosorigin.com>
6 Impasse Alice Guy
31024 Toulouse Cedex 03
www.atosorigin.fr <http://www.atosorigin.fr>

D?veloppement durable, anticipons pour notre avenir / Sustainability, 
advance our future
N'imprimez ce mail que si n?cessaire / please consider your 
environmental responsibility before printing this e-mail.
Ce message et les pi?ces jointes sont confidentiels et r?serv?s ? 
l'usage exclusif de ses destinataires. Il peut ?galement ?tre prot?g? 
par le secret professionnel. Si vous recevez ce message par erreur, 
merci d'en avertir imm?diatement l'exp?diteur et de le d?truire. 
L'int?grit? du message ne pouvant ?tre assur?e sur Internet, la 
responsabilit? du groupe Atos Origin ne pourra ?tre recherch?e quant au 
contenu de ce message. Bien que les meilleurs efforts soient faits pour 
maintenir cette transmission exempte de tout virus, l'exp?diteur ne 
donne aucune garantie ? cet ?gard et sa responsabilit? ne saurait ?tre 
recherch?e pour tout dommage r?sultant d'un virus transmis.

This e-mail and the documents attached are confidential and intended 
solely for the addressee; it may also be privileged. If you receive this 
e-mail in error, please notify the sender immediately and destroy it. As 
its integrity cannot be secured on the Internet, the Atos Origin group 
liability cannot be triggered for the message content. Although the 
sender endeavours to maintain a computer virus-free network, the sender 
does not warrant that this transmission is virus-free and will not be 
liable for any damages resulting from any virus transmitted.

-------------- section suivante --------------
Une pi?ce jointe HTML a ?t? enlev?e...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090421/7d64e2a6/attachment-0001.htm 
-------------- section suivante --------------
Une pi?ce jointe non texte a ?t? nettoy?e...
Nom: ao_ioc_sign.gif
Type: image/gif
Taille: 4371 octets
Desc: non disponible
Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090421/7d64e2a6/attachment-0001.gif