Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Roslyn でフロー解析してみる
Search
ruccho
May 29, 2026
270
0
Share
Roslyn でフロー解析してみる
ruccho
May 29, 2026
More Decks by ruccho
See All by ruccho
WebAssemblyインタプリタを書く ~Component Modelを添えて~
ruccho
1
1.2k
URP の 2D Renderer と たわむれる
ruccho
0
14
Colonies
ruccho
0
670
タイルマップ拡張のススメ / Recommendation of Unity Tilemap Gotanda.unity #14
ruccho
0
3.6k
Featured
See All Featured
Ecommerce SEO: The Keys for Success Now & Beyond - #SERPConf2024
aleyda
1
2k
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
eileencodes
28
3.5k
Organizational Design Perspectives: An Ontology of Organizational Design Elements
kimpetersen
PRO
1
720
StorybookのUI Testing Handbookを読んだ
zakiyama
31
6.8k
How People are Using Generative and Agentic AI to Supercharge Their Products, Projects, Services and Value Streams Today
helenjbeal
1
200
Designing for Timeless Needs
cassininazir
1
250
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
16
2k
What’s in a name? Adding method to the madness
productmarketing
PRO
24
4.1k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
37
6.5k
Tell your own story through comics
letsgokoyo
1
940
The AI Revolution Will Not Be Monopolized: How open-source beats economies of scale, even for LLMs
inesmontani
PRO
3
3.5k
Taking LLMs out of the black box: A practical guide to human-in-the-loop distillation
inesmontani
PRO
3
2.2k
Transcript
Roslynでフロー解析してみる るっちょ @ruccho_dev
自己紹介です • Unity で個人ゲーム開発してます • 趣味と仕事で .NET / Unity 向けのライブラリ開発してます
Roslyn • 我々がいつも使っている C# コンパイラ実装のこと • C# で書かれていて NuGet で配布されており、ライブラリとして利用可能
• Analyzer や Source Generator を実装するときによく触る
Roslyn のコード解析インタフェース 具体的 抽象的 SyntaxTree / Syntax SemanticModel / Symbol
ControlFlowGraph / Operation 構文解析 意味論解析 フロー解析など
ControlFlowGraph コード上の命令と、その流れをグラフ構造で表現したオブジェクト (非常に知名度が低い!)
ControlFlowGraphを取得する RegisterOperationAction のコールバックで得られる OperationAnalysisContext に対して GetControlFlowGraph() する
ControlFlowGraphの基本構造 • メソッド内の命令をある程度のまとまりに分割した BasicBlock ◦ ControlFlowGraph.Blocks で BasicBlock のリストが得られる •
BasicBlock 間をつなげる ControlFlowBranch によって遷移構造を表現
ブロック
ブロック 各 Block は2通りの遷移先を持てる • FallthroughSuccessor ◦ デフォルトの遷移先Block • ConditionalSuccessor
◦ 指定条件を満たした場合の移動先Block ◦ 今回はelseへの分岐で使用 ◦ ない場合もある Entry Exit
ブロック Entry Exit 各ブロック内の命令も解析したい!
ブロック
ブロック 各ブロック内の命令も解析したい! Entry Exit
IOperation 各 BasicBlockは命令 (IOperation)のリストを含んでいる
IOperation のツリー構造 ExpressionStatement Invocation Argument BinaryOperator Literal BinaryOperator Literal Conversion
Literal
None
Roslynでフロー解析してみる るっちょ @ruccho_dev