项目简介
剖析开源静态分析工具（CPAChecker），制作工具汇报PPT，安排时间线上汇报，作为课程检查的一部分归档。 CPAChecker（The Configurable Software-Verification Platform, https://cpachecker.sosy-lab.org/ 功能强大，可选择其中某个模块分析）
汇报所需要准备内容： 1、工具原理、工具论文 2、工具源码与工具原理的映射关系 3、工具使用（实验本身不强调），
大家先想办法用一用这个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）
