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] More information about Frama-C?

Hello,

> I discovered Frama-C through messages on Why's mailing list.
> Is there any paper describing the GNU GPL framework, the API of
> plugins, and the "ACSL" language? The only document I found is
> http://www-spi.lip6.fr/~jaume/VP_25_09.pdf .

All of these informations will be available on the offical website http://www.frama-c.cea.fr/ including the "ANSI/ISO C Specification Language (ACSL)" defintion and an extensive developer guide.

The slides you found give only a partial overview of the framework geared toward C++ analysis.

> Which plugin will be released as Free Software? Any release date planned?

All plugins of the first release will be under LPGL v2.1. This will not include the C++ plugin.

The first release (codename Hydrogen) is planned for the first week of march. 
Note that plugins have very different maturity levels.

Thanks again for your interest in Frama-C and stay tuned!

Benjamin
_______________________________________________
Frama-c-discuss mailing list
Frama-c-discuss@lists.gforge.inria.fr
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss