Keep incoming parameter alive in EasyTaintWrapper

Author: t1mlange

soot-infoflow/src/soot/jimple/infoflow/taintWrappers/EasyTaintWrapper.java

@@ -354,10 +354,6 @@ public Set<AccessPath> getInverseTaintsForMethodInternal(Stmt stmt, Abstraction
 				if (wrapType == MethodWrapType.KillTaint)
 					return Collections.emptySet();
 
-				// If the base was tainted, one parameter could be responsible for this but we don't know,
-				// maybe it also was tainted before. So we have to keep it.
-				taints.add(taintedPath);
-
 				if (wrapType == MethodWrapType.CreateTaint && taintedAbs.getDominator() != null
 						&& taintedAbs.getDominator() != null)
 					taints.add(AccessPath.getEmptyAccessPath());
@@ -376,6 +372,10 @@ public Set<AccessPath> getInverseTaintsForMethodInternal(Stmt stmt, Abstraction
 			}
 		}
 
+		// Keep the incoming taint if it is not the lhs
+		if (!taintedObj)
+			taints.add(taintedPath);
+
 		// if base object is tainted, we need to taint all parameters
 		if (isSupported && wrapType == MethodWrapType.CreateTaint) {
 			// If we are inside a conditional, we always taint