Searched refs:ExprSVal (Results 1 – 1 of 1) sorted by relevance
143 bool isTaintedOrPointsToTainted(ProgramStateRef State, SVal ExprSVal) { in isTaintedOrPointsToTainted() argument144 return getTaintedPointeeOrPointer(State, ExprSVal).has_value(); in isTaintedOrPointsToTainted()