wasCSharpSQLite – Blame information for rev 4

Subversion Repositories:
Rev:
Rev Author Line No. Line
1 office 1 # 2008 July 9
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 specifically focuses
15 # on corruption in the form of duplicate entries on the freelist.
16 #
17 # $Id: corrupt9.test,v 1.3 2009/06/04 02:47:04 shane Exp $
18  
19 set testdir [file dirname $argv0]
20 source $testdir/tester.tcl
21  
22 # Do not use a codec for tests in this file, as the database file is
23 # manipulated directly using tcl scripts (using the [hexio_write] command).
24 #
25 do_not_use_codec
26  
27 # We must have the page_size pragma for these tests to work.
28 #
29 ifcapable !pager_pragmas {
30 finish_test
31 return
32 }
33  
34 # Return the offset to the first (trunk) page of the freelist. Return
35 # zero of the freelist is empty.
36 #
37 proc freelist_trunk_offset {filename} {
38 if {[hexio_read $filename 36 4]==0} {return 0}
39 set pgno [hexio_get_int [hexio_read $filename 32 4]]
40 return [expr {($pgno-1)*[hexio_get_int [hexio_read $filename 16 2]]}]
41 }
42  
43 # This procedure looks at the first trunk page of the freelist and
44 # corrupts that page by overwriting up to N entries with duplicates
45 # of the first entry.
46 #
47 proc corrupt_freelist {filename N} {
48 set offset [freelist_trunk_offset $filename]
49 if {$offset==0} {error "Freelist is empty"}
50 set cnt [hexio_get_int [hexio_read $filename [expr {$offset+4}] 4]]
51 set pgno [hexio_read $filename [expr {$offset+8}] 4]
52 for {set i 12} {$N>0 && $i<8+4*$cnt} {incr i 4; incr N -1} {
53 hexio_write $filename [expr {$offset+$i}] $pgno
54 }
55 }
56  
57 # Create a database to work with. Make sure there are plenty of
58 # entries on the freelist.
59 #
60 do_test corrupt9-1.1 {
61 execsql {
62 PRAGMA auto_vacuum=NONE;
63 PRAGMA page_size=1024;
64 CREATE TABLE t1(x);
65 INSERT INTO t1(x) VALUES(1);
66 INSERT INTO t1(x) VALUES(2);
67 INSERT INTO t1(x) SELECT x+2 FROM t1;
68 INSERT INTO t1(x) SELECT x+4 FROM t1;
69 INSERT INTO t1(x) SELECT x+8 FROM t1;
70 INSERT INTO t1(x) SELECT x+16 FROM t1;
71 INSERT INTO t1(x) SELECT x+32 FROM t1;
72 INSERT INTO t1(x) SELECT x+64 FROM t1;
73 INSERT INTO t1(x) SELECT x+128 FROM t1;
74 INSERT INTO t1(x) SELECT x+256 FROM t1;
75 CREATE TABLE t2(a,b);
76 INSERT INTO t2 SELECT x, x*x FROM t1;
77 CREATE INDEX i1 ON t1(x);
78 CREATE INDEX i2 ON t2(b,a);
79 DROP INDEX i2;
80 }
81 expr {[file size test.db]>1024*24}
82 } {1}
83 integrity_check corrupt9-1.2
84  
85 # Corrupt the freelist by adding duplicate entries to the freelist.
86 # Make sure the corruption is detected.
87 #
88 db close
89 file copy -force test.db test.db-template
90  
91 corrupt_freelist test.db 1
92 sqlite3 db test.db
93 do_test corrupt9-2.1 {
94 set x [db eval {PRAGMA integrity_check}]
95 expr {$x!="ok"}
96 } {1}
97 do_test corrupt9-2.2 {
98 catchsql {
99 CREATE INDEX i2 ON t2(b,a);
100 REINDEX;
101 }
102 } {1 {database disk image is malformed}}
103  
104  
105 db close
106 file copy -force test.db-template test.db
107 corrupt_freelist test.db 2
108 sqlite3 db test.db
109 do_test corrupt9-3.1 {
110 set x [db eval {PRAGMA integrity_check}]
111 expr {$x!="ok"}
112 } {1}
113 do_test corrupt9-3.2 {
114 catchsql {
115 CREATE INDEX i2 ON t2(b,a);
116 REINDEX;
117 }
118 } {1 {database disk image is malformed}}
119  
120 db close
121 file copy -force test.db-template test.db
122 corrupt_freelist test.db 3
123 sqlite3 db test.db
124 do_test corrupt9-4.1 {
125 set x [db eval {PRAGMA integrity_check}]
126 expr {$x!="ok"}
127 } {1}
128 do_test corrupt9-4.2 {
129 catchsql {
130 CREATE INDEX i2 ON t2(b,a);
131 REINDEX;
132 }
133 } {1 {database disk image is malformed}}
134  
135  
136 finish_test