目次
今調査中ですが、修正したとした#002のバグに別の要因がからまっています。
VarNodeImpl.javaのコンストラクタがかなり怪しいです。例えば、以下の通り、pSymのnullチェックをしていません。それゆえ、バグが発生しやすくなっています。
public
VarNodeImpl(HirRoot pHirRoot, Var pSym)
{
super(pHirRoot, pSym);
fOperator = HIR.OP_VAR;
fChildCount = 0;
fType = pSym.getSymType();
}
解決法
そこで、if (pSym == null) { fType = hirRoot.symRoot.typeInt}と書いて、nullの場合はデフォルト値を設定しておくようにしておきます。