--- layout: fc_discuss_archives title: Message 51 from Frama-C-discuss on December 2008 ---
Hello, > 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. In addition to the comments of Benjamin and Pascal, there is also the plug-in "occurrence" which was first designed in order to show how to write a small semantic analysis in Frama-C. It also uses a Frama-C visitor which allow to walk through the source code. The plug-in development guide [1] contains a small tutorial as well as details about the way to write a Frama-C plug-in. [1] http://www.frama-c.cea.fr/download/plug-in_development_guide.pdf Hope this helps, Julien -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.71.83 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr