Data-driven bug finding