Dopo aver letto un certo numero di documenti, sto cercando di trovare i sorgenti CCured (o anche i file binari) per provare ad usarlo sul mio codice sorgente C.dove scaricare CCured?
Tuttavia, tutti i collegamenti sembrano essere morti. Dopo un po 'su Google, sto chiedendo qui. Qualcuno potrebbe caricarli (fonti, documenti, ecc.) Se per caso hai un tarball sul tuo disco fisso?
EDIT: Ho anche inviato uno degli autori via email, ma non ho ancora ricevuto una risposta. Proverò a mandare email ad altri dopo un po '.
(citazione dalla carta)
CCured un sistema programma di trasformazione che aggiunge digitare garanzie di sicurezza ai programmi C esistenti. CCured tenta di verificare staticamente che gli errori di memoria non possono verificarsi e inserisce controlli di runtime in cui la verifica statica è insufficiente.CCured estende il sistema di tipi di C separando i tipi di puntatori in base al loro utilizzo e utilizza un algoritmo di inferenza di tipo sorprendentemente semplice che è in grado per dedurre i tipi di puntatori appropriati per i programmi C esistenti. CCured utilizza il sottotipo fisico per riconoscere e verificare un numero elevato di cast di tipi in fase di compilazione. I cast di tipo aggiuntivi vengono verificati utilizzando le informazioni sul tipo di runtime.
È [questo] (http://ostatic.com/ccured) che cosa stai cercando? (nota che non avevo voglia di seguire il link per il download ma mi sembra un download per CCured per me) – Mike
@Mike Simple - il link per il download viene scaricato su freecode.com e il link su freecode.com è morto :) – wizzard0
Potresti trovarlo da qualche parte nella macchina del wayback, se fosse mai stato rilasciato al pubblico. Sembra più che fosse un progetto di dottorato di qualcuno e solo una versione di test online è stata mai rilasciata. Puoi vederlo qui [http://manju.cs.berkeley.edu/ccured](http://web.archive.org/web/20040401192158/http://manju.cs.berkeley.edu/ccured) attraverso la macchina del ritorno. –