c - C 的污点分析

Question

已结束。此问题正在寻求书籍、工具、软件库等的推荐。它不满足 Stack Overflow guidelines 。目前不接受答案。

---

我们不允许提出寻求书籍、工具、软件库等推荐的问题。您可以编辑问题，以便用事实和引文来回答。

已关闭 7 年前。

Improve this question

我需要对我的 C 程序执行静态污点分析。我尝试使用 Splint，但没有成功。是否有任何其他开源或免费软件工具可用于执行污点分析？

如果是的话，能否请您也提及使用方法或引用任何链接。感谢你的帮助。谢谢

Answer 1

搜索 google 我发现以下支持 C 程序污点分析的内容:

1. http://code.google.com/p/tanalysis/
2. http://www.cs.umd.edu/~jfoster/cqual/ -- 查看他们的 printf 格式字符串示例