--- layout: fc_discuss_archives title: Message 66 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



> Frama-C's analyzers require an 
> entry point which is by default a function called "main" in your program.

Actually, weakest precondition plug-ins do not require an entry point
(one big advantage that they have over other techniques),
and they do not emit this warning when none is provided.
Only the value analysis and plug-ins that use
it indirectly require an entry point and emit this warning.

Pascal