/ Hex Artifact Content
Login

Artifact 44133515cf46c4d7bba691e3bcfa478080413af0:


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 0a 64 6f 5f 74 65 73 74 20 63  odec...do_test c
04a0: 6f 72 72 75 70 74 42 2d 31 2e 31 20 7b 0a 20 20  orruptB-1.1 {.  
04b0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52  execsql {.    PR
04c0: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d  AGMA auto_vacuum
04d0: 20 3d 20 31 3b 0a 20 20 20 20 43 52 45 41 54 45   = 1;.    CREATE
04e0: 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20   TABLE t1(x);.  
04f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0500: 20 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c   VALUES(randombl
0510: 6f 62 28 32 30 30 29 29 3b 0a 20 20 20 20 49 4e  ob(200));.    IN
0520: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
0530: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32  ECT randomblob(2
0540: 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  00) FROM t1;.   
0550: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0560: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
0570: 62 28 32 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  b(200) FROM t1;.
0580: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0590: 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t1 SELECT random
05a0: 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74  blob(200) FROM t
05b0: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  1;.    INSERT IN
05c0: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e  TO t1 SELECT ran
05d0: 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46 52 4f  domblob(200) FRO
05e0: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
05f0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
0600: 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20  randomblob(200) 
0610: 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 20 20 65  FROM t1;.  }.  e
0620: 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20  xpr {[file size 
0630: 74 65 73 74 2e 64 62 5d 20 3e 20 28 31 30 32 34  test.db] > (1024
0640: 2a 39 29 7d 0a 7d 20 7b 31 7d 0a 69 6e 74 65 67  *9)}.} {1}.integ
0650: 72 69 74 79 5f 63 68 65 63 6b 20 63 6f 72 72 75  rity_check corru
0660: 70 74 42 2d 31 2e 32 0a 0a 66 69 6c 65 20 63 6f  ptB-1.2..file co
0670: 70 79 20 2d 66 6f 72 63 65 20 74 65 73 74 2e 64  py -force test.d
0680: 62 20 62 61 6b 2e 64 62 0a 0a 23 20 53 65 74 20  b bak.db..# Set 
0690: 74 68 65 20 72 69 67 68 74 2d 63 68 69 6c 64 20  the right-child 
06a0: 6f 66 20 61 20 42 2d 54 72 65 65 20 72 6f 6f 74  of a B-Tree root
06b0: 70 61 67 65 20 74 6f 20 72 65 66 65 72 20 74 6f  page to refer to
06c0: 20 74 68 65 20 72 6f 6f 74 2d 70 61 67 65 20 69   the root-page i
06d0: 74 73 65 6c 66 2e 0a 23 0a 64 6f 5f 74 65 73 74  tself..#.do_test
06e0: 20 63 6f 72 72 75 70 74 42 2d 31 2e 33 2e 31 20   corruptB-1.3.1 
06f0: 7b 0a 20 20 73 65 74 20 3a 3a 72 6f 6f 74 20 5b  {.  set ::root [
0700: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
0710: 72 6f 6f 74 70 61 67 65 20 46 52 4f 4d 20 73 71  rootpage FROM sq
0720: 6c 69 74 65 5f 6d 61 73 74 65 72 7d 5d 0a 20 20  lite_master}].  
0730: 73 65 74 20 3a 3a 6f 66 66 73 65 74 20 5b 65 78  set ::offset [ex
0740: 70 72 20 7b 28 24 3a 3a 72 6f 6f 74 2d 31 29 2a  pr {($::root-1)*
0750: 31 30 32 34 7d 5d 0a 20 20 68 65 78 69 6f 5f 77  1024}].  hexio_w
0760: 72 69 74 65 20 74 65 73 74 2e 64 62 20 5b 65 78  rite test.db [ex
0770: 70 72 20 24 6f 66 66 73 65 74 2b 38 5d 20 5b 68  pr $offset+8] [h
0780: 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33  exio_render_int3
0790: 32 20 24 3a 3a 72 6f 6f 74 5d 0a 7d 20 7b 34 7d  2 $::root].} {4}
07a0: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
07b0: 42 2d 31 2e 33 2e 32 20 7b 0a 20 20 73 71 6c 69  B-1.3.2 {.  sqli
07c0: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
07d0: 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45   catchsql { SELE
07e0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 7d  CT * FROM t1 }.}
07f0: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
0800: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
0810: 6f 72 6d 65 64 7d 7d 0a 0a 23 20 53 65 74 20 74  ormed}}..# Set t
0820: 68 65 20 6c 65 66 74 2d 63 68 69 6c 64 20 6f 66  he left-child of
0830: 20 61 20 63 65 6c 6c 20 69 6e 20 61 20 42 2d 54   a cell in a B-T
0840: 72 65 65 20 72 6f 6f 74 70 61 67 65 20 74 6f 20  ree rootpage to 
0850: 72 65 66 65 72 20 74 6f 20 74 68 65 20 0a 23 20  refer to the .# 
0860: 72 6f 6f 74 2d 70 61 67 65 20 69 74 73 65 6c 66  root-page itself
0870: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  ..#.do_test corr
0880: 75 70 74 42 2d 31 2e 34 2e 31 20 7b 0a 20 20 64  uptB-1.4.1 {.  d
0890: 62 20 63 6c 6f 73 65 0a 20 20 66 69 6c 65 20 63  b close.  file c
08a0: 6f 70 79 20 2d 66 6f 72 63 65 20 62 61 6b 2e 64  opy -force bak.d
08b0: 62 20 74 65 73 74 2e 64 62 0a 20 20 73 65 74 20  b test.db.  set 
08c0: 63 65 6c 6c 5f 6f 66 66 73 65 74 20 5b 68 65 78  cell_offset [hex
08d0: 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69  io_get_int [hexi
08e0: 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20 5b  o_read test.db [
08f0: 65 78 70 72 20 24 6f 66 66 73 65 74 2b 31 32 5d  expr $offset+12]
0900: 20 32 5d 5d 0a 20 20 68 65 78 69 6f 5f 77 72 69   2]].  hexio_wri
0910: 74 65 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72  te test.db [expr
0920: 20 24 6f 66 66 73 65 74 2b 24 63 65 6c 6c 5f 6f   $offset+$cell_o
0930: 66 66 73 65 74 5d 20 5b 68 65 78 69 6f 5f 72 65  ffset] [hexio_re
0940: 6e 64 65 72 5f 69 6e 74 33 32 20 24 3a 3a 72 6f  nder_int32 $::ro
0950: 6f 74 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73  ot].} {4}.do_tes
0960: 74 20 63 6f 72 72 75 70 74 42 2d 31 2e 34 2e 32  t corruptB-1.4.2
0970: 20 7b 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20   {.  sqlite3 db 
0980: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
0990: 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  ql { SELECT * FR
09a0: 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 7b 64 61  OM t1 }.} {1 {da
09b0: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
09c0: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
09d0: 0a 0a 23 20 4e 6f 77 20 67 72 6f 77 20 74 68 65  ..# Now grow the
09e0: 20 74 61 62 6c 65 20 42 2d 54 72 65 65 20 73 6f   table B-Tree so
09f0: 20 74 68 61 74 20 69 74 20 69 73 20 6d 6f 72 65   that it is more
0a00: 20 74 68 61 6e 20 32 20 6c 65 76 65 6c 73 20 68   than 2 levels h
0a10: 69 67 68 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63  igh..#.do_test c
0a20: 6f 72 72 75 70 74 42 2d 31 2e 35 2e 31 20 7b 0a  orruptB-1.5.1 {.
0a30: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 69 6c    db close.  fil
0a40: 65 20 63 6f 70 79 20 2d 66 6f 72 63 65 20 62 61  e copy -force ba
0a50: 6b 2e 64 62 20 74 65 73 74 2e 64 62 0a 20 20 73  k.db test.db.  s
0a60: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
0a70: 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  b.  execsql {.  
0a80: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0a90: 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c   SELECT randombl
0aa0: 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74 31 3b  ob(200) FROM t1;
0ab0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0ac0: 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f   t1 SELECT rando
0ad0: 6d 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20  mblob(200) FROM 
0ae0: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
0af0: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61  NTO t1 SELECT ra
0b00: 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46 52  ndomblob(200) FR
0b10: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
0b20: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
0b30: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29   randomblob(200)
0b40: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
0b50: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
0b60: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32  ECT randomblob(2
0b70: 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  00) FROM t1;.   
0b80: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0b90: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
0ba0: 62 28 32 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  b(200) FROM t1;.
0bb0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0bc0: 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t1 SELECT random
0bd0: 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74  blob(200) FROM t
0be0: 31 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 66 69 6c  1;.  }.} {}..fil
0bf0: 65 20 63 6f 70 79 20 2d 66 6f 72 63 65 20 74 65  e copy -force te
0c00: 73 74 2e 64 62 20 62 61 6b 2e 64 62 0a 0a 23 20  st.db bak.db..# 
0c10: 53 65 74 20 74 68 65 20 72 69 67 68 74 2d 63 68  Set the right-ch
0c20: 69 6c 64 20 70 6f 69 6e 74 65 72 20 6f 66 20 74  ild pointer of t
0c30: 68 65 20 72 69 67 68 74 2d 63 68 69 6c 64 20 6f  he right-child o
0c40: 66 20 74 68 65 20 72 6f 6f 74 20 70 61 67 65 20  f the root page 
0c50: 74 6f 20 70 6f 69 6e 74 0a 23 20 62 61 63 6b 20  to point.# back 
0c60: 74 6f 20 74 68 65 20 72 6f 6f 74 20 70 61 67 65  to the root page
0c70: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  ..#.do_test corr
0c80: 75 70 74 42 2d 31 2e 36 2e 31 20 7b 0a 20 20 64  uptB-1.6.1 {.  d
0c90: 62 20 63 6c 6f 73 65 0a 20 20 73 65 74 20 69 52  b close.  set iR
0ca0: 69 67 68 74 43 68 69 6c 64 20 5b 68 65 78 69 6f  ightChild [hexio
0cb0: 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f  _get_int [hexio_
0cc0: 72 65 61 64 20 74 65 73 74 2e 64 62 20 5b 65 78  read test.db [ex
0cd0: 70 72 20 24 6f 66 66 73 65 74 2b 38 5d 20 34 5d  pr $offset+8] 4]
0ce0: 5d 0a 20 20 73 65 74 20 63 5f 6f 66 66 73 65 74  ].  set c_offset
0cf0: 20 5b 65 78 70 72 20 28 24 69 52 69 67 68 74 43   [expr ($iRightC
0d00: 68 69 6c 64 2d 31 29 2a 31 30 32 34 5d 0a 20 20  hild-1)*1024].  
0d10: 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74  hexio_write test
0d20: 2e 64 62 20 5b 65 78 70 72 20 24 63 5f 6f 66 66  .db [expr $c_off
0d30: 73 65 74 2b 38 5d 20 5b 68 65 78 69 6f 5f 72 65  set+8] [hexio_re
0d40: 6e 64 65 72 5f 69 6e 74 33 32 20 24 3a 3a 72 6f  nder_int32 $::ro
0d50: 6f 74 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73  ot].} {4}.do_tes
0d60: 74 20 63 6f 72 72 75 70 74 42 2d 31 2e 36 2e 32  t corruptB-1.6.2
0d70: 20 7b 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20   {.  sqlite3 db 
0d80: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
0d90: 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  ql { SELECT * FR
0da0: 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 7b 64 61  OM t1 }.} {1 {da
0db0: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
0dc0: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
0dd0: 0a 0a 23 20 53 65 74 20 74 68 65 20 6c 65 66 74  ..# Set the left
0de0: 2d 63 68 69 6c 64 20 70 6f 69 6e 74 65 72 20 6f  -child pointer o
0df0: 66 20 61 20 63 65 6c 6c 20 6f 66 20 74 68 65 20  f a cell of the 
0e00: 72 69 67 68 74 2d 63 68 69 6c 64 20 6f 66 20 74  right-child of t
0e10: 68 65 20 72 6f 6f 74 20 70 61 67 65 20 74 6f 0a  he root page to.
0e20: 23 20 70 6f 69 6e 74 20 62 61 63 6b 20 74 6f 20  # point back to 
0e30: 74 68 65 20 72 6f 6f 74 20 70 61 67 65 2e 0a 23  the root page..#
0e40: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
0e50: 42 2d 31 2e 37 2e 31 20 7b 0a 20 20 64 62 20 63  B-1.7.1 {.  db c
0e60: 6c 6f 73 65 0a 20 20 66 69 6c 65 20 63 6f 70 79  lose.  file copy
0e70: 20 2d 66 6f 72 63 65 20 62 61 6b 2e 64 62 20 74   -force bak.db t
0e80: 65 73 74 2e 64 62 0a 20 20 73 65 74 20 63 65 6c  est.db.  set cel
0e90: 6c 5f 6f 66 66 73 65 74 20 5b 68 65 78 69 6f 5f  l_offset [hexio_
0ea0: 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72  get_int [hexio_r
0eb0: 65 61 64 20 74 65 73 74 2e 64 62 20 5b 65 78 70  ead test.db [exp
0ec0: 72 20 24 63 5f 6f 66 66 73 65 74 2b 31 32 5d 20  r $c_offset+12] 
0ed0: 32 5d 5d 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  2]].  hexio_writ
0ee0: 65 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  e test.db [expr 
0ef0: 24 63 5f 6f 66 66 73 65 74 2b 24 63 65 6c 6c 5f  $c_offset+$cell_
0f00: 6f 66 66 73 65 74 5d 20 5b 68 65 78 69 6f 5f 72  offset] [hexio_r
0f10: 65 6e 64 65 72 5f 69 6e 74 33 32 20 24 3a 3a 72  ender_int32 $::r
0f20: 6f 6f 74 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65  oot].} {4}.do_te
0f30: 73 74 20 63 6f 72 72 75 70 74 42 2d 31 2e 37 2e  st corruptB-1.7.
0f40: 32 20 7b 0a 20 20 73 71 6c 69 74 65 33 20 64 62  2 {.  sqlite3 db
0f50: 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68   test.db.  catch
0f60: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  sql { SELECT * F
0f70: 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 7b 64  ROM t1 }.} {1 {d
0f80: 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61  atabase disk ima
0f90: 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d  ge is malformed}
0fa0: 7d 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  }..do_test corru
0fb0: 70 74 42 2d 31 2e 38 2e 31 20 7b 0a 20 20 64 62  ptB-1.8.1 {.  db
0fc0: 20 63 6c 6f 73 65 0a 20 20 73 65 74 20 63 65 6c   close.  set cel
0fd0: 6c 5f 6f 66 66 73 65 74 20 5b 68 65 78 69 6f 5f  l_offset [hexio_
0fe0: 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72  get_int [hexio_r
0ff0: 65 61 64 20 74 65 73 74 2e 64 62 20 5b 65 78 70  ead test.db [exp
1000: 72 20 24 6f 66 66 73 65 74 2b 31 32 5d 20 32 5d  r $offset+12] 2]
1010: 5d 0a 20 20 73 65 74 20 69 4c 65 66 74 43 68 69  ].  set iLeftChi
1020: 6c 64 20 5b 0a 20 20 20 20 20 20 68 65 78 69 6f  ld [.      hexio
1030: 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f  _get_int [hexio_
1040: 72 65 61 64 20 74 65 73 74 2e 64 62 20 5b 65 78  read test.db [ex
1050: 70 72 20 24 6f 66 66 73 65 74 2b 24 63 65 6c 6c  pr $offset+$cell
1060: 5f 6f 66 66 73 65 74 5d 20 34 5d 0a 20 20 5d 0a  _offset] 4].  ].
1070: 20 20 73 65 74 20 63 5f 6f 66 66 73 65 74 20 5b    set c_offset [
1080: 65 78 70 72 20 28 24 69 4c 65 66 74 43 68 69 6c  expr ($iLeftChil
1090: 64 2d 31 29 2a 31 30 32 34 5d 0a 20 20 68 65 78  d-1)*1024].  hex
10a0: 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62  io_write test.db
10b0: 20 5b 65 78 70 72 20 24 63 5f 6f 66 66 73 65 74   [expr $c_offset
10c0: 2b 38 5d 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65  +8] [hexio_rende
10d0: 72 5f 69 6e 74 33 32 20 24 3a 3a 72 6f 6f 74 5d  r_int32 $::root]
10e0: 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20 63  .} {4}.do_test c
10f0: 6f 72 72 75 70 74 42 2d 31 2e 38 2e 32 20 7b 0a  orruptB-1.8.2 {.
1100: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
1110: 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20  t.db.  catchsql 
1120: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
1130: 74 31 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62  t1 }.} {1 {datab
1140: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
1150: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 23  s malformed}}..#
1160: 20 53 65 74 20 74 68 65 20 6c 65 66 74 2d 63 68   Set the left-ch
1170: 69 6c 64 20 70 6f 69 6e 74 65 72 20 6f 66 20 61  ild pointer of a
1180: 20 63 65 6c 6c 20 6f 66 20 74 68 65 20 72 69 67   cell of the rig
1190: 68 74 2d 63 68 69 6c 64 20 6f 66 20 74 68 65 20  ht-child of the 
11a0: 72 6f 6f 74 20 70 61 67 65 20 74 6f 0a 23 20 70  root page to.# p
11b0: 6f 69 6e 74 20 62 61 63 6b 20 74 6f 20 74 68 65  oint back to the
11c0: 20 72 6f 6f 74 20 70 61 67 65 2e 0a 23 0a 64 6f   root page..#.do
11d0: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d 31  _test corruptB-1
11e0: 2e 39 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73  .9.1 {.  db clos
11f0: 65 0a 20 20 66 69 6c 65 20 63 6f 70 79 20 2d 66  e.  file copy -f
1200: 6f 72 63 65 20 62 61 6b 2e 64 62 20 74 65 73 74  orce bak.db test
1210: 2e 64 62 0a 20 20 73 65 74 20 63 65 6c 6c 5f 6f  .db.  set cell_o
1220: 66 66 73 65 74 20 5b 68 65 78 69 6f 5f 67 65 74  ffset [hexio_get
1230: 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65 61 64  _int [hexio_read
1240: 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24   test.db [expr $
1250: 63 5f 6f 66 66 73 65 74 2b 31 32 5d 20 32 5d 5d  c_offset+12] 2]]
1260: 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74  .  hexio_write t
1270: 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24 63 5f  est.db [expr $c_
1280: 6f 66 66 73 65 74 2b 24 63 65 6c 6c 5f 6f 66 66  offset+$cell_off
1290: 73 65 74 5d 20 5b 68 65 78 69 6f 5f 72 65 6e 64  set] [hexio_rend
12a0: 65 72 5f 69 6e 74 33 32 20 24 3a 3a 72 6f 6f 74  er_int32 $::root
12b0: 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20  ].} {4}.do_test 
12c0: 63 6f 72 72 75 70 74 42 2d 31 2e 39 2e 32 20 7b  corruptB-1.9.2 {
12d0: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
12e0: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  st.db.  catchsql
12f0: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
1300: 20 74 31 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61   t1 }.} {1 {data
1310: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
1320: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a  is malformed}}..
1330: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
1340: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1350: 2d 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 0a 0a 64 6f  ------------..do
1380: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d 32  _test corruptB-2
1390: 2e 31 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73  .1.1 {.  db clos
13a0: 65 0a 20 20 66 69 6c 65 20 63 6f 70 79 20 2d 66  e.  file copy -f
13b0: 6f 72 63 65 20 62 61 6b 2e 64 62 20 74 65 73 74  orce bak.db test
13c0: 2e 64 62 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  .db.  hexio_writ
13d0: 65 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  e test.db [expr 
13e0: 24 6f 66 66 73 65 74 2b 38 5d 20 5b 68 65 78 69  $offset+8] [hexi
13f0: 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20 30  o_render_int32 0
1400: 78 36 46 46 46 46 46 46 46 5d 0a 7d 20 7b 34 7d  x6FFFFFFF].} {4}
1410: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
1420: 42 2d 32 2e 31 2e 32 20 7b 0a 20 20 73 71 6c 69  B-2.1.2 {.  sqli
1430: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
1440: 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45   catchsql { SELE
1450: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 7d  CT * FROM t1 }.}
1460: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
1470: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
1480: 6f 72 6d 65 64 7d 7d 0a 0a 23 2d 2d 2d 2d 2d 2d  ormed}}..#------
1490: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
14a0: 2d 2d 2d 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 0a 0a 23 20 43 6f 72 72 75 70 74  -----..# Corrupt
14e0: 20 74 68 65 20 68 65 61 64 65 72 2d 73 69 7a 65   the header-size
14f0: 20 66 69 65 6c 64 20 6f 66 20 61 20 64 61 74 61   field of a data
1500: 62 61 73 65 20 72 65 63 6f 72 64 2e 0a 23 0a 64  base record..#.d
1510: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d  o_test corruptB-
1520: 33 2e 31 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f  3.1.1 {.  db clo
1530: 73 65 0a 20 20 66 69 6c 65 20 63 6f 70 79 20 2d  se.  file copy -
1540: 66 6f 72 63 65 20 62 61 6b 2e 64 62 20 74 65 73  force bak.db tes
1550: 74 2e 64 62 0a 20 20 73 71 6c 69 74 65 33 20 64  t.db.  sqlite3 d
1560: 62 20 74 65 73 74 2e 64 62 0a 20 20 73 65 74 20  b test.db.  set 
1570: 76 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61 74  v [string repeat
1580: 20 61 62 63 64 65 66 67 68 69 6a 20 32 30 30 5d   abcdefghij 200]
1590: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
15a0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32   CREATE TABLE t2
15b0: 28 61 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  (a);.    INSERT 
15c0: 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 24  INTO t2 VALUES($
15d0: 76 29 3b 0a 20 20 7d 0a 20 20 73 65 74 20 74 32  v);.  }.  set t2
15e0: 5f 72 6f 6f 74 20 5b 65 78 65 63 73 71 6c 20 7b  _root [execsql {
15f0: 53 45 4c 45 43 54 20 72 6f 6f 74 70 61 67 65 20  SELECT rootpage 
1600: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74  FROM sqlite_mast
1610: 65 72 20 57 48 45 52 45 20 6e 61 6d 65 20 3d 20  er WHERE name = 
1620: 27 74 32 27 7d 5d 0a 20 20 73 65 74 20 69 50 61  't2'}].  set iPa
1630: 67 65 20 5b 65 78 70 72 20 28 24 74 32 5f 72 6f  ge [expr ($t2_ro
1640: 6f 74 2d 31 29 2a 31 30 32 34 5d 0a 20 20 73 65  ot-1)*1024].  se
1650: 74 20 69 43 65 6c 6c 61 72 72 61 79 20 5b 65 78  t iCellarray [ex
1660: 70 72 20 24 69 50 61 67 65 20 2b 20 38 5d 0a 20  pr $iPage + 8]. 
1670: 20 73 65 74 20 69 52 65 63 6f 72 64 20 5b 68 65   set iRecord [he
1680: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78  xio_get_int [hex
1690: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20  io_read test.db 
16a0: 24 69 43 65 6c 6c 61 72 72 61 79 20 32 5d 5d 0a  $iCellarray 2]].
16b0: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 68 65 78    db close.  hex
16c0: 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62  io_write test.db
16d0: 20 5b 65 78 70 72 20 24 69 50 61 67 65 2b 24 69   [expr $iPage+$i
16e0: 52 65 63 6f 72 64 2b 33 5d 20 46 46 30 30 0a 7d  Record+3] FF00.}
16f0: 20 7b 32 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 72   {2}.do_test cor
1700: 72 75 70 74 42 2d 33 2e 31 2e 32 20 7b 0a 20 20  ruptB-3.1.2 {.  
1710: 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e  sqlite3 db test.
1720: 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20  db.  catchsql { 
1730: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
1740: 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73   }.} {1 {databas
1750: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
1760: 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 66 69 6e  malformed}}..fin
1770: 69 73 68 5f 74 65 73 74 0a                       ish_test.