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