公开(公告)号：CN116860626A

公开(公告)日：2023-10-10

申请号：CN202310802387.1

申请日：2023-06-30

Applicant: 支付宝(杭州)信息技术有限公司

Inventor： 狄鹏 ,  何为刚 ,  苏亭 ,  张枨宇 ,  明孟立

IPC: G06F11/36

Abstract: 本说明书一个或多个实施例提供一种静态分析器测试方法及装置，涉及计算机技术领域。该方法包括获取待分析程序中条件判断语句的第一判断条件；将第一判断条件转换为第二判断条件，其中，当第一判断条件成立时，第二判断条件成立；将静态分析器的调试函数插入待分析程序，得到包含调试函数的待分析程序，调试函数用于评估第二判断条件的判断结果；基于静态分析器对包含调试函数的待分析程序进行静态分析，得到调试函数返回的评估结果；基于第一判断条件的判断结果验证评估结果，以便完成静态分析器的测试。本说明书提供的方案不依赖于技术人员的专业知识，能够得到较为全面的测试结果。

公开(公告)号：CN116860628A

公开(公告)日：2023-10-10

申请号：CN202310808496.4

申请日：2023-06-30

Applicant: 支付宝(杭州)信息技术有限公司

Inventor： 狄鹏 ,  何为刚 ,  苏亭 ,  张枨宇 ,  明孟立

IPC: G06F11/36

Abstract: 本说明书一个或多个实施例提供一种静态分析器测试方法及装置，涉及计算机技术领域。该方法包括构建待分析程序的动态预言机，动态预言机用于示出待分析程序的执行信息；将待分析程序输入静态分析器，得到分析结果；基于动态预言机验证分析结果，以便完成静态分析器的测试。本说明书提供的方案能够方便、快捷的完成对静态分析器的测试，并为静态分析器输出结果的可靠性提供参考。