我拼命得收集大雨后的湿气味
跟我的想象力放在一块
其实已经失去你
像是我不知如何开始这一天
太阳马上又要出现了

Diffblue 团队在 CAV'18 发表了工具文章，JBMC。这个工具是 CBMC 的扩展，目的是验证 JAVA Bytecode。JBMC 的步骤和 CBMC 类似，也是前端处理程序，转换程序到公式，然后公式传递给求解器。

JBMC 的验证步骤：

git fetch 和 git pull 都可以将远端仓库更新至本地那么他们之间有何区别?想要弄清楚这个问题有有几个概念不得不提。

• FETCH_HEAD： 是一个版本链接，记录在本地的一个文件中，指向着目前已经从远程仓库取下来的分支的末端版本。