Edera Biblioteca del compilatore e runtime per un dialetto esteso di C che controlla il tipo, la memoria e la sicurezza della concorrenza
Scarica ora

Edera Classifica e riepilogo

Edera Tag

dai un'occhiata compilare tempo di esecuzione c Controllo della memoria

Edera Descrizione

Biblioteca del compilatore e runtime per un dialetto esteso di C che controlla il tipo, la memoria e la sicurezza della concorrenza Ivy si affida a un piccolo numero di annotazioni leggere nel codice sorgente per mantenere il tempo e le spese generali di spazio ragionevoli. Ivy è implementato come un compilatore C-TO-C usando GCC come backend, e questo rende il conducente del compilatore di evy, Ivycc, una sostituzione a drop-in diretta per GCC. C rimane un linguaggio di programmazione di sistemi molto usato; È ampiamente conosciuto, supportato da molti strumenti, offre un buon accesso all'hardware di basso livello ... ma la produzione di programmi di C sicuro e affidabile è inutilmente difficile, un problema particolarmente significativo per i programmi concorrenti e in particolare il codice dei sistemi. Le lingue moderne affrontano molti dei questi problemi di sicurezza e affidabilità, ma il porting di sistemi di grandi dimensioni a una nuova lingua è spesso impraticabile. Analisi statiche di C Trova alcuni problemi, ma in genere non garantiscono la sicurezza. Rappresenta un approccio alternativo: Ivy sarà un linguaggio sicuro e simultaneo, completamente interoperabile con C.iVy è efficacemente tre strumenti in uno (dalla maggior parte delle più mature a più sperimentali) : · Verifica i controlli Tipo e la sicurezza della memoria (limiti di array, sindacati, uso del vuoto *, ecc.) · Heapsafe Controlla i deambuzioni di memoria · Verifica Sharc Checks che la memoria è condivisa correttamente nei programmi paralleli

Edera Software correlato