public void Initialize(CFGBlock cfgBlock)
{
var taintInfo = CFGTaintInfo.Default;
if (cfgBlock.IsRoot)
{
var varStorage = ImmutableDictionary<EdgeType, ImmutableVariableStorage>.Empty.Add(EdgeType.Normal, initialTaint);
taintInfo = new CFGTaintInfo(initialTaint, varStorage);
}
_taints.Add(cfgBlock, taintInfo);
}