Programas por smatch.sf.net

Un experimento en la búsqueda de errores del kernel.Hay dos partes principales para Smatch. El primero es un parche para las fuentes gcc para imprimir una gran cantidad de información. La segunda parte es una colección d