项目简介

剖析开源静态分析工具(CPAChecker),制作工具汇报PPT,安排时间线上汇报,作为课程检查的一部分归档。 CPAChecker(The Configurable Software-Verification Platform, https://cpachecker.sosy-lab.org/ 功能强大,可选择其中某个模块分析)

汇报所需要准备内容: 1、工具原理、工具论文  2、工具源码与工具原理的映射关系 3、工具使用(实验本身不强调),

11674?1519866728
【任务】 使用CPAChecker 正常
指派给   未指派
发布时间: 04/23/2020 10:20
更新时间:05/05/2020 13:35
大家先想办法用一用这个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)

回复 ︿ (3)
0?1470885445
登录后可添加回复

© Copyright 2007~2021 国防科技大学Trustie团队 & IntelliDE 湘ICP备 17009477号

问题和建议
还能输入50个字符 Submit

加入QQ群

关注微信APP


×