Андрей Дятлов — Кросс процедурный анализ потока управления

Вы задумывались, как ReSharper анализирует ваш код? В докладе Андрей с практическими примерами расскажет о том, как писать кросс-процедурные анализы кода и почему это теперь необходимо для самых разнообразных анализаторов C#-кода, неважно, написаны они на базе ReSharper, Roslyn или собственных моделях кода. В качестве примера в общих чертах будет описано, как работает data-flow анализ в ReSharper и как на него повлияли локальные функции, появившиеся в C# 7. Будет итеративно рассмотрен алгоритм сбора данных для кросс-процедурных анализов без привязки к конкретным API Roslyn/ReSharper и дана оценка сложности построения модели по памяти/времени на каждом шаге. Андрей также приведет несколько примеров использования полученной модели вне рамок исходного примера. Доклад будет наиболее интересен и полезен людям, заинтересованным в написании собственных анализаторов кода, в первую очередь для языка C#, однако принципы, которые будут показаны в докладе, применимы к любым языкам. Кроме того, итерат