「Modular information flow through ownership」 (PLDI 2022)
flowistry の解析アルゴリズム
https://cel.cs.brown.edu/paper/modular-information-flow-ownership/
所有権システムを利用した情報フロー解析
所有権システムでは、関数の型シグネチャだけでポインタとミューテーションの情報フローを推測できる
参照の可変 or 不変が型で明示される
ライフタイムによって参照の生存期間・エイリアス関係がわかる