Comentários sobre: Análise estática de código http://sergioprado.org/analise-estatica-codigo/?utm_source=rss&utm_medium=rss&utm_campaign=analise-estatica-codigo Sistemas embarcados, Linux embarcado, RTOS e segurança Mon, 21 May 2012 00:41:00 +0000 hourly 1 Por: Paulo http://sergioprado.org/analise-estatica-codigo/#comment-24 Paulo Fri, 18 Mar 2011 12:37:16 +0000 http://www.embarcados.com.br/blog/?p=74#comment-24 ah, sim desculpe, eu vi o código e postei um comentário antes de terminar de ler o texto! =( desculpe ah, sim desculpe, eu vi o código e postei um comentário antes de terminar de ler o texto! =(
desculpe

]]> Por: sergioprado http://sergioprado.org/analise-estatica-codigo/#comment-23 sergioprado Fri, 18 Mar 2011 12:27:48 +0000 http://www.embarcados.com.br/blog/?p=74#comment-23 <p>Olá Paulo!</p> <p>Não, a intenção era fazer uma comparação. O que eu queria mostrar é um erro comum de programação em C, que pode ser identificado facilmente por uma ferramenta de análise estática de código.</p> <p>Um abraço!</p> Olá Paulo!

Não, a intenção era fazer uma comparação. O que eu queria mostrar é um erro comum de programação em C, que pode ser identificado facilmente por uma ferramenta de análise estática de código.

Um abraço!

]]> Por: Paulo http://sergioprado.org/analise-estatica-codigo/#comment-22 Paulo Fri, 18 Mar 2011 12:01:54 +0000 http://www.embarcados.com.br/blog/?p=74#comment-22 Sérgio, muito legal seu post, acompanho seu blog, sempre com ótimos artigos, uma duvida, na linha de código <span>if</span> <span>(</span><span>(</span>buf<span>[</span>ind<span>]</span> <span>%</span> <span>2</span><span>)</span> <span>=</span> <span>0</span><span>)</span> era uma atribuição que você gostaria de fazer mesmo? abracos Sérgio,
muito legal seu post, acompanho seu blog, sempre com ótimos artigos, uma duvida, na linha de código if ((buf[ind] % 2) = 0)

era uma atribuição que você gostaria de fazer mesmo?
abracos

]]> Por: Netrino's Embedded C Coding Standard http://sergioprado.org/analise-estatica-codigo/#comment-21 Netrino's Embedded C Coding Standard Tue, 08 Mar 2011 23:02:11 +0000 http://www.embarcados.com.br/blog/?p=74#comment-21 [...] Usar uma fer­ra­menta de Lint para análise estática de código (escrevi um artigo sobre análise estática de código aqui). [...] […] Usar uma fer­ra­menta de Lint para análise estática de código (escrevi um artigo sobre análise estática de código aqui). […]

]]> Por: Tweets that mention Análise estática de código em sistemas embarcados | Blog do Sergio Prado -- Topsy.com http://sergioprado.org/analise-estatica-codigo/#comment-20 Tweets that mention Análise estática de código em sistemas embarcados | Blog do Sergio Prado -- Topsy.com Sun, 31 Jan 2010 09:08:47 +0000 http://www.embarcados.com.br/blog/?p=74#comment-20 [...] This post was mentioned on Twitter by Marcelo Toledo, Sergio Prado. Sergio Prado said: #blogsprado: Análise estática de código http://twurl.nl/kpf5k4 [...] […] This post was mentioned on Twitter by Marcelo Toledo, Sergio Prado. Sergio Prado said: #blogsprado: Análise estática de código http://twurl.nl/kpf5k4 […]

]]> Por: Sergio Prado http://sergioprado.org/analise-estatica-codigo/#comment-19 Sergio Prado Fri, 29 Jan 2010 19:35:56 +0000 http://www.embarcados.com.br/blog/?p=74#comment-19 Olá energos, Entendo perfeitamente seu ponto de vista. Toda ferramenta pode ser tanto eficiente quanto ineficiente, depende do uso que fazemos dela. No caso do goto em particular, é uma questão de estilo. Já vi casos elegantes do uso de goto, principalmente para o tratamento de erros no estilo try-except, como também já vi inúmeros casos de implementações bem ao estilo "linguiça" ou "espagueti". Particularmente, eu prefiro um código com funções pequenas e bem definidas, e um controle de fluxo com if, for e do/while. Esses elementos são sufucientes para desenvolver um código em C elegante, simples, portável e de fácil manutenção. Legal você ter levantado esta questão, acho que esse assunto até vale um post separado...:) Um abraço! Olá energos,

