标签： c dynamic analysis for-loop
有人可以告诉我，对于C代码的新动态工具分析是否像valdgrind一样？
答案 0 :(得分：2)
查看Fenris。也许不是valgrind的替代品，但仍然非常酷:)事实上，几乎所有Michal Zalewski创建的工具都非常有创意（对不起）。
答案 1 :(得分：2)
以下是您可以查看的两个内容： Splint和 Frama-C（Frama-C是一个非动态的静态工具）