Everything You Want to Know About Pointer-Based Checking Santosh Nagarakatte1 , Milo M. K. Martin∗2 , and Steve Zdancewic3 1 Department of Computer Science, Rutgers University, US

First Page		Document Content
Date: 2015-04-28 03:31:59		Everything You Want to Know About Pointer-Based Checking Santosh Nagarakatte1 , Milo M. K. Martin∗2 , and Steve Zdancewic3 1 Department of Computer Science, Rutgers University, US Add to Reading List Source URL: drops.dagstuhl.de Download Document from Source Website File Size: 596,77 KB Share Document on Facebook