Ошибки в коде: ожидания и реальность

Используя статический анализатор кода, пользователь может находить в коде вовсе не те ошибки, которые ожидал. Это не хорошо и не плохо, а интересная тема для обсуждения.

Поговорим о том, почему синтетические тесты врут и почему их сложно составлять. Затронем ложные ожидания при разработке и использовании статических анализаторов кода, а также интересные закономерности в обнаруживаемых ошибках.