--- layout: fc_discuss_archives title: Message 50 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RE : frama-c plugin howto: question from a beginner



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