/ Hex Artifact Content
Login

Artifact 73a8d6c0b9833697ecf16b63e3c5c05c945b5dec:


0000: 23 20 32 30 30 38 20 53 65 70 20 31 30 0a 23 0a  # 2008 Sep 10.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 2a 0a 23 20 54 68 69 73 20 66 69 6c 65 20  ***.# This file 
0170: 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65  implements regre
0180: 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20  ssion tests for 
0190: 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 0a  SQLite library..
01a0: 23 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 6d  #.# This file im
01b0: 70 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20 74  plements tests t
01c0: 6f 20 6d 61 6b 65 20 73 75 72 65 20 53 51 4c 69  o make sure SQLi
01d0: 74 65 20 64 6f 65 73 20 6e 6f 74 20 63 72 61 73  te does not cras
01e0: 68 20 6f 72 0a 23 20 73 65 67 66 61 75 6c 74 20  h or.# segfault 
01f0: 69 66 20 69 74 20 73 65 65 73 20 61 20 63 6f 72  if it sees a cor
0200: 72 75 70 74 20 64 61 74 61 62 61 73 65 20 66 69  rupt database fi
0210: 6c 65 2e 20 20 49 74 20 73 70 65 63 69 66 69 63  le.  It specific
0220: 61 6c 6c 79 20 66 6f 63 75 73 65 73 0a 23 20 6f  ally focuses.# o
0230: 6e 20 6c 6f 6f 70 73 20 69 6e 20 74 68 65 20 42  n loops in the B
0240: 2d 54 72 65 65 20 73 74 72 75 63 74 75 72 65 2e  -Tree structure.
0250: 20 41 20 6c 6f 6f 70 20 69 73 20 66 6f 72 6d 65   A loop is forme
0260: 64 20 69 6e 20 61 20 42 2d 54 72 65 65 20 73 74  d in a B-Tree st
0270: 72 75 63 74 75 72 65 0a 23 20 77 68 65 6e 20 74  ructure.# when t
0280: 68 65 72 65 20 65 78 69 73 74 73 20 61 20 70 61  here exists a pa
0290: 67 65 20 74 68 61 74 20 69 73 20 62 6f 74 68 20  ge that is both 
02a0: 61 6e 20 61 20 64 65 73 63 65 6e 64 65 6e 74 20  an a descendent 
02b0: 6f 72 20 61 6e 63 65 73 74 6f 72 20 6f 66 0a 23  or ancestor of.#
02c0: 20 69 74 73 65 6c 66 2e 0a 23 0a 23 20 41 6c 73   itself..#.# Als
02d0: 6f 20 74 65 73 74 20 74 68 61 74 20 61 6e 20 53  o test that an S
02e0: 51 4c 49 54 45 5f 43 4f 52 52 55 50 54 20 65 72  QLITE_CORRUPT er
02f0: 72 6f 72 20 69 73 20 72 65 74 75 72 6e 65 64 20  ror is returned 
0300: 69 66 20 61 20 42 2d 54 72 65 65 20 70 61 67 65  if a B-Tree page
0310: 0a 23 20 63 6f 6e 74 61 69 6e 73 20 61 20 28 63  .# contains a (c
0320: 6f 72 72 75 70 74 29 20 72 65 66 65 72 65 6e 63  orrupt) referenc
0330: 65 20 74 6f 20 61 20 70 61 67 65 20 67 72 65 61  e to a page grea
0340: 74 65 72 20 74 68 61 6e 20 74 68 65 20 63 6f 6e  ter than the con
0350: 66 69 67 75 72 65 64 0a 23 20 6d 61 78 69 6d 75  figured.# maximu
0360: 6d 20 70 61 67 65 20 6e 75 6d 62 65 72 2e 0a 23  m page number..#
0370: 0a 23 20 24 49 64 3a 20 63 6f 72 72 75 70 74 42  .# $Id: corruptB
0380: 2e 74 65 73 74 2c 76 20 31 2e 34 20 32 30 30 39  .test,v 1.4 2009
0390: 2f 30 37 2f 32 31 20 31 39 3a 32 35 3a 32 34 20  /07/21 19:25:24 
03a0: 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70 20  danielk1977 Exp 
03b0: 24 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b  $..set testdir [
03c0: 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72  file dirname $ar
03d0: 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73  gv0].source $tes
03e0: 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a  tdir/tester.tcl.
03f0: 0a 23 20 44 6f 20 6e 6f 74 20 75 73 65 20 61 20  .# Do not use a 
0400: 63 6f 64 65 63 20 66 6f 72 20 74 65 73 74 73 20  codec for tests 
0410: 69 6e 20 74 68 69 73 20 66 69 6c 65 2c 20 61 73  in this file, as
0420: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 66 69   the database fi
0430: 6c 65 20 69 73 0a 23 20 6d 61 6e 69 70 75 6c 61  le is.# manipula
0440: 74 65 64 20 64 69 72 65 63 74 6c 79 20 75 73 69  ted directly usi
0450: 6e 67 20 74 63 6c 20 73 63 72 69 70 74 73 20 28  ng tcl scripts (
0460: 75 73 69 6e 67 20 74 68 65 20 5b 68 65 78 69 6f  using the [hexio
0470: 5f 77 72 69 74 65 5d 20 63 6f 6d 6d 61 6e 64 29  _write] command)
0480: 2e 0a 23 0a 64 6f 5f 6e 6f 74 5f 75 73 65 5f 63  ..#.do_not_use_c
0490: 6f 64 65 63 0a 0a 23 20 54 68 65 73 65 20 74 65  odec..# These te
04a0: 73 74 73 20 64 65 61 6c 20 77 69 74 68 20 63 6f  sts deal with co
04b0: 72 72 75 70 74 20 64 61 74 61 62 61 73 65 20 66  rrupt database f
04c0: 69 6c 65 73 0a 23 0a 64 61 74 61 62 61 73 65 5f  iles.#.database_
04d0: 6d 61 79 5f 62 65 5f 63 6f 72 72 75 70 74 0a 0a  may_be_corrupt..
04e0: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
04f0: 42 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  B-1.1 {.  execsq
0500: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61  l {.    PRAGMA a
0510: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31 3b 0a  uto_vacuum = 1;.
0520: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0530: 20 74 31 28 78 29 3b 0a 20 20 20 20 49 4e 53 45   t1(x);.    INSE
0540: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
0550: 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30  S(randomblob(200
0560: 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ));.    INSERT I
0570: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61  NTO t1 SELECT ra
0580: 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46 52  ndomblob(200) FR
0590: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
05a0: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
05b0: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29   randomblob(200)
05c0: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
05d0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
05e0: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32  ECT randomblob(2
05f0: 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  00) FROM t1;.   
0600: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0610: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
0620: 62 28 32 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  b(200) FROM t1;.
0630: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0640: 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t1 SELECT random
0650: 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74  blob(200) FROM t
0660: 31 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b  1;.  }.  expr {[
0670: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
0680: 62 5d 20 3e 20 28 31 30 32 34 2a 39 29 7d 0a 7d  b] > (1024*9)}.}
0690: 20 7b 31 7d 0a 69 6e 74 65 67 72 69 74 79 5f 63   {1}.integrity_c
06a0: 68 65 63 6b 20 63 6f 72 72 75 70 74 42 2d 31 2e  heck corruptB-1.
06b0: 32 0a 0a 66 6f 72 63 65 63 6f 70 79 20 74 65 73  2..forcecopy tes
06c0: 74 2e 64 62 20 62 61 6b 2e 64 62 0a 0a 23 20 53  t.db bak.db..# S
06d0: 65 74 20 74 68 65 20 72 69 67 68 74 2d 63 68 69  et the right-chi
06e0: 6c 64 20 6f 66 20 61 20 42 2d 54 72 65 65 20 72  ld of a B-Tree r
06f0: 6f 6f 74 70 61 67 65 20 74 6f 20 72 65 66 65 72  ootpage to refer
0700: 20 74 6f 20 74 68 65 20 72 6f 6f 74 2d 70 61 67   to the root-pag
0710: 65 20 69 74 73 65 6c 66 2e 0a 23 0a 64 6f 5f 74  e itself..#.do_t
0720: 65 73 74 20 63 6f 72 72 75 70 74 42 2d 31 2e 33  est corruptB-1.3
0730: 2e 31 20 7b 0a 20 20 73 65 74 20 3a 3a 72 6f 6f  .1 {.  set ::roo
0740: 74 20 5b 65 78 65 63 73 71 6c 20 7b 53 45 4c 45  t [execsql {SELE
0750: 43 54 20 72 6f 6f 74 70 61 67 65 20 46 52 4f 4d  CT rootpage FROM
0760: 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 7d 5d   sqlite_master}]
0770: 0a 20 20 73 65 74 20 3a 3a 6f 66 66 73 65 74 20  .  set ::offset 
0780: 5b 65 78 70 72 20 7b 28 24 3a 3a 72 6f 6f 74 2d  [expr {($::root-
0790: 31 29 2a 31 30 32 34 7d 5d 0a 20 20 68 65 78 69  1)*1024}].  hexi
07a0: 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20  o_write test.db 
07b0: 5b 65 78 70 72 20 24 6f 66 66 73 65 74 2b 38 5d  [expr $offset+8]
07c0: 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69   [hexio_render_i
07d0: 6e 74 33 32 20 24 3a 3a 72 6f 6f 74 5d 0a 7d 20  nt32 $::root].} 
07e0: 7b 34 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  {4}.do_test corr
07f0: 75 70 74 42 2d 31 2e 33 2e 32 20 7b 0a 20 20 73  uptB-1.3.2 {.  s
0800: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
0810: 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53  b.  catchsql { S
0820: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0830: 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65  }.} {1 {database
0840: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
0850: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 23 20 53 65  alformed}}..# Se
0860: 74 20 74 68 65 20 6c 65 66 74 2d 63 68 69 6c 64  t the left-child
0870: 20 6f 66 20 61 20 63 65 6c 6c 20 69 6e 20 61 20   of a cell in a 
0880: 42 2d 54 72 65 65 20 72 6f 6f 74 70 61 67 65 20  B-Tree rootpage 
0890: 74 6f 20 72 65 66 65 72 20 74 6f 20 74 68 65 20  to refer to the 
08a0: 0a 23 20 72 6f 6f 74 2d 70 61 67 65 20 69 74 73  .# root-page its
08b0: 65 6c 66 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63  elf..#.do_test c
08c0: 6f 72 72 75 70 74 42 2d 31 2e 34 2e 31 20 7b 0a  orruptB-1.4.1 {.
08d0: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 6f 72    db close.  for
08e0: 63 65 63 6f 70 79 20 62 61 6b 2e 64 62 20 74 65  cecopy bak.db te
08f0: 73 74 2e 64 62 0a 20 20 73 65 74 20 63 65 6c 6c  st.db.  set cell
0900: 5f 6f 66 66 73 65 74 20 5b 68 65 78 69 6f 5f 67  _offset [hexio_g
0910: 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65  et_int [hexio_re
0920: 61 64 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72  ad test.db [expr
0930: 20 24 6f 66 66 73 65 74 2b 31 32 5d 20 32 5d 5d   $offset+12] 2]]
0940: 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74  .  hexio_write t
0950: 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24 6f 66  est.db [expr $of
0960: 66 73 65 74 2b 24 63 65 6c 6c 5f 6f 66 66 73 65  fset+$cell_offse
0970: 74 5d 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65 72  t] [hexio_render
0980: 5f 69 6e 74 33 32 20 24 3a 3a 72 6f 6f 74 5d 0a  _int32 $::root].
0990: 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20 63 6f  } {4}.do_test co
09a0: 72 72 75 70 74 42 2d 31 2e 34 2e 32 20 7b 0a 20  rruptB-1.4.2 {. 
09b0: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
09c0: 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  .db.  catchsql {
09d0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
09e0: 31 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61  1 }.} {1 {databa
09f0: 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73  se disk image is
0a00: 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 23 20   malformed}}..# 
0a10: 4e 6f 77 20 67 72 6f 77 20 74 68 65 20 74 61 62  Now grow the tab
0a20: 6c 65 20 42 2d 54 72 65 65 20 73 6f 20 74 68 61  le B-Tree so tha
0a30: 74 20 69 74 20 69 73 20 6d 6f 72 65 20 74 68 61  t it is more tha
0a40: 6e 20 32 20 6c 65 76 65 6c 73 20 68 69 67 68 2e  n 2 levels high.
0a50: 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  .#.do_test corru
0a60: 70 74 42 2d 31 2e 35 2e 31 20 7b 0a 20 20 64 62  ptB-1.5.1 {.  db
0a70: 20 63 6c 6f 73 65 0a 20 20 66 6f 72 63 65 63 6f   close.  forceco
0a80: 70 79 20 62 61 6b 2e 64 62 20 74 65 73 74 2e 64  py bak.db test.d
0a90: 62 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74  b.  sqlite3 db t
0aa0: 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c  est.db.  execsql
0ab0: 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e   {.    INSERT IN
0ac0: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e  TO t1 SELECT ran
0ad0: 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46 52 4f  domblob(200) FRO
0ae0: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
0af0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
0b00: 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20  randomblob(200) 
0b10: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
0b20: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
0b30: 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30  CT randomblob(20
0b40: 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  0) FROM t1;.    
0b50: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
0b60: 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62  ELECT randomblob
0b70: 28 32 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20  (200) FROM t1;. 
0b80: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0b90: 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62  1 SELECT randomb
0ba0: 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74 31  lob(200) FROM t1
0bb0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0bc0: 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64  O t1 SELECT rand
0bd0: 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d  omblob(200) FROM
0be0: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
0bf0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72  INTO t1 SELECT r
0c00: 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46  andomblob(200) F
0c10: 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b 7d  ROM t1;.  }.} {}
0c20: 0a 0a 66 6f 72 63 65 63 6f 70 79 20 74 65 73 74  ..forcecopy test
0c30: 2e 64 62 20 62 61 6b 2e 64 62 0a 0a 23 20 53 65  .db bak.db..# Se
0c40: 74 20 74 68 65 20 72 69 67 68 74 2d 63 68 69 6c  t the right-chil
0c50: 64 20 70 6f 69 6e 74 65 72 20 6f 66 20 74 68 65  d pointer of the
0c60: 20 72 69 67 68 74 2d 63 68 69 6c 64 20 6f 66 20   right-child of 
0c70: 74 68 65 20 72 6f 6f 74 20 70 61 67 65 20 74 6f  the root page to
0c80: 20 70 6f 69 6e 74 0a 23 20 62 61 63 6b 20 74 6f   point.# back to
0c90: 20 74 68 65 20 72 6f 6f 74 20 70 61 67 65 2e 0a   the root page..
0ca0: 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  #.do_test corrup
0cb0: 74 42 2d 31 2e 36 2e 31 20 7b 0a 20 20 64 62 20  tB-1.6.1 {.  db 
0cc0: 63 6c 6f 73 65 0a 20 20 73 65 74 20 69 52 69 67  close.  set iRig
0cd0: 68 74 43 68 69 6c 64 20 5b 68 65 78 69 6f 5f 67  htChild [hexio_g
0ce0: 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65  et_int [hexio_re
0cf0: 61 64 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72  ad test.db [expr
0d00: 20 24 6f 66 66 73 65 74 2b 38 5d 20 34 5d 5d 0a   $offset+8] 4]].
0d10: 20 20 73 65 74 20 63 5f 6f 66 66 73 65 74 20 5b    set c_offset [
0d20: 65 78 70 72 20 28 24 69 52 69 67 68 74 43 68 69  expr ($iRightChi
0d30: 6c 64 2d 31 29 2a 31 30 32 34 5d 0a 20 20 68 65  ld-1)*1024].  he
0d40: 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64  xio_write test.d
0d50: 62 20 5b 65 78 70 72 20 24 63 5f 6f 66 66 73 65  b [expr $c_offse
0d60: 74 2b 38 5d 20 5b 68 65 78 69 6f 5f 72 65 6e 64  t+8] [hexio_rend
0d70: 65 72 5f 69 6e 74 33 32 20 24 3a 3a 72 6f 6f 74  er_int32 $::root
0d80: 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20  ].} {4}.do_test 
0d90: 63 6f 72 72 75 70 74 42 2d 31 2e 36 2e 32 20 7b  corruptB-1.6.2 {
0da0: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
0db0: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  st.db.  catchsql
0dc0: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
0dd0: 20 74 31 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61   t1 }.} {1 {data
0de0: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
0df0: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a  is malformed}}..
0e00: 23 20 53 65 74 20 74 68 65 20 6c 65 66 74 2d 63  # Set the left-c
0e10: 68 69 6c 64 20 70 6f 69 6e 74 65 72 20 6f 66 20  hild pointer of 
0e20: 61 20 63 65 6c 6c 20 6f 66 20 74 68 65 20 72 69  a cell of the ri
0e30: 67 68 74 2d 63 68 69 6c 64 20 6f 66 20 74 68 65  ght-child of the
0e40: 20 72 6f 6f 74 20 70 61 67 65 20 74 6f 0a 23 20   root page to.# 
0e50: 70 6f 69 6e 74 20 62 61 63 6b 20 74 6f 20 74 68  point back to th
0e60: 65 20 72 6f 6f 74 20 70 61 67 65 2e 0a 23 0a 64  e root page..#.d
0e70: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d  o_test corruptB-
0e80: 31 2e 37 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f  1.7.1 {.  db clo
0e90: 73 65 0a 20 20 66 6f 72 63 65 63 6f 70 79 20 62  se.  forcecopy b
0ea0: 61 6b 2e 64 62 20 74 65 73 74 2e 64 62 0a 20 20  ak.db test.db.  
0eb0: 73 65 74 20 63 65 6c 6c 5f 6f 66 66 73 65 74 20  set cell_offset 
0ec0: 5b 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b  [hexio_get_int [
0ed0: 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e  hexio_read test.
0ee0: 64 62 20 5b 65 78 70 72 20 24 63 5f 6f 66 66 73  db [expr $c_offs
0ef0: 65 74 2b 31 32 5d 20 32 5d 5d 0a 20 20 68 65 78  et+12] 2]].  hex
0f00: 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62  io_write test.db
0f10: 20 5b 65 78 70 72 20 24 63 5f 6f 66 66 73 65 74   [expr $c_offset
0f20: 2b 24 63 65 6c 6c 5f 6f 66 66 73 65 74 5d 20 5b  +$cell_offset] [
0f30: 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74  hexio_render_int
0f40: 33 32 20 24 3a 3a 72 6f 6f 74 5d 0a 7d 20 7b 34  32 $::root].} {4
0f50: 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  }.do_test corrup
0f60: 74 42 2d 31 2e 37 2e 32 20 7b 0a 20 20 73 71 6c  tB-1.7.2 {.  sql
0f70: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
0f80: 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45 4c    catchsql { SEL
0f90: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a  ECT * FROM t1 }.
0fa0: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
0fb0: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
0fc0: 66 6f 72 6d 65 64 7d 7d 0a 0a 64 6f 5f 74 65 73  formed}}..do_tes
0fd0: 74 20 63 6f 72 72 75 70 74 42 2d 31 2e 38 2e 31  t corruptB-1.8.1
0fe0: 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20   {.  db close.  
0ff0: 73 65 74 20 63 65 6c 6c 5f 6f 66 66 73 65 74 20  set cell_offset 
1000: 5b 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b  [hexio_get_int [
1010: 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e  hexio_read test.
1020: 64 62 20 5b 65 78 70 72 20 24 6f 66 66 73 65 74  db [expr $offset
1030: 2b 31 32 5d 20 32 5d 5d 0a 20 20 73 65 74 20 69  +12] 2]].  set i
1040: 4c 65 66 74 43 68 69 6c 64 20 5b 0a 20 20 20 20  LeftChild [.    
1050: 20 20 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20    hexio_get_int 
1060: 5b 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74  [hexio_read test
1070: 2e 64 62 20 5b 65 78 70 72 20 24 6f 66 66 73 65  .db [expr $offse
1080: 74 2b 24 63 65 6c 6c 5f 6f 66 66 73 65 74 5d 20  t+$cell_offset] 
1090: 34 5d 0a 20 20 5d 0a 20 20 73 65 74 20 63 5f 6f  4].  ].  set c_o
10a0: 66 66 73 65 74 20 5b 65 78 70 72 20 28 24 69 4c  ffset [expr ($iL
10b0: 65 66 74 43 68 69 6c 64 2d 31 29 2a 31 30 32 34  eftChild-1)*1024
10c0: 5d 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20  ].  hexio_write 
10d0: 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24 63  test.db [expr $c
10e0: 5f 6f 66 66 73 65 74 2b 38 5d 20 5b 68 65 78 69  _offset+8] [hexi
10f0: 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20 24  o_render_int32 $
1100: 3a 3a 72 6f 6f 74 5d 0a 7d 20 7b 34 7d 0a 64 6f  ::root].} {4}.do
1110: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d 31  _test corruptB-1
1120: 2e 38 2e 32 20 7b 0a 20 20 73 71 6c 69 74 65 33  .8.2 {.  sqlite3
1130: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
1140: 74 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  tchsql { SELECT 
1150: 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31  * FROM t1 }.} {1
1160: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
1170: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
1180: 65 64 7d 7d 0a 0a 23 20 53 65 74 20 74 68 65 20  ed}}..# Set the 
1190: 6c 65 66 74 2d 63 68 69 6c 64 20 70 6f 69 6e 74  left-child point
11a0: 65 72 20 6f 66 20 61 20 63 65 6c 6c 20 6f 66 20  er of a cell of 
11b0: 74 68 65 20 72 69 67 68 74 2d 63 68 69 6c 64 20  the right-child 
11c0: 6f 66 20 74 68 65 20 72 6f 6f 74 20 70 61 67 65  of the root page
11d0: 20 74 6f 0a 23 20 70 6f 69 6e 74 20 62 61 63 6b   to.# point back
11e0: 20 74 6f 20 74 68 65 20 72 6f 6f 74 20 70 61 67   to the root pag
11f0: 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72  e..#.do_test cor
1200: 72 75 70 74 42 2d 31 2e 39 2e 31 20 7b 0a 20 20  ruptB-1.9.1 {.  
1210: 64 62 20 63 6c 6f 73 65 0a 20 20 66 6f 72 63 65  db close.  force
1220: 63 6f 70 79 20 62 61 6b 2e 64 62 20 74 65 73 74  copy bak.db test
1230: 2e 64 62 0a 20 20 73 65 74 20 63 65 6c 6c 5f 6f  .db.  set cell_o
1240: 66 66 73 65 74 20 5b 68 65 78 69 6f 5f 67 65 74  ffset [hexio_get
1250: 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65 61 64  _int [hexio_read
1260: 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24   test.db [expr $
1270: 63 5f 6f 66 66 73 65 74 2b 31 32 5d 20 32 5d 5d  c_offset+12] 2]]
1280: 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74  .  hexio_write t
1290: 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24 63 5f  est.db [expr $c_
12a0: 6f 66 66 73 65 74 2b 24 63 65 6c 6c 5f 6f 66 66  offset+$cell_off
12b0: 73 65 74 5d 20 5b 68 65 78 69 6f 5f 72 65 6e 64  set] [hexio_rend
12c0: 65 72 5f 69 6e 74 33 32 20 24 3a 3a 72 6f 6f 74  er_int32 $::root
12d0: 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20  ].} {4}.do_test 
12e0: 63 6f 72 72 75 70 74 42 2d 31 2e 39 2e 32 20 7b  corruptB-1.9.2 {
12f0: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
1300: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  st.db.  catchsql
1310: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
1320: 20 74 31 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61   t1 }.} {1 {data
1330: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
1340: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a  is malformed}}..
1350: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
1360: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1380: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1390: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 0a 64 6f  ------------..do
13a0: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d 32  _test corruptB-2
13b0: 2e 31 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73  .1.1 {.  db clos
13c0: 65 0a 20 20 66 6f 72 63 65 63 6f 70 79 20 62 61  e.  forcecopy ba
13d0: 6b 2e 64 62 20 74 65 73 74 2e 64 62 0a 20 20 68  k.db test.db.  h
13e0: 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e  exio_write test.
13f0: 64 62 20 5b 65 78 70 72 20 24 6f 66 66 73 65 74  db [expr $offset
1400: 2b 38 5d 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65  +8] [hexio_rende
1410: 72 5f 69 6e 74 33 32 20 30 78 36 46 46 46 46 46  r_int32 0x6FFFFF
1420: 46 46 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73  FF].} {4}.do_tes
1430: 74 20 63 6f 72 72 75 70 74 42 2d 32 2e 31 2e 32  t corruptB-2.1.2
1440: 20 7b 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20   {.  sqlite3 db 
1450: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
1460: 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  ql { SELECT * FR
1470: 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 7b 64 61  OM t1 }.} {1 {da
1480: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
1490: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
14a0: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
14b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
14c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
14d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
14e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 0a  --------------..
14f0: 23 20 43 6f 72 72 75 70 74 20 74 68 65 20 68 65  # Corrupt the he
1500: 61 64 65 72 2d 73 69 7a 65 20 66 69 65 6c 64 20  ader-size field 
1510: 6f 66 20 61 20 64 61 74 61 62 61 73 65 20 72 65  of a database re
1520: 63 6f 72 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  cord..#.do_test 
1530: 63 6f 72 72 75 70 74 42 2d 33 2e 31 2e 31 20 7b  corruptB-3.1.1 {
1540: 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 6f  .  db close.  fo
1550: 72 63 65 63 6f 70 79 20 62 61 6b 2e 64 62 20 74  rcecopy bak.db t
1560: 65 73 74 2e 64 62 0a 20 20 73 71 6c 69 74 65 33  est.db.  sqlite3
1570: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 73 65   db test.db.  se
1580: 74 20 76 20 5b 73 74 72 69 6e 67 20 72 65 70 65  t v [string repe
1590: 61 74 20 61 62 63 64 65 66 67 68 69 6a 20 32 30  at abcdefghij 20
15a0: 30 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  0].  execsql {. 
15b0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
15c0: 74 32 28 61 29 3b 0a 20 20 20 20 49 4e 53 45 52  t2(a);.    INSER
15d0: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
15e0: 28 24 76 29 3b 0a 20 20 7d 0a 20 20 73 65 74 20  ($v);.  }.  set 
15f0: 74 32 5f 72 6f 6f 74 20 5b 65 78 65 63 73 71 6c  t2_root [execsql
1600: 20 7b 53 45 4c 45 43 54 20 72 6f 6f 74 70 61 67   {SELECT rootpag
1610: 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61  e FROM sqlite_ma
1620: 73 74 65 72 20 57 48 45 52 45 20 6e 61 6d 65 20  ster WHERE name 
1630: 3d 20 27 74 32 27 7d 5d 0a 20 20 73 65 74 20 69  = 't2'}].  set i
1640: 50 61 67 65 20 5b 65 78 70 72 20 28 24 74 32 5f  Page [expr ($t2_
1650: 72 6f 6f 74 2d 31 29 2a 31 30 32 34 5d 0a 20 20  root-1)*1024].  
1660: 73 65 74 20 69 43 65 6c 6c 61 72 72 61 79 20 5b  set iCellarray [
1670: 65 78 70 72 20 24 69 50 61 67 65 20 2b 20 38 5d  expr $iPage + 8]
1680: 0a 20 20 73 65 74 20 69 52 65 63 6f 72 64 20 5b  .  set iRecord [
1690: 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68  hexio_get_int [h
16a0: 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64  exio_read test.d
16b0: 62 20 24 69 43 65 6c 6c 61 72 72 61 79 20 32 5d  b $iCellarray 2]
16c0: 5d 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 68  ].  db close.  h
16d0: 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e  exio_write test.
16e0: 64 62 20 5b 65 78 70 72 20 24 69 50 61 67 65 2b  db [expr $iPage+
16f0: 24 69 52 65 63 6f 72 64 2b 33 5d 20 46 46 30 30  $iRecord+3] FF00
1700: 0a 7d 20 7b 32 7d 0a 64 6f 5f 74 65 73 74 20 63  .} {2}.do_test c
1710: 6f 72 72 75 70 74 42 2d 33 2e 31 2e 32 20 7b 0a  orruptB-3.1.2 {.
1720: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
1730: 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20  t.db.  catchsql 
1740: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
1750: 74 32 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62  t2 }.} {1 {datab
1760: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
1770: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 66  s malformed}}..f
1780: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.