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



Gostaria de saber se as ferramentas est?ticas (em especial o
Frama-C),conseguem fazer analises com os argumentos do main que n?o tenha
sido inicializados.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131005/b909bc9b/attachment.html>