Index: third_party/sqlite/sqlite-src-3080704/test/corruptB.test |
diff --git a/third_party/sqlite/sqlite-src-3080704/test/corruptB.test b/third_party/sqlite/sqlite-src-3080704/test/corruptB.test |
new file mode 100644 |
index 0000000000000000000000000000000000000000..c51cb5768026d0698b6d2d24211bdc8c3ed9d53b |
--- /dev/null |
+++ b/third_party/sqlite/sqlite-src-3080704/test/corruptB.test |
@@ -0,0 +1,193 @@ |
+# 2008 Sep 10 |
+# |
+# The author disclaims copyright to this source code. In place of |
+# a legal notice, here is a blessing: |
+# |
+# May you do good and not evil. |
+# May you find forgiveness for yourself and forgive others. |
+# May you share freely, never taking more than you give. |
+# |
+#*********************************************************************** |
+# This file implements regression tests for SQLite library. |
+# |
+# This file implements tests to make sure SQLite does not crash or |
+# segfault if it sees a corrupt database file. It specifically focuses |
+# on loops in the B-Tree structure. A loop is formed in a B-Tree structure |
+# when there exists a page that is both an a descendent or ancestor of |
+# itself. |
+# |
+# Also test that an SQLITE_CORRUPT error is returned if a B-Tree page |
+# contains a (corrupt) reference to a page greater than the configured |
+# maximum page number. |
+# |
+# $Id: corruptB.test,v 1.4 2009/07/21 19:25:24 danielk1977 Exp $ |
+ |
+set testdir [file dirname $argv0] |
+source $testdir/tester.tcl |
+ |
+# Do not use a codec for tests in this file, as the database file is |
+# manipulated directly using tcl scripts (using the [hexio_write] command). |
+# |
+do_not_use_codec |
+ |
+# These tests deal with corrupt database files |
+# |
+database_may_be_corrupt |
+ |
+ |
+do_test corruptB-1.1 { |
+ execsql { |
+ PRAGMA auto_vacuum = 1; |
+ CREATE TABLE t1(x); |
+ INSERT INTO t1 VALUES(randomblob(200)); |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ } |
+ expr {[file size test.db] > (1024*9)} |
+} {1} |
+integrity_check corruptB-1.2 |
+ |
+forcecopy test.db bak.db |
+ |
+# Set the right-child of a B-Tree rootpage to refer to the root-page itself. |
+# |
+do_test corruptB-1.3.1 { |
+ set ::root [execsql {SELECT rootpage FROM sqlite_master}] |
+ set ::offset [expr {($::root-1)*1024}] |
+ hexio_write test.db [expr $offset+8] [hexio_render_int32 $::root] |
+} {4} |
+do_test corruptB-1.3.2 { |
+ sqlite3 db test.db |
+ catchsql { SELECT * FROM t1 } |
+} {1 {database disk image is malformed}} |
+ |
+# Set the left-child of a cell in a B-Tree rootpage to refer to the |
+# root-page itself. |
+# |
+do_test corruptB-1.4.1 { |
+ db close |
+ forcecopy bak.db test.db |
+ set cell_offset [hexio_get_int [hexio_read test.db [expr $offset+12] 2]] |
+ hexio_write test.db [expr $offset+$cell_offset] [hexio_render_int32 $::root] |
+} {4} |
+do_test corruptB-1.4.2 { |
+ sqlite3 db test.db |
+ catchsql { SELECT * FROM t1 } |
+} {1 {database disk image is malformed}} |
+ |
+# Now grow the table B-Tree so that it is more than 2 levels high. |
+# |
+do_test corruptB-1.5.1 { |
+ db close |
+ forcecopy bak.db test.db |
+ sqlite3 db test.db |
+ execsql { |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ INSERT INTO t1 SELECT randomblob(200) FROM t1; |
+ } |
+} {} |
+ |
+forcecopy test.db bak.db |
+ |
+# Set the right-child pointer of the right-child of the root page to point |
+# back to the root page. |
+# |
+do_test corruptB-1.6.1 { |
+ db close |
+ set iRightChild [hexio_get_int [hexio_read test.db [expr $offset+8] 4]] |
+ set c_offset [expr ($iRightChild-1)*1024] |
+ hexio_write test.db [expr $c_offset+8] [hexio_render_int32 $::root] |
+} {4} |
+do_test corruptB-1.6.2 { |
+ sqlite3 db test.db |
+ catchsql { SELECT * FROM t1 } |
+} {1 {database disk image is malformed}} |
+ |
+# Set the left-child pointer of a cell of the right-child of the root page to |
+# point back to the root page. |
+# |
+do_test corruptB-1.7.1 { |
+ db close |
+ forcecopy bak.db test.db |
+ set cell_offset [hexio_get_int [hexio_read test.db [expr $c_offset+12] 2]] |
+ hexio_write test.db [expr $c_offset+$cell_offset] [hexio_render_int32 $::root] |
+} {4} |
+do_test corruptB-1.7.2 { |
+ sqlite3 db test.db |
+ catchsql { SELECT * FROM t1 } |
+} {1 {database disk image is malformed}} |
+ |
+do_test corruptB-1.8.1 { |
+ db close |
+ set cell_offset [hexio_get_int [hexio_read test.db [expr $offset+12] 2]] |
+ set iLeftChild [ |
+ hexio_get_int [hexio_read test.db [expr $offset+$cell_offset] 4] |
+ ] |
+ set c_offset [expr ($iLeftChild-1)*1024] |
+ hexio_write test.db [expr $c_offset+8] [hexio_render_int32 $::root] |
+} {4} |
+do_test corruptB-1.8.2 { |
+ sqlite3 db test.db |
+ catchsql { SELECT * FROM t1 } |
+} {1 {database disk image is malformed}} |
+ |
+# Set the left-child pointer of a cell of the right-child of the root page to |
+# point back to the root page. |
+# |
+do_test corruptB-1.9.1 { |
+ db close |
+ forcecopy bak.db test.db |
+ set cell_offset [hexio_get_int [hexio_read test.db [expr $c_offset+12] 2]] |
+ hexio_write test.db [expr $c_offset+$cell_offset] [hexio_render_int32 $::root] |
+} {4} |
+do_test corruptB-1.9.2 { |
+ sqlite3 db test.db |
+ catchsql { SELECT * FROM t1 } |
+} {1 {database disk image is malformed}} |
+ |
+#--------------------------------------------------------------------------- |
+ |
+do_test corruptB-2.1.1 { |
+ db close |
+ forcecopy bak.db test.db |
+ hexio_write test.db [expr $offset+8] [hexio_render_int32 0x6FFFFFFF] |
+} {4} |
+do_test corruptB-2.1.2 { |
+ sqlite3 db test.db |
+ catchsql { SELECT * FROM t1 } |
+} {1 {database disk image is malformed}} |
+ |
+#--------------------------------------------------------------------------- |
+ |
+# Corrupt the header-size field of a database record. |
+# |
+do_test corruptB-3.1.1 { |
+ db close |
+ forcecopy bak.db test.db |
+ sqlite3 db test.db |
+ set v [string repeat abcdefghij 200] |
+ execsql { |
+ CREATE TABLE t2(a); |
+ INSERT INTO t2 VALUES($v); |
+ } |
+ set t2_root [execsql {SELECT rootpage FROM sqlite_master WHERE name = 't2'}] |
+ set iPage [expr ($t2_root-1)*1024] |
+ set iCellarray [expr $iPage + 8] |
+ set iRecord [hexio_get_int [hexio_read test.db $iCellarray 2]] |
+ db close |
+ hexio_write test.db [expr $iPage+$iRecord+3] FF00 |
+} {2} |
+do_test corruptB-3.1.2 { |
+ sqlite3 db test.db |
+ catchsql { SELECT * FROM t2 } |
+} {1 {database disk image is malformed}} |
+ |
+finish_test |