一种基于Rete规则网络的代码静态分析方法及系统

本发明提供一种基于Rete规则网络的代码静态分析方法及系统。所述方法包括：基于源代码AST对象和代码编译器分析结果，获取推理业务所需的AST节点事实数据；根据规则语言将代码静态分析过程拆解为多个可描述可复用的子规则，构建推理业务规则集；根据所述推理业务规则集，调用规则解释器解析并生成推理业务对应的Rete规则网络；根据所述AST节点事实数据和Rete规则网络，调用规则引擎执行模式匹配，若匹配成功则执行触发操作函数并更新AST节点事实数据；根据推理完成更新后的AST节点事实数据或自定义推理结果数据，获取代码静态分析结果。本发明可用于代码静态分析领域，提高软件自动化解析效率。