В общем, почитайте. По итогу, я убедилась в однозначной пользе статического анализатора, даже не смотря на такие минусы, как ложные срабатывания или ограничения в сложных случаях. А плюсов у инструмента все-таки больше, если подумать. Хотя бы то, что он экономит время, сразу выявляет потенциальные ошибки — уже делает его мощным инструментом.