--- layout: fc_discuss_archives title: Message 50 from Frama-C-discuss on December 2008 ---
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