--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on October 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Is there any method not to initalize all global variables while doing value analysis?



> The experiments that have been published are "Fan-C, a Frama-C plug-in for
> data flow verification", "Formal Verification of Industrial C Code using
Frama-C:
> a Case Study" and "Formal Verification of Software Important to Safety
Using
> the Frama-C Tool Suite".

Thank you for providing me such detail information. These papers are very
useful to me.

> 
> You can pass several files on the commandline:
> frama-c file1.c file2.c ...

I have tried this command your provide. It is helpful.

Thanks you for helping me so much these days.

Ben
2012-10-31