在LDRA Testbed里处理静态分析误报,最容易走偏的地方,不是结果太多,而是把“规则本身不适用”“规则需要正式偏离”和“单条结果确实是误报”这三种情况混成一类去压掉。LDRA的公开资料已经把边界说得比较清楚,一方面,像MISRA这类标准里本来就存在部分undecidable规则,静态分析在信息不足时可能出现false-positive或false-negative;另一方面,LDRA工具链又明确支持项目级、团队级和个人级的violation exclusion,以及Deviation Records和Deviation Permits这类合规工件。也就是说,误报处理不是简单点一下忽略,而是先分类,再决定是调规则集、做偏离,还是做单条抑制。
2026-04-22