Efficient Validation of Control Flow Integrity for Enhancing Computer System Security