Bump SQLite version to 3.40.0.0 (#652)

bajinsheng · web-flow · commit 5533c4e3c32a · 2022-12-17T12:38:37.000Z
* bump SQLite to 3.40.0.0

* Support RIGHT/FULL JOINs
diff --git a/pom.xml b/pom.xml
@@ -299,7 +299,7 @@
     <dependency>
       <groupId>org.xerial</groupId>
       <artifactId>sqlite-jdbc</artifactId>
-      <version>3.36.0.3</version>
+      <version>3.40.0.0</version>
     </dependency>
     <dependency>
       <groupId>mysql</groupId>
diff --git a/src/sqlancer/sqlite3/SQLite3ToStringVisitor.java b/src/sqlancer/sqlite3/SQLite3ToStringVisitor.java
@@ -237,6 +237,12 @@ public void visit(Join join) {
         case OUTER:
             sb.append("LEFT OUTER");
             break;
+        case RIGHT:
+            sb.append("RIGHT OUTER");
+            break;
+        case FULL:
+            sb.append("FULL OUTER");
+            break;
         default:
             throw new AssertionError(join.getType());
         }
diff --git a/src/sqlancer/sqlite3/ast/SQLite3Expression.java b/src/sqlancer/sqlite3/ast/SQLite3Expression.java
@@ -131,7 +131,7 @@ public SQLite3CollateSequence getExplicitCollateSequence() {
     public static class Join extends SQLite3Expression {
 
         public enum JoinType {
-            INNER, CROSS, OUTER, NATURAL;
+            INNER, CROSS, OUTER, NATURAL, RIGHT, FULL;
         }
 
         private final SQLite3Table table;
diff --git a/src/sqlancer/sqlite3/gen/SQLite3ExpressionGenerator.java b/src/sqlancer/sqlite3/gen/SQLite3ExpressionGenerator.java
@@ -139,19 +139,25 @@ public List<Join> getRandomJoinClauses(List<SQLite3Table> tables) {
         if (!globalState.getDbmsSpecificOptions().testJoins) {
             return joinStatements;
         }
+        List<JoinType> options = new ArrayList<>(Arrays.asList(JoinType.values()));
         if (Randomly.getBoolean() && tables.size() > 1) {
             int nrJoinClauses = (int) Randomly.getNotCachedInteger(0, tables.size());
+            // Natural join is incompatible with other joins
+            // because it needs unique column names
+            // while other joins will produce duplicate column names
+            if (nrJoinClauses > 1) {
+                options.remove(JoinType.NATURAL);
+            }
             for (int i = 0; i < nrJoinClauses; i++) {
                 SQLite3Expression joinClause = generateExpression();
                 SQLite3Table table = Randomly.fromList(tables);
                 tables.remove(table);
-                JoinType options;
-                options = Randomly.fromOptions(JoinType.INNER, JoinType.CROSS, JoinType.OUTER, JoinType.NATURAL);
-                if (options == JoinType.NATURAL) {
+                JoinType selectedOption = Randomly.fromList(options);
+                if (selectedOption == JoinType.NATURAL) {
                     // NATURAL joins do not have an ON clause
                     joinClause = null;
                 }
-                Join j = new SQLite3Expression.Join(table, joinClause, options);
+                Join j = new SQLite3Expression.Join(table, joinClause, selectedOption);
                 joinStatements.add(j);
             }
 

Original file line number	Diff line number	Diff line change
`@@ -131,7 +131,7 @@ public SQLite3CollateSequence getExplicitCollateSequence() {`
`131`	`131`	`public static class Join extends SQLite3Expression {`
`132`	`132`
`133`	`133`	`public enum JoinType {`
`134`		`- INNER, CROSS, OUTER, NATURAL;`
	`134`	`+ INNER, CROSS, OUTER, NATURAL, RIGHT, FULL;`
`135`	`135`	`}`
`136`	`136`
`137`	`137`	`private final SQLite3Table table;`