是否有固定的惯性发现工具用于C方案?
原文：Is there a static invariant discovery tool for C programs?

I m 寻找一种能够在C方案中静态发现惯犯的工具。 我检查了Dakon,但发现的只是动态的。