一种完全上下文敏感的程序控制流完整性保护方法和系统

摘要

本发明公开了一种完全上下文敏感的程序控制流完整性保护方法和系统。本发明方法在离线分析阶段通过模拟执行收集程序的控制流信息，在运行时跟踪执行路径，跟踪进程到达同一间接分支的执行路径，与控制流信息进行匹配，匹配成功，则表示离线分析时模拟执行的路径和运行时真实执行的路径相同，则根据离线分析的控制流信息可判断随后的合法目标地址，若运行时的目标地址不同于合法目标地址，则判断受到控制流劫持攻击，从而由控制流检查模块通知进程跟踪模块以终止进程。本发明还实现了一种完全上下文敏感的程序控制流完整性保护系统。本发明通过对执行路径信息的跟踪和检查来实现完整性保护，保证程序免受控制流劫持攻击的威胁。