m0_52048145的博客

本文是对 On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities 一文中提出的 InterPVD 漏洞数据集的一部分进行漏洞成因分析。

指针在代码编写过程中可能出现以下两种问题：int foo()return -1;return -1;// 注意这里，q为NULL时p一定不为NULL，但是函数直接返回，导致p所指向的区域未释放free(p);free(q);return 0;存在一条执行路径，指针被重复释放（未定义行为），如free一个空指针。int *q = p;free(q);q = p;free(q);最笨拙的方法是枚举每一条可能的路径，依次判断。但是这显然是不切实际的。