What statement about static analysis is true?

Comments