Entendo perfeitamente seu ponto de vista. Toda ferramenta pode ser tanto eficiente quanto ineficiente, depende do uso que fazemos dela. No caso do goto em particular, é uma questão de estilo.

Já vi casos elegantes do uso de goto, principalmente para o tratamento de erros no estilo try-except, como também já vi inúmeros casos de implementações bem ao estilo “linguiça” ou “espagueti”.

Particularmente, eu prefiro um código com funções pequenas e bem definidas, e um controle de fluxo com if, for e do/while. Esses elementos são sufucientes para desenvolver um código em C elegante, simples, portável e de fácil manutenção.

Legal você ter levantado esta questão, acho que esse assunto até vale um post separado…:)

Um abraço!

]]> Por: energos http://sergioprado.org/analise-estatica-codigo/#comment-18 energos Fri, 29 Jan 2010 17:59:14 +0000 http://www.embarcados.com.br/blog/?p=74#comment-18 Não acho que o uso de goto seja necessariamente uma vergonha. O problema é o uso abusivo dele, gerando código "spaghetti". Como toda ferramente, se bem usada, pode ser útil. Tem uma discussão interessante sobre isso em http://kerneltrap.org/node/553/2131 Não acho que o uso de goto seja necessariamente uma vergonha. O problema é o uso abusivo dele, gerando código “spaghetti”. Como toda ferramente, se bem usada, pode ser útil.
Tem uma discussão interessante sobre isso em http://kerneltrap.org/node/553/2131

]]> Por: Sergio Prado http://sergioprado.org/analise-estatica-codigo/#comment-17 Sergio Prado Fri, 29 Jan 2010 11:24:09 +0000 http://www.embarcados.com.br/blog/?p=74#comment-17 Olá Tiago, Já usei o Splint (http://splint.org/), que é um fork do antigo lint desenvolvido para UNIX, e que traz alguns conceitos extras para o desenvolvimento de software seguro. è muito bom e bem fácil de configurar e utilizar. Já ouvi também falarem muito bem do Blast mas nunca cheguei a utilizá-lo (http://mtc.epfl.ch/software-tools/blast/index-epfl.php). Me parece ser um pouco mais complexo, porém mais flexível também. Um abraço! Olá Tiago,

Já usei o Splint (http://splint.org/), que é um fork do antigo lint desenvolvido para UNIX, e que traz alguns conceitos extras para o desenvolvimento de software seguro. è muito bom e bem fácil de configurar e utilizar.

Já ouvi também falarem muito bem do Blast mas nunca cheguei a utilizá-lo (http://mtc.epfl.ch/software-tools/blast/index-epfl.php). Me parece ser um pouco mais complexo, porém mais flexível também.

Um abraço!

]]> Por: Tiago http://sergioprado.org/analise-estatica-codigo/#comment-16 Tiago Fri, 29 Jan 2010 11:02:35 +0000 http://www.embarcados.com.br/blog/?p=74#comment-16 Bom artigo Sérgio. Você que já está mais familiarizado com este tipo de ferramenta, qual você indica? (que seja freeware) Abraços Bom artigo Sérgio.

Você que já está mais familiarizado com este tipo de ferramenta, qual você indica? (que seja freeware)

Abraços

]]>