Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. smatch source matcher

smatch source matcher 08

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen
Downloaden

Een experiment bij het vinden van kernelfouten. Er zijn twee hoofdonderdelen van Smatch. De eerste is een patch aan de gcc bronnen uit te printen veel informatie. Het tweede deel is een verzameling van perl scripts en bibliotheken om de informatie te analyseren.

versiegeschiedenis

  • Versie smatch-patch-v.08 geplaatst op 2003-07-01
    Verschillende oplossingen en updates
  • Versie smatch-patch-v.08 geplaatst op 2003-07-01

Programmadetails

Gerelateerde programma's

  • IMDB_Scraper Gratis

    Deze klasse C# is bedoeld om verschillende informatie op te halen over een film die op IMDB.com wordt vermeld op basis van de ID (laatste deel van de URL).De opgehaalde informatie kan worden gebruikt door elke C#-gebaseerde

  • xHuggle Gratis

    Dit project is gemaakt om de clipper tool bibliotheken van Dr. Huggle & Partner port van 16Bit DOS/Win3.x naar moderne Clipper Compilers voor de Win32 en Linux (xHarbour, Flagship, C3 en XBase++).

  • AGControl - AGSatellite Script Monitor Gratis

    AGControl is een eenvoudig maar nuttig Bash-script om de grootte van uw onvolledige AGSatellite-downloads te controleren, het heeft otions zoals: - het afspelen van de onvolledige mp3-bestanden; - lancering agsatellite en/of

  • Relational XQuery Gratis

    Abacus Technologies Relational XQuery is een XQJ-compatibele XQuery-processor die de mogelijkheid biedt om XQuery uit te voeren tegen zowel relationele als XML-gegevensbronnen. Relationele gegevens kunnen worden omgezet in el

  • AIMLpad Gratis

    AIMLpad is een AIML chatbot programma met extra functies voor de bot ontwikkelaar. Bevat een scripttaal (naast AIML) en bevat functies om de OpenCyc- en ConceptNet-redeneringssystemen te gebruiken. Heeft een micro-webserver,

  • GXMame, GTK XMame Frontend Gratis

    GXMame is een frontend voor XMame met behulp van de GTK-bibliotheek, het doel is om dezelfde GUI dan mame32

  • e-Liquid Calculator Gratis

    Helpt u bij het mengen van uw eigen DIY eLiquid recept (aka e-Juice), door het berekenen voor u de benodigde hoeveelheden, gezien uw bases en uw recept. Alleen gebruikers van elektronische sigaretten zullen genieten van deze

  • Code Checker Gratis

    Alles in één compiler-app controleert broncodes Functies : - Ondersteuning voor 45 coderingstalen - Aanpasbare resultaatlocatie (database of bestand) - Broncode kan worden opgehaald uit database - Uitvoer en invoer kunnen wor

  • Qt Signal Adapters Gratis

    Een bibliotheek met alleen headers die het eenvoudiger maakt om Qt-signalen aan te sluiten op Functieobjecten vergroten. Ontwikkeld tegen Boost 1.39. Voer doxygen om de documentatie te krijgen.

  • bugzilla pt-br Gratis

    Braziliaanse Portugese sjablonen voor Bugzilla. Bugzilla is een bugtracking systeem door Mozilla.org. Dit project bevat de bestanden die nodig zijn voor de Braziliaanse Portugese vertaling.