A Basis of Static Analysis Library for C# Programs

The .NET ecosystem currently lacks an open-source framework for deep static anal- ysis comparable to Java's WALA or Soot. While the Roslyn compiler exposes syntax trees, it does not provide the high-level intermediate representations required for com- plex program verification. This thesis addresses this gap by designing and implementing a modular library that constructs Control-Flow Graphs (CFG), Call Graphs, and Static Single Assignment (SSA) forms directly from C# source code. By leveraging Roslyn's Semantic API, the library accurately models complex control structures. The result is an extensible, validated foundation for building custom analysis tools, complete with visu- alization capabilities. This work significantly lowers the barrier for developing advanced data-flow analysis applications on the .NET platform.