Полный текст
Как часто вы думаете о Римской империи… (cтатическом анализе кода)Нет, вы не ошиблись, это действительно историческая статья. Автор поймал себя на навязчивых мыслях о статическом анализе и понял: у него, как и у Римской империи, есть свои императоры-основатели, эпичные войны с багами и даже свои падения.Когда-то это была лишь теория отцов-основателей вроде Алана Тьюринга, а сегодня — AI-ассистент, встроенный в вашу IDE. Но как произошёл этот переход? Когда появился первый «Цезарь» статического анализа, и как он выглядел? И какие «варвары» (в виде багов) пали в боях за чистоту кода?Проследим всю историю этой технологии — от теорем Гёделя до GPT-ассистентов.