一种移动智能终端上的定向符号执行程序检测系统及方法

摘要

本发明提出一种移动智能终端上定向符号执行程序检测系统及方法，在符号化处理模块、系统API模拟模块、定向控制模块、过滤执行模块组成的环境中，1）载入待检测程序路径，由符号化处理模块对待检测程序路径中指令进行符号化处理，将处理结果存储到符号表SymbolicTable；2）根据待检测路径，确定被检测代码空间；3）根据执行过程记录所述变量执行约束条件，SymbolicTable更新记录；4）根据符号表SymbolicTable中约束条件找到对应的结果表达式或符号数值，判断程序中是否有可执行路径，5）反复1）—4），遍历程序中所有可达路径，完成软件中嫌疑操作检测。本发明的定向符号执行方法，与静态分析技术结合，解决程序分析中路径漏报和误报，提取出路径约束能够覆盖到所有可能的路径。