Light-weight bounds checking
Return-oriented programming without returns