feat: add bugs bypass of delete

zhenglin-charlie-li · Aug 3, 2023 · b4ad153 · b4ad153
1 parent 777a0bf
commit b4ad153
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 4 deletions.
diff --git a/src/sqlancer/stonedb/StoneDBBugs.java b/src/sqlancer/stonedb/StoneDBBugs.java
@@ -11,8 +11,9 @@ public final class StoneDBBugs {
     // INSERT IGNORE INTO t0(c0) VALUE (DEFAULT);
     // SELECT t0.c0 FROM t0 WHERE 0.4; -- expect 1 but got 0
     public static boolean bugNotReported1 = true;
+    // DELETE statements will result into crash, for example
     // DELETE LOW_PRIORITY FROM t0;
-    // will result into crash
+    // DELETE QUICK IGNORE FROM t0 WHERE -1370759901;
     public static boolean bugNotReported2 = true;
 
     private StoneDBBugs() {

diff --git a/src/sqlancer/stonedb/StoneDBProvider.java b/src/sqlancer/stonedb/StoneDBProvider.java
@@ -1,5 +1,7 @@
 package sqlancer.stonedb;
 
+import static sqlancer.stonedb.StoneDBBugs.bugNotReported2;
+
 import java.sql.Connection;
 import java.sql.DriverManager;
 import java.sql.Statement;
@@ -76,6 +78,9 @@ private static int mapActions(StoneDBGlobalState globalState, Action a) {
         case TABLE_CREATE:
             return r.getInteger(0, 1);
         case TABLE_DELETE:
+            if (bugNotReported2) {
+                return 0;
+            }
             return r.getInteger(0, 10);
         case TABLE_INSERT:
             return r.getInteger(0, globalState.getOptions().getMaxNumberInserts());

diff --git a/src/sqlancer/stonedb/gen/StoneDBTableDeleteGenerator.java b/src/sqlancer/stonedb/gen/StoneDBTableDeleteGenerator.java
@@ -1,7 +1,5 @@
 package sqlancer.stonedb.gen;
 
-import static sqlancer.stonedb.StoneDBBugs.bugNotReported2;
-
 import java.util.stream.Collectors;
 
 import sqlancer.Randomly;
@@ -31,7 +29,7 @@ public static SQLQueryAdapter generate(StoneDBGlobalState globalState) {
     public SQLQueryAdapter getQuery() {
         StoneDBTable randomTable = globalState.getSchema().getRandomTable();
         sb.append("DELETE");
-        if (!bugNotReported2 && Randomly.getBoolean()) {
+        if (Randomly.getBoolean()) {
             sb.append(" LOW_PRIORITY");
         }
         if (Randomly.getBoolean()) {