--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on June 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ANALIZE BIG PROJECTS



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              |