过程间的空指针解引用检测方法、系统、设备以及介质
基本信息
| 申请号 | CN201811014686.4 | 申请日 | - |
| 公开（公告）号 | CN109426615A | 公开（公告）日 | 2022-01-28 |
| 申请公布号 | CN109426615A | 申请公布日 | 2022-01-28 |
| 分类号 | G06F11/36 | 分类 | 计算；推算；计数; |
| 发明人 | 肖枭;时清凯;周金果;范刚;张川 | 申请（专利权）人 | 深圳市源伞新科技有限公司 |
| 代理机构 | 北京律智知识产权代理有限公司 | 代理人 | 袁礼君;阚梓瑄 |
| 地址 | 518055 广东省深圳市南山区西丽街道西丽中山园路1001号TCL国际E城C7-C栋201 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种过程间的空指针解引用检测方法、系统、设备以及介质，包括以下步骤：对待检测程序进行预处理；生成所述待检测程序中的主调函数和被调函数的符号表达式图，根据所述被调函数的符号表达式图对所述被调函数进行过程内分析，以检测所述被调函数中的空指针以及生成所述被调函数的函数摘要；将所述被调函数的所述函数摘要嵌入所述主调函数；根据所述主调函数的符号表达式图对所述主调函数进行过程内分析，以检测所述主调函数中的空指针解引用。 |
