而现有的静态测试方法主要存在漏报和误报过多的情况。

• Static testing methods nowadays often miss some faults and produce too many false positives.