Merge pull request #412 from TobiasStoeckert95/single-change

exception avoiding

Author: StevenArzt

soot-infoflow/src/soot/jimple/infoflow/problems/rules/ArrayPropagationRule.java

@@ -69,7 +69,10 @@ && getAliasing().mayAlias(rightBase, source.getAccessPath().getPlainValue())) {
 				// We must remove one layer of array typing, e.g., A[][] -> A[]
 				Type targetType = source.getAccessPath().getBaseType();
 				assert targetType instanceof ArrayType;
-				targetType = ((ArrayType) targetType).getElementType();
+				if (targetType instanceof ArrayType)
+					targetType = ((ArrayType) targetType).getElementType();
+				else
+					targetType = null;
 
 				// Create the new taint abstraction
 				ArrayTaintType arrayTaintType = source.getAccessPath().getArrayTaintType();