--- layout: fc_discuss_archives title: Message 66 from Frama-C-discuss on November 2009 ---
> 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