--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on October 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Argumentos do main VS Ferramentas Estaticas



Hello,

On 10/05/2013 11:25 AM, Ismael Vilas Boas wrote:
>     /From: Lucas Barbosa/
>
>     /I would like to know if the static tools (specially Frama-c), can
>     make analysis with the arguments not initialized on the main./

Ismael: thanks for the translation :).

Lucas: yes it is fully possible thanks to the option -lib-entry (see 
Frama-C User Manual, Section 6.1).

Hope this helps,
Julien
-- 
Researcher-engineer
CEA LIST, Software Safety Labs
tel:(+33)1.69.08.00.18  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr