Searched refs:TaintedD (Results 1 – 1 of 1) sorted by relevance
79 bool TaintedD = C.getState()->isTainted(*DV); in checkPreStmt() local80 if ((stateNotZero && stateZero && TaintedD)) { in checkPreStmt()