Class: Write Outside Buffer
Number of sites (|U|) 97678
Number of warnings (|W|) 18767
Number of warnings not in universe (|W - U|) 0
Number of findings (|F|) 78911
Number of buggy sites (|B|) 7400
Number of buggy findings (|F cap B|) 0
