diff --git a/src/main/java/pascal/taie/analysis/pta/plugin/reflection/ReflectiveActionModel.java b/src/main/java/pascal/taie/analysis/pta/plugin/reflection/ReflectiveActionModel.java index c3eec4147..da83b6371 100644 --- a/src/main/java/pascal/taie/analysis/pta/plugin/reflection/ReflectiveActionModel.java +++ b/src/main/java/pascal/taie/analysis/pta/plugin/reflection/ReflectiveActionModel.java @@ -255,8 +255,7 @@ public void arrayNewInstance(Context context, Invoke invoke, PointsToSet pts) { Type baseType = CSObjs.toType(obj); if (baseType != null && !(baseType instanceof VoidType)) { ArrayType arrayType = typeSystem.getArrayType(baseType, 1); - CSObj csNewArray = newReflectiveObj(context, invoke, arrayType); - solver.addVarPointsTo(context, result, csNewArray); + newReflectiveObj(context, invoke, arrayType); allTargets.put(invoke, arrayType); } });