CPAChecker安装

1.CPAChecker是什么？

相关连接：

CPAChecker官网：https://cpachecker.sosy-lab.org/doc.php

官网对应的翻译：https://blog.csdn.net/weixin_41529962/article/details/80427056

2.CPAChecker安装

说明：本文以笔者系统macOS10.14.6为说明，windows系统读者可自行参照官网说明。

安装有binary和source两版本。简单来讲，区别就是：binary是编译好的可以直接使用，source是还没编译过的源代码，需要自行编译。笔者选择的source版本进行安装。

1.首先，需要安装jdk，笔者使用homebrew配置的，一行代码搞定。

homebrew的介绍可以参考：https://www.jianshu.com/p/de6f1d2d37bf

如果想要手动配置的，可以参考：https://blog.csdn.net/weixin_42095500/article/details/83576667

$brew cask intall java

可以看到，自动给我安装了'jdk-13.0.1'的最新版本，安装完成后，用

java --version

进行检查，出现版本信息则表示安装成功过（具体版本信息可能与我不同）。

2.接下来，安装ant，同样一行代码即可完成安装。

对于ant的介绍，可以参考：https://blog.csdn.net/yubo_725/article/details/52326746

$brew install ant

3.安装Subversion(SVN)。

对于SVN的 详细了解，可以参考：https://www.runoob.com/svn/svn-tutorial.html

$brew install subversion

4.从SVN repository中checkout CPAChecker。

SVNrepository链接是: https://svn.sosy-lab.org/software/cpachecker/trunk。

输入命令：

svn checkout https://svn.sosy-lab.org/software/cpachecker/trunk  --user 用户名

这里用户名为你自己的用户名。

注意：这里我在安装的时候出现了2个坑。

1.连接超时，如图：

2.于是我重新进行checkout，又出现下面已经锁定的错误：

解决方法:先cleanup然后再重新checkout：

$svn cleanup

$svn checkout https://svn.sosy-lab.org/software/cpachecker/trunk  --user 用户名

最终，出现如图信息则成功取出版本。

5.在CPAChecker目录下运行ant

$cd trunk
$ant