看一下 Fenris。 也许不是 valgrind 的替代品，但仍然非常酷:) 事实上，几乎所有 Michal Zalewski 创建的工具都是真的……很有创意（抱歉）。
Have a peek at Fenris. Maybe not a valgrind replacement, but still very cool :) In fact, nearly all the tools Michal Zalewski creates are really....creative (sorry).
发布评论
评论（2）
看一下 Fenris。 也许不是 valgrind 的替代品，但仍然非常酷:) 事实上，几乎所有 Michal Zalewski 创建的工具都是真的……很有创意（抱歉）。
Have a peek at Fenris. Maybe not a valgrind replacement, but still very cool :) In fact, nearly all the tools Michal Zalewski creates are really....creative (sorry).
您可以查看以下两个内容：
夹板 和
Frama-C （Frama-C 是静态工具，不是动态的）
Here are two that you could look into:
Splint and
Frama-C ( Frama-C is a static tool not dynamic )