Пользователи иногда спрашивают, как появляются новые диагностики в статическом анализаторе PVS-Studio. Мы отвечаем, что черпаем вдохновение из разных источников: книг, стандартов кодирования, собственных ошибок, электронных писем наших пользователей и других. Недавно нам пришла в голову интересная идея новой диагностики. Сегодня мы решили рассказать историю о том, как это было. Все началось с обзора проекта COVID-19 CovidSim Model и статьи о неинициализированной переменной. Проект..