Date: 2014-05-29 15:38:01Data types Software bugs Computer arithmetic Type theory Type safety Integer overflow Signedness Buffer overflow protection C Computing Software engineering Computer programming | | RICH: Automatically Protecting Against Integer-Based Vulnerabilities David Brumley, Tzi-cker Chiueh, Robert Johnson [removed], [removed], [removed] Huijia Lin, Dawn Song [removed]elAdd to Reading ListSource URL: users.ece.cmu.eduDownload Document from Source Website File Size: 155,17 KBShare Document on Facebook
|