--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on January 2012 ---
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.