[发明专利]基于符号执行技术的软件行为检测系统及检测方法

摘要

本发明公开了基于符号执行技术的软件行为检测系统及检测方法，该检测系统由约束生成模块、约束取反/优化模块、约束求解模块、二进制代码插桩模块、行为监测模块组成，具体方法是：在程序的实际执行过程中，对软件的行为进行监测，收集与行为相关的信息，为行为分析提供一些基础数据；与此同时，收集当前路径的约束条件。程序执行完后，按照路径选择算法，对收集到的路径约束条件集中的某个约束条件取反，得到一个新的路径约束集，并用求解器对新生成的路径约束集进行求解，以确定该路径是否可达。如果遍历该路径的前置条件可满足，则通过遍历该路径以触发新的软件行为。本发明能够有效的提高行为检测的准确率和全面性。

主权项

基于符号执行技术的软件行为检测系统，其特征在于，所述检测系统包括约束生成模块、约束取反/优化模块、约束求解模块、二进制代码插桩模块、行为监测模块；所述二进制插桩模块将检测代码插入到可执行程序中，以获得可执行程序在执行过程中的动态信息，并将检测结果反馈给约束生成模块；所述约束生成模块在可执行程序执行过程中，生成符号表达式和约束条件，形成相应的约束条件集；所述行为监测模块在可执行程序执行过程中对软件行为进行实时监测；所述约束取反/优化模块在可执行程序执行完毕后，对收集到的约束条件集中的某个约束条件取反并对约束条件集进行优化，产生新的约束条件集，所述新的约束条件集对应新的可执行路径；所述约束求解模块对新的约束条件集进行求解，其解对应新的输入，并驱动可程序执行新的路径。