C#: Add test for range analysis

Author: tamasvajk

csharp/ql/test/library-tests/dataflow/rangeanalysis/RangeAnalysis.cs

@@ -0,0 +1,27 @@
+using System;
+
+class RangeAnalysis
+{
+  int f1(int x, int y)
+  {
+    if (x < 500)
+    {
+      if (x > 400) // x <= 499
+      {
+        return x;  // 401 <= x <= 499
+      }
+
+      if (y == x && y > 300) // x <= 400, y <= 400
+      {
+        return x + y; // x <= 400, 301 <= y <= 400, missing: 301 <= x
+      }
+
+      if (x > 500)  // x <= 400
+      {
+        return x;  // x <= 400, x >= 501, not possible
+      }
+    }
+
+    return 0;
+  }
+}

csharp/ql/test/library-tests/dataflow/rangeanalysis/RangeAnalysis.expected

@@ -0,0 +1,42 @@
+| RangeAnalysis.cs:7:9:7:9 | access to parameter x | 0 | lower |
+| RangeAnalysis.cs:7:9:7:9 | access to parameter x | 0 | upper |
+| RangeAnalysis.cs:7:13:7:15 | 500 | 500 | lower |
+| RangeAnalysis.cs:7:13:7:15 | 500 | 500 | upper |
+| RangeAnalysis.cs:9:11:9:11 | access to parameter x | 0 | lower |
+| RangeAnalysis.cs:9:11:9:11 | access to parameter x | 0 | upper |
+| RangeAnalysis.cs:9:11:9:11 | access to parameter x | 499 | upper |
+| RangeAnalysis.cs:9:15:9:17 | 400 | 400 | lower |
+| RangeAnalysis.cs:9:15:9:17 | 400 | 400 | upper |
+| RangeAnalysis.cs:11:16:11:16 | access to parameter x | 0 | lower |
+| RangeAnalysis.cs:11:16:11:16 | access to parameter x | 0 | upper |
+| RangeAnalysis.cs:11:16:11:16 | access to parameter x | 401 | lower |
+| RangeAnalysis.cs:11:16:11:16 | access to parameter x | 499 | upper |
+| RangeAnalysis.cs:14:11:14:11 | access to parameter y | 0 | lower |
+| RangeAnalysis.cs:14:11:14:11 | access to parameter y | 0 | upper |
+| RangeAnalysis.cs:14:16:14:16 | access to parameter x | 0 | lower |
+| RangeAnalysis.cs:14:16:14:16 | access to parameter x | 0 | upper |
+| RangeAnalysis.cs:14:16:14:16 | access to parameter x | 400 | upper |
+| RangeAnalysis.cs:14:21:14:21 | access to parameter y | 0 | lower |
+| RangeAnalysis.cs:14:21:14:21 | access to parameter y | 0 | upper |
+| RangeAnalysis.cs:14:21:14:21 | access to parameter y | 400 | upper |
+| RangeAnalysis.cs:14:25:14:27 | 300 | 300 | lower |
+| RangeAnalysis.cs:14:25:14:27 | 300 | 300 | upper |
+| RangeAnalysis.cs:16:16:16:16 | access to parameter x | 0 | lower |
+| RangeAnalysis.cs:16:16:16:16 | access to parameter x | 0 | upper |
+| RangeAnalysis.cs:16:16:16:16 | access to parameter x | 400 | upper |
+| RangeAnalysis.cs:16:16:16:20 | ... + ... | 1 | lower |
+| RangeAnalysis.cs:16:20:16:20 | access to parameter y | 0 | lower |
+| RangeAnalysis.cs:16:20:16:20 | access to parameter y | 0 | upper |
+| RangeAnalysis.cs:16:20:16:20 | access to parameter y | 301 | lower |
+| RangeAnalysis.cs:16:20:16:20 | access to parameter y | 400 | upper |
+| RangeAnalysis.cs:19:11:19:11 | access to parameter x | 0 | lower |
+| RangeAnalysis.cs:19:11:19:11 | access to parameter x | 0 | upper |
+| RangeAnalysis.cs:19:11:19:11 | access to parameter x | 400 | upper |
+| RangeAnalysis.cs:19:15:19:17 | 500 | 500 | lower |
+| RangeAnalysis.cs:19:15:19:17 | 500 | 500 | upper |
+| RangeAnalysis.cs:21:16:21:16 | access to parameter x | 0 | lower |
+| RangeAnalysis.cs:21:16:21:16 | access to parameter x | 0 | upper |
+| RangeAnalysis.cs:21:16:21:16 | access to parameter x | 400 | upper |
+| RangeAnalysis.cs:21:16:21:16 | access to parameter x | 501 | lower |
+| RangeAnalysis.cs:25:12:25:12 | 0 | 0 | lower |
+| RangeAnalysis.cs:25:12:25:12 | 0 | 0 | upper |

csharp/ql/test/library-tests/dataflow/rangeanalysis/RangeAnalysis.ql

@@ -0,0 +1,12 @@
+import csharp
+import semmle.code.csharp.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
+where bounded(e, b, delta, upper)
+select e, delta, getDirectionString(upper)