情報流解析における機密度ワイルドカードの提案
2021 年 38 巻 4 号 p. 4_40-4_45
詳細
2021 年 38 巻 4 号 p. 4_40-4_45
本論文では，情報流解析における機密度がパラメータ化されたクラスの柔軟性向上のために機密度ワイルドカードを提案する．従来提案されている機密度がパラメータ化されたクラスは，Javaのジェネリクスと同様に不変(invariant)であり，かつJavaと異なり機密度のためのワイルドカードが存在しないため，柔軟なAPIを実装することが難しい．本論文では，対象をメソッドの仮引数に出現する境界付きの機密度ワイルドカードに制限して形式化し，Javaプログラム中に機密度ワイルドカードを記述するためのアノテーションを定義する．
