Fix a case where a corrupt stat4 record could go unrecognized due to integer overflow.
[sqlite.git] / test / fts3fuzz001.test
blob6b1ae90ee40ff0f7773854419543460908530bff
1 # 2012-12-21
3 # The author disclaims copyright to this source code.  In place of
4 # a legal notice, here is a blessing:
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.
10 #***********************************************************************
12 # Test cases for corrupt database files.
14 set testdir [file dirname $argv0]
15 source $testdir/tester.tcl
16 set testprefix fts3fuzz001
18 ifcapable !deserialize||!fts3 {
19   finish_test
20   return
22 database_may_be_corrupt
24 do_test fts3fuzz001-100 {
25   sqlite3 db {}
26   db deserialize [decode_hexdb {
27 | size 24576 pagesize 4096 filename c6.db
28 | page 1 offset 0
29 |      0: 53 51 4c 69 74 65 20 66 6f 72 6d 61 74 20 33 00   SQLite format 3.
30 |     16: 10 00 01 01 00 40 20 20 00 00 00 00 00 00 00 06   .....@  ........
31 |     32: 00 00 00 00 00 00 00 00 00 00 00 05 00 00 00 04   ................
32 |     48: 00 00 00 00 00 00 00 00 00 00 00 01 00 00 00 00   ................
33 |     96: 00 00 00 00 0d 0e f9 00 06 0d ec 00 0f cd 0f 69   ...............i
34 |    112: 0f 01 0e 10 0e c6 0d ec 00 00 00 00 00 00 00 00   ................
35 |   3552: 00 00 00 00 00 00 00 00 00 00 00 00 22 06 06 17   ............"...
36 |   3568: 11 11 01 31 74 61 62 6c 65 74 32 74 32 06 43 52   ...1tablet2t2.CR
37 |   3584: 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 78 29   EATE TABLE t2(x)
38 |   3600: 81 33 04 07 17 1f 1f 01 82 35 74 61 62 6c 65 74   .3.......5tablet
39 |   3616: 31 5f 73 65 67 64 69 72 74 31 5f 73 65 67 64 69   1_segdirt1_segdi
40 |   3632: 72 04 43 52 45 41 54 45 20 54 41 42 4c 45 20 27   r.CREATE TABLE '
41 |   3648: 74 31 5f 73 65 67 64 69 72 27 28 6c 65 76 65 6c   t1_segdir'(level
42 |   3664: 20 49 4e 54 45 47 45 52 2c 69 64 78 20 49 4e 54    INTEGER,idx INT
43 |   3680: 45 47 45 52 2c 73 74 61 72 74 5f 62 6c 6f 63 6b   EGER,start_block
44 |   3696: 20 49 4e 54 45 47 45 52 2c 6c 65 61 76 65 73 5f    INTEGER,leaves_
45 |   3712: 65 6e 64 5f 62 6c 6f 63 6b 20 49 4e 54 45 47 45   end_block INTEGE
46 |   3728: 52 2c 65 6e 64 5f 62 6c 6f 63 6b 20 49 4e 54 45   R,end_block INTE
47 |   3744: 47 45 52 2c 72 6f 6f 74 20 42 4c 4f 42 2c 50 52   GER,root BLOB,PR
48 |   3760: 49 4d 41 52 59 20 4b 45 59 28 6c 65 76 65 6c 2c   IMARY KEY(level,
49 |   3776: 20 69 64 78 29 29 31 05 06 17 45 1f 01 00 69 6e    idx))1...E...in
50 |   3792: 64 65 78 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e   dexsqlite_autoin
51 |   3808: 64 65 78 5f 74 15 f7 36 56 76 46 97 25 f3 17 43   dex_t..6VvF.%..C
52 |   3824: 15 5f 73 65 67 64 69 72 05 00 00 00 08 00 00 00   ._segdir........
53 |   3840: 00 66 03 07 17 23 23 01 81 13 74 61 62 6c 65 74   .f...##...tablet
54 |   3856: 31 5f 73 65 67 6d 65 6e 74 73 74 31 5f 73 65 67   1_segmentst1_seg
55 |   3872: 6d 65 6e 74 73 03 43 52 45 41 54 45 20 54 41 42   ments.CREATE TAB
56 |   3888: 4c 45 20 27 74 31 5f 73 65 67 6d 65 6e 74 73 27   LE 't1_segments'
57 |   3904: 28 62 6c 6f 63 6b 69 64 20 49 4e 54 45 47 45 52   (blockid INTEGER
58 |   3920: 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 6c    PRIMARY KEY, bl
59 |   3936: 6f 63 6b 20 42 4c 4f 42 29 62 02 07 17 21 21 01   ock BLOB)b...!!.
60 |   3952: 81 0f 74 61 62 6c 65 74 31 5f 63 6f 6e 74 65 6e   ..tablet1_conten
61 |   3968: 74 74 31 5f 63 6f 6e 74 65 6e 74 02 43 52 45 41   tt1_content.CREA
62 |   3984: 54 45 20 54 41 42 4c 45 20 27 74 31 5f 63 6f 6e   TE TABLE 't1_con
63 |   4000: 74 65 6e 74 27 28 64 6f 63 69 64 20 49 4e 54 45   tent'(docid INTE
64 |   4016: 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c   GER PRIMARY KEY,
65 |   4032: 20 27 63 30 63 6f 6e 74 65 6e 74 27 29 31 01 06    'c0content')1..
66 |   4048: 17 11 11 08 51 74 61 62 6c 65 74 31 74 31 43 52   ....Qtablet1t1CR
67 |   4064: 45 41 54 45 20 56 49 52 54 55 41 4c 20 54 41 42   EATE VIRTUAL TAB
68 |   4080: 4c 45 20 74 31 20 55 53 49 4e 47 20 66 74 73 33   LE t1 USING fts3
69 | page 2 offset 4096
70 |      0: 0d 00 00 00 03 0f e0 00 0f f6 0f ec 0f e0 00 00   ................
71 |   4064: 0a 03 03 00 1b 61 62 61 6e 64 6f 6e 08 02 03 00   .....abandon....
72 |   4080: 17 61 62 61 66 74 08 01 03 00 17 61 62 61 63 6b   .abaft.....aback
73 | page 3 offset 8192
74 |      0: 0d 00 00 00 00 10 00 00 00 00 00 00 00 00 00 00   ................
75 | page 4 offset 12288
76 |      0: 0d 00 00 00 01 0f d6 00 0f 00 00 00 00 00 00 00   ................
77 |   4048: 00 00 00 00 00 00 28 01 07 08 08 08 08 15 46 30   ......(.......F0
78 |   4064: 20 32 39 00 05 61 62 61 63 6b 03 01 02 00 03 02    29..aback......
79 |   4080: 66 74 03 02 02 00 03 04 6e 64 6f 6e 03 03 02 00   ft......ndon....
80 | page 5 offset 16384
81 |      0: 0a 00 00 00 01 0f fb 00 0f fb 00 00 00 00 00 00   ................
82 |   4080: 00 00 00 00 00 00 00 00 00 00 00 04 04 08 08 09   ................
83 | page 6 offset 20480
84 |      0: 0d 00 00 00 05 0f b8 00 0f f4 0f e9 0f d6 0f c7   ................
85 |     16: 0f b8 00 00 00 00 00 00 00 00 00 00 00 00 00 00   ................
86 |   4016: 00 00 00 00 00 00 00 00 0d 05 02 23 61 75 74 6f   ...........#auto
87 |   4032: 6d 65 72 67 65 3d 35 0d 04 02 23 6d 65 72 67 65   merge=5...#merge
88 |   4048: 3d 31 30 30 2c 38 11 03 02 2b 69 6e 74 65 67 72   =100,8...+integr
89 |   4064: 69 74 79 3d 63 68 65 63 6b 09 02 02 1b 72 65 62   ity=check....reb
90 |   4080: 75 69 6c 64 0a 01 02 1d 6f 70 74 69 6d 69 7a 65   uild....optimize
91 | end c6.db
92   }]
93   catchsql {
94     PRAGMA writable_schema=on; -- disable schema corruption detection
95     INSERT INTO t1(t1) SELECT x FROM t2;
96   }
97 } {1 {database disk image is malformed}}
98 do_test fts3fuzz001-110 {
99   catchsql {
100     INSERT INTO t1(t1) VALUES('integrity-check');
101   }
102 } {1 {database disk image is malformed}}
103 do_test fts3fuzz001-120 {
104   catchsql {
105     INSERT INTO t1(t1) VALUES('optimize');
106   }
107 } {1 {database disk image is malformed}}
108 do_test fts3fuzz001-121 {
109   catchsql {
110     INSERT INTO t1(t1) VALUES('integrity-check');
111   }
112 } {1 {database disk image is malformed}}
114 #-------------------------------------------------------------------------
115 reset_db
116 do_execsql_test 200 {
117   CREATE VIRTUAL TABLE x1 USING fts3(x);
119   INSERT INTO x1 VALUES('braes brag bragged bragger bragging');
120   INSERT INTO x1 VALUES('brags braid braided braiding braids');
121   INSERT INTO x1 VALUES('brain brainchild brained braining brains');
122   INSERT INTO x1 VALUES('brainstem brainstems brainstorm brainstorms');
123   INSERT INTO x1(x1) VALUES('nodesize=24');
126 do_execsql_test 210 {
127   PRAGMA integrity_check;
128 } {ok}
130 do_execsql_test 220 {
131   INSERT INTO x1(x1) VALUES('merge=10,2')
134 do_execsql_test 220 {
135   PRAGMA integrity_check;
136 } {ok}
141 finish_test