**已关闭。**此问题是在寻求有关书籍、工具、软件库等内容的建议。它不符合Stack Overflow guidelines。它目前不接受回答。
我们不允许提问以寻求书籍、工具、软件库等方面的建议。您可以编辑问题，以便使用事实和引文回答。
7天前关闭
Improve this question的
我需要一个联合攻击战斗机（JSF）C标准检查器。在JSF C标准中有没有检测违规的工具？
我在互联网上看到了一些工具，但它们不是开源的。我需要开源工具。
提前感谢：）
**已关闭。**此问题是在寻求有关书籍、工具、软件库等内容的建议。它不符合Stack Overflow guidelines。它目前不接受回答。
我们不允许提问以寻求书籍、工具、软件库等方面的建议。您可以编辑问题，以便使用事实和引文回答。
7天前关闭
Improve this question的
我需要一个联合攻击战斗机（JSF）C标准检查器。在JSF C标准中有没有检测违规的工具？
我在互联网上看到了一些工具，但它们不是开源的。我需要开源工具。
提前感谢：）
1条答案
按热度按时间jfewjypa1#
由于您需要开源工具（用于these编码规则），请考虑使用或扩展Frama-C开源静态分析器，或者使用您的开源plugin验证您的一些编码规则来定制您最近的GCC编译器。它可能受到（或扩展）Bismon分析器框架的启发，或使用RefPerSys开源Maven系统shell。
注意理论上的局限性，特别是Rice's theorem。
this答案
当然，一些代码规则的可读性标准是 * 不可 * 机器检查的。