Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. C-logic
  5. Download

C-logic

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

Sur C-logic

Il s’agit d’un scanner de code source C basé sur la logique symbolique. Il analyse le code source C (en particulier celui du noyau Linux, auquel il est destiné) pour les erreurs de programmation et les vulnérabilités. Les tests sont définis par l’utilisateur.

Programmes connexes

  • LoyalDog Mobile Gratuit

    PUPPY FINAL - Il s’agit de l’application mobile pour firmware 2.2 et au-dessus. Cette application a des bases pour l’utilisation de serveurs tiers. C’est pour les serveurs de processus et leurs employés qui passeront des cont

  • SayIt - Voice Launcher Essai gratuit

    SayIt lance des applications par la voix! Utilisez SayIt, avec ses widgets, pour lancer rapidement et facilement toutes vos applications. SayIt n’est pas un système de commande vocale à usage général ou un assistant personnel

  • MobileFractal Gratuit

    Une application simple ne dessiner Fractal Mandelbrot pour windows mobile, en utilisant .net cadre compact 3.5

  • Lock screen helper Essai gratuit

    Voulez-vous verrouiller votre écran par une seule touche sur l’écran? Voulez-vous voir une animation brillante pendant l’écran de verrouillage. Toujours worring sur le bouton d’alimentation ne fonctionne pas un jour? Si oui

  • xplorDB Gratuit

    Modèle de base de données d’exploration pour Postgres/PostGIS. Le projet intègre des scripts d’importation perl; données de forage, de surface et de QA/QC et plus encore. pgAdmin et Quantum GIS sont la base de données suggéré

  • Open-Sharedroot Cluster Gratuit

    Le projet open-sharedroot est une solution de clustering offrant un environnement SSI hautement disponible pour Linux. Les objectifs de ce projet sont de fournir un cadre et des outils pour construire un cluster de déracineme

  • Mirror C++ reflection library Gratuit

    La bibliothèque Mirror fournit à la fois des méta-données de temps de compilation et de temps d’exécute décrivant des constructions C++ communes comme les espaces nominatifs, les types, les classes, leurs classes de base et l

  • Structured Text Toolkit Gratuit

    Une alternative sténo à XML. Un ensemble d’outils logiciels écrits en Java pour traiter le texte qui est structuré par indentation plutôt qu’avec des balises. Les outils incluent un analyseur, une représentation d’objet, un é

  • Theba image segmentation framework Gratuit

    Theba est un cadre d’analyse d’image basé sur le plugin pour la segmentation et les mesures sur les images 3D et 2D. Theba dispose d’une belle interface graphique qui permet l’inspection et la manipulation de l’image et un la

  • Hidden Spy Cam Video Recorder Essai gratuit

    Avec cette application, vous pouvez transformer votre téléphone en un véritable appareil photo espion Full HD professionnel!SpyClock Video Recorder Free est un widget horloge insoupçonnée qui, avec la pression simple peut