public TaintStatus(TaintInfo taintInfo) { this.tainted = taintInfo.taint; this.priority = taintInfo.priority; lines = getLines(taintInfo); }
public TaintStatus(TaintInfo taintInfo, Analysis.FlagType flag) { this.tainted = taintInfo.taint; this.priority = taintInfo.priority; lines = getLines(taintInfo, flag); }
public TaintStatus(bool tainted, TaintPriority priority, params List <int>[] lines) { this.tainted = new Taint.Taint(tainted); this.priority = priority; this.lines = new List <List <int> >(lines); }