Which statement about the function of a static analysis tool is true?