The small Franklin County department was among the first in the country to begin using Code Four, software that generates police reports based on audio and video recorded by officers’ body cameras.

Abstract: The quality of modern software relies heavily on the effective use of static code analysis tools. To improve their usefulness, these tools should be evaluated using a framework that ...