Programas por smatch.sf.net

Uma experiência em encontrar erros de núcleo.Há duas partes principais para o Smatch. O primeiro é um patch para as fontes gCC para imprimir muita informação. A segunda parte é uma coleção de scripts perl e bibliotecas p