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

  • Subject: [Frama-c-discuss] frama-c plugin howto: question from a beginner
  • From: julien.signoles at cea.fr (Julien SIGNOLES)
  • Date: Wed, 17 Dec 2008 08:49:20 +0100
  • In-reply-to: <1229449048.3335.446.camel@supelec>
  • References: <1229449048.3335.446.camel@supelec>
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