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 breakpoint | |
68 db eval { PRAGMA secure_delete=1 } | |
69 list [catch { | |
70 db eval { SELECT * FROM t1 WHERE a IN (1, 2) } { | |
71 db eval { DELETE FROM t2 } | |
72 } | |
73 } msg] $msg | |
74 } {1 {database disk image is malformed}} | |
75 | |
76 #------------------------------------------------------------------------- | |
77 reset_db | |
78 | |
79 # Initialize the database. | |
80 # | |
81 do_execsql_test 2.1 { | |
82 PRAGMA auto_vacuum=0; | |
83 PRAGMA page_size=1024; | |
84 | |
85 CREATE TABLE t1(a INTEGER PRIMARY KEY, b); | |
86 INSERT INTO t1 VALUES(1, 'one'); | |
87 INSERT INTO t1 VALUES(2, 'two'); | |
88 | |
89 CREATE TABLE t3(x); | |
90 | |
91 CREATE TABLE t2(x PRIMARY KEY) WITHOUT ROWID; | |
92 INSERT INTO t2 VALUES(randomblob(100)); | |
93 | |
94 DROP TABLE t3; | |
95 } {} | |
96 | |
97 do_test 2.2 { | |
98 db eval { SELECT name, rootpage FROM sqlite_master } { | |
99 set r($name) $rootpage | |
100 } | |
101 db close | |
102 set fl [hexio_get_int [hexio_read test.db 32 4]] | |
103 | |
104 hexio_write test.db [expr {($fl-1) * 1024 + 0}] 00000000 | |
105 hexio_write test.db [expr {($fl-1) * 1024 + 4}] 00000001 | |
106 hexio_write test.db [expr {($fl-1) * 1024 + 8}] [format %.8X $r(t1)] | |
107 hexio_write test.db 36 00000002 | |
108 | |
109 sqlite3 db test.db | |
110 } {} | |
111 | |
112 | |
113 # The trick here is that the root page of the tree scanned by the outer | |
114 # query is also currently on the free-list. So while the first seek on | |
115 # the table (for a==1) works, by the time the second is attempted The | |
116 # "INSERT INTO t2..." statements have recycled the root page of t1 and | |
117 # used it as an index leaf. Normally, BtreeMovetoUnpacked() detects | |
118 # that the PgHdr object associated with said root page does not match | |
119 # the cursor (as it is now marked with PgHdr.intKey==0) and returns | |
120 # SQLITE_CORRUPT. | |
121 # | |
122 set res23 {1 {database disk image is malformed}} | |
123 do_test 2.3 { | |
124 list [catch { | |
125 set res [list] | |
126 db eval { SELECT * FROM t1 WHERE a IN (1, 2) } { | |
127 db eval { | |
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 INSERT INTO t2 SELECT randomblob(100) FROM t2; | |
133 } | |
134 lappend res $b | |
135 } | |
136 set res | |
137 } msg] $msg | |
138 } $res23 | |
139 | |
140 #------------------------------------------------------------------------- | |
141 reset_db | |
142 | |
143 # Initialize the database. | |
144 # | |
145 do_execsql_test 3.1 { | |
146 PRAGMA page_size=1024; | |
147 | |
148 CREATE TABLE t1(a INTEGER PRIMARY KEY, b); | |
149 INSERT INTO t1 VALUES(1, 'one'); | |
150 INSERT INTO t1 VALUES(2, 'two'); | |
151 | |
152 CREATE TABLE t2(c INTEGER PRAGMA KEY, d); | |
153 INSERT INTO t2 VALUES(1, randomblob(1100)); | |
154 } {} | |
155 | |
156 do_test 3.2 { | |
157 db eval { SELECT name, rootpage FROM sqlite_master } { | |
158 set r($name) $rootpage | |
159 } | |
160 db close | |
161 | |
162 hexio_write test.db [expr {($r(t2)-1) * 1024 + 1020}] 00000002 | |
163 | |
164 sqlite3 db test.db | |
165 } {} | |
166 | |
167 do_test 3.3 { | |
168 list [catch { | |
169 db eval { SELECT * FROM t1 WHERE a IN (1, 2) } { | |
170 db eval { | |
171 DELETE FROM t2 WHERE c=1; | |
172 } | |
173 } | |
174 } msg] $msg | |
175 } {1 {database disk image is malformed}} | |
176 | |
177 finish_test | |
178 | |
OLD | NEW |