Efeu Compiler- und Laufzeitbibliothek für einen erweiterten Dialekt von C, der die Sicherheit des Typs, der Speicher- und Parallelität prüft
Jetzt downloaden

Efeu Ranking & Zusammenfassung

Efeu Stichworte

überprüfen kompilieren Laufzeit c Laufzeit Memory Checker.

Efeu Beschreibung

Compiler- und Runtime-Bibliothek für einen erweiterten Dialekt von C, der den Typ-, Speicher- und Parallelitätssicherheit prüft Efeu setzt auf eine kleine Anzahl von leichten Anmerkungen im Quellcode, um Zeit- und Raumaufwand angemessen zu halten. Efeu wird als C-to-C-Compiler mit GCC als Backend implementiert, und dies macht den Evy-Compiler-Treiber, IVYCC, einen direkten Drop-In-Austausch für GCC. C bleibt eine sehr weit verbreitete Systemprogrammiersprache; Es ist weithin bekannt, unterstützt von vielen Werkzeugen, ergibt einen guten Zugriff auf Hardware mit niedrigem Niveau ..., aber die Erzeugung sicherer und zuverlässiger C-Programme ist unnötig hart, ein besonders wichtiges Problem für gleichzeitige Programme und insbesondere Systemcode. Moderne Sprachen behandeln viele dieser Sicherheits- und Zuverlässigkeitsprobleme, aber das Portieren großer Systeme in eine neue Sprache ist oft unpraktisch. Statische Analysen von C finden einige Probleme, aber in der Regel garantieren die Sicherheit .IVIV ist jedoch einen alternativen Ansatz: Efeu wird eine sichere, gleichzeitige Sprache sein, die vollständig interoperable mit C.IVY ist, ist effektiv drei Werkzeuge in einem (von den meisten reifen bis zu mehr experimentell) : · Stellvertreterprüfungen Typ- und Speichersicherheit (Array-Grenzen, Gewerkschaften, Verwendung von VOID * usw.) · HeaPSAFE-Prüfungen Memory Deallocations · Sharc-Prüfungen, die den Speicher in parallelen Programmen richtig freigegeben wird

Efeu Zugehörige Software