透明で探索可能な研究成果のための共役演算子

データ透明性と関連入力に焦点を当てる新しいプログラム分析フレームワークを紹介する。