Roslyn でフロー解析してみる

Transcript

1. Roslynでフロー解析してみる るっちょ @ruccho_dev
2. 自己紹介です • Unity で個人ゲーム開発してます • 趣味と仕事で .NET / Unity 向けのライブラリ開発してます
3. Roslyn • 我々がいつも使っている C# コンパイラ実装のこと • C# で書かれていて NuGet で配布されており、ライブラリとして利用可能 • Analyzer や Source Generator を実装するときによく触る
4. Roslyn のコード解析インタフェース 具体的 抽象的 SyntaxTree / Syntax SemanticModel / Symbol ControlFlowGraph / Operation 構文解析 意味論解析 フロー解析など
5. ControlFlowGraph コード上の命令と、その流れをグラフ構造で表現したオブジェクト （非常に知名度が低い！）
6. ControlFlowGraphを取得する RegisterOperationAction のコールバックで得られる OperationAnalysisContext に対して GetControlFlowGraph() する
7. ControlFlowGraphの基本構造 • メソッド内の命令をある程度のまとまりに分割した BasicBlock ◦ ControlFlowGraph.Blocks で BasicBlock のリストが得られる • BasicBlock 間をつなげる ControlFlowBranch によって遷移構造を表現
8. ブロック
9. ブロック 各 Block は2通りの遷移先を持てる • FallthroughSuccessor ◦ デフォルトの遷移先Block • ConditionalSuccessor ◦ 指定条件を満たした場合の移動先Block ◦ 今回はelseへの分岐で使用 ◦ ない場合もある Entry Exit
10. ブロック Entry Exit 各ブロック内の命令も解析したい！
11. ブロック
12. ブロック 各ブロック内の命令も解析したい！ Entry Exit
13. IOperation 各 BasicBlockは命令 (IOperation)のリストを含んでいる
14. IOperation のツリー構造 ExpressionStatement Invocation Argument BinaryOperator Literal BinaryOperator Literal Conversion Literal
16. Roslynでフロー解析してみる るっちょ @ruccho_dev