I think that this work is a lot more thorough: http://www.cl.cam.ac.uk/~dc552/papers/asplos15-memory-safe-c.pdf http://www.cl.cam.ac.uk/~dc552/papers/asplos15-m

I think that this work is a lot more thorough: http://www.cl.cam.ac.uk/~dc552/papers/asplos15-memory-safe-c.pdf http://www.cl.cam.ac.uk/~dc552/papers/asplos15-memory-safe-c... They go through and identify C programming idioms as they are reflected in real code, and design their new memory model in part around that. The rest of the work on CHERI is also very interesting.