1 paper · 1 filter
Johannes Bader, Andrew Scott, Michael Pradel +1
Static analyzers help find bugs early by warning about recurring bug categories. While fixing these bugs still remains a mostly manual task in practice, we observe that fixes for a…