--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on April 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Help, how to use Frama-C to scan linux kernel?



Le 04/04/2011 23:50, David A. Wheeler a ?crit :
>> 2011/3/29 Zhao, Passion<passion.zhao at intel.com>:
>>> I install the frama-c 1.4 in Fedora 12, try to use it to scan some open
>>> source projects such as openssl, linux.
>
> David MENTRE<dmentre at linux-france.org>:
>> Strange version number for Frama-C! Frama-C is using atomic elements
>> names (Boron, Carbon, ...) for release number.
>
> Sadly, I know of no package manager which knows how to sort atomic element names.  So we packagers of Frama-C on Fedora simply use "1." followed by the atomic number (= number of protons).  Thus, Beryllium becomes "1.4", and so on.  Then the package manager can figure out stuff like "is there a newer version available in the repository" easily.

The Frama-C release number also contains a number attached to the atomic 
element names and usable for comparing versions. For instance, the exact 
version name of the last stable release is Carbon-20110201 while the 
exact version name of the previous stable release was Boron-20100401.

As 20110201 >= 20100401, you can deduce that Frama-C Carbon is more 
recent than Frama-C Boron even if you don't know the Mendeleiev table.

--
Julien Signoles