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

[Frama-c-discuss] Problems with Frama-C libc



Hello Virgile,

Le 18/01/2012 11:23, Virgile Prevosto wrote :
> For Value Analysis, you
> might have better luck by adding on the command line the corresponding
> .c implementations. In particular, with the string.c implementation:
> frama-c-gui -cpp-extra-args="-I`frama-c -print-path`/libc" -val file.c
> `frama-c -print-path`/libc/string.c
>
> the call to printf is not seen as dead.

Great: it works ! Thank you very much for that.

-- 
Anne.