Class: Integer Overflow
Number of sites (|U|) 40570
Number of warnings (|W|) 1356
Number of warnings not in universe (|W - U|) 0
Number of findings (|F|) 39214
Number of buggy sites (|B|) 1026
Number of buggy findings (|F cap B|) 0
