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 _______________________________________________ Lugro mailing list Lugro@lugro.org.ar http://lugro.org.ar/mailman/listinfo/lugro
