• 函数摘要 - 引用次数：2

  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