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] RE : frama-c plugin howto: question from a beginner


  • Subject: [Frama-c-discuss] RE : frama-c plugin howto: question from a beginner
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
  • Date: Wed, 17 Dec 2008 08:05:03 +0100
  • References: <1229449048.3335.446.camel@supelec>

Hi,
You may need to read the plugin development guide available at 
http://frama-c.cea.fr/download/plug-in_development_guide.pdf
Sections 4.10.* document the code visitors of Frama-C.

If you find this document unclear do not hesitate to report it so that we can improve it.

Thanks a lot for your interest in Frama-C,
Benjamin Monate



-------- Message d'origine--------
De: frama-c-discuss-bounces at lists.gforge.inria.fr de la part de Jonathan-Christofer Demay
Date: mar. 16/12/2008 18:37
?: frama-c-discuss at lists.gforge.inria.fr
Objet : [Frama-c-discuss] frama-c plugin howto: question from a beginner
 
Hi,

I hope some guys here have already tried to make their own plugin so
maybe they can help me to get started with.

>From the frama-c source code, watching the dummy plugin 'hello_world', I
get the basic structure of a plugin and its make file (not exactly the
hardest part of making a plugin ^^). By probing some simple plugins like
'sparecode', I also get that (correct me If I'm wrong) you interact with
other plugins through 'Db', and what can be called for each plugin is
registered in kernel/db.ml.

What I lack know, it's how to walk through the source code. I'm
currently reading gui/design.ml hoping it might put me on the right
road, but it's not that easy to get into it.

For now I just humbly would like to make something as simple as this:
for $i in each statement in the current project:
      print some useful information about the statement $i
endfor





_______________________________________________
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