diff --git a/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/slicer/AstJavaSlicer.java b/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/slicer/AstJavaSlicer.java index 92e8e602a..d60898cf4 100644 --- a/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/slicer/AstJavaSlicer.java +++ b/com.ibm.wala.cast.java/src/com/ibm/wala/cast/java/ipa/slicer/AstJavaSlicer.java @@ -18,6 +18,7 @@ import com.ibm.wala.ipa.slicer.SDG; import com.ibm.wala.ipa.slicer.Slicer; import com.ibm.wala.ipa.slicer.Statement; import com.ibm.wala.ssa.IR; +import com.ibm.wala.ssa.SSAArrayStoreInstruction; import com.ibm.wala.ssa.SSAInstruction; import com.ibm.wala.ssa.SSAPutInstruction; import com.ibm.wala.util.collections.Filter; @@ -71,7 +72,7 @@ public class AstJavaSlicer extends Slicer { public static Set gatherWrites(CallGraph CG, Collection partialRoots) { return gatherStatements(CG, partialRoots, new Filter() { public boolean accepts(SSAInstruction o) { - return o instanceof SSAPutInstruction; + return (o instanceof SSAPutInstruction) || (o instanceof SSAArrayStoreInstruction); } }); }