一种软件实现的程序控制流错误检测方法

• A Software Method for On-Line Control Flow Fault Detection