public TaintAnalysis(TaintBlockAnalyzer blockAnalyzer, ConditionTaintAnalyser condAnalyser, ImmutableVariableStorage initialTaint)
{
Preconditions.NotNull(blockAnalyzer, "blockAnalyzer");
Preconditions.NotNull(initialTaint, "initialTaint");
Preconditions.NotNull(condAnalyser, "condAnalyzer");
this._blockAnalyzer = blockAnalyzer;
this._conditionTaintAnalyser = condAnalyser;
this.initialTaint = initialTaint;
this._taints = new Dictionary<CFGBlock, CFGTaintInfo>();
}