我正在寻找一种可以在C程序中静态发现不变量的工具.我检查了Daikon,但它只是动态发现不变量.
是否有可用于我正在寻找的工具？谢谢!
c static-analysis invariants
c ×1
invariants ×1
static-analysis ×1