铿锵声静态分析可以受到各种流动的挑战

Question

我想知道目前是否支持使用各种流检查进行clang静态分析。例如 - 有一个检查零分区的检查器，但是可以通过clang找到分配器可以评估为零的流吗？ 简单示例：在下面的示例中，有一个流量（i = 0），b将评估为0.我在这里收到警告吗？

for(int i = 10; i>=0; i--){
   int a = div(i);
   ...
}

int div(int b){
   return 100000 / b;
}

如果没有，是否有计划支持这个？