MemCAD
Notoriété 13 %
MemCAD est un analyseur statique permettant la réalisation d'une analyse de domaine abstrait composite pour les programmes C, axé principalement sur les propriétés mémoire. Il effectue une analyse avant exécution par interprétation abstraite et tente de prouver l'absence d'erreurs mémoire et de violations d'assertions.
Dépôt de code
Cas d'utilisation métiers
- Analyse statique de programmes C pour la détection d'erreurs mémoire : rechercher des initiatives proches
- Vérification de la validité de structures de données dynamiques dans des programmes C : rechercher des initiatives proches
- Vérification de propriétés mémoire de programmes C : rechercher des initiatives proches
- Inférence et vérification de propriétés de mémoire dans des programmes C : rechercher des initiatives proches
Organisation
- Institut national de recherche en informatique et en automatique (organisation rattachée)
Description générée le dimanche 17 mars 2024 à 23:35:46