大家先想办法用一用这个CPAchecker。可以部署到电脑上（https://cpachecker.sosy-lab.org）（windows linux Mac都能用） 或者用这个在线的（https://cpachecker.appspot.com/） 至于如何安装使用，在github上（https://github.com/sosy-lab/cpachecker）可以找找看。

我找到了一个example比较有参考价值，大家看一下（https://sosy-lab.gitlab.io/research/tutorials/CPAchecker/ShortIntroductionCPAchecker.html）