Merge pull request #14206 from smowton/smowton/feature/add-java-miscompilation-tests

Java: add tests for programs that don't compile

Author: smowton

java/ql/lib/semmle/code/java/ControlFlowGraph.qll

@@ -477,6 +477,8 @@ private module ControlFlowGraphImpl {
       or
       this instanceof Call // includes both expressions and statements
       or
+      this instanceof ErrorExpr
+      or
       this instanceof ReturnStmt
       or
       this instanceof ThrowStmt

java/ql/lib/semmle/code/java/Expr.qll

@@ -276,7 +276,8 @@ class ExprParent extends @exprparent, Top { }
  * An error expression.
  *
  * These may be generated by upgrade or downgrade scripts when databases
- * cannot be fully converted.
+ * cannot be fully converted, or generated by the extractor when extracting
+ * source code containing errors.
  */
 class ErrorExpr extends Expr, @errorexpr {
   override string toString() { result = "<error expr>" }
@@ -1243,7 +1244,11 @@ class ClassInstanceExpr extends Expr, ConstructorCall, @classinstancexpr {
   override Stmt getEnclosingStmt() { result = Expr.super.getEnclosingStmt() }
 
   /** Gets a printable representation of this expression. */
-  override string toString() { result = "new " + this.getConstructor().getName() + "(...)" }
+  override string toString() {
+    result = "new " + this.getConstructor().getName() + "(...)"
+    or
+    not exists(this.getConstructor()) and result = "<ClassInstanceExpr that calls a missing constructor>"
+  }
 
   override string getAPrimaryQlClass() { result = "ClassInstanceExpr" }
 }

java/ql/test/kotlin/library-tests/exprs/CONSISTENCY/cfgDeadEnds.expected

@@ -0,0 +1,30 @@
+Test.java:
+#    0| [CompilationUnit] Test
+#    1|   1: [Class] Test
+#    3|     2: [Method] yield
+#    3|       3: [TypeAccess] int
+#-----|       4: (Parameters)
+#    3|         0: [Parameter] x
+#    3|           0: [TypeAccess] int
+#    3|       5: [BlockStmt] { ... }
+#    3|         0: [ReturnStmt] return ...
+#    3|           0: [VarAccess] x
+#    5|     3: [Method] secondCall
+#    5|       3: [TypeAccess] void
+#    5|       5: [BlockStmt] { ... }
+#    7|     4: [Method] yieldWrapper
+#    7|       3: [TypeAccess] int
+#-----|       4: (Parameters)
+#    7|         0: [Parameter] x
+#    7|           0: [TypeAccess] int
+#    7|       5: [BlockStmt] { ... }
+#    8|         0: [LocalVariableDeclStmt] var ...;
+#    8|           0: [TypeAccess] int
+#    8|           1: [LocalVariableDeclExpr] ret
+#    8|             0: [ErrorExpr] <error expr>
+#    8|               0: [MethodAccess] yield(...)
+#    8|                 0: [VarAccess] x
+#    9|         1: [ExprStmt] <Expr>;
+#    9|           0: [MethodAccess] secondCall(...)
+#   10|         2: [ReturnStmt] return ...
+#   10|           0: [VarAccess] ret

java/ql/test/library-tests/errorexpr/PrintAst.expected

@@ -0,0 +1 @@
+semmle/code/java/PrintAst.ql

java/ql/test/library-tests/errorexpr/PrintAst.qlref

@@ -0,0 +1,17 @@
+public class Test {
+
+  public int yield(int x) { return x; }
+
+  public void secondCall() { }
+
+  public int yieldWrapper(int x) { 
+    int ret = yield(x); 
+    secondCall();
+    return ret;
+  }
+
+}
+
+// Diagnostic Matches: Erroneous node in tree: (ERROR)
+// Diagnostic Matches: In file Test.java:8:15 no end location for JCMethodInvocation : yield(x)
+// Diagnostic Matches: 1 errors during annotation processing

java/ql/test/library-tests/errorexpr/Test.java

@@ -0,0 +1 @@
+//semmle-extractor-options: --no-strict-javac-errors --javac-args -source 17 -target 17

java/ql/test/library-tests/errorexpr/options

@@ -0,0 +1 @@
+| file://:0:0:0:0 | 1 errors during annotation processing |

java/ql/test/library-tests/errortype-with-params/Diags.expected

@@ -0,0 +1,4 @@
+import java
+import semmle.code.java.Diagnostics
+
+select any(Diagnostic d | not d.toString().matches("Not rewriting trap file for%"))