Java: Add testcase for generated summary model.

Author: michaelnebel

java/ql/test/library-tests/dataflow/external-models/C.java

@@ -24,6 +24,16 @@ void foo() {
     stepQualArg(argOut);
   }
 
+  void fooGenerated() {
+    Object arg1 = new Object();
+    stepArgResGenerated(arg1);
+
+    Object arg2 = new Object();
+    // The summary for the first parameter is ignored, because it is generated and
+    // because there is hand written summary for the second parameter.
+    stepArgResGeneratedIgnored(arg1, arg2);
+  }
+
   Object stepArgRes(Object x) { return null; }
 
   void stepArgArg(Object in, Object out) { }
@@ -33,4 +43,8 @@ void stepArgQual(Object x) { }
   Object stepQualRes() { return null; }
 
   void stepQualArg(Object out) { }
+
+  Object stepArgResGenerated(Object x) { return null; }
+
+  Object stepArgResGeneratedIgnored(Object x, Object y) { return null; }
 }

java/ql/test/library-tests/dataflow/external-models/steps.expected

@@ -8,3 +8,5 @@ invalidModelRow
 | C.java:20:5:20:8 | this | C.java:20:5:20:22 | stepQualRes(...) |
 | C.java:21:5:21:17 | this <.method> | C.java:21:5:21:17 | stepQualRes(...) |
 | C.java:24:5:24:23 | this <.method> | C.java:24:17:24:22 | argOut [post update] |
+| C.java:29:25:29:28 | arg1 | C.java:29:5:29:29 | stepArgResGenerated(...) |
+| C.java:34:38:34:41 | arg2 | C.java:34:5:34:42 | stepArgResGeneratedIgnored(...) |

java/ql/test/library-tests/dataflow/external-models/steps.ql

@@ -13,7 +13,10 @@ class SummaryModelTest extends SummaryModelCsv {
         "my.qltest;C;false;stepArgArg;(Object,Object);;Argument[0];Argument[1];taint",
         "my.qltest;C;false;stepArgQual;(Object);;Argument[0];Argument[-1];taint",
         "my.qltest;C;false;stepQualRes;();;Argument[-1];ReturnValue;taint",
-        "my.qltest;C;false;stepQualArg;(Object);;Argument[-1];Argument[0];taint"
+        "my.qltest;C;false;stepQualArg;(Object);;Argument[-1];Argument[0];taint",
+        "my.qltest;C;false;stepArgResGenerated;(Object);;Argument[0];ReturnValue;generated:taint",
+        "my.qltest;C;false;stepArgResGeneratedIgnored;(Object,Object);;Argument[0];ReturnValue;generated:taint",
+        "my.qltest;C;false;stepArgResGeneratedIgnored;(Object,Object);;Argument[1];ReturnValue;taint",
       ]
   }
 }