https://cacm.acm.org/magazines/2018/4/226371-lessons-from-building-static-analysis-tools-at-google/fulltext

Problems to solve

Developers, not tool authors, will determine and act on a tool’s perceived false-positive rate.

Tricorder

Lessons learned