集思谱需要我帮你解读这件专利吗？
公开（公告）号CN122986986A | 申请号CN202611093352.5 | 专利类型发明专利 |
状态在审 | 国家或地区CN | 申请人中国联合网络通信集团有限公司;联通数字科技有限公司;联通智慧安全科技有限公司 |
分类号G06F21/44(2013.01), G06F21/62(2013.01), G06N3/084(2023.01) | 申请日2026-07-22 | 公开日2026-10-27 |
发布日期2026-10-27 | 文档 ID84635791672300000 | 源数据页码1513 |
专利语言zh | ||
本发明提供了一种图与双向符号执行的数据流安全验证方法及装置，方法包括：解析目标代码仓库，构建融合抽象语法树、控制流图和数据依赖图的初始代码属性图，并为数据库字段和API响应字段分别创建对应节点；激活框架感知的图重写规则库，将声明式框架抽象展开为显式数据流边，以得到安全增强代码属性图；在安全增强代码属性图上执行双向符号执行，输出验证结果；对类型检查失败的违规节点，提取形式化修复约束，在修复模板库中匹配适用的修复策略，使用启发式搜索寻找满足约束的最优修复方案，输出修复建议。
附图 1