OLD | NEW |
| (Empty) |
1 # 2013-08-01 | |
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 corruptG | |
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 | |
22 # These tests deal with corrupt database files | |
23 # | |
24 database_may_be_corrupt | |
25 | |
26 # Create a simple database with a single entry. Then corrupt the | |
27 # header-size varint on the index payload so that it maps into a | |
28 # negative number. Try to use the database. | |
29 # | |
30 | |
31 do_execsql_test 1.1 { | |
32 PRAGMA page_size=512; | |
33 CREATE TABLE t1(a,b,c); | |
34 INSERT INTO t1(rowid,a,b,c) VALUES(52,'abc','xyz','123'); | |
35 CREATE INDEX t1abc ON t1(a,b,c); | |
36 } | |
37 | |
38 set idxroot [db one {SELECT rootpage FROM sqlite_master WHERE name = 't1abc'}] | |
39 | |
40 # Corrupt the file | |
41 db close | |
42 hexio_write test.db [expr {$idxroot*512 - 15}] 888080807f | |
43 sqlite3 db test.db | |
44 | |
45 # Try to use the file. | |
46 do_test 1.2 { | |
47 catchsql { | |
48 SELECT c FROM t1 WHERE a>'abc'; | |
49 } | |
50 } {1 {database disk image is malformed}} | |
51 do_test 1.3 { | |
52 catchsql { | |
53 PRAGMA integrity_check | |
54 } | |
55 } {1 {database disk image is malformed}} | |
56 do_test 1.4 { | |
57 catchsql { | |
58 SELECT c FROM t1 ORDER BY a; | |
59 } | |
60 } {1 {database disk image is malformed}} | |
61 | |
62 # Corrupt the same file in a slightly different way. Make the record header | |
63 # sane, but corrupt one of the serial_type value to indicate a huge payload | |
64 # such that the payload begins in allocated space but overflows the buffer. | |
65 # | |
66 db close | |
67 hexio_write test.db [expr {$idxroot*512-15}] 0513ff7f01 | |
68 sqlite3 db test.db | |
69 | |
70 do_test 2.1 { | |
71 catchsql { | |
72 SELECT rowid FROM t1 WHERE a='abc' and b='xyz123456789XYZ'; | |
73 } | |
74 } {1 {database disk image is malformed}} | |
75 | |
76 finish_test | |
OLD | NEW |