--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on March 2011 ---
Hi, All I install the frama-c 1.4 in Fedora 12, try to use it to scan some open source projects such as openssl, linux. 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? Thanks. -- Cheers, Passion Zhao Timezone: GMT+8 Tel: +86-10-5751-1986 -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7196 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110329/f660c8a8/attachment.bin>