toward linux kernel memory safety .
An efficient and backwards-compatible transformation to ensure memory safety of C programs