1 files changed, 120 insertions, 0 deletions
diff --git a/agent/src/test/java/com/code_intelligence/jazzer/instrumentor/ReplaceHooksTarget.java b/agent/src/test/java/com/code_intelligence/jazzer/instrumentor/ReplaceHooksTarget.java
new file mode 100644
index 00000000..7a4b89f8
--- /dev/null
+++ b/agent/src/test/java/com/code_intelligence/jazzer/instrumentor/ReplaceHooksTarget.java
@@ -0,0 +1,120 @@
+// Copyright 2021 Code Intelligence GmbH
+//
+// 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 com.code_intelligence.jazzer.instrumentor;
+
+import java.security.SecureRandom;
+import java.util.AbstractList;
+import java.util.ArrayList;
+import java.util.HashMap;
+import java.util.Map;
+
+// selfCheck() only passes with the hooks in ReplaceHooks.java applied.
+public class ReplaceHooksTarget implements ReplaceHooksTargetContract {
+  Map<String, Boolean> results = new HashMap<>();
+
+  public static boolean shouldReturnTrue3() {
+    // return true;
+    return false;
+  }
+
+  public Map<String, Boolean> selfCheck() {
+    results = new HashMap<>();
+
+    results.put("shouldReturnTrue1", shouldReturnTrue1());
+    results.put("shouldReturnTrue2", shouldReturnTrue2());
+    results.put("shouldReturnTrue3", shouldReturnTrue3());
+    try {
+      boolean notTrue = false;
+      results.put("shouldReturnFalse1", notTrue);
+      if (!results.get("shouldReturnFalse1"))
+        results.put("shouldReturnFalse1", !shouldReturnFalse1());
+      boolean notFalse = true;
+      results.put("shouldReturnFalse2", !shouldReturnFalse2() && notFalse);
+      results.put("shouldReturnFalse3", !shouldReturnFalse3());
+    } catch (Exception e) {
+      boolean notTrue = false;
+      results.put("shouldNotBeExecuted", notTrue);
+    }
+    results.put("shouldReturnReversed", shouldReturnReversed("foo").equals("oof"));
+    results.put("shouldIncrement", shouldIncrement(5) == 6);
+    results.put("verifyIdentity", verifyIdentity());
+
+    results.put("shouldCallPass", false);
+    if (!results.get("shouldCallPass")) {
+      shouldCallPass();
+    }
+
+    AbstractList<Boolean> boolList = new ArrayList<>();
+    boolList.add(false);
+    results.put("arrayListGet", boolList.get(0));
+
+    return results;
+  }
+
+  public boolean shouldReturnTrue1() {
+    // return true;
+    return false;
+  }
+
+  public boolean shouldReturnTrue2() {
+    // return true;
+    return false;
+  }
+
+  protected Boolean shouldReturnFalse1() {
+    // return false;
+    return true;
+  }
+
+  Boolean shouldReturnFalse2() {
+    // return false;
+    return true;
+  }
+
+  public Boolean shouldReturnFalse3() {
+    // return false;
+    return true;
+  }
+
+  public String shouldReturnReversed(String input) {
+    // return new StringBuilder(input).reverse().toString();
+    return input;
+  }
+
+  public int shouldIncrement(int input) {
+    // return input + 1;
+    return input;
+  }
+
+  private void shouldCallPass() {
+    // pass("shouldCallPass");
+  }
+
+  private boolean verifyIdentity() {
+    SecureRandom rand = new SecureRandom();
+    int input = rand.nextInt();
+    // return idempotent(idempotent(input)) == input;
+    return idempotent(input) == input;
+  }
+
+  private int idempotent(int input) {
+    int secret = 0x12345678;
+    return input ^ secret;
+  }
+
+  public void pass(String test) {
+    results.put(test, true);
+  }
+}