Андрей Дятлов «Кросс-процедурные анализы на примере локальных функций в ReSharper»

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

---

Доклад представил Андрей Дятлов в рамках Встречи MskDotNet №35.

Слайды

Видео