Evaluating and improving bug-finding tools is currently difficult due to a shortage of ground truth corpora (i.e., software that has…