The Cost and Benefits of Static Analysis During Development. - William R. Nichols Jr. (CoRR, 2020)