LAVA LAVA - Large-scale Automated Vulnerability Addition byRefky -Januari 13, 2020 Evaluating and improving bug-finding tools is currently difficult due to a shortage of ground t…