--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on October 2013 ---
------- Portuguese ------- Ol? Lucas, esta lista ? para ser usada em ingl?s, mas vou tentar responder-te bilingue. N?o sou muito experiente em frama-c, mas se um programa n?o conseguir ser compilado pelo tradicional GCC, n?o vai poder ser an?lisado no frama-c, j? que ele precisa de pr?-processamento do gcc, para injetar as bibliotecas, e validar o c?digo. Quanto a outras ferramentas, ? poss?vel que algumas sejam mais tolerantes a erros, mas n?o conhe?o esta ?rea o suficiente para te sugerir uma alternativa. ------- English ------- *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.* Hi Lucas, this list should be used in English, but I will try to answer you in both idioms. I'm not an expert in frama-c, but if a program cannot be compiled by the regular GCC, it can not analysed with frama-c, since it needs pre-processing from GCC to inject the libraries and validate the code. About other tools, it is possible that some are more tolerant to errors, but I do not know this area enough to suggest an alternative. No dia 5 de Outubro de 2013 ?s 04:52, Lucas Barbosa <lucboluc at gmail.com>escreveu: > 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. > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131005/48982f3d/attachment.html>