category minorAnalysis The cpp/overrun-write query now recognizes more bound checks and thus produces fewer false positives.