Java: Add test for range analysis

Author: tamasvajk

java/ql/test/library-tests/dataflow/range-analysis/A.java

@@ -0,0 +1,19 @@
+public class A {
+  int f1(int x, int y) {
+    if (x < 500) {
+      if (x > 400) {
+        return x;
+      }
+
+      if (y == x && y > 300) {
+        return x;
+      }
+
+      if (x > 500) {
+        return x;
+      }
+    }
+
+    return 0;
+  }
+}

java/ql/test/library-tests/dataflow/range-analysis/RangeAnalysis.expected

@@ -0,0 +1,41 @@
+| A.java:3:9:3:9 | x | 0 | lower | NoReason |
+| A.java:3:9:3:9 | x | 0 | upper | NoReason |
+| A.java:3:13:3:15 | 500 | 500 | lower | NoReason |
+| A.java:3:13:3:15 | 500 | 500 | upper | NoReason |
+| A.java:4:11:4:11 | x | 0 | lower | NoReason |
+| A.java:4:11:4:11 | x | 0 | upper | NoReason |
+| A.java:4:11:4:11 | x | 499 | upper | ... < ... |
+| A.java:4:15:4:17 | 400 | 400 | lower | NoReason |
+| A.java:4:15:4:17 | 400 | 400 | upper | NoReason |
+| A.java:5:16:5:16 | x | 0 | lower | NoReason |
+| A.java:5:16:5:16 | x | 0 | upper | NoReason |
+| A.java:5:16:5:16 | x | 401 | lower | ... > ... |
+| A.java:5:16:5:16 | x | 499 | upper | ... < ... |
+| A.java:8:11:8:11 | y | 0 | lower | NoReason |
+| A.java:8:11:8:11 | y | 0 | upper | NoReason |
+| A.java:8:16:8:16 | x | 0 | lower | NoReason |
+| A.java:8:16:8:16 | x | 0 | upper | NoReason |
+| A.java:8:16:8:16 | x | 400 | upper | ... > ... |
+| A.java:8:21:8:21 | y | 0 | lower | ... == ... |
+| A.java:8:21:8:21 | y | 0 | lower | NoReason |
+| A.java:8:21:8:21 | y | 0 | upper | ... == ... |
+| A.java:8:21:8:21 | y | 0 | upper | NoReason |
+| A.java:8:21:8:21 | y | 400 | upper | ... == ... |
+| A.java:8:25:8:27 | 300 | 300 | lower | NoReason |
+| A.java:8:25:8:27 | 300 | 300 | upper | NoReason |
+| A.java:9:16:9:16 | x | 0 | lower | ... == ... |
+| A.java:9:16:9:16 | x | 0 | lower | NoReason |
+| A.java:9:16:9:16 | x | 0 | upper | ... == ... |
+| A.java:9:16:9:16 | x | 0 | upper | NoReason |
+| A.java:9:16:9:16 | x | 400 | upper | ... > ... |
+| A.java:12:11:12:11 | x | 0 | lower | NoReason |
+| A.java:12:11:12:11 | x | 0 | upper | NoReason |
+| A.java:12:11:12:11 | x | 400 | upper | ... > ... |
+| A.java:12:15:12:17 | 500 | 500 | lower | NoReason |
+| A.java:12:15:12:17 | 500 | 500 | upper | NoReason |
+| A.java:13:16:13:16 | x | 0 | lower | NoReason |
+| A.java:13:16:13:16 | x | 0 | upper | NoReason |
+| A.java:13:16:13:16 | x | 400 | upper | ... > ... |
+| A.java:13:16:13:16 | x | 501 | lower | ... > ... |
+| A.java:17:12:17:12 | 0 | 0 | lower | NoReason |
+| A.java:17:12:17:12 | 0 | 0 | upper | NoReason |

java/ql/test/library-tests/dataflow/range-analysis/RangeAnalysis.ql

@@ -0,0 +1,12 @@
+import java
+import semmle.code.java.dataflow.RangeAnalysis
+
+private string getDirectionString(boolean d) {
+  result = "upper" and d = true
+  or
+  result = "lower" and d = false
+}
+
+from Expr e, Bound b, int delta, boolean upper, Reason reason
+where bounded(e, b, delta, upper, reason)
+select e, delta, getDirectionString(upper), reason