| OLD | NEW |
| (Empty) |
| 1 # 2014-01-20 | |
| 2 # | |
| 3 # The author disclaims copyright to this source code. In place of | |
| 4 # a legal notice, here is a blessing: | |
| 5 # | |
| 6 # May you do good and not evil. | |
| 7 # May you find forgiveness for yourself and forgive others. | |
| 8 # May you share freely, never taking more than you give. | |
| 9 # | |
| 10 #*********************************************************************** | |
| 11 # | |
| 12 | |
| 13 set testdir [file dirname $argv0] | |
| 14 source $testdir/tester.tcl | |
| 15 set testprefix corruptH | |
| 16 | |
| 17 # Do not use a codec for tests in this file, as the database file is | |
| 18 # manipulated directly using tcl scripts (using the [hexio_write] command). | |
| 19 # | |
| 20 do_not_use_codec | |
| 21 database_may_be_corrupt | |
| 22 | |
| 23 # The corruption migrations tested by the code in this file are not detected | |
| 24 # mmap mode. | |
| 25 # | |
| 26 # The reason is that in mmap mode, the different queries may use different | |
| 27 # PgHdr objects for the same page (same data, but different PgHdr container | |
| 28 # objects). And so the corruption is not detected. | |
| 29 # | |
| 30 if {[permutation]=="mmap"} { | |
| 31 finish_test | |
| 32 return | |
| 33 } | |
| 34 | |
| 35 # Initialize the database. | |
| 36 # | |
| 37 do_execsql_test 1.1 { | |
| 38 PRAGMA page_size=1024; | |
| 39 | |
| 40 CREATE TABLE t1(a INTEGER PRIMARY KEY, b); | |
| 41 INSERT INTO t1 VALUES(1, 'one'); | |
| 42 INSERT INTO t1 VALUES(2, 'two'); | |
| 43 | |
| 44 CREATE TABLE t2(x); | |
| 45 INSERT INTO t2 VALUES(randomblob(200)); | |
| 46 INSERT INTO t2 SELECT randomblob(200) FROM t2; | |
| 47 INSERT INTO t2 SELECT randomblob(200) FROM t2; | |
| 48 INSERT INTO t2 SELECT randomblob(200) FROM t2; | |
| 49 INSERT INTO t2 SELECT randomblob(200) FROM t2; | |
| 50 INSERT INTO t2 SELECT randomblob(200) FROM t2; | |
| 51 INSERT INTO t2 SELECT randomblob(200) FROM t2; | |
| 52 } {} | |
| 53 | |
| 54 # Corrupt the file so that the root page of t1 is also linked into t2 as | |
| 55 # a leaf page. | |
| 56 # | |
| 57 do_test 1.2 { | |
| 58 db eval { SELECT name, rootpage FROM sqlite_master } { | |
| 59 set r($name) $rootpage | |
| 60 } | |
| 61 db close | |
| 62 hexio_write test.db [expr {($r(t2)-1)*1024 + 11}] [format %.2X $r(t1)] | |
| 63 sqlite3 db test.db | |
| 64 } {} | |
| 65 | |
| 66 do_test 1.3 { | |
| 67 db eval { PRAGMA secure_delete=1 } | |
| 68 list [catch { | |
| 69 db eval { SELECT * FROM t1 WHERE a IN (1, 2) } { | |
| 70 db eval { DELETE FROM t2 } | |
| 71 } | |
| 72 } msg] $msg | |
| 73 } {1 {database disk image is malformed}} | |
| 74 | |
| 75 #------------------------------------------------------------------------- | |
| 76 reset_db | |
| 77 | |
| 78 # Initialize the database. | |
| 79 # | |
| 80 do_execsql_test 2.1 { | |
| 81 PRAGMA auto_vacuum=0; | |
| 82 PRAGMA page_size=1024; | |
| 83 | |
| 84 CREATE TABLE t1(a INTEGER PRIMARY KEY, b); | |
| 85 INSERT INTO t1 VALUES(1, 'one'); | |
| 86 INSERT INTO t1 VALUES(2, 'two'); | |
| 87 | |
| 88 CREATE TABLE t3(x); | |
| 89 | |
| 90 CREATE TABLE t2(x PRIMARY KEY) WITHOUT ROWID; | |
| 91 INSERT INTO t2 VALUES(randomblob(100)); | |
| 92 | |
| 93 DROP TABLE t3; | |
| 94 } {} | |
| 95 | |
| 96 do_test 2.2 { | |
| 97 db eval { SELECT name, rootpage FROM sqlite_master } { | |
| 98 set r($name) $rootpage | |
| 99 } | |
| 100 db close | |
| 101 set fl [hexio_get_int [hexio_read test.db 32 4]] | |
| 102 | |
| 103 hexio_write test.db [expr {($fl-1) * 1024 + 0}] 00000000 | |
| 104 hexio_write test.db [expr {($fl-1) * 1024 + 4}] 00000001 | |
| 105 hexio_write test.db [expr {($fl-1) * 1024 + 8}] [format %.8X $r(t1)] | |
| 106 hexio_write test.db 36 00000002 | |
| 107 | |
| 108 sqlite3 db test.db | |
| 109 } {} | |
| 110 | |
| 111 | |
| 112 # The trick here is that the root page of the tree scanned by the outer | |
| 113 # query is also currently on the free-list. So while the first seek on | |
| 114 # the table (for a==1) works, by the time the second is attempted The | |
| 115 # "INSERT INTO t2..." statements have recycled the root page of t1 and | |
| 116 # used it as an index leaf. Normally, BtreeMovetoUnpacked() detects | |
| 117 # that the PgHdr object associated with said root page does not match | |
| 118 # the cursor (as it is now marked with PgHdr.intKey==0) and returns | |
| 119 # SQLITE_CORRUPT. | |
| 120 # | |
| 121 set res23 {1 {database disk image is malformed}} | |
| 122 do_test 2.3 { | |
| 123 list [catch { | |
| 124 set res [list] | |
| 125 db eval { SELECT * FROM t1 WHERE a IN (1, 2) } { | |
| 126 db eval { | |
| 127 INSERT INTO t2 SELECT randomblob(100) FROM t2; | |
| 128 INSERT INTO t2 SELECT randomblob(100) FROM t2; | |
| 129 INSERT INTO t2 SELECT randomblob(100) FROM t2; | |
| 130 INSERT INTO t2 SELECT randomblob(100) FROM t2; | |
| 131 INSERT INTO t2 SELECT randomblob(100) FROM t2; | |
| 132 } | |
| 133 lappend res $b | |
| 134 } | |
| 135 set res | |
| 136 } msg] $msg | |
| 137 } $res23 | |
| 138 | |
| 139 #------------------------------------------------------------------------- | |
| 140 reset_db | |
| 141 | |
| 142 # Initialize the database. | |
| 143 # | |
| 144 do_execsql_test 3.1 { | |
| 145 PRAGMA page_size=1024; | |
| 146 | |
| 147 CREATE TABLE t1(a INTEGER PRIMARY KEY, b); | |
| 148 INSERT INTO t1 VALUES(1, 'one'); | |
| 149 INSERT INTO t1 VALUES(2, 'two'); | |
| 150 | |
| 151 CREATE TABLE t2(c INTEGER PRAGMA KEY, d); | |
| 152 INSERT INTO t2 VALUES(1, randomblob(1100)); | |
| 153 } {} | |
| 154 | |
| 155 do_test 3.2 { | |
| 156 db eval { SELECT name, rootpage FROM sqlite_master } { | |
| 157 set r($name) $rootpage | |
| 158 } | |
| 159 db close | |
| 160 | |
| 161 hexio_write test.db [expr {($r(t2)-1) * 1024 + 1020}] 00000002 | |
| 162 | |
| 163 sqlite3 db test.db | |
| 164 } {} | |
| 165 | |
| 166 do_test 3.3 { | |
| 167 list [catch { | |
| 168 db eval { SELECT * FROM t1 WHERE a IN (1, 2) } { | |
| 169 db eval { | |
| 170 DELETE FROM t2 WHERE c=1; | |
| 171 } | |
| 172 } | |
| 173 } msg] $msg | |
| 174 } {1 {database disk image is malformed}} | |
| 175 | |
| 176 finish_test | |
| 177 | |
| OLD | NEW |