--- layout: fc_discuss_archives title: Message 56 from Frama-C-discuss on March 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?



Hello,

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.

Strange version number for Frama-C! Frama-C is using atomic elements
names (Boron, Carbon, ...) for release number.

> In frama-c-gui I don't find easy ways to select the source files recursively
> to scan, but linux kernel contains much source files, it is too difficult to
> select them one by one.
> Am I missing anything?

As shown is the Tutorial part of Frama-C Value Analysis manual, the
easiest way to analyse a set of C files is to launch the GUI with the
set of files from the command line. Something like:
   frama-c -val dir1/*.c dir1/*.h dir2/*.c dir2/*.h

Best regards,
david