检测无限循环

Question

我经常为循环编写无限示例：

for (i = 0; i < 5; ) {
   //some code here
   c++;  
   //++i may be missing
}

是否有自动代码分析器检测无限循环？

Answer 1

IDE中有一些分析器可以帮助进行无限循环检测。但是，在执行之前或甚至执行期间正确识别无限进程或代码链是矛盾的。

这被称为＆＃34; Halting Problem＆＃34;

<强>更新

所有JetBrain IDEs都有内置功能，可以尝试检测无限循环。它可以在：

中找到

  

偏好设置 - ＆gt;检查 - ＆gt; C / C ++ - ＆gt;数据流分析 - ＆gt;无尽的循环