smatch source matcher 08
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://sourceforge.net/projects/smatch/files/smatch/smatch-patch-v.08/diff-smatch.gz/download
acerca de smatch source matcher
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.
Programas relacionados
-
IMDB_Scraper Gratis
Esta clase de C- está diseñada para capturar información diversa sobre cualquier película que aparece en IMDB.com en función de su identificador (última parte de la dirección URL).La información recuperada puede ser utiliza
-
xHuggle Gratis
Este proyecto fue creado con el fin de transferir las bibliotecas de herramientas clipper de Dr. Huggle & Partner de 16Bit DOS/Win3.x a los modernos Clipper Compilers para Win32 y Linux (por el que se encuentran xHarbou
-
AGControl - AGSatellite Script Monitor Gratis
AGControl es un simple pero útil script Bash para monitorear el tamaño de sus descargas incompletas AGSatellite, tiene ociones como: - la reproducción de los archivos mp3 incompletos; - lanzamiento de AGSatellite y /o un nave
-
Relational XQuery Gratis
Abacus Technologies Relational XQuery es un procesador XQuery compatible con XQJ que proporciona la capacidad de ejecutar XQuery en orígenes de datos relacionales y XML. Los datos relacionales se pueden transformar en cualqui
-
AIMLpad Gratis
AIMLpad es un programa de chatbot AIML con características adicionales para el desarrollador del bot. Incluye un lenguaje de scripting (además de AIML) e incluye características para utilizar los sistemas de razonamiento Ope
-
GXMame, GTK XMame Frontend Gratis
GXMame es un frontend para XMame usando la biblioteca GTK, el objetivo es proporcionar la misma GUI que mame32
-
e-Liquid Calculator Gratis
Le ayuda a mezclar su propia receta de eLiquid DIY (también conocido como e-Juice), calculando para usted las cantidades necesarias, dadas sus bases y su receta. Sólo los usuarios de cigarrillos electrónicos disfrutarán de es
-
Code Checker Gratis
Todo en un compilador App comprueba los códigos fuente Características : - Soporte para 45 lenguajes de codificación - Ubicación de resultados personalizable (base de datos o archivo) - El código fuente se puede obtener de la
-
Qt Signal Adapters Gratis
Una biblioteca de solo encabezado que facilita la conexión de señales Qt a objetos de función Boost. Desarrollado contra Boost 1.39. Ejecute doxygen para obtener la documentación.
-
bugzilla pt-br Gratis
Plantillas Portuguesas Brasileñas para Bugzilla. Bugzilla es un sistema de seguimiento de errores por Mozilla.org. Este proyecto contiene los archivos necesarios para la traducción al portugués brasileño.