Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic: SoftBound: highly compatible and complete spatial memory safety for c. PLDI 2009: 245-258