一种数组越界访问的检测方法、装置及设备
摘要:
本说明书实施例公开了一种数组越界访问的检测方法、装置及设备,所述方法包括:获取待检测的程序代码中包含的函数,以及所述函数之间的调用关系信息;如果所述函数之间的调用关系信息中包括未被访问的目标程序语句,则检测所述目标程序语句是否需要访问数组;如果所述目标程序语句需要访问数组,则获取所述目标程序语句访问的数组的预定变量在所述数组对应的程序区域内的值范围;基于所述目标程序语句访问的数组的预定变量在所述数组对应的程序区域内的值范围,对所述程序代码中是否包含数组越界访问进行检测。
公开/授权文献
0/0