feat(core): Add must aliasing for better cleaner application

core/opentaint-dataflow-core/opentaint-dataflow/src/main/kotlin/org/opentaint/dataflow/util/Cancellation.kt

@@ -1,5 +1,8 @@
 package org.opentaint.dataflow.util
 
+import java.lang.management.ManagementFactory
+import kotlin.time.Duration
+
 class Cancellation {
     class Cancelled : Exception("Operation cancelled") {
         override fun fillInStackTrace(): Throwable = this
@@ -22,4 +25,18 @@ class Cancellation {
         if (isActive) return
         throw Cancelled()
     }
+
+    companion object {
+        private val isDebugActive = lazy { getDebuggerAttachment() }
+
+        private fun getDebuggerAttachment() =
+            ManagementFactory.getRuntimeMXBean().inputArguments
+                .any { it.contains("-agentlib:jdwp") || it.contains("-Xdebug") }
+
+        fun getActiveDuration(duration: Duration) =
+            if (isDebugActive.value)
+                Duration.INFINITE
+            else
+                duration
+    }
 }

core/opentaint-dataflow-core/opentaint-jvm-dataflow/samples/src/main/java/sample/AliasSettings.java

@@ -0,0 +1,5 @@
+package sample;
+
+public @interface AliasSettings {
+    int interProcDepth() default 0;
+}

core/opentaint-dataflow-core/opentaint-jvm-dataflow/samples/src/main/java/sample/BaseSample.java

@@ -0,0 +1,57 @@
+package sample;
+
+public class BaseSample {
+
+    protected Object field;
+
+    public Object getField() {
+        return this.field;
+    }
+
+    public void setField(Object val) {
+        this.field = val;
+    }
+
+    public static class Box {
+        public Object value;
+
+        public void touchHeap() { }
+    }
+
+    public static Object readValue(Box box) {
+        return box.value;
+    }
+
+    public static Box makeBox(Object value) {
+        Box box = new Box();
+        box.value = value;
+        return box;
+    }
+
+    public static Box passThroughBox(Box box) {
+        return box;
+    }
+
+    public static class Nested {
+        public Box box;
+
+        public void touchHeap() { }
+
+        public void touchHeapDepth2() { touchHeap(); }
+    }
+
+    public static class Node {
+        public Node next;
+        public Object data;
+    }
+
+    public static Object identity(Object x) {
+        return x;
+    }
+
+    public static void sinkOneValue(Object v) { }
+
+    public static void sinkTwoValues(Object v1, Object v2) { }
+
+    public static void doNothing() { }
+}

core/opentaint-dataflow-core/opentaint-jvm-dataflow/samples/src/main/java/sample/alias/CombinedHeapAliasSample.java

@@ -0,0 +1,74 @@
+package sample.alias;
+
+import sample.AliasSettings;
+import sample.BaseSample;
+
+public class CombinedHeapAliasSample extends BaseSample {
+
+    static void writeArgThenTouchHeap(Box box, Object src) {
+        box.value = src;
+        Object alias = box.value;
+        box.touchHeap();
+        sinkOneValue(alias);
+    }
+
+    @AliasSettings(interProcDepth = 1)
+    static void returnArgField(Box box) {
+        Object result = readValue(box);
+        sinkOneValue(result);
+    }
+
+    @AliasSettings(interProcDepth = 1)
+    static void returnIdentityThenWriteField(Box box, Object src) {
+        Object tmp = identity(src);
+        box.value = tmp;
+        Object result = box.value;
+        sinkOneValue(result);
+    }
+
+    @AliasSettings(interProcDepth = 1)
+    static void freshObjectCarriesReturnedArg(Object src) {
+        Box fresh = makeBox(identity(src));
+        Object result = fresh.value;
+        sinkOneValue(result);
+    }
+
+    static void freshObjectCopiesArgumentField(Box srcBox) {
+        Box fresh = new Box();
+        fresh.value = srcBox.value;
+        Object result = fresh.value;
+        sinkOneValue(result);
+    }
+
+    @AliasSettings(interProcDepth = 1)
+    static void passThroughReceiverThenReadField(Box box) {
+        Box alias = passThroughBox(box);
+        Object result = alias.value;
+        sinkOneValue(result);
+    }
+
+    @AliasSettings(interProcDepth = 1)
+    static void nestedWriteReturnAndTouchHeap(Nested nested, Object src) {
+        nested.box.value = identity(src);
+        Object alias = readValue(nested.box);
+        nested.touchHeapDepth2();
+        sinkOneValue(alias);
+    }
+
+    static void overwriteFieldWithFreshObject(Box box, Object src) {
+        box.value = src;
+        Box fresh = new Box();
+        fresh.value = new Object();
+        box.value = fresh.value;
+        Object result = fresh.value;
+        sinkOneValue(result);
+    }
+
+    @AliasSettings(interProcDepth = 1)
+    static void returnFreshBoxThenAliasField(Box box, Object src) {
+        box.value = src;
+        Box other = makeBox(box.value);
+        Object result = other.value;
+        sinkOneValue(result);
+    }
+}

core/opentaint-dataflow-core/opentaint-jvm-dataflow/samples/src/main/java/sample/alias/FlakyAliasSample.java

@@ -1,21 +1,24 @@
 package sample.alias;
 
 import java.nio.ByteBuffer;
+import sample.AliasSettings;
+import sample.BaseSample;
 
-public final class FlakyAliasSample {
+public final class FlakyAliasSample extends BaseSample {
 
     interface Pooled<T> {
         T getResource();
     }
 
     private Pooled<ByteBuffer> buffer;
 
-    static void sinkOneValue(Object v) { }
-
+    @AliasSettings(interProcDepth = 1)
     public int write(java.nio.ByteBuffer src) {
+        Object copyForNonEmptyAlias = identity(src);
         java.nio.ByteBuffer[] arr = new java.nio.ByteBuffer[]{src};
         flushBufferWithUserData(arr);
-        sinkOneValue(arr);
+        sinkOneValue(copyForNonEmptyAlias);
+        identity(arr);
         return 0;
     }
 

core/opentaint-dataflow-core/opentaint-jvm-dataflow/samples/src/main/java/sample/alias/HeaderValuesHangSample.java

@@ -1,11 +1,14 @@
 package sample.alias;
 
+import sample.AliasSettings;
+
 public final class HeaderValuesHangSample {
 
     public static void sinkOneValue(Object v) {}
 
     String[] value;
 
+    @AliasSettings(interProcDepth = 1)
     public void addAllEntry() {
         ElementBox box = new ElementBox();
         for (int i = 0; i < 1; i++) {

core/opentaint-dataflow-core/opentaint-jvm-dataflow/samples/src/main/java/sample/alias/HeapAliasSample.java

@@ -1,19 +1,8 @@
 package sample.alias;
 
-public class HeapAliasSample {
+import sample.BaseSample;
 
-    static class Box {
-        Object value;
-    }
-
-    static class Nested {
-        Box box;
-    }
-
-    static class Node {
-        Node next;
-        Object data;
-    }
+public class HeapAliasSample extends BaseSample  {
 
     static void readArgField(Box box) {
         Object dst = box.value;
@@ -112,7 +101,4 @@ static void aliasedReceiverFieldWrite(Box b1, Box b2, Object src) {
         Object dst = b2.value;
         sinkOneValue(dst);
     }
-
-    static void sinkOneValue(Object v) { }
-    static void sinkTwoValues(Object v1, Object v2) { }
 }

core/opentaint-dataflow-core/opentaint-jvm-dataflow/samples/src/main/java/sample/alias/InterProcAliasSample.java

@@ -2,34 +2,25 @@
 
 import java.util.Collections;
 import java.util.List;
+import sample.AliasSettings;
+import sample.BaseSample;
 
-public class InterProcAliasSample {
-
-    Object field;
-
-    Object getField() {
-        return this.field;
-    }
-
-    void setField(Object val) {
-        this.field = val;
-    }
+public class InterProcAliasSample extends BaseSample {
 
+    @AliasSettings(interProcDepth = 1)
     void testGetterAlias() {
         Object result = getField();
         sinkOneValue(result);
     }
 
+    @AliasSettings(interProcDepth = 1)
     void testSetterThenGetter(Object src) {
         setField(src);
         Object result = getField();
         sinkOneValue(result);
     }
 
-    static Object identity(Object x) {
-        return x;
-    }
-
+    @AliasSettings(interProcDepth = 1)
     static void testIdentityCall(Object src) {
         Object result = identity(src);
         sinkOneValue(result);
@@ -47,6 +38,4 @@ static void testExternalCallInvalidatesHeap(Object src) {
         Object dst = arr[0];
         sinkOneValue(dst);
     }
-
-    static void sinkOneValue(Object v) { }
 }

core/opentaint-dataflow-core/opentaint-jvm-dataflow/samples/src/main/java/sample/alias/LoopAliasSample.java

@@ -1,13 +1,9 @@
 package sample.alias;
 
 import java.util.List;
+import sample.BaseSample;
 
-public class LoopAliasSample {
-
-    static class Node {
-        Node next;
-        Object data;
-    }
+public class LoopAliasSample extends BaseSample {
 
     static void aliasInLoop(Object a, Object b) {
         Object cur = a;
@@ -62,7 +58,4 @@ static void nodeNextLoopData(Node head) {
         Object data = cur.data;
         sinkOneValue(data);
     }
-
-    static void sinkOneValue(Object v) { }
-    static void doNothing() { }
 }