Cross-Procedural Control Flow Analysis

on YouTube ↗49m

" summary

Explains how to implement cross‑procedural control‑flow and data‑flow analysis for C# code analyzers (ReSharper, Roslyn or custom). Describes ReSharper’s data‑flow algorithm, the impact of C#7 local functions, and an API‑agnostic, iterative algorithm for collecting cross‑procedure data with time/memory complexity estimates and examples of using the resulting model beyond the initial scenario.

AI-written summary · about

" chapters (6)

1. 0:00Introduction
2. 10:37What is data flow analysis
3. 18:20Cross-procedural analysis problems
4. 27:53Local functions and calls
5. 37:53Whole-program application
6. 46:27Summary

" related talks

• 22mA Type- And Control- Flow Analysis for System FC (Extended Abstract)John Reppy, Skye Soss · TyDe 2024
• 01h 01mCode Analysis++Anastasia Kazakova · CppCon 2021
• 01h 01mBuilding Code Analyzers with the new C# compiler platform (Roslyn)Filip W · NDC Sydney 2016
• 16mBeyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…Norman Ramsey · ICFP 2022
• 50mAnalyzing Code in .NETJason Bock · Code Quality & Performance Virtual Conference 2021
• 01h 00mC# Language InternalsBart De Smet · NDC Sydney 2017
• 01h 08mAnalyzing source code using RoslynErik Schierboom · NDC Oslo 2020
• 50mImproving Source Code with RoslynJiří Činčura · DotFest 2020