[LUG.ro] Sparse y smatch

[Ezequiel Garcia]

Horacio et al.,

En la charla de ayer me preguntaste por un chequeador estático de C.

El que te nombré yo se llama smatch, escrito por el guardián del
kernel Dan Carpenter:

http://www.linuxplumbersconf.org/2011/ocw/sessions/165
http://smatch.sourceforge.net/
http://lwn.net/Articles/369287/

El que te nombró Emilio se llama sparse, escrito por nuestro dictador
Linus Torvalds:

https://sparse.wiki.kernel.org/index.php/Main_Page
http://elinux.org/Sparse

Si querés saber más sobre el estilo del kernel:

http://www.kernel.org/doc/Documentation/CodingStyle

Y para Gustavo que preguntaba sobre el API estable y esas yerbas:

http://www.kernel.org/doc/Documentation/stable_api_nonsense.txt

Parece que el año la vamos a hacer de nuevo,
una nueva oportunidad para que todos podamos dejar de ir!

    Ezequiel