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



------- 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>