一种二进制程序分析、存储和查询方法及系统

本发明提供一种二进制程序分析、存储和查询方法及系统，本发明通过对输入的二进制程序文件进行多层次程序语义分析；并基于图数据库的节点与边属性映射规则，将路径节点及关联边存储至Neo4j，然后建立地址哈希索引；最后基于混合查询引擎进行程序漏洞查询，返回所有未校验的调用点及其上游数据流路径。本发明通过构建结构化程序依赖图，结合多模态分析引擎与图数据库存储优化，实现从程序解析到智能查询的全流程覆盖；本发明可同时捕获控制流、数据流及符号约束，并可跨函数漏洞分析；本发明通过利用图数据库的关联存储模式减少了50％查询延迟；本发明通过混合查询引擎可实现复杂语义的查询，并对查询路径进行符号执行验证，确保其可行性。