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] Calculation of SW complexity

  • Subject: [Frama-c-discuss] Calculation of SW complexity
  • From: armand.puccetti at cea.fr (PUCCETTI Armand)
  • Date: Fri, 24 Sep 2010 10:01:31 +0200
  • In-reply-to: <mailman.65.1285236057.4750.frama-c-discuss@lists.gforge.inria.fr>
  • References: <mailman.65.1285236057.4750.frama-c-discuss@lists.gforge.inria.fr>
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
>