Nachdem ich eine Reihe von Papieren gelesen habe, versuche ich, die CCured Quellen (oder sogar Binärdateien) zu finden, um es mit meinem C-Quellcode zu benutzen.wo CCured herunterladen?
Alle Links scheinen jedoch tot zu sein. Nach etwas Googeln, frage ich hier. Kann jemand sie hochladen (Quellen, Dokumente, etc.), wenn Sie zufällig einen Tarball auf Ihrer Festplatte haben?
EDIT: Ich habe auch einen der Autoren per E-Mail, aber noch keine Antwort erhalten. Werde versuchen, andere nach einer Weile zu mailen.
(Zitat aus dem Papier)
CCured ein Programm Transformationssystem, die Sicherheitsgarantien für bestehende C-Programme geben hinzufügt. CCured versucht statisch zu überprüfen, dass Speicherfehler nicht auftreten können, und fügt Laufzeitprüfungen hinzu, bei denen die statische Überprüfung nicht ausreicht. Corized erweitert Cs Typsystem, indem es Zeigertypen entsprechend ihrer Verwendung trennt, und verwendet einen überraschend einfachen Typ-Inferenzalgorithmus, der dazu in der Lage ist um die passenden Zeigerarten für existierende C-Programme abzuleiten. CCured verwendet die physische Subtypisierung, um eine große Anzahl von Typumwandlungen zur Kompilierzeit zu erkennen und zu verifizieren. Zusätzliche Typumwandlungen werden mithilfe von Informationen zum Laufzeittyp überprüft.
Ist [diese] (http://ostatic.com/cured) nach was Sie suchen? (Hinweis: Ich hatte keine Lust, dem Download-Link zu folgen, aber es sieht wie ein Download für CCured Quelle für mich aus) – Mike
@Mike Simple - Sie Download-Link geht zu freecode.com, und der Link auf freecode.com ist tot :) – wizzard0
Sie könnten es irgendwo in der Wayback-Maschine finden, wenn es jemals für die Öffentlichkeit freigegeben wurde. Es sieht eher so aus, als wäre es jemandes Promotionsprojekt und nur eine Online-Testversion wurde jemals veröffentlicht. Sie können es hier [http://manju.cs.berkeley.edu/ccured](http://web.archive.org/web/20040401192158/http://manju.cs.berkeley.edu/cured] durch sehen die Wayback-Maschine. –