-
公开(公告)号:CN119166535A
公开(公告)日:2024-12-20
申请号:CN202411501058.4
申请日:2024-10-25
Applicant: 南京大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于三方库选择的静态分析加速方法,包括以下步骤:(1)输入待测试程序及对应分析任务;其中测试程序包括应用程序和其使用的第三方库;(2)根据静态分析任务,获取应用程序范围内的兴趣点;(3)以应用程序为分析范围进行库指向分析,获取兴趣点关联的库指针;(4)为所有方法生成内外部指向信息摘要;(5)分析与兴趣点相关的指针信息,获得指针优先级列表;(6)基于优先级列表选择部分第三方库;本发明使用得到的部分三方库列表用于现有的静态分析工具,获得分析速度提升。