Lierre BIBLIOTHIQUE COMPILER et RUNTIME pour un dialecte étendu de C en vérifiant le type, la mémoire et la sécurité de la concurrence
Télécharger maintenant

Lierre Classement & Résumé

Lierre Mots clés

Chèque compiler Durée c exécution vérificateur de mémoire

Lierre La description

Bibliothèque compilatrice et d'exécution pour un dialecte étendu de C en vérifiant le type, la mémoire et la sécurité de la concurrence Ivy s'appuie sur un petit nombre d'annotations légères dans le code source afin de garder le temps et les frais généraux raisonnables. Ivy est implémenté comme compilateur C-TO-C à l'aide de GCC comme sac à dos, ce qui rend le pilote de compilateur Ivy, IVYCC, un remplacement direct de la GCC. C reste un langage de programmation de systèmes très largement utilisés; Il est largement connu, soutenu par de nombreux outils, donne un bon accès au matériel de bas niveau ... mais la production de programmes C sécuritaires et fiables est inutilement difficile, un problème particulièrement important pour les programmes simultanés, et en particulier le code des systèmes. Les langues modernes traitent de nombreux problèmes de sécurité et de fiabilité, mais le portage de grands systèmes à une nouvelle langue est souvent peu pratique. Les analyses statiques de C trouvent des problèmes, mais ne garantissent généralement pas la sécurité.ivy représente une approche supplémentaire supplémentaire: le lierre sera une langue sûre et concomitante, entièrement interopérable avec C.ivy est effectivement trois outils d'une seule (de la plupart des plus expérimentaux). : · Type de vérification adjoint et sécurité de la mémoire (limites de la mémoire, syndicats, utilisation du vide *, etc.) · HePsafe vérifie les réparations de la mémoire · Sharc vérifie que la mémoire est partagée correctement dans des programmes parallèles

Lierre Logiciels associés