--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on September 2010 ---
As Julien noted, there is no other way to write a plug-in but to learn OCAML well. Furthermore, for writing a metrics plugin, you can start with the already existing plugin called "metrics", located in src/metrics of the source distrib. It contains already a few metrics such as the cyclomatic complexity. Best, Armand > > ------------------------------ > > Message: 5 > Date: Thu, 23 Sep 2010 10:41:12 +0200 > From: Julien Signoles<Julien.Signoles at cea.fr> > Subject: Re: [Frama-c-discuss] Calculation of SW complexity > To: Frama-C public discussion<frama-c-discuss at lists.gforge.inria.fr> > Message-ID:<4C9B12A8.9000000 at cea.fr> > Content-Type: text/plain; charset=UTF-8; format=flowed > > ... > >> > Thanks for your answer. So if I've understood, it could be really difficult (perhaps impossible) to realise my destination (calculate the software complexity of a sourcecode written in C) with FRAMA-C. >> > For metrics like the ones you have to implement, it could be not so > difficult. I don't remember the definitions of all these metrics and so > what it is really required for implementing them. > > Regards, > Julien Signoles >