静态分析实验数据集总结[1]

一直不太清楚，有没有类似NASA MDP和SIR的标准数据集，供静态分析工具对其功能进行验证和对比性实验。今天草草翻了一下POPL 2010在静态分析方面的文章，其中这篇文章：

W. R. Harris, S. Sankaranarayanan, F. Ivan, I, and A. Gupta, "Program analysis via satisfiability modulo path programs," in Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Madrid, Spain, 2010, pp. 71-82.

中提到使用Zister et al.的benchmarks，引用的参考文献是：

M. Zitser, R. Lippmann and T. Leek, "Testing static analysis tools using exploitable buffer overflows from open source code," in Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, Newport Beach, CA, USA, 2004, pp. 97-106.

经过一番搜索，发现上述论文中论述的benchmark的下载地址是：

http://www.ll.mit.edu/mission/communications/ist/corpora/ComputerCorpora.html

很惊奇地发现这个页面中竟然还有大名鼎鼎的DARPA数据集。

上述数据集的下载地址是：http://www.ll.mit.edu/mission/communications/ist/corpora/models-2007-11-06.tgz

这个数据集包含了如wu-ftpd，bind，nslookup等程序中重要的buffer overflow的bug。大家做静态分析的相关实验时可以考虑使用。