Understanding the role of a static analyzer