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