--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on September 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Calculation of SW complexity



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
>