--- layout: fc_discuss_archives title: Message 64 from Frama-C-discuss on November 2009 ---
Hello, Talmage Wesley a ?crit : > What does the error message shown below imply? See attached. > > Global kernel could not find entry point: main I don't find any attachment. Anyway this message tells you that Frama-C is not able to find the entry point called "main" in your C program: Frama-C's analyzers require an entry point which is by default a function called "main" in your program. The name of this function may be set by using the Frama-C's option -main. Please use -kernel-help to have a description of this option among the other Frama-C's general options. Hope this helps, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.82.98 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr