Programas por smatch.sf.net

Um experimento para encontrar erros no kernel.Há duas partes principais para Smatch. O primeiro é um patch para as fontes do GCC para imprimir um monte de informações. A segunda parte é uma coleção de scripts perl e bibl