--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on October 2008 ---
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