买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
申请/专利权人:北京北大软件工程股份有限公司
摘要:本申请公开一种源代码静态分析方法、装置、设备以及介质,涉及软件检测技术领域,该方法包括基于源代码解析得到的抽象语法树,构建控制流图和函数调用图;利用函数调用图对控制流图进行到达定值分析,构建初始值流图;向初始值流图添加与C++语言参数相关的边,得到最终值流图;C++语言参数为基于所述抽象语法树所得到的参数节点和或变量节点;基于最终值流图对源代码进行静态检测,得到静态检测结果。本申请能够降低因缺少与C++语言的参数节点相关的边而导致的误报漏报,有效提高源代码静态检测的精度。
主权项:1.一种源代码静态分析方法,其特征在于,所述源代码静态分析方法包括:基于源代码解析得到的抽象语法树,构建控制流图和函数调用图;利用所述函数调用图对所述控制流图进行到达定值分析,构建初始值流图;向所述初始值流图添加与C++语言参数相关的边,得到最终值流图;所述C++语言参数为基于所述抽象语法树所得到的参数节点和或变量节点;基于所述最终值流图对所述源代码进行静态检测,得到静态检测结果。
全文数据:
权利要求:
百度查询: 北京北大软件工程股份有限公司 一种源代码静态分析方法、装置、设备以及介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。