Achieving Safety Incrementally with Checked C

From AcaWiki
Jump to: navigation, search


Citation: Andrew Ruef, Leonidas Lampropoulos, Ian Sweet, David Tarditi, Michael Hicks Achieving Safety Incrementally with Checked C.


Wikidata: Q62096157

Download: http://www.cs.umd.edu/~mwh/papers/checkedc-incr.pdf

Tagged:


Summary:

Checked C allows mixing safe (checked) and unsafe pointers. Authors describe proof that checked regions of code cannot be blamed for memory errors, even when checked regions call unsafe code.