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

[Frama-c-discuss] frama-c -lib-entry not working anymore?



Le mar 07 oct 2008 18:03:54 CEST,
"Yannick Moy" <yannick.moy@gmail.com> a ?crit :

> Hello,
> 
> The following command
> frama-c -lib-entry -val file.c
> on an incomplete program returns with the message
> Could not find entry point: main
> Is it something expected?
> 

Yes. -val performs a global analysis starting from a given
function as an entry point. -lib-entry only specifies that your entry
point is to be understood as a library function (i.e. that the global
environment can be more or less anything instead of 0-initialized
variables). It does not change the name of the entry point which is by
default main. Use -main f to set the entry point of the analysis to f
(thus the command should be the following, 
as already pointed out by David: 
frama-c -lib-entry -main f -val file.c)

Best regards,
-- 
E tutto per oggi, a la prossima volta.
Virgile