third_party/sqlite/src/test/corruptH.test

   1 # 2014-01-20
   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 corruptH
  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 database_may_be_corrupt
  22
  23 # The corruption migrations tested by the code in this file are not detected
  24 # mmap mode.
  25 #
  26 # The reason is that in mmap mode, the different queries may use different
  27 # PgHdr objects for the same page (same data, but different PgHdr container
  28 # objects). And so the corruption is not detected.
  29 #
  30 if {[permutation]=="mmap"} {
  31   finish_test
  32   return
  33 }
  34
  35 # Initialize the database.
  36 #
  37 do_execsql_test 1.1 {
  38   PRAGMA page_size=1024;
  39
  40   CREATE TABLE t1(a INTEGER PRIMARY KEY, b);
  41   INSERT INTO t1 VALUES(1, 'one');
  42   INSERT INTO t1 VALUES(2, 'two');
  43
  44   CREATE TABLE t2(x);
  45   INSERT INTO t2 VALUES(randomblob(200));
  46   INSERT INTO t2 SELECT randomblob(200) FROM t2;
  47   INSERT INTO t2 SELECT randomblob(200) FROM t2;
  48   INSERT INTO t2 SELECT randomblob(200) FROM t2;
  49   INSERT INTO t2 SELECT randomblob(200) FROM t2;
  50   INSERT INTO t2 SELECT randomblob(200) FROM t2;
  51   INSERT INTO t2 SELECT randomblob(200) FROM t2;
  52 } {}
  53
  54 # Corrupt the file so that the root page of t1 is also linked into t2 as
  55 # a leaf page.
  56 #
  57 do_test 1.2 {
  58   db eval { SELECT name, rootpage FROM sqlite_master } {
  59     set r($name) $rootpage
  60   }
  61   db close
  62   hexio_write test.db [expr {($r(t2)-1)*1024 + 11}] [format %.2X $r(t1)]
  63   sqlite3 db test.db
  64 } {}
  65
  66 do_test 1.3 {
  67 breakpoint
  68   db eval { PRAGMA secure_delete=1 }
  69   list [catch {
  70     db eval { SELECT * FROM t1 WHERE a IN (1, 2) } {
  71       db eval { DELETE FROM t2 }
  72     }
  73   } msg] $msg
  74 } {1 {database disk image is malformed}}
  75
  76 #-------------------------------------------------------------------------
  77 reset_db
  78
  79 # Initialize the database.
  80 #
  81 do_execsql_test 2.1 {
  82   PRAGMA auto_vacuum=0;
  83   PRAGMA page_size=1024;
  84
  85   CREATE TABLE t1(a INTEGER PRIMARY KEY, b);
  86   INSERT INTO t1 VALUES(1, 'one');
  87   INSERT INTO t1 VALUES(2, 'two');
  88
  89   CREATE TABLE t3(x);
  90
  91   CREATE TABLE t2(x PRIMARY KEY) WITHOUT ROWID;
  92   INSERT INTO t2 VALUES(randomblob(100));
  93
  94   DROP TABLE t3;
  95 } {}
  96
  97 do_test 2.2 {
  98   db eval { SELECT name, rootpage FROM sqlite_master } {
  99     set r($name) $rootpage
 100   }
 101   db close
 102   set fl [hexio_get_int [hexio_read test.db 32 4]]
 103
 104   hexio_write test.db [expr {($fl-1) * 1024 + 0}] 00000000
 105   hexio_write test.db [expr {($fl-1) * 1024 + 4}] 00000001
 106   hexio_write test.db [expr {($fl-1) * 1024 + 8}] [format %.8X $r(t1)]
 107   hexio_write test.db 36 00000002
 108
 109   sqlite3 db test.db
 110 } {}
 111
 112
 113 # The trick here is that the root page of the tree scanned by the outer
 114 # query is also currently on the free-list. So while the first seek on
 115 # the table (for a==1) works, by the time the second is attempted The
 116 # "INSERT INTO t2..." statements have recycled the root page of t1 and
 117 # used it as an index leaf. Normally, BtreeMovetoUnpacked() detects
 118 # that the PgHdr object associated with said root page does not match
 119 # the cursor (as it is now marked with PgHdr.intKey==0) and returns
 120 # SQLITE_CORRUPT.
 121 #
 122 set res23 {1 {database disk image is malformed}}
 123 do_test 2.3 {
 124   list [catch {
 125   set res [list]
 126   db eval { SELECT * FROM t1 WHERE a IN (1, 2) } {
 127     db eval {
 128       INSERT INTO t2 SELECT randomblob(100) FROM t2;
 129       INSERT INTO t2 SELECT randomblob(100) FROM t2;
 130       INSERT INTO t2 SELECT randomblob(100) FROM t2;
 131       INSERT INTO t2 SELECT randomblob(100) FROM t2;
 132       INSERT INTO t2 SELECT randomblob(100) FROM t2;
 133     }
 134     lappend res $b
 135   }
 136   set res
 137   } msg] $msg
 138 } $res23
 139
 140 #-------------------------------------------------------------------------
 141 reset_db
 142
 143 # Initialize the database.
 144 #
 145 do_execsql_test 3.1 {
 146   PRAGMA page_size=1024;
 147
 148   CREATE TABLE t1(a INTEGER PRIMARY KEY, b);
 149   INSERT INTO t1 VALUES(1, 'one');
 150   INSERT INTO t1 VALUES(2, 'two');
 151
 152   CREATE TABLE t2(c INTEGER PRAGMA KEY, d);
 153   INSERT INTO t2 VALUES(1, randomblob(1100));
 154 } {}
 155
 156 do_test 3.2 {
 157   db eval { SELECT name, rootpage FROM sqlite_master } {
 158     set r($name) $rootpage
 159   }
 160   db close
 161
 162   hexio_write test.db [expr {($r(t2)-1) * 1024 + 1020}] 00000002
 163
 164   sqlite3 db test.db
 165 } {}
 166
 167 do_test 3.3 {
 168   list [catch {
 169   db eval { SELECT * FROM t1 WHERE a IN (1, 2) } {
 170     db eval {
 171       DELETE FROM t2 WHERE c=1;
 172     }
 173   }
 174   } msg] $msg
 175 } {1 {database disk image is malformed}}
 176
 177 finish_test
 178