SE 465 Bug Detection Tool