--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on October 2013 ---
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