我想创建一个工具,在编译阶段分析关键部分的C程序。我正在寻找合适的算法让我这样做。它可以在编译器的任何阶段。
答案 0 :(得分:4)
您可能对本文“Static analysis of run-time errors in embedded real-time parallel C programs”感兴趣。
Frama-C插件mthread是同时独立开发的。它适用于可比原则。
上述两个工具中的每一个都是在已经代表至少十人年工作的现有基础上工作多年。正如一些人已经评论过的那样,如果你想做一些重要且有用的东西,你不能只是为了让自己相信它是正确的,那么你将会有很多工作。