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

root

分组作业

4年前2次提交

README.mdInitial commit4年前
cpachecker.rar分组作业4年前

README.md

从命令行创建一个新的仓库

touch README.md
git init
git add README.md
git commit -m "first commit"
git remote add origin http://gitea.trustie.net/whj/36480_2019-11-13_160731_0982.git
git push -u origin master

从命令行推送已经创建的仓库

git remote add origin http://gitea.trustie.net/whj/36480_2019-11-13_160731_0982.git
git push -u origin master

关于

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

README.md

2.2 MB

AAL

邀请码