抄録
本論文では，情報流解析における型エラーを修正するために必要な Declassifiersの配置箇所の候補を挙げる手法を提案する．Declassifiersの配置は不正な情報流を解消する有効な手段であるが，Declassifiersを手作業で適切に配置することはそれほど容易ではない．提案手法により，開発者は挙げられた候補に従ってDeclassifiersを記述するだけで不正な情報流を解消できる．本論文では，提案手法の挙げる候補が型エラーを解消することと，少なくとも1つの候補が挙げられることを示した上で，提案手法をプロトタイプツールに実装し，単純なプログラムに適用した例を挙げる．
