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 de scripts y bibliotecas perl para analizar la información.
historial de versiones
- Versión smatch-patch-v.08 publicado en 2003-07-01
Varias correcciones y actualizaciones - Versión smatch-patch-v.08 publicado en 2003-07-01
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: smatch.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: 08
- Plataforma: linux