Passer au contenu

VCC

Détectez les erreurs dans vos programmes en C
Éditeur : Codeplex
Note

Présentation de VCC par Telecharger.com

VCC propose aux développeurs d'éprouver leurs programmes annotés en C et de détecter des problèmes le cas échéant. En effet, VCC essaie de trouver des erreurs dans le code système qui fonctionne sur Intel x86 et x64 en faisant une analyse statique. Pour ce faire, les programmes annotés sont traduits en formules logiques, formules qui passent par un solveur automatique qui vérifie leur validité.

Caractéristiques

Version 2.1.30127.0
Dernière mise à jour 27/01/2010
Licence Gratuit
Taille 5.88 Mo
Systèmes d'exploitation Windows 2000/XP/Vista/7
Langue Anglais

Télécharger VCC

Toutes les plateformes compatibles :

Windows 2000/XP/Vista/7