xref: /sqlite-3.40.0/test/corruptE.test (revision f2fcd075) 
1# 2010 February 18
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# This file implements regression tests for SQLite library.
12#
13# This file implements tests to make sure SQLite does not crash or
14# segfault if it sees a corrupt database file.  It specifcally
15# focuses on rowid order corruption.
16#
17# $Id: corruptE.test,v 1.14 2009/07/11 06:55:34 danielk1977 Exp $
18
19catch {file delete -force test.db test.db-journal test.bu}
20
21set testdir [file dirname $argv0]
22source $testdir/tester.tcl
23
24# Do not use a codec for tests in this file, as the database file is
25# manipulated directly using tcl scripts (using the [hexio_write] command).
26#
27do_not_use_codec
28
29# Do not run the tests in this file if ENABLE_OVERSIZE_CELL_CHECK is on.
30#
31ifcapable oversize_cell_check {
32  finish_test
33  return
34}
35
36# Construct a compact, dense database for testing.
37#
38do_test corruptE-1.1 {
39  execsql {
40    PRAGMA auto_vacuum = 0;
41    PRAGMA legacy_file_format=1;
42    BEGIN;
43    CREATE TABLE t1(x,y);
44    INSERT INTO t1 VALUES(1,1);
45    INSERT OR IGNORE INTO t1 SELECT x*2,y FROM t1;
46    INSERT OR IGNORE INTO t1 SELECT x*3,y FROM t1;
47    INSERT OR IGNORE INTO t1 SELECT x*5,y FROM t1;
48    INSERT OR IGNORE INTO t1 SELECT x*7,y FROM t1;
49    INSERT OR IGNORE INTO t1 SELECT x*11,y FROM t1;
50    INSERT OR IGNORE INTO t1 SELECT x*13,y FROM t1;
51    INSERT OR IGNORE INTO t1 SELECT x*17,y FROM t1;
52    INSERT OR IGNORE INTO t1 SELECT x*19,y FROM t1;
53    CREATE INDEX t1i1 ON t1(x);
54    CREATE TABLE t2 AS SELECT x,2 as y FROM t1 WHERE rowid%5!=0;
55    COMMIT;
56  }
57} {}
58
59ifcapable {integrityck} {
60  integrity_check corruptE-1.2
61}
62
63# Copy file $from into $to
64#
65proc copy_file {from to} {
66  file copy -force $from $to
67}
68
69# Setup for the tests.  Make a backup copy of the good database in test.bu.
70#
71db close
72copy_file test.db test.bu
73sqlite3 db test.db
74set fsize [file size test.db]
75
76
77do_test corruptE-2.1 {
78  db close
79  copy_file test.bu test.db
80
81  # insert corrupt byte(s)
82  hexio_write test.db 2041 [format %02x 0x2e]
83
84  sqlite3 db test.db
85
86  set res [ catchsql {PRAGMA integrity_check} ]
87  set ans [lindex $res 1]
88
89  list [regexp {out of order.*previous was} $ans] \
90       [regexp {out of order.*max larger than parent max} $ans]
91} {1 1}
92
93do_test corruptE-2.2 {
94  db close
95  copy_file test.bu test.db
96
97  # insert corrupt byte(s)
98  hexio_write test.db 2047 [format %02x 0x84]
99
100  sqlite3 db test.db
101
102  set res [ catchsql {PRAGMA integrity_check} ]
103  set ans [lindex $res 1]
104
105  list [regexp {out of order.*previous was} $ans] \
106       [regexp {out of order.*min less than parent min} $ans]
107} {1 1}
108
109do_test corruptE-2.3 {
110  db close
111  copy_file test.bu test.db
112
113  # insert corrupt byte(s)
114  hexio_write test.db 7420 [format %02x 0xa8]
115  hexio_write test.db 10459 [format %02x 0x8d]
116
117  sqlite3 db test.db
118
119  set res [ catchsql {PRAGMA integrity_check} ]
120  set ans [lindex $res 1]
121
122  list [regexp {out of order.*max larger than parent min} $ans]
123} {1}
124
125do_test corruptE-2.4 {
126  db close
127  copy_file test.bu test.db
128
129  # insert corrupt byte(s)
130  hexio_write test.db 10233 [format %02x 0xd0]
131
132  sqlite3 db test.db
133
134  set res [ catchsql {PRAGMA integrity_check} ]
135  set ans [lindex $res 1]
136
137  list [regexp {out of order.*min less than parent max} $ans]
138} {1}
139
140
141set tests [list {10233 0xd0} \
142                {941 0x42} \
143                {1028 0x53} \
144                {2041 0xd0} \
145                {2042 0x1f} \
146                {2047 0xaa} \
147                {2263 0x29} \
148                {2274 0x75} \
149                {3267 0xf2} \
150                {4104 0x2c} \
151                {5113 0x36} \
152                {10233 0x84} \
153                {10234 0x74} \
154                {10239 0x41} \
155                {10453 0x11} \
156                {11273 0x28} \
157                {11455 0x11} \
158                {11461 0xe6} \
159                {12281 0x99} \
160                {12296 0x9e} \
161                {12297 0xd7} \
162                {13303 0x53} ]
163
164set tc 1
165foreach test $tests {
166  do_test corruptE-3.$tc {
167    db close
168    copy_file test.bu test.db
169
170    # insert corrupt byte(s)
171    hexio_write test.db [lindex $test 0] [format %02x [lindex $test 1]]
172
173    sqlite3 db test.db
174
175    set res [ catchsql {PRAGMA integrity_check} ]
176    set ans [lindex $res 1]
177
178    list [regexp {out of order} $ans]
179  } {1}
180  incr tc 1
181}
182
183finish_test
184