toward linux kernel memory safety .
Hardbound: architectural support for spatial safety of the C programming language