--- layout: fc_discuss_archives title: Message 64 from Frama-C-discuss on November 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Windows binary version error: Global kernel could not find entry point: main



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