-
公开(公告)号：CN118331846A
公开(公告)日：2024-07-12
申请号：CN202410238108.8
申请日：2024-03-01
Applicant: 支付宝(杭州)信息技术有限公司 , 北京大学
Abstract: 本说明书实施例提供一种针对目标程序构建抽象模型的方法及装置，在构建方法中，至少基于目标程序的当前抽象模型所抽象描述的事实元组，构建输入元组，并将其输入静态分析器，得到推导图。通过将推导图中的各条超边转换为有向边，得到目标关系图。将目标关系图输入预先训练的图分类模型，得到其中各目标节点关于有用性的预测结果，所述目标节点是对应于抽象参数的节点。基于各目标节点的预测结果对与所述程序分析相关的约束集进行精简，通过求解精简后的约束集，对当前抽象模型进行优化。
Search Results
1
records
(took 0.039 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
