静态分析不一定精确，其目标不是发现 bug，而是只发现那些可能是 bug 的构造，这意味着有时会标记正确的代码出错。

Static analysis is necessarily imprecise; the goal is not to find bugs, but to find constructs that might be bugs, which means that sometimes correct code will be flagged.

youdao

通过与传统的基于灰度背景差分方法的结果进行对比发现，本文采用的方法可以比较精确的实现对单个和多个目标以及简单遮挡情况下的跟踪。

Compared with the results based on traditional gray background difference, the method in this thesis has realized precise tracking of single object and multi-object with simple occlusion.

youdao