针对目标程序构建抽象模型的方法及装置

    公开(公告)号:CN118331846A

    公开(公告)日:2024-07-12

    申请号:CN202410238108.8

    申请日:2024-03-01

    Inventor: 鄢振宇 张昕 狄鹏

    Abstract: 本说明书实施例提供一种针对目标程序构建抽象模型的方法及装置,在构建方法中,至少基于目标程序的当前抽象模型所抽象描述的事实元组,构建输入元组,并将其输入静态分析器,得到推导图。通过将推导图中的各条超边转换为有向边,得到目标关系图。将目标关系图输入预先训练的图分类模型,得到其中各目标节点关于有用性的预测结果,所述目标节点是对应于抽象参数的节点。基于各目标节点的预测结果对与所述程序分析相关的约束集进行精简,通过求解精简后的约束集,对当前抽象模型进行优化。

Patent Agency Ranking