c - 新的 C 代码动态工具分析

Question

有人能告诉我有哪些新的 C 代码动态工具分析，比如 valdgrind 吗？

Answer 1

您可以查看以下两个： 夹板和 Frama-C（Frama-C 是静态工具而不是动态工具）

Answer 2

看看芬里斯。也许不是 valgrind 的替代品，但仍然非常酷 :) 事实上，几乎所有Michal Zalewski创建的工具都是真正的……创意（抱歉）。