[SQLite] Do not use non-default encodings when using PQS

mrigger · mrigger · commit e1b268e45ccc · 2020-08-26T17:25:45.000+02:00
diff --git a/src/sqlancer/sqlite3/SQLite3Provider.java b/src/sqlancer/sqlite3/SQLite3Provider.java
@@ -331,7 +331,8 @@ private void addSensiblePragmaDefaults(SQLite3GlobalState globalState) throws SQ
             // the PQS implementation currently assumes the default behavior of LIKE
             pragmasToExecute.add("PRAGMA case_sensitive_like=ON;");
         }
-        if (Randomly.getBoolean()) {
+        if (Randomly.getBoolean() && globalState.getDmbsSpecificOptions().oracles != SQLite3OracleFactory.PQS) {
+            // the encoding has an influence how binary strings are cast
             pragmasToExecute.add(String.format("PRAGMA encoding = '%s';",
                     Randomly.fromOptions("UTF-8", "UTF-16", "UTF-16le", "UTF-16be")));
         }

Original file line number	Diff line number	Diff line change
`@@ -331,7 +331,8 @@ private void addSensiblePragmaDefaults(SQLite3GlobalState globalState) throws SQ`
`331`	`331`	`// the PQS implementation currently assumes the default behavior of LIKE`
`332`	`332`	`pragmasToExecute.add("PRAGMA case_sensitive_like=ON;");`
`333`	`333`	`}`
`334`		`- if (Randomly.getBoolean()) {`
	`334`	`+ if (Randomly.getBoolean() && globalState.getDmbsSpecificOptions().oracles != SQLite3OracleFactory.PQS) {`
	`335`	`+ // the encoding has an influence how binary strings are cast`
`335`	`336`	`pragmasToExecute.add(String.format("PRAGMA encoding = '%s';",`
`336`	`337`	`Randomly.fromOptions("UTF-8", "UTF-16", "UTF-16le", "UTF-16be")));`
`337`	`338`	`}`