Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. smatch source matcher
  5. Download

smatch source matcher 08

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes

Sur smatch source matcher

Une expérience pour trouver des erreurs de noyau. Il y a deux parties principales à Smatch. Le premier est un patch aux sources gcc pour imprimer beaucoup d’informations. La deuxième partie est une collection de scripts perl et de bibliothèques pour analyser l’information.

Programmes connexes

  • IMDB_Scraper Gratuit

    Cette classe C# est destinée à aller chercher diverses informations sur n’importe quel film répertorié sur IMDB.com en fonction de son ID (dernière partie de l’URL).Les informations récupérées peuvent être utilisées par n’i

  • xHuggle Gratuit

    Ce projet a été créé afin de passer les bibliothèques d’outils de presse-papiers de Dr. Huggle & Partner de 16Bit DOS/Win3.x aux compilateurs clipper modernes pour le Win32 et Linux (f.e. xHarbour, Flagship, C3 et XBase

  • AGControl - AGSatellite Script Monitor Gratuit

    AGControl est un script Bash simple mais utile pour surveiller la taille de vos téléchargements AGSatellite incomplets, il a des otions comme: - jouer les fichiers mp3 incomplets; - lancement d’AGSatellite et/ou d’un navigate

  • Relational XQuery Gratuit

    Abacus Technologies Relational XQuery est un processeur XQuery compatible XQJ qui offre la possibilité d’exécuter XQuery à la fois contre des sources de données relationnelles et XML. Les données relationnelles peuvent être t

  • AIMLpad Gratuit

    AIMLpad est un programme aiml chatbot avec des fonctionnalités supplémentaires pour le développeur de bot. Inclut un langage de script (outre AIML) et inclut des fonctionnalités pour utiliser les systèmes de raisonnement Ope

  • GXMame, GTK XMame Frontend Gratuit

    GXMame est un frontend pour XMame en utilisant la bibliothèque GTK, l’objectif est de fournir la même interface graphique que mame32

  • e-Liquid Calculator Gratuit

    Vous aide à mélanger votre propre recette diy eLiquid (aka e-Juice), en calculant pour vous les quantités nécessaires, compte tenu de vos bases et de votre recette. Seuls les utilisateurs de cigarettes électroniques apprécier

  • Code Checker Gratuit

    Tout en un compilateur App vérifie les codes source Caractéristiques : - Prise en charge de 45 langages de codage - Localisation personnalisable des résultats (base de données ou fichier) - Le code source peut être récupéré à

  • Qt Signal Adapters Gratuit

    Une bibliothèque d’en-tête uniquement qui facilite la connexion des signaux Qt aux objets de fonction Boost. Développé contre Boost 1.39. Exécutez doxygen pour obtenir la documentation.

  • bugzilla pt-br Gratuit

    Modèles portugais brésiliens pour Bugzilla. Bugzilla est un système de bugtracking par Mozilla.org. Ce projet contient les fichiers nécessaires à la traduction portugaise brésilienne.