简单说说 缺陷检测（代码智能之缺陷检测）

文/ 阿里云 – 秦奇

本文章为系列文章，主要介绍代码智能（Code Intelligence）领域涉及的众多有趣的任务（Task），具体会从这些任务的简介、历史和现状等维度展开介绍，希望让大家对于代码智能有一个深切的认识（前篇：和你说说智能代码推荐）。
​

本文的主角是 代码缺陷检测，即判断一段代码中是否有Bug。这听起来有点玄乎，实际上呢，就是根据已有经验和历史数据进行归纳总结，从而得出结论，那么有没有觉得和 “算命”有点像呢？注意：本篇的缺陷检测仅指 检验是否有Bug，而不涉及到 缺陷的定位 和 缺陷修复的部分。