This paper presents a simple model to detect inter-procedural null pointer dereference faults. Our method focuses on inter-procedural and uses fault state machine to analyze on base of procedural summary.
提出了一种以函数摘要做基础进行函数间分析、同时利用状态机对函数间的空指针引用错误进行检测的方法。
参考来源 - 过程间的空指针引用故障静态检测方法·2,447,543篇论文数据,部分数据来源于NoteExpress
此外本文还设计了用可扩展XML语言来解决库函数摘要的问题。
In addition, this paper also designed the way of using extensible XML language to solve the problem about library functions summary.
根据全局函数之间调用关系,得出被测文件分析单元之间的逻辑依赖顺序,为计算函数摘要提供基础。
According to global function calls, we obtain the logical orders of analysis program unit, to provide the basis for calculating the function summary.
消息摘要(又称消息认证代码)是用散列函数计算的。
The message digest (also called the message authentication code) is computed using a hash function.
应用推荐