OLD | NEW |
(Empty) | |
| 1 # 2007 April 6 |
| 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. |
| 15 # |
| 16 # $Id: corrupt3.test,v 1.2 2007/04/06 21:42:22 drh Exp $ |
| 17 |
| 18 set testdir [file dirname $argv0] |
| 19 source $testdir/tester.tcl |
| 20 |
| 21 # Do not use a codec for tests in this file, as the database file is |
| 22 # manipulated directly using tcl scripts (using the [hexio_write] command). |
| 23 # |
| 24 do_not_use_codec |
| 25 |
| 26 # We must have the page_size pragma for these tests to work. |
| 27 # |
| 28 ifcapable !pager_pragmas { |
| 29 finish_test |
| 30 return |
| 31 } |
| 32 |
| 33 # Create a database with an overflow page. |
| 34 # |
| 35 do_test corrupt3-1.1 { |
| 36 set bigstring [string repeat 0123456789 200] |
| 37 execsql { |
| 38 PRAGMA auto_vacuum=OFF; |
| 39 PRAGMA page_size=1024; |
| 40 CREATE TABLE t1(x); |
| 41 INSERT INTO t1 VALUES($bigstring); |
| 42 } |
| 43 file size test.db |
| 44 } [expr {1024*3}] |
| 45 |
| 46 # Verify that the file format is as we expect. The page size |
| 47 # should be 1024 bytes. The only record should have a single |
| 48 # overflow page. The overflow page is page 3. The pointer to |
| 49 # the overflow page is on the last 4 bytes of page 2. |
| 50 # |
| 51 do_test corrupt3-1.2 { |
| 52 hexio_get_int [hexio_read test.db 16 2] |
| 53 } 1024 ;# The page size is 1024 |
| 54 do_test corrupt3-1.3 { |
| 55 hexio_get_int [hexio_read test.db 20 1] |
| 56 } 0 ;# Unused bytes per page is 0 |
| 57 do_test corrupt3-1.4 { |
| 58 hexio_get_int [hexio_read test.db 2044 4] |
| 59 } 3 ;# Overflow page is 3 |
| 60 do_test corrupt3-1.5 { |
| 61 hexio_get_int [hexio_read test.db 2048 4] |
| 62 } 0 ;# First chained overflow is 0 |
| 63 |
| 64 integrity_check corrupt3-1.6 |
| 65 |
| 66 # Make the overflow chain loop back on itself. See if the |
| 67 # corruption is detected. (Actually, the last pointer in |
| 68 # an overflow chain is ignored, so this is not an error.) |
| 69 # |
| 70 do_test corrupt3-1.7 { |
| 71 db close |
| 72 hexio_write test.db 2048 [hexio_render_int32 3] |
| 73 sqlite3 db test.db |
| 74 catchsql { |
| 75 SELECT x FROM t1 |
| 76 } |
| 77 } [list 0 $bigstring] |
| 78 integrity_check corrupt3-1.8 |
| 79 |
| 80 # Change the pointer for the first page of the overflow |
| 81 # change to be a non-existant page. |
| 82 # |
| 83 do_test corrupt3-1.9 { |
| 84 db close |
| 85 hexio_write test.db 2044 [hexio_render_int32 4] |
| 86 sqlite3 db test.db |
| 87 catchsql { |
| 88 SELECT substr(x,1,10) FROM t1 |
| 89 } |
| 90 } [list 0 0123456789] |
| 91 do_test corrupt3-1.10 { |
| 92 catchsql { |
| 93 PRAGMA integrity_check |
| 94 } |
| 95 } {0 {{*** in database main *** |
| 96 On tree page 2 cell 0: invalid page number 4 |
| 97 Page 3 is never used}}} |
| 98 do_test corrupt3-1.11 { |
| 99 db close |
| 100 hexio_write test.db 2044 [hexio_render_int32 0] |
| 101 sqlite3 db test.db |
| 102 catchsql { |
| 103 SELECT substr(x,1,10) FROM t1 |
| 104 } |
| 105 } [list 1 {database disk image is malformed}] |
| 106 do_test corrupt3-1.12 { |
| 107 catchsql { |
| 108 PRAGMA integrity_check |
| 109 } |
| 110 } {0 {{*** in database main *** |
| 111 On tree page 2 cell 0: 1 of 1 pages missing from overflow list starting at 0 |
| 112 Page 3 is never used}}} |
| 113 |
| 114 finish_test |
OLD | NEW |