smatch source matcher 08
Vous pourrez télécharger en 5 secondes.
Vous pouvez également cliquer sur le lien de téléchargement externe suivant pour commencer le téléchargement :
http://sourceforge.net/projects/smatch/files/smatch/smatch-patch-v.08/diff-smatch.gz/download
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.