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