/ Hex Artifact Content
Login

Artifact 4d5ccc4bf959464229a836d60142831ef76a5aa4:


0000: 23 20 32 30 31 35 2d 30 33 2d 33 30 0a 23 0a 23  # 2015-03-30.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63   The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20  laims copyright 
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63  to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f  ode.  In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u give..#.#*****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 0a 23 0a 23 20 43 6f 72 72 75 70 74 69 6f  **.#.# Corruptio
0170: 6e 20 63 6f 6e 73 69 73 74 69 6e 67 20 6f 66 20  n consisting of 
0180: 61 20 64 61 74 61 62 61 73 65 20 70 61 67 65 20  a database page 
0190: 74 68 61 74 20 74 68 69 6e 6b 73 20 69 74 20 69  that thinks it i
01a0: 73 20 61 20 63 68 69 6c 64 0a 23 20 6f 66 20 69  s a child.# of i
01b0: 74 73 65 6c 66 2e 0a 23 0a 0a 73 65 74 20 74 65  tself..#..set te
01c0: 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e  stdir [file dirn
01d0: 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72  ame $argv0].sour
01e0: 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74  ce $testdir/test
01f0: 65 72 2e 74 63 6c 0a 73 65 74 20 74 65 73 74 70  er.tcl.set testp
0200: 72 65 66 69 78 20 63 6f 72 72 75 70 74 4a 0a 0a  refix corruptJ..
0210: 69 66 20 7b 5b 70 65 72 6d 75 74 61 74 69 6f 6e  if {[permutation
0220: 5d 3d 3d 22 6d 6d 61 70 22 7d 20 7b 0a 20 20 66  ]=="mmap"} {.  f
0230: 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74  inish_test.  ret
0240: 75 72 6e 0a 7d 0a 0a 23 20 54 68 69 73 20 6d 6f  urn.}..# This mo
0250: 64 75 6c 65 20 75 73 65 73 20 68 61 72 64 2d 63  dule uses hard-c
0260: 6f 64 65 64 20 6f 66 66 73 65 74 73 20 77 68 69  oded offsets whi
0270: 63 68 20 64 6f 20 6e 6f 74 20 77 6f 72 6b 20 69  ch do not work i
0280: 66 20 74 68 65 20 72 65 73 65 72 76 65 64 5f 62  f the reserved_b
0290: 79 74 65 73 0a 23 20 76 61 6c 75 65 20 69 73 20  ytes.# value is 
02a0: 6e 6f 6e 7a 65 72 6f 2e 0a 69 66 20 7b 5b 6e 6f  nonzero..if {[no
02b0: 6e 7a 65 72 6f 5f 72 65 73 65 72 76 65 64 5f 62  nzero_reserved_b
02c0: 79 74 65 73 5d 7d 20 7b 66 69 6e 69 73 68 5f 74  ytes]} {finish_t
02d0: 65 73 74 3b 20 72 65 74 75 72 6e 3b 7d 0a 0a 64  est; return;}..d
02e0: 61 74 61 62 61 73 65 5f 6d 61 79 5f 62 65 5f 63  atabase_may_be_c
02f0: 6f 72 72 75 70 74 0a 0a 23 20 49 6e 69 74 69 61  orrupt..# Initia
0300: 6c 69 7a 65 20 74 68 65 20 64 61 74 61 62 61 73  lize the databas
0310: 65 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  e..#.do_execsql_
0320: 74 65 73 74 20 31 2e 31 20 7b 0a 20 20 50 52 41  test 1.1 {.  PRA
0330: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 30  GMA page_size=10
0340: 32 34 3b 0a 20 20 50 52 41 47 4d 41 20 61 75 74  24;.  PRAGMA aut
0350: 6f 5f 76 61 63 75 75 6d 3d 30 3b 0a 20 20 43 52  o_vacuum=0;.  CR
0360: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c  EATE TABLE t1(a,
0370: 62 29 3b 0a 20 20 57 49 54 48 20 52 45 43 55 52  b);.  WITH RECUR
0380: 53 49 56 45 20 63 28 69 29 20 41 53 20 28 56 41  SIVE c(i) AS (VA
0390: 4c 55 45 53 28 31 29 20 55 4e 49 4f 4e 20 41 4c  LUES(1) UNION AL
03a0: 4c 20 53 45 4c 45 43 54 20 69 2b 31 20 46 52 4f  L SELECT i+1 FRO
03b0: 4d 20 63 20 57 48 45 52 45 20 69 3c 31 30 29 0a  M c WHERE i<10).
03c0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
03d0: 74 31 28 61 2c 62 29 20 53 45 4c 45 43 54 20 69  t1(a,b) SELECT i
03e0: 2c 20 7a 65 72 6f 62 6c 6f 62 28 37 30 30 29 20  , zeroblob(700) 
03f0: 46 52 4f 4d 20 63 3b 0a 7d 20 7b 7d 0a 64 62 20  FROM c;.} {}.db 
0400: 63 6c 6f 73 65 0a 0a 23 20 43 6f 72 72 75 70 74  close..# Corrupt
0410: 20 74 68 65 20 72 6f 6f 74 20 70 61 67 65 20 6f   the root page o
0420: 66 20 74 68 65 20 74 31 20 74 61 62 6c 65 20 73  f the t1 table s
0430: 75 63 68 20 74 68 61 74 20 74 68 65 20 6c 65 66  uch that the lef
0440: 74 2d 63 68 69 6c 64 20 70 6f 69 6e 74 65 72 0a  t-child pointer.
0450: 23 20 66 6f 72 20 74 68 65 20 76 65 72 79 20 66  # for the very f
0460: 69 72 73 74 20 63 65 6c 6c 20 70 6f 69 6e 74 73  irst cell points
0470: 20 62 61 63 6b 20 74 6f 20 74 68 65 20 72 6f 6f   back to the roo
0480: 74 2e 20 20 54 68 65 6e 20 74 72 79 20 74 6f 20  t.  Then try to 
0490: 44 52 4f 50 20 74 68 65 0a 23 20 74 61 62 6c 65  DROP the.# table
04a0: 2e 20 20 54 68 65 20 63 6c 65 61 72 44 61 74 61  .  The clearData
04b0: 62 61 73 65 50 61 67 65 28 29 20 72 6f 75 74 69  basePage() routi
04c0: 6e 65 20 73 68 6f 75 6c 64 20 6e 6f 74 20 6c 6f  ne should not lo
04d0: 6f 70 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 31 2e  op..#.do_test 1.
04e0: 32 20 7b 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  2 {.  hexio_writ
04f0: 65 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  e test.db [expr 
0500: 7b 32 2a 31 30 32 34 2d 32 7d 5d 20 30 32 0a 20  {2*1024-2}] 02. 
0510: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
0520: 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  .db.  catchsql {
0530: 20 44 52 4f 50 20 54 41 42 4c 45 20 74 31 20 7d   DROP TABLE t1 }
0540: 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20  .} {1 {database 
0550: 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61  disk image is ma
0560: 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 23 20 53 69 6d  lformed}}..# Sim
0570: 69 6c 61 72 20 74 65 73 74 20 75 73 69 6e 67 20  ilar test using 
0580: 61 20 57 49 54 48 4f 55 54 20 52 4f 57 49 44 20  a WITHOUT ROWID 
0590: 74 61 62 6c 65 0a 23 0a 64 6f 5f 74 65 73 74 20  table.#.do_test 
05a0: 32 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  2.1 {.  db close
05b0: 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 74  .  forcedelete t
05c0: 65 73 74 2e 64 62 0a 20 20 73 71 6c 69 74 65 33  est.db.  sqlite3
05d0: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 64 62   db test.db.  db
05e0: 20 65 76 61 6c 20 7b 0a 20 20 20 20 50 52 41 47   eval {.    PRAG
05f0: 4d 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 30 32  MA page_size=102
0600: 34 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75  4;.    PRAGMA au
0610: 74 6f 5f 76 61 63 75 75 6d 3d 30 3b 0a 20 20 20  to_vacuum=0;.   
0620: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
0630: 28 61 2c 62 2c 50 52 49 4d 41 52 59 20 4b 45 59  (a,b,PRIMARY KEY
0640: 28 61 2c 62 29 29 20 57 49 54 48 4f 55 54 20 52  (a,b)) WITHOUT R
0650: 4f 57 49 44 3b 0a 20 20 20 20 57 49 54 48 20 52  OWID;.    WITH R
0660: 45 43 55 52 53 49 56 45 20 63 28 69 29 20 41 53  ECURSIVE c(i) AS
0670: 20 28 56 41 4c 55 45 53 28 31 29 20 55 4e 49 4f   (VALUES(1) UNIO
0680: 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 69 2b 31  N ALL SELECT i+1
0690: 20 46 52 4f 4d 20 63 20 57 48 45 52 45 20 69 3c   FROM c WHERE i<
06a0: 31 30 30 29 0a 20 20 20 20 20 20 49 4e 53 45 52  100).      INSER
06b0: 54 20 49 4e 54 4f 20 74 31 28 61 2c 62 29 20 53  T INTO t1(a,b) S
06c0: 45 4c 45 43 54 20 69 2c 20 7a 65 72 6f 62 6c 6f  ELECT i, zeroblo
06d0: 62 28 32 30 30 29 20 46 52 4f 4d 20 63 3b 0a 20  b(200) FROM c;. 
06e0: 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 54 68 65 20 74   }.} {}..# The t
06f0: 61 62 6c 65 20 69 73 20 74 68 72 65 65 20 6c 65  able is three le
0700: 76 65 6c 73 20 64 65 65 70 2e 20 20 43 6f 72 72  vels deep.  Corr
0710: 75 70 74 20 74 68 65 20 6c 65 66 74 20 63 68 69  upt the left chi
0720: 6c 64 20 6f 66 20 61 6e 20 69 6e 74 65 72 6d 65  ld of an interme
0730: 64 69 61 74 65 0a 23 20 70 61 67 65 20 73 6f 20  diate.# page so 
0740: 74 68 61 74 20 69 74 20 70 6f 69 6e 74 73 20 62  that it points b
0750: 61 63 6b 20 74 6f 20 74 68 65 20 72 6f 6f 74 20  ack to the root 
0760: 70 61 67 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  page..#.do_test 
0770: 32 2e 32 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  2.2 {.  db close
0780: 0a 20 20 68 65 78 69 6f 5f 72 65 61 64 20 74 65  .  hexio_read te
0790: 73 74 2e 64 62 20 5b 65 78 70 72 20 7b 39 2a 31  st.db [expr {9*1
07a0: 30 32 34 2b 33 39 31 7d 5d 20 38 0a 7d 20 7b 30  024+391}] 8.} {0
07b0: 30 30 30 30 30 30 38 38 31 34 44 30 34 30 31 7d  0000008814D0401}
07c0: 0a 64 6f 5f 74 65 73 74 20 32 2e 32 62 20 7b 0a  .do_test 2.2b {.
07d0: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65    hexio_write te
07e0: 73 74 2e 64 62 20 5b 65 78 70 72 20 7b 39 2a 31  st.db [expr {9*1
07f0: 30 32 34 2b 33 39 31 7d 5d 20 30 30 30 30 30 30  024+391}] 000000
0800: 30 32 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  02.  sqlite3 db 
0810: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
0820: 71 6c 20 7b 20 50 52 41 47 4d 41 20 73 65 63 75  ql { PRAGMA secu
0830: 72 65 5f 64 65 6c 65 74 65 3d 4f 4e 3b 20 44 52  re_delete=ON; DR
0840: 4f 50 20 54 41 42 4c 45 20 74 31 3b 20 7d 0a 7d  OP TABLE t1; }.}
0850: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
0860: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
0870: 6f 72 6d 65 64 7d 7d 0a 0a 66 69 6e 69 73 68 5f  ormed}}..finish_
0880: 74 65 73 74 0a                                   test.