--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on June 2008 ---
Dear Pavel, Pavel Vasilyev a ?crit : > How i must analyze, for example, ? SAMBA plugin, with many cross > headers, sources. You should probably read chapter 3, section 3.1.1 to learn basic invocations of Frama-C analysers. Basically, you just have to give the preprocessing command line and the list of all files you want to analyse. By the way you have to know what you want to analyse in your code and invoke the tool accordingly. You should probably start your experiments with simple basic examples to understand what kind of analysis Frama-C provides. Cheers, -- | Benjamin Monate | mailto:benjamin.monate@cea.fr | | Ing?nieur-Chercheur | CEA-LIST/DRT/DTSI/SOL/LSL | | B?t. 528 Pt. 115a | 91191 Gif-sur-Yvette CEDEX | | T?l. 01 69 08 94 09 | Fax : 01 69 08 83 95 |