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