SQLite4
Hex Artifact Content
Not logged in

Artifact 038e0057107e9ce2904dbd000efdd4dd4cb2571c:


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 34 5f 43 4f 52 52 55 50 54 20 65  QLITE4_CORRUPT e
02f0: 72 72 6f 72 20 69 73 20 72 65 74 75 72 6e 65 64  rror is returned
0300: 20 69 66 20 61 20 42 2d 54 72 65 65 20 70 61 67   if a B-Tree pag
0310: 65 0a 23 20 63 6f 6e 74 61 69 6e 73 20 61 20 28  e.# contains a (
0320: 63 6f 72 72 75 70 74 29 20 72 65 66 65 72 65 6e  corrupt) referen
0330: 63 65 20 74 6f 20 61 20 70 61 67 65 20 67 72 65  ce to a page gre
0340: 61 74 65 72 20 74 68 61 6e 20 74 68 65 20 63 6f  ater than the co
0350: 6e 66 69 67 75 72 65 64 0a 23 20 6d 61 78 69 6d  nfigured.# maxim
0360: 75 6d 20 70 61 67 65 20 6e 75 6d 62 65 72 2e 0a  um page number..
0370: 23 0a 23 20 24 49 64 3a 20 63 6f 72 72 75 70 74  #.# $Id: corrupt
0380: 42 2e 74 65 73 74 2c 76 20 31 2e 34 20 32 30 30  B.test,v 1.4 200
0390: 39 2f 30 37 2f 32 31 20 31 39 3a 32 35 3a 32 34  9/07/21 19:25:24
03a0: 20 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70   danielk1977 Exp
03b0: 20 24 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20   $..set testdir 
03c0: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61  [file dirname $a
03d0: 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65  rgv0].source $te
03e0: 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c  stdir/tester.tcl
03f0: 0a 0a 23 20 44 6f 20 6e 6f 74 20 75 73 65 20 61  ..# Do not use a
0400: 20 63 6f 64 65 63 20 66 6f 72 20 74 65 73 74 73   codec for tests
0410: 20 69 6e 20 74 68 69 73 20 66 69 6c 65 2c 20 61   in this file, a
0420: 73 20 74 68 65 20 64 61 74 61 62 61 73 65 20 66  s the database f
0430: 69 6c 65 20 69 73 0a 23 20 6d 61 6e 69 70 75 6c  ile is.# manipul
0440: 61 74 65 64 20 64 69 72 65 63 74 6c 79 20 75 73  ated directly us
0450: 69 6e 67 20 74 63 6c 20 73 63 72 69 70 74 73 20  ing tcl scripts 
0460: 28 75 73 69 6e 67 20 74 68 65 20 5b 68 65 78 69  (using the [hexi
0470: 6f 5f 77 72 69 74 65 5d 20 63 6f 6d 6d 61 6e 64  o_write] command
0480: 29 2e 0a 23 0a 64 6f 5f 6e 6f 74 5f 75 73 65 5f  )..#.do_not_use_
0490: 63 6f 64 65 63 0a 0a 0a 64 6f 5f 74 65 73 74 20  codec...do_test 
04a0: 63 6f 72 72 75 70 74 42 2d 31 2e 31 20 7b 0a 20  corruptB-1.1 {. 
04b0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
04c0: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
04d0: 6d 20 3d 20 31 3b 0a 20 20 20 20 43 52 45 41 54  m = 1;.    CREAT
04e0: 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20  E TABLE t1(x);. 
04f0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0500: 31 20 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62  1 VALUES(randomb
0510: 6c 6f 62 28 32 30 30 29 29 3b 0a 20 20 20 20 49  lob(200));.    I
0520: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
0530: 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  LECT randomblob(
0540: 32 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  200) FROM t1;.  
0550: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0560: 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c   SELECT randombl
0570: 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74 31 3b  ob(200) FROM t1;
0580: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0590: 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f   t1 SELECT rando
05a0: 6d 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20  mblob(200) FROM 
05b0: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
05c0: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61  NTO t1 SELECT ra
05d0: 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46 52  ndomblob(200) FR
05e0: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
05f0: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
0600: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29   randomblob(200)
0610: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 20 20   FROM t1;.  }.  
0620: 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65  expr {[file size
0630: 20 74 65 73 74 2e 64 62 5d 20 3e 20 28 31 30 32   test.db] > (102
0640: 34 2a 39 29 7d 0a 7d 20 7b 31 7d 0a 69 6e 74 65  4*9)}.} {1}.inte
0650: 67 72 69 74 79 5f 63 68 65 63 6b 20 63 6f 72 72  grity_check corr
0660: 75 70 74 42 2d 31 2e 32 0a 0a 66 6f 72 63 65 63  uptB-1.2..forcec
0670: 6f 70 79 20 74 65 73 74 2e 64 62 20 62 61 6b 2e  opy test.db bak.
0680: 64 62 0a 0a 23 20 53 65 74 20 74 68 65 20 72 69  db..# Set the ri
0690: 67 68 74 2d 63 68 69 6c 64 20 6f 66 20 61 20 42  ght-child of a B
06a0: 2d 54 72 65 65 20 72 6f 6f 74 70 61 67 65 20 74  -Tree rootpage t
06b0: 6f 20 72 65 66 65 72 20 74 6f 20 74 68 65 20 72  o refer to the r
06c0: 6f 6f 74 2d 70 61 67 65 20 69 74 73 65 6c 66 2e  oot-page itself.
06d0: 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  .#.do_test corru
06e0: 70 74 42 2d 31 2e 33 2e 31 20 7b 0a 20 20 73 65  ptB-1.3.1 {.  se
06f0: 74 20 3a 3a 72 6f 6f 74 20 5b 65 78 65 63 73 71  t ::root [execsq
0700: 6c 20 7b 53 45 4c 45 43 54 20 72 6f 6f 74 70 61  l {SELECT rootpa
0710: 67 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d  ge FROM sqlite_m
0720: 61 73 74 65 72 7d 5d 0a 20 20 73 65 74 20 3a 3a  aster}].  set ::
0730: 6f 66 66 73 65 74 20 5b 65 78 70 72 20 7b 28 24  offset [expr {($
0740: 3a 3a 72 6f 6f 74 2d 31 29 2a 31 30 32 34 7d 5d  ::root-1)*1024}]
0750: 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74  .  hexio_write t
0760: 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24 6f 66  est.db [expr $of
0770: 66 73 65 74 2b 38 5d 20 5b 68 65 78 69 6f 5f 72  fset+8] [hexio_r
0780: 65 6e 64 65 72 5f 69 6e 74 33 32 20 24 3a 3a 72  ender_int32 $::r
0790: 6f 6f 74 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65  oot].} {4}.do_te
07a0: 73 74 20 63 6f 72 72 75 70 74 42 2d 31 2e 33 2e  st corruptB-1.3.
07b0: 32 20 7b 0a 20 20 73 71 6c 69 74 65 34 20 64 62  2 {.  sqlite4 db
07c0: 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68   test.db.  catch
07d0: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  sql { SELECT * F
07e0: 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 7b 64  ROM t1 }.} {1 {d
07f0: 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61  atabase disk ima
0800: 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d  ge is malformed}
0810: 7d 0a 0a 23 20 53 65 74 20 74 68 65 20 6c 65 66  }..# Set the lef
0820: 74 2d 63 68 69 6c 64 20 6f 66 20 61 20 63 65 6c  t-child of a cel
0830: 6c 20 69 6e 20 61 20 42 2d 54 72 65 65 20 72 6f  l in a B-Tree ro
0840: 6f 74 70 61 67 65 20 74 6f 20 72 65 66 65 72 20  otpage to refer 
0850: 74 6f 20 74 68 65 20 0a 23 20 72 6f 6f 74 2d 70  to the .# root-p
0860: 61 67 65 20 69 74 73 65 6c 66 2e 0a 23 0a 64 6f  age itself..#.do
0870: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d 31  _test corruptB-1
0880: 2e 34 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73  .4.1 {.  db clos
0890: 65 0a 20 20 66 6f 72 63 65 63 6f 70 79 20 62 61  e.  forcecopy ba
08a0: 6b 2e 64 62 20 74 65 73 74 2e 64 62 0a 20 20 73  k.db test.db.  s
08b0: 65 74 20 63 65 6c 6c 5f 6f 66 66 73 65 74 20 5b  et cell_offset [
08c0: 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68  hexio_get_int [h
08d0: 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64  exio_read test.d
08e0: 62 20 5b 65 78 70 72 20 24 6f 66 66 73 65 74 2b  b [expr $offset+
08f0: 31 32 5d 20 32 5d 5d 0a 20 20 68 65 78 69 6f 5f  12] 2]].  hexio_
0900: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 5b 65  write test.db [e
0910: 78 70 72 20 24 6f 66 66 73 65 74 2b 24 63 65 6c  xpr $offset+$cel
0920: 6c 5f 6f 66 66 73 65 74 5d 20 5b 68 65 78 69 6f  l_offset] [hexio
0930: 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20 24 3a  _render_int32 $:
0940: 3a 72 6f 6f 74 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f  :root].} {4}.do_
0950: 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d 31 2e  test corruptB-1.
0960: 34 2e 32 20 7b 0a 20 20 73 71 6c 69 74 65 34 20  4.2 {.  sqlite4 
0970: 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74  db test.db.  cat
0980: 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a  chsql { SELECT *
0990: 20 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20   FROM t1 }.} {1 
09a0: 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69  {database disk i
09b0: 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65  mage is malforme
09c0: 64 7d 7d 0a 0a 23 20 4e 6f 77 20 67 72 6f 77 20  d}}..# Now grow 
09d0: 74 68 65 20 74 61 62 6c 65 20 42 2d 54 72 65 65  the table B-Tree
09e0: 20 73 6f 20 74 68 61 74 20 69 74 20 69 73 20 6d   so that it is m
09f0: 6f 72 65 20 74 68 61 6e 20 32 20 6c 65 76 65 6c  ore than 2 level
0a00: 73 20 68 69 67 68 2e 0a 23 0a 64 6f 5f 74 65 73  s high..#.do_tes
0a10: 74 20 63 6f 72 72 75 70 74 42 2d 31 2e 35 2e 31  t corruptB-1.5.1
0a20: 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20   {.  db close.  
0a30: 66 6f 72 63 65 63 6f 70 79 20 62 61 6b 2e 64 62  forcecopy bak.db
0a40: 20 74 65 73 74 2e 64 62 0a 20 20 73 71 6c 69 74   test.db.  sqlit
0a50: 65 34 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e4 db test.db.  
0a60: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e  execsql {.    IN
0a70: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
0a80: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32  ECT randomblob(2
0a90: 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  00) FROM t1;.   
0aa0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0ab0: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
0ac0: 62 28 32 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  b(200) FROM t1;.
0ad0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0ae0: 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t1 SELECT random
0af0: 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74  blob(200) FROM t
0b00: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  1;.    INSERT IN
0b10: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e  TO t1 SELECT ran
0b20: 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46 52 4f  domblob(200) FRO
0b30: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
0b40: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
0b50: 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30 30 29 20  randomblob(200) 
0b60: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
0b70: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
0b80: 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30  CT randomblob(20
0b90: 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  0) FROM t1;.    
0ba0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
0bb0: 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62  ELECT randomblob
0bc0: 28 32 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20  (200) FROM t1;. 
0bd0: 20 7d 0a 7d 20 7b 7d 0a 0a 66 6f 72 63 65 63 6f   }.} {}..forceco
0be0: 70 79 20 74 65 73 74 2e 64 62 20 62 61 6b 2e 64  py test.db bak.d
0bf0: 62 0a 0a 23 20 53 65 74 20 74 68 65 20 72 69 67  b..# Set the rig
0c00: 68 74 2d 63 68 69 6c 64 20 70 6f 69 6e 74 65 72  ht-child pointer
0c10: 20 6f 66 20 74 68 65 20 72 69 67 68 74 2d 63 68   of the right-ch
0c20: 69 6c 64 20 6f 66 20 74 68 65 20 72 6f 6f 74 20  ild of the root 
0c30: 70 61 67 65 20 74 6f 20 70 6f 69 6e 74 0a 23 20  page to point.# 
0c40: 62 61 63 6b 20 74 6f 20 74 68 65 20 72 6f 6f 74  back to the root
0c50: 20 70 61 67 65 2e 0a 23 0a 64 6f 5f 74 65 73 74   page..#.do_test
0c60: 20 63 6f 72 72 75 70 74 42 2d 31 2e 36 2e 31 20   corruptB-1.6.1 
0c70: 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 73  {.  db close.  s
0c80: 65 74 20 69 52 69 67 68 74 43 68 69 6c 64 20 5b  et iRightChild [
0c90: 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68  hexio_get_int [h
0ca0: 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64  exio_read test.d
0cb0: 62 20 5b 65 78 70 72 20 24 6f 66 66 73 65 74 2b  b [expr $offset+
0cc0: 38 5d 20 34 5d 5d 0a 20 20 73 65 74 20 63 5f 6f  8] 4]].  set c_o
0cd0: 66 66 73 65 74 20 5b 65 78 70 72 20 28 24 69 52  ffset [expr ($iR
0ce0: 69 67 68 74 43 68 69 6c 64 2d 31 29 2a 31 30 32  ightChild-1)*102
0cf0: 34 5d 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65  4].  hexio_write
0d00: 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24   test.db [expr $
0d10: 63 5f 6f 66 66 73 65 74 2b 38 5d 20 5b 68 65 78  c_offset+8] [hex
0d20: 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20  io_render_int32 
0d30: 24 3a 3a 72 6f 6f 74 5d 0a 7d 20 7b 34 7d 0a 64  $::root].} {4}.d
0d40: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d  o_test corruptB-
0d50: 31 2e 36 2e 32 20 7b 0a 20 20 73 71 6c 69 74 65  1.6.2 {.  sqlite
0d60: 34 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63  4 db test.db.  c
0d70: 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54  atchsql { SELECT
0d80: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b   * FROM t1 }.} {
0d90: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
0da0: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
0db0: 6d 65 64 7d 7d 0a 0a 23 20 53 65 74 20 74 68 65  med}}..# Set the
0dc0: 20 6c 65 66 74 2d 63 68 69 6c 64 20 70 6f 69 6e   left-child poin
0dd0: 74 65 72 20 6f 66 20 61 20 63 65 6c 6c 20 6f 66  ter of a cell of
0de0: 20 74 68 65 20 72 69 67 68 74 2d 63 68 69 6c 64   the right-child
0df0: 20 6f 66 20 74 68 65 20 72 6f 6f 74 20 70 61 67   of the root pag
0e00: 65 20 74 6f 0a 23 20 70 6f 69 6e 74 20 62 61 63  e to.# point bac
0e10: 6b 20 74 6f 20 74 68 65 20 72 6f 6f 74 20 70 61  k to the root pa
0e20: 67 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f  ge..#.do_test co
0e30: 72 72 75 70 74 42 2d 31 2e 37 2e 31 20 7b 0a 20  rruptB-1.7.1 {. 
0e40: 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 6f 72 63   db close.  forc
0e50: 65 63 6f 70 79 20 62 61 6b 2e 64 62 20 74 65 73  ecopy bak.db tes
0e60: 74 2e 64 62 0a 20 20 73 65 74 20 63 65 6c 6c 5f  t.db.  set cell_
0e70: 6f 66 66 73 65 74 20 5b 68 65 78 69 6f 5f 67 65  offset [hexio_ge
0e80: 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65 61  t_int [hexio_rea
0e90: 64 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  d test.db [expr 
0ea0: 24 63 5f 6f 66 66 73 65 74 2b 31 32 5d 20 32 5d  $c_offset+12] 2]
0eb0: 5d 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20  ].  hexio_write 
0ec0: 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24 63  test.db [expr $c
0ed0: 5f 6f 66 66 73 65 74 2b 24 63 65 6c 6c 5f 6f 66  _offset+$cell_of
0ee0: 66 73 65 74 5d 20 5b 68 65 78 69 6f 5f 72 65 6e  fset] [hexio_ren
0ef0: 64 65 72 5f 69 6e 74 33 32 20 24 3a 3a 72 6f 6f  der_int32 $::roo
0f00: 74 5d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74  t].} {4}.do_test
0f10: 20 63 6f 72 72 75 70 74 42 2d 31 2e 37 2e 32 20   corruptB-1.7.2 
0f20: 7b 0a 20 20 73 71 6c 69 74 65 34 20 64 62 20 74  {.  sqlite4 db t
0f30: 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71  est.db.  catchsq
0f40: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
0f50: 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 7b 64 61 74  M t1 }.} {1 {dat
0f60: 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65  abase disk image
0f70: 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a   is malformed}}.
0f80: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
0f90: 42 2d 31 2e 38 2e 31 20 7b 0a 20 20 64 62 20 63  B-1.8.1 {.  db c
0fa0: 6c 6f 73 65 0a 20 20 73 65 74 20 63 65 6c 6c 5f  lose.  set cell_
0fb0: 6f 66 66 73 65 74 20 5b 68 65 78 69 6f 5f 67 65  offset [hexio_ge
0fc0: 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65 61  t_int [hexio_rea
0fd0: 64 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  d test.db [expr 
0fe0: 24 6f 66 66 73 65 74 2b 31 32 5d 20 32 5d 5d 0a  $offset+12] 2]].
0ff0: 20 20 73 65 74 20 69 4c 65 66 74 43 68 69 6c 64    set iLeftChild
1000: 20 5b 0a 20 20 20 20 20 20 68 65 78 69 6f 5f 67   [.      hexio_g
1010: 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65  et_int [hexio_re
1020: 61 64 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72  ad test.db [expr
1030: 20 24 6f 66 66 73 65 74 2b 24 63 65 6c 6c 5f 6f   $offset+$cell_o
1040: 66 66 73 65 74 5d 20 34 5d 0a 20 20 5d 0a 20 20  ffset] 4].  ].  
1050: 73 65 74 20 63 5f 6f 66 66 73 65 74 20 5b 65 78  set c_offset [ex
1060: 70 72 20 28 24 69 4c 65 66 74 43 68 69 6c 64 2d  pr ($iLeftChild-
1070: 31 29 2a 31 30 32 34 5d 0a 20 20 68 65 78 69 6f  1)*1024].  hexio
1080: 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 5b  _write test.db [
1090: 65 78 70 72 20 24 63 5f 6f 66 66 73 65 74 2b 38  expr $c_offset+8
10a0: 5d 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f  ] [hexio_render_
10b0: 69 6e 74 33 32 20 24 3a 3a 72 6f 6f 74 5d 0a 7d  int32 $::root].}
10c0: 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 72   {4}.do_test cor
10d0: 72 75 70 74 42 2d 31 2e 38 2e 32 20 7b 0a 20 20  ruptB-1.8.2 {.  
10e0: 73 71 6c 69 74 65 34 20 64 62 20 74 65 73 74 2e  sqlite4 db test.
10f0: 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20  db.  catchsql { 
1100: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
1110: 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73   }.} {1 {databas
1120: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
1130: 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 23 20 53  malformed}}..# S
1140: 65 74 20 74 68 65 20 6c 65 66 74 2d 63 68 69 6c  et the left-chil
1150: 64 20 70 6f 69 6e 74 65 72 20 6f 66 20 61 20 63  d pointer of a c
1160: 65 6c 6c 20 6f 66 20 74 68 65 20 72 69 67 68 74  ell of the right
1170: 2d 63 68 69 6c 64 20 6f 66 20 74 68 65 20 72 6f  -child of the ro
1180: 6f 74 20 70 61 67 65 20 74 6f 0a 23 20 70 6f 69  ot page to.# poi
1190: 6e 74 20 62 61 63 6b 20 74 6f 20 74 68 65 20 72  nt back to the r
11a0: 6f 6f 74 20 70 61 67 65 2e 0a 23 0a 64 6f 5f 74  oot page..#.do_t
11b0: 65 73 74 20 63 6f 72 72 75 70 74 42 2d 31 2e 39  est corruptB-1.9
11c0: 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a  .1 {.  db close.
11d0: 20 20 66 6f 72 63 65 63 6f 70 79 20 62 61 6b 2e    forcecopy bak.
11e0: 64 62 20 74 65 73 74 2e 64 62 0a 20 20 73 65 74  db test.db.  set
11f0: 20 63 65 6c 6c 5f 6f 66 66 73 65 74 20 5b 68 65   cell_offset [he
1200: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78  xio_get_int [hex
1210: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20  io_read test.db 
1220: 5b 65 78 70 72 20 24 63 5f 6f 66 66 73 65 74 2b  [expr $c_offset+
1230: 31 32 5d 20 32 5d 5d 0a 20 20 68 65 78 69 6f 5f  12] 2]].  hexio_
1240: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 5b 65  write test.db [e
1250: 78 70 72 20 24 63 5f 6f 66 66 73 65 74 2b 24 63  xpr $c_offset+$c
1260: 65 6c 6c 5f 6f 66 66 73 65 74 5d 20 5b 68 65 78  ell_offset] [hex
1270: 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20  io_render_int32 
1280: 24 3a 3a 72 6f 6f 74 5d 0a 7d 20 7b 34 7d 0a 64  $::root].} {4}.d
1290: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d  o_test corruptB-
12a0: 31 2e 39 2e 32 20 7b 0a 20 20 73 71 6c 69 74 65  1.9.2 {.  sqlite
12b0: 34 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63  4 db test.db.  c
12c0: 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54  atchsql { SELECT
12d0: 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b   * FROM t1 }.} {
12e0: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
12f0: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
1300: 6d 65 64 7d 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  med}}..#--------
1310: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1320: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1330: 2d 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 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72  ---..do_test cor
1360: 72 75 70 74 42 2d 32 2e 31 2e 31 20 7b 0a 20 20  ruptB-2.1.1 {.  
1370: 64 62 20 63 6c 6f 73 65 0a 20 20 66 6f 72 63 65  db close.  force
1380: 63 6f 70 79 20 62 61 6b 2e 64 62 20 74 65 73 74  copy bak.db test
1390: 2e 64 62 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  .db.  hexio_writ
13a0: 65 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  e test.db [expr 
13b0: 24 6f 66 66 73 65 74 2b 38 5d 20 5b 68 65 78 69  $offset+8] [hexi
13c0: 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20 30  o_render_int32 0
13d0: 78 36 46 46 46 46 46 46 46 5d 0a 7d 20 7b 34 7d  x6FFFFFFF].} {4}
13e0: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
13f0: 42 2d 32 2e 31 2e 32 20 7b 0a 20 20 73 71 6c 69  B-2.1.2 {.  sqli
1400: 74 65 34 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te4 db test.db. 
1410: 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45   catchsql { SELE
1420: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 7d 0a 7d  CT * FROM t1 }.}
1430: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
1440: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
1450: 6f 72 6d 65 64 7d 7d 0a 0a 23 2d 2d 2d 2d 2d 2d  ormed}}..#------
1460: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1470: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1480: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1490: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
14a0: 2d 2d 2d 2d 2d 0a 0a 23 20 43 6f 72 72 75 70 74  -----..# Corrupt
14b0: 20 74 68 65 20 68 65 61 64 65 72 2d 73 69 7a 65   the header-size
14c0: 20 66 69 65 6c 64 20 6f 66 20 61 20 64 61 74 61   field of a data
14d0: 62 61 73 65 20 72 65 63 6f 72 64 2e 0a 23 0a 64  base record..#.d
14e0: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d  o_test corruptB-
14f0: 33 2e 31 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f  3.1.1 {.  db clo
1500: 73 65 0a 20 20 66 6f 72 63 65 63 6f 70 79 20 62  se.  forcecopy b
1510: 61 6b 2e 64 62 20 74 65 73 74 2e 64 62 0a 20 20  ak.db test.db.  
1520: 73 71 6c 69 74 65 34 20 64 62 20 74 65 73 74 2e  sqlite4 db test.
1530: 64 62 0a 20 20 73 65 74 20 76 20 5b 73 74 72 69  db.  set v [stri
1540: 6e 67 20 72 65 70 65 61 74 20 61 62 63 64 65 66  ng repeat abcdef
1550: 67 68 69 6a 20 32 30 30 5d 0a 20 20 65 78 65 63  ghij 200].  exec
1560: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  sql {.    CREATE
1570: 20 54 41 42 4c 45 20 74 32 28 61 29 3b 0a 20 20   TABLE t2(a);.  
1580: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
1590: 20 56 41 4c 55 45 53 28 24 76 29 3b 0a 20 20 7d   VALUES($v);.  }
15a0: 0a 20 20 73 65 74 20 74 32 5f 72 6f 6f 74 20 5b  .  set t2_root [
15b0: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
15c0: 72 6f 6f 74 70 61 67 65 20 46 52 4f 4d 20 73 71  rootpage FROM sq
15d0: 6c 69 74 65 5f 6d 61 73 74 65 72 20 57 48 45 52  lite_master WHER
15e0: 45 20 6e 61 6d 65 20 3d 20 27 74 32 27 7d 5d 0a  E name = 't2'}].
15f0: 20 20 73 65 74 20 69 50 61 67 65 20 5b 65 78 70    set iPage [exp
1600: 72 20 28 24 74 32 5f 72 6f 6f 74 2d 31 29 2a 31  r ($t2_root-1)*1
1610: 30 32 34 5d 0a 20 20 73 65 74 20 69 43 65 6c 6c  024].  set iCell
1620: 61 72 72 61 79 20 5b 65 78 70 72 20 24 69 50 61  array [expr $iPa
1630: 67 65 20 2b 20 38 5d 0a 20 20 73 65 74 20 69 52  ge + 8].  set iR
1640: 65 63 6f 72 64 20 5b 68 65 78 69 6f 5f 67 65 74  ecord [hexio_get
1650: 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65 61 64  _int [hexio_read
1660: 20 74 65 73 74 2e 64 62 20 24 69 43 65 6c 6c 61   test.db $iCella
1670: 72 72 61 79 20 32 5d 5d 0a 20 20 64 62 20 63 6c  rray 2]].  db cl
1680: 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  ose.  hexio_writ
1690: 65 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  e test.db [expr 
16a0: 24 69 50 61 67 65 2b 24 69 52 65 63 6f 72 64 2b  $iPage+$iRecord+
16b0: 33 5d 20 46 46 30 30 0a 7d 20 7b 32 7d 0a 64 6f  3] FF00.} {2}.do
16c0: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 42 2d 33  _test corruptB-3
16d0: 2e 31 2e 32 20 7b 0a 20 20 73 71 6c 69 74 65 34  .1.2 {.  sqlite4
16e0: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
16f0: 74 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  tchsql { SELECT 
1700: 2a 20 46 52 4f 4d 20 74 32 20 7d 0a 7d 20 7b 31  * FROM t2 }.} {1
1710: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
1720: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
1730: 65 64 7d 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73  ed}}..finish_tes
1740: 74 0a                                            t.