--- layout: fc_discuss_archives title: Message 2 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?



> 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.

--- David A. Wheeler