summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
author Sumnima Joshi <sumnima@google.com> 2017-07-26 16:31:42 -0700
committer Sumnima Joshi <sumnima@google.com> 2017-08-10 16:04:21 -0700
commit9557d05dfcb8c7abb79af111b6ed1952cf25f15e (patch)
tree9d8e1067a0c916a901228c979284eefb47e6ddde
parentad7083187bef32afe6f350681ec47a27441442d0 (diff)
Added a new mutator called NewInstanceChanger.
Added a new mutator named NewInstanceChanger which changes the type of the instance to any random type from the pool. Most of the times, it becomes invalid after being changed. It tries to change the type of invoke direct that follows. Also, the mutator makes a matching method id if needed. Test: ran dexfuzz until the mutation showed up. before: new-instance v0, LX; // type@0001 invoke-direct {v0}, LX;.<init>:()V // method@0000 after: new-instance v0, LY; // type@0002 invoke-direct {v0}, LY;.<init>:()V // method@0000 Change-Id: I6eccaebf9910c177e9cff0b5d3ac058565c4331e
-rw-r--r--tools/dexfuzz/README1
-rw-r--r--tools/dexfuzz/src/dexfuzz/DexFuzz.java4
-rw-r--r--tools/dexfuzz/src/dexfuzz/program/Program.java46
-rw-r--r--tools/dexfuzz/src/dexfuzz/program/mutators/NewInstanceChanger.java218
4 files changed, 266 insertions, 3 deletions
diff --git a/tools/dexfuzz/README b/tools/dexfuzz/README
index 1f74262eb4..fff5473327 100644
--- a/tools/dexfuzz/README
+++ b/tools/dexfuzz/README
@@ -139,6 +139,7 @@ InstructionDuplicator 80
InstructionSwapper 80
InvokeChanger 30
NewArrayLengthChanger 50
+NewInstanceChanger 10
NewMethodCaller 10
NonsenseStringPrinter 10
OppositeBranchChanger 40
diff --git a/tools/dexfuzz/src/dexfuzz/DexFuzz.java b/tools/dexfuzz/src/dexfuzz/DexFuzz.java
index 2b3b8e7753..1e37def905 100644
--- a/tools/dexfuzz/src/dexfuzz/DexFuzz.java
+++ b/tools/dexfuzz/src/dexfuzz/DexFuzz.java
@@ -33,9 +33,9 @@ import dexfuzz.listeners.UpdatingConsoleListener;
* Entrypoint class for dexfuzz.
*/
public class DexFuzz {
- // Last version update 1.7: changed the likelihood of RegisterClobber.
+ // Last version update 1.8: Added a new mutation called NewInstanceChanger.
private static int majorVersion = 1;
- private static int minorVersion = 7;
+ private static int minorVersion = 8;
private static int seedChangeVersion = 0;
/**
diff --git a/tools/dexfuzz/src/dexfuzz/program/Program.java b/tools/dexfuzz/src/dexfuzz/program/Program.java
index bb2f4c059d..c6fa6c4151 100644
--- a/tools/dexfuzz/src/dexfuzz/program/Program.java
+++ b/tools/dexfuzz/src/dexfuzz/program/Program.java
@@ -32,6 +32,7 @@ import dexfuzz.program.mutators.InstructionDuplicator;
import dexfuzz.program.mutators.InstructionSwapper;
import dexfuzz.program.mutators.InvokeChanger;
import dexfuzz.program.mutators.NewArrayLengthChanger;
+import dexfuzz.program.mutators.NewInstanceChanger;
import dexfuzz.program.mutators.NewMethodCaller;
import dexfuzz.program.mutators.NonsenseStringPrinter;
import dexfuzz.program.mutators.OppositeBranchChanger;
@@ -54,6 +55,7 @@ import dexfuzz.rawdex.MethodIdItem;
import dexfuzz.rawdex.ProtoIdItem;
import dexfuzz.rawdex.RawDexFile;
import dexfuzz.rawdex.TypeIdItem;
+import dexfuzz.rawdex.TypeList;
import dexfuzz.rawdex.formats.ContainsPoolIndex.PoolIndexKind;
import java.io.BufferedReader;
@@ -204,6 +206,7 @@ public class Program {
registerMutator(new InstructionSwapper(rng, mutationStats, mutations));
registerMutator(new InvokeChanger(rng, mutationStats, mutations));
registerMutator(new NewArrayLengthChanger(rng, mutationStats, mutations));
+ registerMutator(new NewInstanceChanger(rng, mutationStats, mutations));
registerMutator(new NewMethodCaller(rng, mutationStats, mutations));
registerMutator(new NonsenseStringPrinter(rng, mutationStats, mutations));
registerMutator(new OppositeBranchChanger(rng, mutationStats, mutations));
@@ -609,4 +612,45 @@ public class Program {
fieldIdx));
return null;
}
-}
+
+ /**
+ * Used to convert the type index into string format.
+ * @param typeIdx
+ * @return string format of type index.
+ */
+ public String getTypeString(int typeIdx) {
+ TypeIdItem typeIdItem = rawDexFile.typeIds.get(typeIdx);
+ return rawDexFile.stringDatas.get(typeIdItem.descriptorIdx).getString();
+ }
+
+ /**
+ * Used to convert the method index into string format.
+ * @param methodIdx
+ * @return string format of method index.
+ */
+ public String getMethodString(int methodIdx) {
+ MethodIdItem methodIdItem = rawDexFile.methodIds.get(methodIdx);
+ return rawDexFile.stringDatas.get(methodIdItem.nameIdx).getString();
+ }
+
+ /**
+ * Used to convert methodID to string format of method proto.
+ * @param methodIdx
+ * @return string format of shorty.
+ */
+ public String getMethodProto(int methodIdx) {
+ MethodIdItem methodIdItem = rawDexFile.methodIds.get(methodIdx);
+ ProtoIdItem protoIdItem = rawDexFile.protoIds.get(methodIdItem.protoIdx);
+
+ if (!protoIdItem.parametersOff.pointsToSomething()) {
+ return "()" + getTypeString(protoIdItem.returnTypeIdx);
+ }
+
+ TypeList typeList = (TypeList) protoIdItem.parametersOff.getPointedToItem();
+ String typeItem = "(";
+ for (int i= 0; i < typeList.size; i++) {
+ typeItem = typeItem + typeList.list[i];
+ }
+ return typeItem + ")" + getTypeString(protoIdItem.returnTypeIdx);
+ }
+} \ No newline at end of file
diff --git a/tools/dexfuzz/src/dexfuzz/program/mutators/NewInstanceChanger.java b/tools/dexfuzz/src/dexfuzz/program/mutators/NewInstanceChanger.java
new file mode 100644
index 0000000000..cbf79e34f0
--- /dev/null
+++ b/tools/dexfuzz/src/dexfuzz/program/mutators/NewInstanceChanger.java
@@ -0,0 +1,218 @@
+/*
+ * Copyright (C) 2017 The Android Open Source Project
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package dexfuzz.program.mutators;
+
+import dexfuzz.Log;
+import dexfuzz.MutationStats;
+import dexfuzz.program.MInsn;
+import dexfuzz.program.MutatableCode;
+import dexfuzz.program.Mutation;
+import dexfuzz.rawdex.Opcode;
+import dexfuzz.rawdex.formats.ContainsPoolIndex;
+import dexfuzz.rawdex.formats.ContainsPoolIndex.PoolIndexKind;
+
+import java.util.ArrayList;
+import java.util.List;
+import java.util.Random;
+
+/**
+ * Mutator NewInstanceChanger changes the new instance type in a method to
+ * any random type from the pool.
+ */
+public class NewInstanceChanger extends CodeMutator {
+
+ /**
+ * Every CodeMutator has an AssociatedMutation, representing the
+ * mutation that this CodeMutator can perform, to allow separate
+ * generateMutation() and applyMutation() phases, allowing serialization.
+ */
+ public static class AssociatedMutation extends Mutation {
+ public int newInstanceToChangeIdx;
+ public int newInstanceTypeIdx;
+
+ @Override
+ public String getString() {
+ StringBuilder builder = new StringBuilder();
+ builder.append(newInstanceToChangeIdx).append(" ");
+ builder.append(newInstanceTypeIdx);
+ return builder.toString();
+ }
+
+ @Override
+ public void parseString(String[] elements) {
+ newInstanceToChangeIdx = Integer.parseInt(elements[2]);
+ newInstanceTypeIdx = Integer.parseInt(elements[3]);
+ }
+ }
+
+ // The following two methods are here for the benefit of MutationSerializer,
+ // so it can create a CodeMutator and get the correct associated Mutation, as it
+ // reads in mutations from a dump of mutations.
+ @Override
+ public Mutation getNewMutation() {
+ return new AssociatedMutation();
+ }
+
+ public NewInstanceChanger() {}
+
+ public NewInstanceChanger(Random rng, MutationStats stats, List<Mutation> mutations) {
+ super(rng, stats, mutations);
+ likelihood = 10;
+ }
+
+ // A cache that should only exist between generateMutation() and applyMutation(),
+ // or be created at the start of applyMutation(), if we're reading in mutations from
+ // a file.
+ private List<MInsn> newInstanceCachedInsns = null;
+
+ private void generateCachedNewInstanceInsns(MutatableCode mutatableCode) {
+ if (newInstanceCachedInsns != null) {
+ return;
+ }
+
+ newInstanceCachedInsns = new ArrayList<MInsn>();
+
+ for (MInsn mInsn : mutatableCode.getInstructions()) {
+ if (mInsn.insn.info.opcode == Opcode.NEW_INSTANCE) {
+ newInstanceCachedInsns.add(mInsn);
+ }
+ }
+ }
+
+ @Override
+ protected boolean canMutate(MutatableCode mutatableCode) {
+ // Cannot change the pool index with only one type.
+ if (mutatableCode.program.getTotalPoolIndicesByKind(PoolIndexKind.Type) < 2) {
+ Log.debug("Cannot mutate, only one type, skipping...");
+ return false;
+ }
+
+ for (MInsn mInsn : mutatableCode.getInstructions()) {
+ if (mInsn.insn.info.opcode == Opcode.NEW_INSTANCE) {
+ return true;
+ }
+ }
+ Log.debug("No New Instance in method, skipping...");
+ return false;
+ }
+
+ @Override
+ protected Mutation generateMutation(MutatableCode mutatableCode) {
+ generateCachedNewInstanceInsns(mutatableCode);
+
+ int newInstanceIdxInCache = rng.nextInt(newInstanceCachedInsns.size());
+ MInsn newInstanceInsn = newInstanceCachedInsns.get(newInstanceIdxInCache);
+ int oldTypeIdx = (int) newInstanceInsn.insn.vregB;
+ int newTypeIdx = 0;
+ int totalPoolIndices = mutatableCode.program.getTotalPoolIndicesByKind(PoolIndexKind.Type);
+ if (totalPoolIndices < 2) {
+ Log.errorAndQuit("Less than two types present, quitting...");
+ }
+
+ while (newTypeIdx == oldTypeIdx) {
+ newTypeIdx = rng.nextInt(totalPoolIndices);
+ }
+
+ AssociatedMutation mutation = new AssociatedMutation();
+ mutation.setup(this.getClass(), mutatableCode);
+ mutation.newInstanceToChangeIdx = newInstanceIdxInCache;
+ mutation.newInstanceTypeIdx = newTypeIdx;
+ return mutation;
+ }
+
+ @Override
+ protected void applyMutation(Mutation uncastMutation) {
+ // Cast the Mutation to our AssociatedMutation, so we can access its fields.
+ AssociatedMutation mutation = (AssociatedMutation) uncastMutation;
+ MutatableCode mutatableCode = mutation.mutatableCode;
+
+ generateCachedNewInstanceInsns(mutatableCode);
+
+ MInsn newInstanceInsn = newInstanceCachedInsns.get(mutation.newInstanceToChangeIdx);
+
+ ContainsPoolIndex poolIndex = ((ContainsPoolIndex)newInstanceInsn.insn.info.format);
+
+ poolIndex.setPoolIndex(newInstanceInsn.insn, mutation.newInstanceTypeIdx);
+
+ Log.info("Changed the type of " + newInstanceInsn.toString() +
+ " to " + mutation.newInstanceTypeIdx);
+
+ int foundNewInstanceInsnIdx =
+ foundInsnIdx(mutatableCode, newInstanceCachedInsns.get(mutation.newInstanceToChangeIdx));
+
+ changeInvokeDirect(foundNewInstanceInsnIdx, mutation);
+
+ stats.incrementStat("Changed new instance.");
+
+ // Clear cache.
+ newInstanceCachedInsns = null;
+ }
+
+ /**
+ * Try to find the invoke-direct/ invoke-direct-range instruction that follows
+ * the new instance instruction and change the method ID of the instruction.
+ * @param foundInsnIdx
+ * @param uncastMutation
+ */
+ protected void changeInvokeDirect(int foundInsnIdx, Mutation uncastMutation) {
+ AssociatedMutation mutation = (AssociatedMutation) uncastMutation;
+ MutatableCode mutatableCode = mutation.mutatableCode;
+ if (foundInsnIdx == -1 ||
+ foundInsnIdx + 1 == mutatableCode.getInstructionCount()) {
+ return;
+ }
+
+ MInsn insn = mutatableCode.getInstructionAt(foundInsnIdx + 1);
+ if (isInvokeInst(insn)) {
+ ContainsPoolIndex poolIndex =((ContainsPoolIndex)insn.insn.info.format);
+ long oldMethodIdx = poolIndex.getPoolIndex(insn.insn);
+ String className = mutatableCode.program.getTypeString(mutation.newInstanceTypeIdx);
+ String methodName = mutatableCode.program.getMethodString((int) oldMethodIdx);
+ String shorty = mutatableCode.program.getMethodProto((int) oldMethodIdx);
+
+ // Matches the type of the invoke with the randomly changed type of the prior new-instance.
+ // This might create a lot of verification failures but still works many times.
+ // TODO: Work on generating a program which finds a valid type.
+ int methodId = mutatableCode.program.getNewItemCreator().
+ findOrCreateMethodId(className, methodName, shorty);
+
+ poolIndex.setPoolIndex(insn.insn, mutation.newInstanceTypeIdx);
+
+ insn.insn.vregB = methodId;
+
+ Log.info("Changed " + oldMethodIdx + " to " + methodId);
+ }
+ }
+
+ protected boolean isInvokeInst(MInsn mInsn) {
+ return (mInsn.insn.info.opcode == Opcode.INVOKE_DIRECT ||
+ mInsn.insn.info.opcode == Opcode.INVOKE_DIRECT_RANGE);
+ }
+
+ // Check if there is an new instance instruction, and if found, return the index.
+ // If not, return -1.
+ protected int foundInsnIdx(MutatableCode mutatableCode, MInsn newInstanceInsn) {
+ int i = 0;
+ for (MInsn mInsn : mutatableCode.getInstructions()) {
+ if (mInsn == newInstanceInsn) {
+ return i;
+ }
+ i++;
+ }
+ return -1;
+ }
+}