Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. smatch source matcher
  5. Download

smatch source matcher 08

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos

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.