AryaWu/sqlite

1# 2010 February 182#3# The author disclaims copyright to this source code.  In place of4# 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 or14# segfault if it sees a corrupt database file.  It specifcally15# focuses on rowid order corruption.16#17 18set testdir [file dirname $argv0]19source $testdir/tester.tcl20 21# This module uses hard-coded offsets which do not work if the reserved_bytes22# value is nonzero.23if {[nonzero_reserved_bytes]} {finish_test; return;}24 25# These tests deal with corrupt database files26#27database_may_be_corrupt28 29# Do not run the tests in this file if ENABLE_OVERSIZE_CELL_CHECK is on.30#31ifcapable oversize_cell_check {32  finish_test33  return34}35 36# Construct a compact, dense database for testing.37#38do_test corruptE-1.1 {39  sqlite3_db_config db LEGACY_FILE_FORMAT 140  execsql {41    PRAGMA auto_vacuum = 0;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 ORDER BY rowid;55    COMMIT;56  }57} {}58 59ifcapable {integrityck} {60  integrity_check corruptE-1.261}62 63# Setup for the tests.  Make a backup copy of the good database in test.bu.64#65db close66forcecopy test.db test.bu67sqlite3 db test.db68set fsize [file size test.db]69 70 71do_test corruptE-2.1 {72  db close73  forcecopy test.bu test.db74 75  # insert corrupt byte(s)76  hexio_write test.db 2041 [format %02x 0x2e]77 78  sqlite3 db test.db79 80  catchsql {PRAGMA integrity_check}81} {/ out of order/}82 83do_test corruptE-2.2 {84  db close85  forcecopy test.bu test.db86 87  # insert corrupt byte(s)88  hexio_write test.db 2047 [format %02x 0x84]89 90  sqlite3 db test.db91 92  catchsql {PRAGMA integrity_check}93} {/ Extends off end of page/}94 95do_test corruptE-2.3 {96  db close97  forcecopy test.bu test.db98 99  # insert corrupt byte(s)100  hexio_write test.db 7420 [format %02x 0xa8]101  hexio_write test.db 10459 [format %02x 0x8d]102 103  sqlite3 db test.db104 105  catchsql {PRAGMA integrity_check}106} {/out of order/}107 108do_test corruptE-2.4 {109  db close110  forcecopy test.bu test.db111 112  # insert corrupt byte(s)113  hexio_write test.db 10233 [format %02x 0xd0]114 115  sqlite3 db test.db116 117  catchsql {PRAGMA integrity_check}118} {/out of order/}119 120 121set tests [list {10233 0xd0} \122                {941 0x42} \123                {2041 0xd0} \124                {2042 0x1f} \125                {2274 0x75} \126                {3267 0xf2} \127                {5113 0x36} \128                {10233 0x84} \129                {10234 0x74} \130                {10239 0x41} \131                {11273 0x28} \132                {11461 0xe6} \133                {12297 0xd7} \134                {13303 0x53} ]135 136set tc 1137foreach test $tests {138  do_test corruptE-3.$tc {139    db close140    forcecopy test.bu test.db141 142    # insert corrupt byte(s)143    hexio_write test.db [lindex $test 0] [format %02x [lindex $test 1]]144 145    sqlite3 db test.db146 147    catchsql {PRAGMA integrity_check}148  } {/out of order/}149  incr tc 1150}151 152finish_test153