• Adding Spatial Memory Safety t...

Treffer: Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)

Title:
Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper)
Authors:
Cherupattamoolayil, Sourag, Bhattar, Arunkumar, Glosner, Connor Everett, Machiry, Aravind
Source:
Proceedings of the ACM on Software Engineering. 2(ISSTA):1212-1233
Availability:
http://dl.acm.org/doi/10.1145/3728929
Database:
ACM Full-Text Collection