SoftBound: highly compatible and complete spatial memory safety for c
An efficient and backwards-compatible transformation to ensure memory safety of C programs