BackwardsInfoflowProblem: Do not propagate taint on cast incompatible arrays

Author: MarcMil

soot-infoflow/src/soot/jimple/infoflow/problems/BackwardsInfoflowProblem.java

@@ -371,6 +371,17 @@ else if (aliasing.mayAlias(leftVal, sourceBase)) {
 
 								AccessPath newAp = manager.getAccessPathFactory().copyWithNewValue(ap, rightVal,
 										rightType, cutFirstField);
+								if (rightOp instanceof CastExpr) {
+									Type castObjType = newAp.getBaseType();
+									Type castToType = rightOp.getType();
+									if (castObjType instanceof ArrayType && castToType instanceof ArrayType) {
+										ArrayType acastObjType = (ArrayType) castObjType;
+										ArrayType acastToType = (ArrayType) castToType;
+										if (acastObjType.numDimensions != acastToType.numDimensions)
+											// Cast incompatible
+											continue;
+									}
+								}
 								Abstraction newAbs = source.deriveNewAbstraction(newAp, assignStmt);
 								if (newAbs != null) {
 									if (rightVal instanceof StaticFieldRef && manager.getConfig()