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é.
Publicité
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
Les alternatives à VCC
Microsoft Visual C++ Redistributable Package
Le package Microsoft Visual C++ Redistributable est un ensemble de bibliothèques et…
Code::Blocks
Code::Blocks permet de développer des programmes en C, C++ et Fortran grâce…
Ninja
Améliorez les temps de compilation de vos applications
Dev-C++
Un environnement de développement en C et C++
Les autres logiciels de Codeplex
PHPExcel
Jeu de classes PHP destiné à l'ouverture et l'écriture de fichiers aux…
tIDE
IDE pour la création de jeux de plateau pour terminaux mobiles
Menu and Context Menu for Silverlight 4.0
Menus contextuels pour Silverlight 4
Virtual Router Manager
Transformez votre ordinateur portable sous Windows 7 en routeur WiFi pour tous…
