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

[Frama-c-discuss] Plugins in next Frama-C?



> Regarding the next version of Frama-C, are any changes planned in the
> set of plug-ins (addition, deprecation, major change in a plug-in)?

The value analysis will require much less memory for many large
analyses, along with other less striking improvements. The ratios
range from 4 to 100 for the existing memory consumption benchmarks
that I had lying around (that is, from 4 times less memory required to
100 times less memory required).

External plug-in implementors will discover a new API for defining
datatypes, along with an almost automatic transition script for
existing external plug-ins.

There will be a new weakest precondition plug-in alongside Jessie,
with different strengths and weaknesses. It will of course make use of
the same ACSL contracts.

Note that no date is fixed for a Carbon release and that while it is
unlikely that these changes do not happen, many others could be added
to the list in the meantime.

Pascal