/ Hex Artifact Content
Login

Artifact ada8f27dd4fd237e010bf46453d5ff114a8ca23a:


0000: 23 20 32 30 30 34 20 41 75 67 75 73 74 20 33 30  # 2004 August 30
0010: 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20  .#.# The author 
0020: 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69  disclaims copyri
0030: 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72  ght to this sour
0040: 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61  ce code.  In pla
0050: 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20  ce of.# a legal 
0060: 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20  notice, here is 
0070: 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20  a blessing:.#.# 
0080: 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f     May you do go
0090: 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e  od and not evil.
00a0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69  .#    May you fi
00b0: 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66  nd forgiveness f
00c0: 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20  or yourself and 
00d0: 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a  forgive others..
00e0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61  #    May you sha
00f0: 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72  re freely, never
0100: 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61   taking more tha
0110: 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a  n you 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 2a 2a 2a 0a 23 20 54 68 69 73 20 66 69  ******.# This fi
0170: 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65  le implements re
0180: 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66  gression tests f
0190: 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72  or SQLite librar
01a0: 79 2e 0a 23 0a 23 20 54 68 69 73 20 66 69 6c 65  y..#.# This file
01b0: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74 65 73 74   implements test
01c0: 73 20 74 6f 20 6d 61 6b 65 20 73 75 72 65 20 53  s to make sure S
01d0: 51 4c 69 74 65 20 64 6f 65 73 20 6e 6f 74 20 63  QLite does not c
01e0: 72 61 73 68 20 6f 72 0a 23 20 73 65 67 66 61 75  rash or.# segfau
01f0: 6c 74 20 69 66 20 69 74 20 73 65 65 73 20 61 20  lt if it sees a 
0200: 63 6f 72 72 75 70 74 20 64 61 74 61 62 61 73 65  corrupt database
0210: 20 66 69 6c 65 2e 0a 23 0a 23 20 24 49 64 3a 20   file..#.# $Id: 
0220: 63 6f 72 72 75 70 74 32 2e 74 65 73 74 2c 76 20  corrupt2.test,v 
0230: 31 2e 32 30 20 32 30 30 39 2f 30 34 2f 30 36 20  1.20 2009/04/06 
0240: 31 37 3a 35 30 3a 30 33 20 64 61 6e 69 65 6c 6b  17:50:03 danielk
0250: 31 39 37 37 20 45 78 70 20 24 0a 0a 73 65 74 20  1977 Exp $..set 
0260: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
0270: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
0280: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
0290: 73 74 65 72 2e 74 63 6c 0a 0a 23 20 44 6f 20 6e  ster.tcl..# Do n
02a0: 6f 74 20 75 73 65 20 61 20 63 6f 64 65 63 20 66  ot use a codec f
02b0: 6f 72 20 74 65 73 74 73 20 69 6e 20 74 68 69 73  or tests in this
02c0: 20 66 69 6c 65 2c 20 61 73 20 74 68 65 20 64 61   file, as the da
02d0: 74 61 62 61 73 65 20 66 69 6c 65 20 69 73 0a 23  tabase file is.#
02e0: 20 6d 61 6e 69 70 75 6c 61 74 65 64 20 64 69 72   manipulated dir
02f0: 65 63 74 6c 79 20 75 73 69 6e 67 20 74 63 6c 20  ectly using tcl 
0300: 73 63 72 69 70 74 73 20 28 75 73 69 6e 67 20 74  scripts (using t
0310: 68 65 20 5b 68 65 78 69 6f 5f 77 72 69 74 65 5d  he [hexio_write]
0320: 20 63 6f 6d 6d 61 6e 64 29 2e 0a 23 0a 64 6f 5f   command)..#.do_
0330: 6e 6f 74 5f 75 73 65 5f 63 6f 64 65 63 0a 0a 23  not_use_codec..#
0340: 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74   The following t
0350: 65 73 74 73 20 2d 20 63 6f 72 72 75 70 74 32 2d  ests - corrupt2-
0360: 31 2e 2a 20 2d 20 63 72 65 61 74 65 20 73 6f 6d  1.* - create som
0370: 65 20 64 61 74 61 62 61 73 65 73 20 63 6f 72 72  e databases corr
0380: 75 70 74 65 64 20 69 6e 0a 23 20 73 70 65 63 69  upted in.# speci
0390: 66 69 63 20 77 61 79 73 20 61 6e 64 20 65 6e 73  fic ways and ens
03a0: 75 72 65 20 74 68 61 74 20 53 51 4c 69 74 65 20  ure that SQLite 
03b0: 64 65 74 65 63 74 73 20 74 68 65 6d 20 61 73 20  detects them as 
03c0: 63 6f 72 72 75 70 74 2e 0a 23 0a 64 6f 5f 74 65  corrupt..#.do_te
03d0: 73 74 20 63 6f 72 72 75 70 74 32 2d 31 2e 31 20  st corrupt2-1.1 
03e0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
03f0: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
0400: 63 75 75 6d 3d 30 3b 0a 20 20 20 20 50 52 41 47  cuum=0;.    PRAG
0410: 4d 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 30 32  MA page_size=102
0420: 34 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  4;.    CREATE TA
0430: 42 4c 45 20 61 62 63 28 61 2c 20 62 2c 20 63 29  BLE abc(a, b, c)
0440: 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74  ;.  }.} {}..do_t
0450: 65 73 74 20 63 6f 72 72 75 70 74 32 2d 31 2e 32  est corrupt2-1.2
0460: 20 7b 0a 0a 20 20 23 20 43 6f 72 72 75 70 74 20   {..  # Corrupt 
0470: 74 68 65 20 31 36 20 62 79 74 65 20 6d 61 67 69  the 16 byte magi
0480: 63 20 73 74 72 69 6e 67 20 61 74 20 74 68 65 20  c string at the 
0490: 73 74 61 72 74 20 6f 66 20 74 68 65 20 66 69 6c  start of the fil
04a0: 65 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20  e.  file delete 
04b0: 2d 66 6f 72 63 65 20 63 6f 72 72 75 70 74 2e 64  -force corrupt.d
04c0: 62 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20  b.  file delete 
04d0: 2d 66 6f 72 63 65 20 63 6f 72 72 75 70 74 2e 64  -force corrupt.d
04e0: 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 63 6f 70 79  b-journal.  copy
04f0: 5f 66 69 6c 65 20 74 65 73 74 2e 64 62 20 63 6f  _file test.db co
0500: 72 72 75 70 74 2e 64 62 0a 20 20 73 65 74 20 66  rrupt.db.  set f
0510: 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64   [open corrupt.d
0520: 62 20 52 44 57 52 5d 0a 20 20 73 65 65 6b 20 24  b RDWR].  seek $
0530: 66 20 38 20 73 74 61 72 74 0a 20 20 70 75 74 73  f 8 start.  puts
0540: 20 24 66 20 62 6c 61 68 0a 20 20 63 6c 6f 73 65   $f blah.  close
0550: 20 24 66 0a 0a 20 20 73 71 6c 69 74 65 33 20 64   $f..  sqlite3 d
0560: 62 32 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20  b2 corrupt.db.  
0570: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53  catchsql {.    S
0580: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c  ELECT * FROM sql
0590: 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20 7d 20  ite_master;.  } 
05a0: 64 62 32 0a 7d 20 7b 31 20 7b 66 69 6c 65 20 69  db2.} {1 {file i
05b0: 73 20 65 6e 63 72 79 70 74 65 64 20 6f 72 20 69  s encrypted or i
05c0: 73 20 6e 6f 74 20 61 20 64 61 74 61 62 61 73 65  s not a database
05d0: 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  }}..do_test corr
05e0: 75 70 74 32 2d 31 2e 33 20 7b 0a 20 20 64 62 32  upt2-1.3 {.  db2
05f0: 20 63 6c 6f 73 65 0a 0a 20 20 23 20 43 6f 72 72   close..  # Corr
0600: 75 70 74 20 74 68 65 20 70 61 67 65 2d 73 69 7a  upt the page-siz
0610: 65 20 28 62 79 74 65 73 20 31 36 20 61 6e 64 20  e (bytes 16 and 
0620: 31 37 20 6f 66 20 70 61 67 65 20 31 29 2e 0a 20  17 of page 1).. 
0630: 20 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f   file delete -fo
0640: 72 63 65 20 63 6f 72 72 75 70 74 2e 64 62 0a 20  rce corrupt.db. 
0650: 20 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f   file delete -fo
0660: 72 63 65 20 63 6f 72 72 75 70 74 2e 64 62 2d 6a  rce corrupt.db-j
0670: 6f 75 72 6e 61 6c 0a 20 20 63 6f 70 79 5f 66 69  ournal.  copy_fi
0680: 6c 65 20 74 65 73 74 2e 64 62 20 63 6f 72 72 75  le test.db corru
0690: 70 74 2e 64 62 0a 20 20 73 65 74 20 66 20 5b 6f  pt.db.  set f [o
06a0: 70 65 6e 20 63 6f 72 72 75 70 74 2e 64 62 20 52  pen corrupt.db R
06b0: 44 57 52 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72  DWR].  fconfigur
06c0: 65 20 24 66 20 2d 65 6e 63 6f 64 69 6e 67 20 62  e $f -encoding b
06d0: 69 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 20  inary.  seek $f 
06e0: 31 36 20 73 74 61 72 74 0a 20 20 70 75 74 73 20  16 start.  puts 
06f0: 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 20 22 5c  -nonewline $f "\
0700: 78 30 30 5c 78 46 46 22 0a 20 20 63 6c 6f 73 65  x00\xFF".  close
0710: 20 24 66 0a 0a 20 20 73 71 6c 69 74 65 33 20 64   $f..  sqlite3 d
0720: 62 32 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20  b2 corrupt.db.  
0730: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53  catchsql {.    S
0740: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c  ELECT * FROM sql
0750: 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20 7d 20  ite_master;.  } 
0760: 64 62 32 0a 7d 20 7b 31 20 7b 66 69 6c 65 20 69  db2.} {1 {file i
0770: 73 20 65 6e 63 72 79 70 74 65 64 20 6f 72 20 69  s encrypted or i
0780: 73 20 6e 6f 74 20 61 20 64 61 74 61 62 61 73 65  s not a database
0790: 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  }}..do_test corr
07a0: 75 70 74 32 2d 31 2e 34 20 7b 0a 20 20 64 62 32  upt2-1.4 {.  db2
07b0: 20 63 6c 6f 73 65 0a 0a 20 20 23 20 43 6f 72 72   close..  # Corr
07c0: 75 70 74 20 74 68 65 20 66 72 65 65 2d 62 6c 6f  upt the free-blo
07d0: 63 6b 20 6c 69 73 74 20 6f 6e 20 70 61 67 65 20  ck list on page 
07e0: 31 2e 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65  1..  file delete
07f0: 20 2d 66 6f 72 63 65 20 63 6f 72 72 75 70 74 2e   -force corrupt.
0800: 64 62 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65  db.  file delete
0810: 20 2d 66 6f 72 63 65 20 63 6f 72 72 75 70 74 2e   -force corrupt.
0820: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 63 6f 70  db-journal.  cop
0830: 79 5f 66 69 6c 65 20 74 65 73 74 2e 64 62 20 63  y_file test.db c
0840: 6f 72 72 75 70 74 2e 64 62 0a 20 20 73 65 74 20  orrupt.db.  set 
0850: 66 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e  f [open corrupt.
0860: 64 62 20 52 44 57 52 5d 0a 20 20 66 63 6f 6e 66  db RDWR].  fconf
0870: 69 67 75 72 65 20 24 66 20 2d 65 6e 63 6f 64 69  igure $f -encodi
0880: 6e 67 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b  ng binary.  seek
0890: 20 24 66 20 31 30 31 20 73 74 61 72 74 0a 20 20   $f 101 start.  
08a0: 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20  puts -nonewline 
08b0: 24 66 20 22 5c 78 46 46 5c 78 46 46 22 0a 20 20  $f "\xFF\xFF".  
08c0: 63 6c 6f 73 65 20 24 66 0a 0a 20 20 73 71 6c 69  close $f..  sqli
08d0: 74 65 33 20 64 62 32 20 63 6f 72 72 75 70 74 2e  te3 db2 corrupt.
08e0: 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a  db.  catchsql {.
08f0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
0900: 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b  M sqlite_master;
0910: 0a 20 20 7d 20 64 62 32 0a 7d 20 7b 31 20 7b 64  .  } db2.} {1 {d
0920: 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61  atabase disk ima
0930: 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d  ge is malformed}
0940: 7d 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  }..do_test corru
0950: 70 74 32 2d 31 2e 35 20 7b 0a 20 20 64 62 32 20  pt2-1.5 {.  db2 
0960: 63 6c 6f 73 65 0a 0a 20 20 23 20 43 6f 72 72 75  close..  # Corru
0970: 70 74 20 74 68 65 20 66 72 65 65 2d 62 6c 6f 63  pt the free-bloc
0980: 6b 20 6c 69 73 74 20 6f 6e 20 70 61 67 65 20 31  k list on page 1
0990: 2e 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20  ..  file delete 
09a0: 2d 66 6f 72 63 65 20 63 6f 72 72 75 70 74 2e 64  -force corrupt.d
09b0: 62 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20  b.  file delete 
09c0: 2d 66 6f 72 63 65 20 63 6f 72 72 75 70 74 2e 64  -force corrupt.d
09d0: 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 63 6f 70 79  b-journal.  copy
09e0: 5f 66 69 6c 65 20 74 65 73 74 2e 64 62 20 63 6f  _file test.db co
09f0: 72 72 75 70 74 2e 64 62 0a 20 20 73 65 74 20 66  rrupt.db.  set f
0a00: 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64   [open corrupt.d
0a10: 62 20 52 44 57 52 5d 0a 20 20 66 63 6f 6e 66 69  b RDWR].  fconfi
0a20: 67 75 72 65 20 24 66 20 2d 65 6e 63 6f 64 69 6e  gure $f -encodin
0a30: 67 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b 20  g binary.  seek 
0a40: 24 66 20 31 30 31 20 73 74 61 72 74 0a 20 20 70  $f 101 start.  p
0a50: 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24  uts -nonewline $
0a60: 66 20 22 5c 78 30 30 5c 78 43 38 22 0a 20 20 73  f "\x00\xC8".  s
0a70: 65 65 6b 20 24 66 20 32 30 30 20 73 74 61 72 74  eek $f 200 start
0a80: 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69  .  puts -nonewli
0a90: 6e 65 20 24 66 20 22 5c 78 30 30 5c 78 30 30 22  ne $f "\x00\x00"
0aa0: 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69  .  puts -nonewli
0ab0: 6e 65 20 24 66 20 22 5c 78 31 30 5c 78 30 30 22  ne $f "\x10\x00"
0ac0: 0a 20 20 63 6c 6f 73 65 20 24 66 0a 0a 20 20 73  .  close $f..  s
0ad0: 71 6c 69 74 65 33 20 64 62 32 20 63 6f 72 72 75  qlite3 db2 corru
0ae0: 70 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  pt.db.  catchsql
0af0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
0b00: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74  FROM sqlite_mast
0b10: 65 72 3b 0a 20 20 7d 20 64 62 32 0a 7d 20 7b 31  er;.  } db2.} {1
0b20: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
0b30: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
0b40: 65 64 7d 7d 0a 64 62 32 20 63 6c 6f 73 65 0a 0a  ed}}.db2 close..
0b50: 23 20 43 6f 72 72 75 70 74 20 61 20 64 61 74 61  # Corrupt a data
0b60: 62 61 73 65 20 62 79 20 68 61 76 69 6e 67 20 32  base by having 2
0b70: 20 69 6e 64 69 63 65 73 20 6f 66 20 74 68 65 20   indices of the 
0b80: 73 61 6d 65 20 6e 61 6d 65 3a 0a 64 6f 5f 74 65  same name:.do_te
0b90: 73 74 20 63 6f 72 72 75 70 74 32 2d 32 2e 31 20  st corrupt2-2.1 
0ba0: 7b 0a 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65  {..  file delete
0bb0: 20 2d 66 6f 72 63 65 20 63 6f 72 72 75 70 74 2e   -force corrupt.
0bc0: 64 62 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65  db.  file delete
0bd0: 20 2d 66 6f 72 63 65 20 63 6f 72 72 75 70 74 2e   -force corrupt.
0be0: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 63 6f 70  db-journal.  cop
0bf0: 79 5f 66 69 6c 65 20 74 65 73 74 2e 64 62 20 63  y_file test.db c
0c00: 6f 72 72 75 70 74 2e 64 62 0a 0a 20 20 73 71 6c  orrupt.db..  sql
0c10: 69 74 65 33 20 64 62 32 20 63 6f 72 72 75 70 74  ite3 db2 corrupt
0c20: 2e 64 62 20 0a 20 20 65 78 65 63 73 71 6c 20 7b  .db .  execsql {
0c30: 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45  .    CREATE INDE
0c40: 58 20 61 31 20 4f 4e 20 61 62 63 28 61 29 3b 0a  X a1 ON abc(a);.
0c50: 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58      CREATE INDEX
0c60: 20 61 32 20 4f 4e 20 61 62 63 28 62 29 3b 0a 20   a2 ON abc(b);. 
0c70: 20 20 20 50 52 41 47 4d 41 20 77 72 69 74 61 62     PRAGMA writab
0c80: 6c 65 5f 73 63 68 65 6d 61 20 3d 20 31 3b 0a 20  le_schema = 1;. 
0c90: 20 20 20 55 50 44 41 54 45 20 73 71 6c 69 74 65     UPDATE sqlite
0ca0: 5f 6d 61 73 74 65 72 20 0a 20 20 20 20 20 20 53  _master .      S
0cb0: 45 54 20 6e 61 6d 65 20 3d 20 27 61 33 27 2c 20  ET name = 'a3', 
0cc0: 73 71 6c 20 3d 20 27 43 52 45 41 54 45 20 49 4e  sql = 'CREATE IN
0cd0: 44 45 58 20 61 33 27 20 7c 7c 20 73 75 62 73 74  DEX a3' || subst
0ce0: 72 28 73 71 6c 2c 20 31 36 2c 20 31 30 30 30 30  r(sql, 16, 10000
0cf0: 29 0a 20 20 20 20 20 20 57 48 45 52 45 20 74 79  ).      WHERE ty
0d00: 70 65 20 3d 20 27 69 6e 64 65 78 27 3b 0a 20 20  pe = 'index';.  
0d10: 20 20 50 52 41 47 4d 41 20 77 72 69 74 61 62 6c    PRAGMA writabl
0d20: 65 5f 73 63 68 65 6d 61 20 3d 20 30 3b 0a 20 20  e_schema = 0;.  
0d30: 7d 20 64 62 32 0a 0a 20 20 64 62 32 20 63 6c 6f  } db2..  db2 clo
0d40: 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32  se.  sqlite3 db2
0d50: 20 63 6f 72 72 75 70 74 2e 64 62 20 0a 20 20 63   corrupt.db .  c
0d60: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45  atchsql {.    SE
0d70: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69  LECT * FROM sqli
0d80: 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20 7d 20 64  te_master;.  } d
0d90: 62 32 0a 7d 20 7b 31 20 7b 6d 61 6c 66 6f 72 6d  b2.} {1 {malform
0da0: 65 64 20 64 61 74 61 62 61 73 65 20 73 63 68 65  ed database sche
0db0: 6d 61 20 28 61 33 29 20 2d 20 69 6e 64 65 78 20  ma (a3) - index 
0dc0: 61 33 20 61 6c 72 65 61 64 79 20 65 78 69 73 74  a3 already exist
0dd0: 73 7d 7d 0a 0a 64 62 32 20 63 6c 6f 73 65 0a 0a  s}}..db2 close..
0de0: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32  do_test corrupt2
0df0: 2d 33 2e 31 20 7b 0a 20 20 66 69 6c 65 20 64 65  -3.1 {.  file de
0e00: 6c 65 74 65 20 2d 66 6f 72 63 65 20 63 6f 72 72  lete -force corr
0e10: 75 70 74 2e 64 62 0a 20 20 66 69 6c 65 20 64 65  upt.db.  file de
0e20: 6c 65 74 65 20 2d 66 6f 72 63 65 20 63 6f 72 72  lete -force corr
0e30: 75 70 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20  upt.db-journal. 
0e40: 20 73 71 6c 69 74 65 33 20 64 62 32 20 63 6f 72   sqlite3 db2 cor
0e50: 72 75 70 74 2e 64 62 20 0a 0a 20 20 65 78 65 63  rupt.db ..  exec
0e60: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
0e70: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31   auto_vacuum = 1
0e80: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67  ;.    PRAGMA pag
0e90: 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20  e_size = 1024;. 
0ea0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
0eb0: 74 31 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20  t1(a, b, c);.   
0ec0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32   CREATE TABLE t2
0ed0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 49  (a, b, c);.    I
0ee0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41  NSERT INTO t2 VA
0ef0: 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28  LUES(randomblob(
0f00: 31 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  100), randomblob
0f10: 28 31 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f  (100), randomblo
0f20: 62 28 31 30 30 29 29 3b 0a 20 20 20 20 49 4e 53  b(100));.    INS
0f30: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45  ERT INTO t2 SELE
0f40: 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20  CT * FROM t2;.  
0f50: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
0f60: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0f70: 32 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  2;.    INSERT IN
0f80: 54 4f 20 74 32 20 53 45 4c 45 43 54 20 2a 20 46  TO t2 SELECT * F
0f90: 52 4f 4d 20 74 32 3b 0a 20 20 20 20 49 4e 53 45  ROM t2;.    INSE
0fa0: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
0fb0: 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 7d  T * FROM t2;.  }
0fc0: 20 64 62 32 0a 0a 20 20 64 62 32 20 63 6c 6f 73   db2..  db2 clos
0fd0: 65 0a 0a 20 20 23 20 4f 6e 20 74 68 65 20 72 6f  e..  # On the ro
0fe0: 6f 74 20 70 61 67 65 20 6f 66 20 74 61 62 6c 65  ot page of table
0ff0: 20 74 32 20 28 70 61 67 65 20 34 29 2c 20 73 65   t2 (page 4), se
1000: 74 20 6f 6e 65 20 6f 66 20 74 68 65 20 63 68 69  t one of the chi
1010: 6c 64 20 70 61 67 65 2d 6e 75 6d 62 65 72 73 0a  ld page-numbers.
1020: 20 20 23 20 74 6f 20 30 2e 20 54 68 69 73 20 63    # to 0. This c
1030: 6f 72 72 75 70 74 69 6f 6e 20 77 69 6c 6c 20 62  orruption will b
1040: 65 20 64 65 74 65 63 74 65 64 20 77 68 65 6e 20  e detected when 
1050: 53 51 4c 69 74 65 20 61 74 74 65 6d 70 74 73 20  SQLite attempts 
1060: 74 6f 20 75 70 64 61 74 65 0a 20 20 23 20 74 68  to update.  # th
1070: 65 20 70 6f 69 6e 74 65 72 2d 6d 61 70 20 61 66  e pointer-map af
1080: 74 65 72 20 6d 6f 76 69 6e 67 20 74 68 65 20 63  ter moving the c
1090: 6f 6e 74 65 6e 74 20 6f 66 20 70 61 67 65 20 34  ontent of page 4
10a0: 20 74 6f 20 70 61 67 65 20 33 20 61 73 20 70 61   to page 3 as pa
10b0: 72 74 0a 20 20 23 20 6f 66 20 74 68 65 20 44 52  rt.  # of the DR
10c0: 4f 50 20 54 41 42 4c 45 20 6f 70 65 72 61 74 69  OP TABLE operati
10d0: 6f 6e 20 62 65 6c 6f 77 2e 0a 20 20 23 0a 20 20  on below..  #.  
10e0: 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 63 6f 72  set fd [open cor
10f0: 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20 20 66 63  rupt.db r+].  fc
1100: 6f 6e 66 69 67 75 72 65 20 24 66 64 20 2d 65 6e  onfigure $fd -en
1110: 63 6f 64 69 6e 67 20 62 69 6e 61 72 79 20 2d 74  coding binary -t
1120: 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e 61 72  ranslation binar
1130: 79 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65 78  y.  seek $fd [ex
1140: 70 72 20 31 30 32 34 2a 33 20 2b 20 31 32 5d 0a  pr 1024*3 + 12].
1150: 20 20 73 65 74 20 7a 43 65 6c 6c 6f 66 66 73 65    set zCelloffse
1160: 74 20 5b 72 65 61 64 20 24 66 64 20 32 5d 0a 20  t [read $fd 2]. 
1170: 20 62 69 6e 61 72 79 20 73 63 61 6e 20 24 7a 43   binary scan $zC
1180: 65 6c 6c 6f 66 66 73 65 74 20 53 20 69 43 65 6c  elloffset S iCel
1190: 6c 6f 66 66 73 65 74 0a 20 20 73 65 65 6b 20 24  loffset.  seek $
11a0: 66 64 20 5b 65 78 70 72 20 31 30 32 34 2a 33 20  fd [expr 1024*3 
11b0: 2b 20 24 69 43 65 6c 6c 6f 66 66 73 65 74 5d 0a  + $iCelloffset].
11c0: 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e    puts -nonewlin
11d0: 65 20 24 66 64 20 22 5c 30 30 5c 30 30 5c 30 30  e $fd "\00\00\00
11e0: 5c 30 30 22 20 0a 20 20 63 6c 6f 73 65 20 24 66  \00" .  close $f
11f0: 64 0a 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32  d..  sqlite3 db2
1200: 20 63 6f 72 72 75 70 74 2e 64 62 20 0a 20 20 63   corrupt.db .  c
1210: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 44 52  atchsql {.    DR
1220: 4f 50 20 54 41 42 4c 45 20 74 31 3b 0a 20 20 7d  OP TABLE t1;.  }
1230: 20 64 62 32 0a 7d 20 7b 31 20 7b 64 61 74 61 62   db2.} {1 {datab
1240: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
1250: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64  s malformed}}..d
1260: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d  o_test corrupt2-
1270: 34 2e 31 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  4.1 {.  catchsql
1280: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
1290: 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 20 64 62 32  FROM t2;.  } db2
12a0: 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20  .} {1 {database 
12b0: 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61  disk image is ma
12c0: 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64 62 32 20 63  lformed}}..db2 c
12d0: 6c 6f 73 65 0a 0a 75 6e 73 65 74 20 2d 6e 6f 63  lose..unset -noc
12e0: 6f 6d 70 6c 61 69 6e 20 72 65 73 75 6c 74 0a 64  omplain result.d
12f0: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d  o_test corrupt2-
1300: 35 2e 31 20 7b 0a 20 20 66 69 6c 65 20 64 65 6c  5.1 {.  file del
1310: 65 74 65 20 2d 66 6f 72 63 65 20 63 6f 72 72 75  ete -force corru
1320: 70 74 2e 64 62 0a 20 20 66 69 6c 65 20 64 65 6c  pt.db.  file del
1330: 65 74 65 20 2d 66 6f 72 63 65 20 63 6f 72 72 75  ete -force corru
1340: 70 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20  pt.db-journal.  
1350: 73 71 6c 69 74 65 33 20 64 62 32 20 63 6f 72 72  sqlite3 db2 corr
1360: 75 70 74 2e 64 62 20 0a 0a 20 20 65 78 65 63 73  upt.db ..  execs
1370: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
1380: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b  auto_vacuum = 0;
1390: 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65  .    PRAGMA page
13a0: 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20  _size = 1024;.  
13b0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
13c0: 31 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20  1(a, b, c);.    
13d0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28  CREATE TABLE t2(
13e0: 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 49 4e  a, b, c);.    IN
13f0: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c  SERT INTO t2 VAL
1400: 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 31  UES(randomblob(1
1410: 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  00), randomblob(
1420: 31 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  100), randomblob
1430: 28 31 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45  (100));.    INSE
1440: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
1450: 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20  T * FROM t2;.   
1460: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
1470: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
1480: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
1490: 4f 20 74 32 20 53 45 4c 45 43 54 20 2a 20 46 52  O t2 SELECT * FR
14a0: 4f 4d 20 74 32 3b 0a 20 20 20 20 49 4e 53 45 52  OM t2;.    INSER
14b0: 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54  T INTO t2 SELECT
14c0: 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20   * FROM t2;.    
14d0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
14e0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b  ELECT * FROM t2;
14f0: 0a 20 20 7d 20 64 62 32 0a 0a 20 20 64 62 32 20  .  } db2..  db2 
1500: 63 6c 6f 73 65 0a 0a 20 20 23 20 54 68 69 73 20  close..  # This 
1510: 62 6c 6f 63 6b 20 6c 69 6e 6b 73 20 61 20 70 61  block links a pa
1520: 67 65 20 66 72 6f 6d 20 74 61 62 6c 65 20 74 32  ge from table t2
1530: 20 69 6e 74 6f 20 74 68 65 20 74 31 20 74 61 62   into the t1 tab
1540: 6c 65 20 73 74 72 75 63 74 75 72 65 2e 0a 20 20  le structure..  
1550: 23 0a 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e  #.  set fd [open
1560: 20 63 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a   corrupt.db r+].
1570: 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64    fconfigure $fd
1580: 20 2d 65 6e 63 6f 64 69 6e 67 20 62 69 6e 61 72   -encoding binar
1590: 79 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62  y -translation b
15a0: 69 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64  inary.  seek $fd
15b0: 20 5b 65 78 70 72 20 31 30 32 34 20 2b 20 31 32   [expr 1024 + 12
15c0: 5d 0a 20 20 73 65 74 20 7a 43 65 6c 6c 6f 66 66  ].  set zCelloff
15d0: 73 65 74 20 5b 72 65 61 64 20 24 66 64 20 32 5d  set [read $fd 2]
15e0: 0a 20 20 62 69 6e 61 72 79 20 73 63 61 6e 20 24  .  binary scan $
15f0: 7a 43 65 6c 6c 6f 66 66 73 65 74 20 53 20 69 43  zCelloffset S iC
1600: 65 6c 6c 6f 66 66 73 65 74 0a 20 20 73 65 65 6b  elloffset.  seek
1610: 20 24 66 64 20 5b 65 78 70 72 20 31 30 32 34 20   $fd [expr 1024 
1620: 2b 20 24 69 43 65 6c 6c 6f 66 66 73 65 74 5d 0a  + $iCelloffset].
1630: 20 20 73 65 74 20 7a 43 68 69 6c 64 50 61 67 65    set zChildPage
1640: 20 5b 72 65 61 64 20 24 66 64 20 34 5d 0a 20 20   [read $fd 4].  
1650: 73 65 65 6b 20 24 66 64 20 5b 65 78 70 72 20 32  seek $fd [expr 2
1660: 2a 31 30 32 34 20 2b 20 31 32 5d 0a 20 20 73 65  *1024 + 12].  se
1670: 74 20 7a 43 65 6c 6c 6f 66 66 73 65 74 20 5b 72  t zCelloffset [r
1680: 65 61 64 20 24 66 64 20 32 5d 0a 20 20 62 69 6e  ead $fd 2].  bin
1690: 61 72 79 20 73 63 61 6e 20 24 7a 43 65 6c 6c 6f  ary scan $zCello
16a0: 66 66 73 65 74 20 53 20 69 43 65 6c 6c 6f 66 66  ffset S iCelloff
16b0: 73 65 74 0a 20 20 73 65 65 6b 20 24 66 64 20 5b  set.  seek $fd [
16c0: 65 78 70 72 20 32 2a 31 30 32 34 20 2b 20 24 69  expr 2*1024 + $i
16d0: 43 65 6c 6c 6f 66 66 73 65 74 5d 0a 20 20 70 75  Celloffset].  pu
16e0: 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66  ts -nonewline $f
16f0: 64 20 24 7a 43 68 69 6c 64 50 61 67 65 0a 20 20  d $zChildPage.  
1700: 63 6c 6f 73 65 20 24 66 64 0a 0a 20 20 73 71 6c  close $fd..  sql
1710: 69 74 65 33 20 64 62 32 20 63 6f 72 72 75 70 74  ite3 db2 corrupt
1720: 2e 64 62 20 0a 20 20 64 62 32 20 65 76 61 6c 20  .db .  db2 eval 
1730: 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52  {SELECT rowid FR
1740: 4f 4d 20 74 31 7d 20 7b 0a 20 20 20 20 73 65 74  OM t1} {.    set
1750: 20 72 65 73 75 6c 74 20 5b 64 62 32 20 65 76 61   result [db2 eva
1760: 6c 20 7b 70 72 61 67 6d 61 20 69 6e 74 65 67 72  l {pragma integr
1770: 69 74 79 5f 63 68 65 63 6b 7d 5d 0a 20 20 20 20  ity_check}].    
1780: 62 72 65 61 6b 0a 20 20 7d 0a 20 20 73 65 74 20  break.  }.  set 
1790: 72 65 73 75 6c 74 0a 7d 20 7b 7b 2a 2a 2a 20 69  result.} {{*** i
17a0: 6e 20 64 61 74 61 62 61 73 65 20 6d 61 69 6e 20  n database main 
17b0: 2a 2a 2a 0a 4f 6e 20 74 72 65 65 20 70 61 67 65  ***.On tree page
17c0: 20 32 20 63 65 6c 6c 20 30 3a 20 32 6e 64 20 72   2 cell 0: 2nd r
17d0: 65 66 65 72 65 6e 63 65 20 74 6f 20 70 61 67 65  eference to page
17e0: 20 31 30 0a 4f 6e 20 74 72 65 65 20 70 61 67 65   10.On tree page
17f0: 20 32 20 63 65 6c 6c 20 31 3a 20 43 68 69 6c 64   2 cell 1: Child
1800: 20 70 61 67 65 20 64 65 70 74 68 20 64 69 66 66   page depth diff
1810: 65 72 73 0a 50 61 67 65 20 34 20 69 73 20 6e 65  ers.Page 4 is ne
1820: 76 65 72 20 75 73 65 64 7d 7d 0a 0a 64 62 32 20  ver used}}..db2 
1830: 63 6c 6f 73 65 0a 0a 70 72 6f 63 20 63 6f 72 72  close..proc corr
1840: 75 70 74 69 6f 6e 5f 74 65 73 74 20 7b 61 72 67  uption_test {arg
1850: 73 7d 20 7b 0a 20 20 73 65 74 20 41 28 2d 63 6f  s} {.  set A(-co
1860: 72 72 75 70 74 29 20 7b 7d 0a 20 20 73 65 74 20  rrupt) {}.  set 
1870: 41 28 2d 73 71 6c 70 72 65 70 29 20 7b 7d 0a 20  A(-sqlprep) {}. 
1880: 20 73 65 74 20 41 28 2d 74 63 6c 70 72 65 70 29   set A(-tclprep)
1890: 20 7b 7d 0a 20 20 61 72 72 61 79 20 73 65 74 20   {}.  array set 
18a0: 41 20 24 61 72 67 73 0a 0a 20 20 63 61 74 63 68  A $args..  catch
18b0: 20 7b 64 62 20 63 6c 6f 73 65 7d 0a 20 20 66 69   {db close}.  fi
18c0: 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65  le delete -force
18d0: 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20 66 69   corrupt.db.  fi
18e0: 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65  le delete -force
18f0: 20 63 6f 72 72 75 70 74 2e 64 62 2d 6a 6f 75 72   corrupt.db-jour
1900: 6e 61 6c 0a 0a 20 20 73 71 6c 69 74 65 33 20 64  nal..  sqlite3 d
1910: 62 20 63 6f 72 72 75 70 74 2e 64 62 20 0a 20 20  b corrupt.db .  
1920: 65 76 61 6c 20 24 41 28 2d 74 63 6c 70 72 65 70  eval $A(-tclprep
1930: 29 0a 20 20 64 62 20 65 76 61 6c 20 24 41 28 2d  ).  db eval $A(-
1940: 73 71 6c 70 72 65 70 29 0a 20 20 64 62 20 63 6c  sqlprep).  db cl
1950: 6f 73 65 0a 0a 20 20 65 76 61 6c 20 24 41 28 2d  ose..  eval $A(-
1960: 63 6f 72 72 75 70 74 29 0a 0a 20 20 73 71 6c 69  corrupt)..  sqli
1970: 74 65 33 20 64 62 20 63 6f 72 72 75 70 74 2e 64  te3 db corrupt.d
1980: 62 0a 20 20 65 76 61 6c 20 24 41 28 2d 74 65 73  b.  eval $A(-tes
1990: 74 29 0a 7d 0a 0a 69 66 63 61 70 61 62 6c 65 20  t).}..ifcapable 
19a0: 61 75 74 6f 76 61 63 75 75 6d 20 7b 0a 20 20 23  autovacuum {.  #
19b0: 20 54 68 65 20 74 65 73 74 73 20 77 69 74 68 69   The tests withi
19c0: 6e 20 74 68 69 73 20 62 6c 6f 63 6b 20 2d 20 63  n this block - c
19d0: 6f 72 72 75 70 74 32 2d 36 2e 2a 20 2d 20 61 69  orrupt2-6.* - ai
19e0: 6d 20 74 6f 20 74 65 73 74 20 63 6f 72 72 75 70  m to test corrup
19f0: 74 69 6f 6e 0a 20 20 23 20 64 65 74 65 63 74 69  tion.  # detecti
1a00: 6f 6e 20 77 69 74 68 69 6e 20 61 6e 20 69 6e 63  on within an inc
1a10: 72 65 6d 65 6e 74 61 6c 2d 76 61 63 75 75 6d 2e  remental-vacuum.
1a20: 20 57 68 65 6e 20 61 6e 20 69 6e 63 72 65 6d 65   When an increme
1a30: 6e 74 61 6c 2d 76 61 63 75 75 6d 0a 20 20 23 20  ntal-vacuum.  # 
1a40: 73 74 65 70 20 69 73 20 65 78 65 63 75 74 65 64  step is executed
1a50: 2c 20 74 68 65 20 6c 61 73 74 20 6e 6f 6e 2d 66  , the last non-f
1a60: 72 65 65 20 70 61 67 65 20 6f 66 20 74 68 65 20  ree page of the 
1a70: 64 61 74 61 62 61 73 65 20 66 69 6c 65 20 69 73  database file is
1a80: 20 0a 20 20 23 20 6d 6f 76 65 64 20 69 6e 74 6f   .  # moved into
1a90: 20 61 20 66 72 65 65 20 73 70 61 63 65 20 69 6e   a free space in
1aa0: 20 74 68 65 20 62 6f 64 79 20 6f 66 20 74 68 65   the body of the
1ab0: 20 66 69 6c 65 2e 20 41 66 74 65 72 20 64 6f 69   file. After doi
1ac0: 6e 67 20 73 6f 2c 0a 20 20 23 20 74 68 65 20 70  ng so,.  # the p
1ad0: 61 67 65 20 72 65 66 65 72 65 6e 63 65 20 69 6e  age reference in
1ae0: 20 74 68 65 20 70 61 72 65 6e 74 20 70 61 67 65   the parent page
1af0: 20 6d 75 73 74 20 62 65 20 75 70 64 61 74 65 64   must be updated
1b00: 20 74 6f 20 72 65 66 65 72 0a 20 20 23 20 74 6f   to refer.  # to
1b10: 20 74 68 65 20 6e 65 77 20 6c 6f 63 61 74 69 6f   the new locatio
1b20: 6e 2e 20 54 68 65 73 65 20 74 65 73 74 73 20 74  n. These tests t
1b30: 65 73 74 20 74 68 65 20 6f 75 74 63 6f 6d 65 20  est the outcome 
1b40: 6f 66 20 63 6f 72 72 75 70 74 69 6e 67 0a 20 20  of corrupting.  
1b50: 23 20 74 68 61 74 20 70 61 67 65 20 72 65 66 65  # that page refe
1b60: 72 65 6e 63 65 20 62 65 66 6f 72 65 20 70 65 72  rence before per
1b70: 66 6f 72 6d 69 6e 67 20 74 68 65 20 69 6e 63 72  forming the incr
1b80: 65 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d 2e 0a  emental vacuum..
1b90: 20 20 23 0a 0a 20 20 23 20 54 68 65 20 6c 61 73    #..  # The las
1ba0: 74 20 70 61 67 65 20 69 6e 20 74 68 65 20 64 61  t page in the da
1bb0: 74 61 62 61 73 65 20 70 61 67 65 20 69 73 20 74  tabase page is t
1bc0: 68 65 20 73 65 63 6f 6e 64 20 70 61 67 65 20 0a  he second page .
1bd0: 20 20 23 20 69 6e 20 61 6e 20 6f 76 65 72 66 6c    # in an overfl
1be0: 6f 77 20 63 68 61 69 6e 2e 0a 20 20 23 0a 20 20  ow chain..  #.  
1bf0: 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73 74 20  corruption_test 
1c00: 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20 20 20 50  -sqlprep {.    P
1c10: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
1c20: 6d 20 3d 20 69 6e 63 72 65 6d 65 6e 74 61 6c 3b  m = incremental;
1c30: 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65  .    PRAGMA page
1c40: 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20  _size = 1024;.  
1c50: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
1c60: 31 28 61 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53  1(a, b);.    INS
1c70: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
1c80: 45 53 28 31 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  ES(1, randomblob
1c90: 28 32 35 30 30 29 29 3b 0a 20 20 20 20 49 4e 53  (2500));.    INS
1ca0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
1cb0: 45 53 28 32 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  ES(2, randomblob
1cc0: 28 32 35 30 30 29 29 3b 0a 20 20 20 20 44 45 4c  (2500));.    DEL
1cd0: 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48 45 52  ETE FROM t1 WHER
1ce0: 45 20 61 20 3d 20 31 3b 0a 20 20 7d 20 2d 63 6f  E a = 1;.  } -co
1cf0: 72 72 75 70 74 20 7b 0a 20 20 20 20 68 65 78 69  rrupt {.    hexi
1d00: 6f 5f 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e  o_write corrupt.
1d10: 64 62 20 5b 65 78 70 72 20 31 30 32 34 2a 35 5d  db [expr 1024*5]
1d20: 20 30 30 30 30 30 30 30 38 0a 20 20 7d 20 2d 74   00000008.  } -t
1d30: 65 73 74 20 7b 0a 20 20 20 20 64 6f 5f 74 65 73  est {.    do_tes
1d40: 74 20 63 6f 72 72 75 70 74 32 2d 36 2e 31 20 7b  t corrupt2-6.1 {
1d50: 0a 20 20 20 20 20 20 63 61 74 63 68 73 71 6c 20  .      catchsql 
1d60: 7b 20 70 72 61 67 6d 61 20 69 6e 63 72 65 6d 65  { pragma increme
1d70: 6e 74 61 6c 5f 76 61 63 75 75 6d 20 3d 20 31 20  ntal_vacuum = 1 
1d80: 7d 0a 20 20 20 20 7d 20 7b 31 20 7b 64 61 74 61  }.    } {1 {data
1d90: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
1da0: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 20  is malformed}}. 
1db0: 20 7d 0a 0a 20 20 23 20 54 68 65 20 6c 61 73 74   }..  # The last
1dc0: 20 70 61 67 65 20 69 6e 20 74 68 65 20 64 61 74   page in the dat
1dd0: 61 62 61 73 65 20 70 61 67 65 20 69 73 20 61 20  abase page is a 
1de0: 6e 6f 6e 2d 72 6f 6f 74 20 62 2d 74 72 65 65 20  non-root b-tree 
1df0: 70 61 67 65 2e 0a 20 20 23 0a 20 20 63 6f 72 72  page..  #.  corr
1e00: 75 70 74 69 6f 6e 5f 74 65 73 74 20 2d 73 71 6c  uption_test -sql
1e10: 70 72 65 70 20 7b 0a 20 20 20 20 50 52 41 47 4d  prep {.    PRAGM
1e20: 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  A auto_vacuum = 
1e30: 69 6e 63 72 65 6d 65 6e 74 61 6c 3b 0a 20 20 20  incremental;.   
1e40: 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a   PRAGMA page_siz
1e50: 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 43 52  e = 1024;.    CR
1e60: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20  EATE TABLE t1(a 
1e70: 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20  INTEGER PRIMARY 
1e80: 4b 45 59 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53  KEY, b);.    INS
1e90: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
1ea0: 45 53 28 31 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  ES(1, randomblob
1eb0: 28 32 35 30 30 29 29 3b 0a 20 20 20 20 49 4e 53  (2500));.    INS
1ec0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
1ed0: 45 53 28 32 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  ES(2, randomblob
1ee0: 28 35 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52  (50));.    INSER
1ef0: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
1f00: 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f   NULL, randomblo
1f10: 62 28 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20  b(50) FROM t1;. 
1f20: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1f30: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
1f40: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52  andomblob(50) FR
1f50: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
1f60: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
1f70: 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f   NULL, randomblo
1f80: 62 28 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20  b(50) FROM t1;. 
1f90: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1fa0: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
1fb0: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52  andomblob(50) FR
1fc0: 4f 4d 20 74 31 3b 0a 20 20 20 20 44 45 4c 45 54  OM t1;.    DELET
1fd0: 45 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  E FROM t1 WHERE 
1fe0: 61 20 3d 20 31 3b 0a 20 20 7d 20 2d 63 6f 72 72  a = 1;.  } -corr
1ff0: 75 70 74 20 7b 0a 20 20 20 20 68 65 78 69 6f 5f  upt {.    hexio_
2000: 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e 64 62  write corrupt.db
2010: 20 5b 65 78 70 72 20 31 30 32 34 2a 32 20 2b 20   [expr 1024*2 + 
2020: 38 5d 20 30 30 30 30 30 30 30 39 0a 20 20 7d 20  8] 00000009.  } 
2030: 2d 74 65 73 74 20 7b 0a 20 20 20 20 64 6f 5f 74  -test {.    do_t
2040: 65 73 74 20 63 6f 72 72 75 70 74 32 2d 36 2e 32  est corrupt2-6.2
2050: 20 7b 0a 20 20 20 20 20 20 63 61 74 63 68 73 71   {.      catchsq
2060: 6c 20 7b 20 70 72 61 67 6d 61 20 69 6e 63 72 65  l { pragma incre
2070: 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 20 3d 20  mental_vacuum = 
2080: 31 20 7d 0a 20 20 20 20 7d 20 7b 31 20 7b 64 61  1 }.    } {1 {da
2090: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
20a0: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
20b0: 0a 20 20 7d 0a 0a 20 20 23 20 53 65 74 20 75 70  .  }..  # Set up
20c0: 20 61 20 70 6f 69 6e 74 65 72 2d 6d 61 70 20 65   a pointer-map e
20d0: 6e 74 72 79 20 73 6f 20 74 68 61 74 20 74 68 65  ntry so that the
20e0: 20 6c 61 73 74 20 70 61 67 65 20 6f 66 20 74 68   last page of th
20f0: 65 20 64 61 74 61 62 61 73 65 0a 20 20 23 20 66  e database.  # f
2100: 69 6c 65 20 61 70 70 65 61 72 73 20 74 6f 20 62  ile appears to b
2110: 65 20 61 20 62 2d 74 72 65 65 20 72 6f 6f 74 20  e a b-tree root 
2120: 70 61 67 65 2e 20 54 68 69 73 20 73 68 6f 75 6c  page. This shoul
2130: 64 20 62 65 20 64 65 74 65 63 74 65 64 0a 20 20  d be detected.  
2140: 23 20 61 73 20 63 6f 72 72 75 70 74 69 6f 6e 2e  # as corruption.
2150: 0a 20 20 23 0a 20 20 63 6f 72 72 75 70 74 69 6f  .  #.  corruptio
2160: 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72 65 70 20  n_test -sqlprep 
2170: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74  {.    PRAGMA aut
2180: 6f 5f 76 61 63 75 75 6d 20 3d 20 69 6e 63 72 65  o_vacuum = incre
2190: 6d 65 6e 74 61 6c 3b 0a 20 20 20 20 50 52 41 47  mental;.    PRAG
21a0: 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31  MA page_size = 1
21b0: 30 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45 20  024;.    CREATE 
21c0: 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45 47  TABLE t1(a INTEG
21d0: 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20  ER PRIMARY KEY, 
21e0: 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  b);.    INSERT I
21f0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c  NTO t1 VALUES(1,
2200: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30 30   randomblob(2500
2210: 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ));.    INSERT I
2220: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c  NTO t1 VALUES(2,
2230: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30 30   randomblob(2500
2240: 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ));.    INSERT I
2250: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33 2c  NTO t1 VALUES(3,
2260: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30 30   randomblob(2500
2270: 29 29 3b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  ));.    DELETE F
2280: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 3d  ROM t1 WHERE a =
2290: 20 31 3b 0a 20 20 7d 20 2d 63 6f 72 72 75 70 74   1;.  } -corrupt
22a0: 20 7b 0a 20 20 20 20 73 65 74 20 6e 50 61 67 65   {.    set nPage
22b0: 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a   [expr [file siz
22c0: 65 20 63 6f 72 72 75 70 74 2e 64 62 5d 20 2f 20  e corrupt.db] / 
22d0: 31 30 32 34 5d 0a 20 20 20 20 68 65 78 69 6f 5f  1024].    hexio_
22e0: 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e 64 62  write corrupt.db
22f0: 20 5b 65 78 70 72 20 31 30 32 34 20 2b 20 28 24   [expr 1024 + ($
2300: 6e 50 61 67 65 2d 33 29 2a 35 5d 20 30 31 30 30  nPage-3)*5] 0100
2310: 30 30 30 30 30 0a 20 20 7d 20 2d 74 65 73 74 20  00000.  } -test 
2320: 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 63 6f  {.    do_test co
2330: 72 72 75 70 74 32 2d 36 2e 33 20 7b 0a 20 20 20  rrupt2-6.3 {.   
2340: 20 20 20 63 61 74 63 68 73 71 6c 20 7b 20 70 72     catchsql { pr
2350: 61 67 6d 61 20 69 6e 63 72 65 6d 65 6e 74 61 6c  agma incremental
2360: 5f 76 61 63 75 75 6d 20 3d 20 31 20 7d 0a 20 20  _vacuum = 1 }.  
2370: 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65    } {1 {database
2380: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
2390: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 20 20 7d 0a 0a  alformed}}.  }..
23a0: 20 20 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73    corruption_tes
23b0: 74 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20 20  t -sqlprep {.   
23c0: 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63   PRAGMA auto_vac
23d0: 75 75 6d 20 3d 20 31 3b 0a 20 20 20 20 50 52 41  uum = 1;.    PRA
23e0: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20  GMA page_size = 
23f0: 31 30 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45  1024;.    CREATE
2400: 20 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45   TABLE t1(a INTE
2410: 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c  GER PRIMARY KEY,
2420: 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   b);.    INSERT 
2430: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31  INTO t1 VALUES(1
2440: 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30  , randomblob(250
2450: 30 29 29 3b 0a 20 20 20 20 44 45 4c 45 54 45 20  0));.    DELETE 
2460: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20  FROM t1 WHERE a 
2470: 3d 20 31 3b 0a 20 20 7d 20 2d 63 6f 72 72 75 70  = 1;.  } -corrup
2480: 74 20 7b 0a 20 20 20 20 73 65 74 20 6e 41 70 70  t {.    set nApp
2490: 65 6e 64 20 5b 65 78 70 72 20 31 30 32 34 2a 32  end [expr 1024*2
24a0: 30 37 20 2d 20 5b 66 69 6c 65 20 73 69 7a 65 20  07 - [file size 
24b0: 63 6f 72 72 75 70 74 2e 64 62 5d 5d 0a 20 20 20  corrupt.db]].   
24c0: 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 63 6f   set fd [open co
24d0: 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20 20 20  rrupt.db r+].   
24e0: 20 73 65 65 6b 20 24 66 64 20 30 20 65 6e 64 0a   seek $fd 0 end.
24f0: 20 20 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c      puts -nonewl
2500: 69 6e 65 20 24 66 64 20 5b 73 74 72 69 6e 67 20  ine $fd [string 
2510: 72 65 70 65 61 74 20 78 20 24 6e 41 70 70 65 6e  repeat x $nAppen
2520: 64 5d 0a 20 20 20 20 63 6c 6f 73 65 20 24 66 64  d].    close $fd
2530: 0a 20 20 20 20 68 65 78 69 6f 5f 77 72 69 74 65  .    hexio_write
2540: 20 63 6f 72 72 75 70 74 2e 64 62 20 32 38 20 30   corrupt.db 28 0
2550: 30 30 30 30 30 30 30 0a 20 20 7d 20 2d 74 65 73  0000000.  } -tes
2560: 74 20 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20  t {.    do_test 
2570: 63 6f 72 72 75 70 74 32 2d 36 2e 34 20 7b 0a 20  corrupt2-6.4 {. 
2580: 20 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b 20       catchsql { 
2590: 0a 20 20 20 20 20 20 20 20 42 45 47 49 4e 20 45  .        BEGIN E
25a0: 58 43 4c 55 53 49 56 45 3b 0a 20 20 20 20 20 20  XCLUSIVE;.      
25b0: 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 20 20    COMMIT;.      
25c0: 7d 0a 20 20 20 20 7d 20 7b 31 20 7b 64 61 74 61  }.    } {1 {data
25d0: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
25e0: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 20  is malformed}}. 
25f0: 20 7d 0a 7d 0a 0a 0a 73 65 74 20 73 71 6c 70 72   }.}...set sqlpr
2600: 65 70 20 7b 0a 20 20 50 52 41 47 4d 41 20 61 75  ep {.  PRAGMA au
2610: 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b 0a 20  to_vacuum = 0;. 
2620: 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a   PRAGMA page_siz
2630: 65 20 3d 20 31 30 32 34 3b 0a 20 20 43 52 45 41  e = 1024;.  CREA
2640: 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 49 4e  TE TABLE t1(a IN
2650: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
2660: 59 2c 20 62 29 3b 0a 20 20 43 52 45 41 54 45 20  Y, b);.  CREATE 
2670: 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31 28 62  INDEX i1 ON t1(b
2680: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
2690: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 72 61   t1 VALUES(1, ra
26a0: 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 29 3b 0a 20  ndomblob(50));. 
26b0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
26c0: 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e  SELECT NULL, ran
26d0: 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52 4f 4d  domblob(50) FROM
26e0: 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e   t1;.  INSERT IN
26f0: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c  TO t1 SELECT NUL
2700: 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30  L, randomblob(50
2710: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53  ) FROM t1;.  INS
2720: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
2730: 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62  CT NULL, randomb
2740: 6c 6f 62 28 35 30 29 20 46 52 4f 4d 20 74 31 3b  lob(50) FROM t1;
2750: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
2760: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
2770: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52  andomblob(50) FR
2780: 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20  OM t1;.  INSERT 
2790: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e  INTO t1 SELECT N
27a0: 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  ULL, randomblob(
27b0: 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49  50) FROM t1;.  I
27c0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
27d0: 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f  LECT NULL, rando
27e0: 6d 62 6c 6f 62 28 35 30 29 20 46 52 4f 4d 20 74  mblob(50) FROM t
27f0: 31 3b 0a 7d 0a 0a 63 6f 72 72 75 70 74 69 6f 6e  1;.}..corruption
2800: 5f 74 65 73 74 20 2d 73 71 6c 70 72 65 70 20 24  _test -sqlprep $
2810: 73 71 6c 70 72 65 70 20 2d 63 6f 72 72 75 70 74  sqlprep -corrupt
2820: 20 7b 0a 20 20 23 20 53 65 74 20 74 68 65 20 70   {.  # Set the p
2830: 61 67 65 2d 66 6c 61 67 73 20 6f 66 20 6f 6e 65  age-flags of one
2840: 20 6f 66 20 74 68 65 20 6c 65 61 66 20 70 61 67   of the leaf pag
2850: 65 73 20 6f 66 20 74 68 65 20 69 6e 64 65 78 20  es of the index 
2860: 42 2d 54 72 65 65 20 74 6f 0a 20 20 23 20 30 78  B-Tree to.  # 0x
2870: 30 44 20 28 69 6e 74 65 72 70 72 65 74 65 64 20  0D (interpreted 
2880: 62 79 20 53 51 4c 69 74 65 20 61 73 20 22 6c 65  by SQLite as "le
2890: 61 66 20 70 61 67 65 20 6f 66 20 61 20 74 61 62  af page of a tab
28a0: 6c 65 20 42 2d 54 72 65 65 22 29 2e 0a 20 20 23  le B-Tree")..  #
28b0: 0a 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20  .  set fd [open 
28c0: 63 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20  corrupt.db r+]. 
28d0: 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64 20   fconfigure $fd 
28e0: 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e  -translation bin
28f0: 61 72 79 20 2d 65 6e 63 6f 64 69 6e 67 20 62 69  ary -encoding bi
2900: 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64 20  nary.  seek $fd 
2910: 5b 65 78 70 72 20 31 30 32 34 2a 32 20 2b 20 38  [expr 1024*2 + 8
2920: 5d 20 0a 20 20 73 65 74 20 7a 52 69 67 68 74 43  ] .  set zRightC
2930: 68 69 6c 64 20 5b 72 65 61 64 20 24 66 64 20 34  hild [read $fd 4
2940: 5d 0a 20 20 62 69 6e 61 72 79 20 73 63 61 6e 20  ].  binary scan 
2950: 24 7a 52 69 67 68 74 43 68 69 6c 64 20 49 20 69  $zRightChild I i
2960: 52 69 67 68 74 43 68 69 6c 64 0a 20 20 73 65 65  RightChild.  see
2970: 6b 20 24 66 64 20 5b 65 78 70 72 20 31 30 32 34  k $fd [expr 1024
2980: 2a 28 24 69 52 69 67 68 74 43 68 69 6c 64 2d 31  *($iRightChild-1
2990: 29 5d 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77  )].  puts -nonew
29a0: 6c 69 6e 65 20 24 66 64 20 22 5c 78 30 44 22 0a  line $fd "\x0D".
29b0: 20 20 63 6c 6f 73 65 20 24 66 64 0a 7d 20 2d 74    close $fd.} -t
29c0: 65 73 74 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20  est {.  do_test 
29d0: 63 6f 72 72 75 70 74 32 2d 37 2e 31 20 7b 0a 20  corrupt2-7.1 {. 
29e0: 20 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45     catchsql { SE
29f0: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20 4f  LECT b FROM t1 O
2a00: 52 44 45 52 20 42 59 20 62 20 41 53 43 20 7d 0a  RDER BY b ASC }.
2a10: 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65    } {1 {database
2a20: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
2a30: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 7d 0a 0a 63 6f  alformed}}.}..co
2a40: 72 72 75 70 74 69 6f 6e 5f 74 65 73 74 20 2d 73  rruption_test -s
2a50: 71 6c 70 72 65 70 20 24 73 71 6c 70 72 65 70 20  qlprep $sqlprep 
2a60: 2d 63 6f 72 72 75 70 74 20 7b 0a 20 20 23 20 4d  -corrupt {.  # M
2a70: 65 73 73 20 75 70 20 74 68 65 20 70 61 67 65 2d  ess up the page-
2a80: 68 65 61 64 65 72 20 6f 66 20 6f 6e 65 20 6f 66  header of one of
2a90: 20 74 68 65 20 6c 65 61 66 20 70 61 67 65 73 20   the leaf pages 
2aa0: 6f 66 20 74 68 65 20 69 6e 64 65 78 20 42 2d 54  of the index B-T
2ab0: 72 65 65 2e 0a 20 20 23 20 54 68 65 20 63 6f 72  ree..  # The cor
2ac0: 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63  ruption is detec
2ad0: 74 65 64 20 61 73 20 70 61 72 74 20 6f 66 20 61  ted as part of a
2ae0: 6e 20 4f 50 5f 50 72 65 76 20 6f 70 63 6f 64 65  n OP_Prev opcode
2af0: 2e 0a 20 20 23 0a 20 20 73 65 74 20 66 64 20 5b  ..  #.  set fd [
2b00: 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64 62 20  open corrupt.db 
2b10: 72 2b 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72 65  r+].  fconfigure
2b20: 20 24 66 64 20 2d 74 72 61 6e 73 6c 61 74 69 6f   $fd -translatio
2b30: 6e 20 62 69 6e 61 72 79 20 2d 65 6e 63 6f 64 69  n binary -encodi
2b40: 6e 67 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b  ng binary.  seek
2b50: 20 24 66 64 20 5b 65 78 70 72 20 31 30 32 34 2a   $fd [expr 1024*
2b60: 32 20 2b 20 31 32 5d 20 0a 20 20 73 65 74 20 7a  2 + 12] .  set z
2b70: 43 65 6c 6c 4f 66 66 73 65 74 20 5b 72 65 61 64  CellOffset [read
2b80: 20 24 66 64 20 32 5d 0a 20 20 62 69 6e 61 72 79   $fd 2].  binary
2b90: 20 73 63 61 6e 20 24 7a 43 65 6c 6c 4f 66 66 73   scan $zCellOffs
2ba0: 65 74 20 53 20 69 43 65 6c 6c 4f 66 66 73 65 74  et S iCellOffset
2bb0: 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65 78 70  .  seek $fd [exp
2bc0: 72 20 31 30 32 34 2a 32 20 2b 20 24 69 43 65 6c  r 1024*2 + $iCel
2bd0: 6c 4f 66 66 73 65 74 5d 0a 20 20 73 65 74 20 7a  lOffset].  set z
2be0: 43 68 69 6c 64 20 5b 72 65 61 64 20 24 66 64 20  Child [read $fd 
2bf0: 34 5d 0a 20 20 62 69 6e 61 72 79 20 73 63 61 6e  4].  binary scan
2c00: 20 24 7a 43 68 69 6c 64 20 49 20 69 43 68 69 6c   $zChild I iChil
2c10: 64 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65 78  d.  seek $fd [ex
2c20: 70 72 20 31 30 32 34 2a 28 24 69 43 68 69 6c 64  pr 1024*($iChild
2c30: 2d 31 29 2b 33 5d 0a 20 20 70 75 74 73 20 2d 6e  -1)+3].  puts -n
2c40: 6f 6e 65 77 6c 69 6e 65 20 24 66 64 20 22 5c 78  onewline $fd "\x
2c50: 46 46 46 46 22 0a 20 20 63 6c 6f 73 65 20 24 66  FFFF".  close $f
2c60: 64 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 64 6f  d.} -test {.  do
2c70: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d 37  _test corrupt2-7
2c80: 2e 31 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71  .1 {.    catchsq
2c90: 6c 20 7b 20 53 45 4c 45 43 54 20 62 20 46 52 4f  l { SELECT b FRO
2ca0: 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 62 20  M t1 ORDER BY b 
2cb0: 44 45 53 43 20 7d 0a 20 20 7d 20 7b 31 20 7b 64  DESC }.  } {1 {d
2cc0: 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61  atabase disk ima
2cd0: 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d  ge is malformed}
2ce0: 7d 0a 7d 0a 0a 63 6f 72 72 75 70 74 69 6f 6e 5f  }.}..corruption_
2cf0: 74 65 73 74 20 2d 73 71 6c 70 72 65 70 20 24 73  test -sqlprep $s
2d00: 71 6c 70 72 65 70 20 2d 63 6f 72 72 75 70 74 20  qlprep -corrupt 
2d10: 7b 0a 20 20 23 20 53 65 74 20 74 68 65 20 70 61  {.  # Set the pa
2d20: 67 65 2d 66 6c 61 67 73 20 6f 66 20 6f 6e 65 20  ge-flags of one 
2d30: 6f 66 20 74 68 65 20 6c 65 61 66 20 70 61 67 65  of the leaf page
2d40: 73 20 6f 66 20 74 68 65 20 74 61 62 6c 65 20 42  s of the table B
2d50: 2d 54 72 65 65 20 74 6f 0a 20 20 23 20 30 78 30  -Tree to.  # 0x0
2d60: 41 20 28 69 6e 74 65 72 70 72 65 74 65 64 20 62  A (interpreted b
2d70: 79 20 53 51 4c 69 74 65 20 61 73 20 22 6c 65 61  y SQLite as "lea
2d80: 66 20 70 61 67 65 20 6f 66 20 61 6e 20 69 6e 64  f page of an ind
2d90: 65 78 20 42 2d 54 72 65 65 22 29 2e 0a 20 20 23  ex B-Tree")..  #
2da0: 0a 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20  .  set fd [open 
2db0: 63 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20  corrupt.db r+]. 
2dc0: 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64 20   fconfigure $fd 
2dd0: 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e  -translation bin
2de0: 61 72 79 20 2d 65 6e 63 6f 64 69 6e 67 20 62 69  ary -encoding bi
2df0: 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64 20  nary.  seek $fd 
2e00: 5b 65 78 70 72 20 31 30 32 34 2a 31 20 2b 20 38  [expr 1024*1 + 8
2e10: 5d 20 0a 20 20 73 65 74 20 7a 52 69 67 68 74 43  ] .  set zRightC
2e20: 68 69 6c 64 20 5b 72 65 61 64 20 24 66 64 20 34  hild [read $fd 4
2e30: 5d 0a 20 20 62 69 6e 61 72 79 20 73 63 61 6e 20  ].  binary scan 
2e40: 24 7a 52 69 67 68 74 43 68 69 6c 64 20 49 20 69  $zRightChild I i
2e50: 52 69 67 68 74 43 68 69 6c 64 0a 20 20 73 65 65  RightChild.  see
2e60: 6b 20 24 66 64 20 5b 65 78 70 72 20 31 30 32 34  k $fd [expr 1024
2e70: 2a 28 24 69 52 69 67 68 74 43 68 69 6c 64 2d 31  *($iRightChild-1
2e80: 29 5d 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77  )].  puts -nonew
2e90: 6c 69 6e 65 20 24 66 64 20 22 5c 78 30 41 22 0a  line $fd "\x0A".
2ea0: 20 20 63 6c 6f 73 65 20 24 66 64 0a 7d 20 2d 74    close $fd.} -t
2eb0: 65 73 74 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20  est {.  do_test 
2ec0: 63 6f 72 72 75 70 74 32 2d 38 2e 31 20 7b 0a 20  corrupt2-8.1 {. 
2ed0: 20 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45     catchsql { SE
2ee0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
2ef0: 48 45 52 45 20 72 6f 77 69 64 3d 31 30 30 30 20  HERE rowid=1000 
2f00: 7d 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61  }.  } {1 {databa
2f10: 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73  se disk image is
2f20: 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 7d 0a 0a   malformed}}.}..
2f30: 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73 74 20  corruption_test 
2f40: 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20 43 52 45  -sqlprep {.  CRE
2f50: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20  ATE TABLE t1(a, 
2f60: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
2f70: 42 4c 45 20 74 38 28 61 2c 20 62 2c 20 63 29 3b  BLE t8(a, b, c);
2f80: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 45   CREATE TABLE tE
2f90: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
2fa0: 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 2c 20  ATE TABLE t2(a, 
2fb0: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
2fc0: 42 4c 45 20 74 39 28 61 2c 20 62 2c 20 63 29 3b  BLE t9(a, b, c);
2fd0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 46   CREATE TABLE tF
2fe0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
2ff0: 41 54 45 20 54 41 42 4c 45 20 74 33 28 61 2c 20  ATE TABLE t3(a, 
3000: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3010: 42 4c 45 20 74 41 28 61 2c 20 62 2c 20 63 29 3b  BLE tA(a, b, c);
3020: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 47   CREATE TABLE tG
3030: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3040: 41 54 45 20 54 41 42 4c 45 20 74 34 28 61 2c 20  ATE TABLE t4(a, 
3050: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3060: 42 4c 45 20 74 42 28 61 2c 20 62 2c 20 63 29 3b  BLE tB(a, b, c);
3070: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 48   CREATE TABLE tH
3080: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3090: 41 54 45 20 54 41 42 4c 45 20 74 35 28 61 2c 20  ATE TABLE t5(a, 
30a0: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
30b0: 42 4c 45 20 74 43 28 61 2c 20 62 2c 20 63 29 3b  BLE tC(a, b, c);
30c0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 49   CREATE TABLE tI
30d0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
30e0: 41 54 45 20 54 41 42 4c 45 20 74 36 28 61 2c 20  ATE TABLE t6(a, 
30f0: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3100: 42 4c 45 20 74 44 28 61 2c 20 62 2c 20 63 29 3b  BLE tD(a, b, c);
3110: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 4a   CREATE TABLE tJ
3120: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3130: 41 54 45 20 54 41 42 4c 45 20 78 31 28 61 2c 20  ATE TABLE x1(a, 
3140: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3150: 42 4c 45 20 78 38 28 61 2c 20 62 2c 20 63 29 3b  BLE x8(a, b, c);
3160: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 45   CREATE TABLE xE
3170: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3180: 41 54 45 20 54 41 42 4c 45 20 78 32 28 61 2c 20  ATE TABLE x2(a, 
3190: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
31a0: 42 4c 45 20 78 39 28 61 2c 20 62 2c 20 63 29 3b  BLE x9(a, b, c);
31b0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 46   CREATE TABLE xF
31c0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
31d0: 41 54 45 20 54 41 42 4c 45 20 78 33 28 61 2c 20  ATE TABLE x3(a, 
31e0: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
31f0: 42 4c 45 20 78 41 28 61 2c 20 62 2c 20 63 29 3b  BLE xA(a, b, c);
3200: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 47   CREATE TABLE xG
3210: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3220: 41 54 45 20 54 41 42 4c 45 20 78 34 28 61 2c 20  ATE TABLE x4(a, 
3230: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3240: 42 4c 45 20 78 42 28 61 2c 20 62 2c 20 63 29 3b  BLE xB(a, b, c);
3250: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 48   CREATE TABLE xH
3260: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3270: 41 54 45 20 54 41 42 4c 45 20 78 35 28 61 2c 20  ATE TABLE x5(a, 
3280: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3290: 42 4c 45 20 78 43 28 61 2c 20 62 2c 20 63 29 3b  BLE xC(a, b, c);
32a0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 49   CREATE TABLE xI
32b0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
32c0: 41 54 45 20 54 41 42 4c 45 20 78 36 28 61 2c 20  ATE TABLE x6(a, 
32d0: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
32e0: 42 4c 45 20 78 44 28 61 2c 20 62 2c 20 63 29 3b  BLE xD(a, b, c);
32f0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 4a   CREATE TABLE xJ
3300: 28 61 2c 20 62 2c 20 63 29 3b 0a 7d 20 2d 63 6f  (a, b, c);.} -co
3310: 72 72 75 70 74 20 7b 0a 20 20 73 65 74 20 66 64  rrupt {.  set fd
3320: 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64   [open corrupt.d
3330: 62 20 72 2b 5d 0a 20 20 66 63 6f 6e 66 69 67 75  b r+].  fconfigu
3340: 72 65 20 24 66 64 20 2d 74 72 61 6e 73 6c 61 74  re $fd -translat
3350: 69 6f 6e 20 62 69 6e 61 72 79 20 2d 65 6e 63 6f  ion binary -enco
3360: 64 69 6e 67 20 62 69 6e 61 72 79 0a 20 20 73 65  ding binary.  se
3370: 65 6b 20 24 66 64 20 31 30 38 0a 20 20 73 65 74  ek $fd 108.  set
3380: 20 7a 52 69 67 68 74 43 68 69 6c 64 20 5b 72 65   zRightChild [re
3390: 61 64 20 24 66 64 20 34 5d 0a 20 20 62 69 6e 61  ad $fd 4].  bina
33a0: 72 79 20 73 63 61 6e 20 24 7a 52 69 67 68 74 43  ry scan $zRightC
33b0: 68 69 6c 64 20 49 20 69 52 69 67 68 74 43 68 69  hild I iRightChi
33c0: 6c 64 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65  ld.  seek $fd [e
33d0: 78 70 72 20 31 30 32 34 2a 28 24 69 52 69 67 68  xpr 1024*($iRigh
33e0: 74 43 68 69 6c 64 2d 31 29 2b 33 5d 0a 20 20 70  tChild-1)+3].  p
33f0: 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24  uts -nonewline $
3400: 66 64 20 22 5c 78 30 30 5c 78 30 30 22 0a 20 20  fd "\x00\x00".  
3410: 63 6c 6f 73 65 20 24 66 64 0a 7d 20 2d 74 65 73  close $fd.} -tes
3420: 74 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f  t {.  do_test co
3430: 72 72 75 70 74 32 2d 39 2e 31 20 7b 0a 20 20 20  rrupt2-9.1 {.   
3440: 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45   catchsql { SELE
3450: 43 54 20 73 71 6c 20 46 52 4f 4d 20 73 71 6c 69  CT sql FROM sqli
3460: 74 65 5f 6d 61 73 74 65 72 20 7d 0a 20 20 7d 20  te_master }.  } 
3470: 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73  {1 {database dis
3480: 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f  k image is malfo
3490: 72 6d 65 64 7d 7d 0a 7d 0a 0a 63 6f 72 72 75 70  rmed}}.}..corrup
34a0: 74 69 6f 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72  tion_test -sqlpr
34b0: 65 70 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41  ep {.  CREATE TA
34c0: 42 4c 45 20 74 31 28 61 2c 20 62 2c 20 63 29 3b  BLE t1(a, b, c);
34d0: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
34e0: 74 32 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 50  t2(a, b, c);.  P
34f0: 52 41 47 4d 41 20 77 72 69 74 61 62 6c 65 5f 73  RAGMA writable_s
3500: 63 68 65 6d 61 20 3d 20 31 3b 0a 20 20 55 50 44  chema = 1;.  UPD
3510: 41 54 45 20 73 71 6c 69 74 65 5f 6d 61 73 74 65  ATE sqlite_maste
3520: 72 20 53 45 54 20 72 6f 6f 74 70 61 67 65 20 3d  r SET rootpage =
3530: 20 4e 55 4c 4c 20 57 48 45 52 45 20 6e 61 6d 65   NULL WHERE name
3540: 20 3d 20 27 74 32 27 3b 0a 7d 20 2d 74 65 73 74   = 't2';.} -test
3550: 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 72   {.  do_test cor
3560: 72 75 70 74 32 2d 31 30 2e 31 20 7b 0a 20 20 20  rupt2-10.1 {.   
3570: 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45   catchsql { SELE
3580: 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 7d 0a 20  CT * FROM t2 }. 
3590: 20 7d 20 7b 31 20 7b 6d 61 6c 66 6f 72 6d 65 64   } {1 {malformed
35a0: 20 64 61 74 61 62 61 73 65 20 73 63 68 65 6d 61   database schema
35b0: 20 28 74 32 29 7d 7d 0a 20 20 64 6f 5f 74 65 73   (t2)}}.  do_tes
35c0: 74 20 63 6f 72 72 75 70 74 32 2d 31 30 2e 32 20  t corrupt2-10.2 
35d0: 7b 0a 20 20 20 20 73 71 6c 69 74 65 33 5f 65 72  {.    sqlite3_er
35e0: 72 63 6f 64 65 20 64 62 0a 20 20 7d 20 7b 53 51  rcode db.  } {SQ
35f0: 4c 49 54 45 5f 43 4f 52 52 55 50 54 7d 0a 7d 0a  LITE_CORRUPT}.}.
3600: 0a 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73 74  .corruption_test
3610: 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20 50 52   -sqlprep {.  PR
3620: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d  AGMA auto_vacuum
3630: 20 3d 20 69 6e 63 72 65 6d 65 6e 74 61 6c 3b 0a   = incremental;.
3640: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
3650: 31 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d  1(a INTEGER PRIM
3660: 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 43  ARY KEY, b);.  C
3670: 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 61  REATE TABLE t2(a
3680: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
3690: 20 4b 45 59 2c 20 62 29 3b 0a 20 20 49 4e 53 45   KEY, b);.  INSE
36a0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
36b0: 53 28 31 2c 20 72 61 6e 64 73 74 72 28 31 30 30  S(1, randstr(100
36c0: 2c 31 30 30 29 29 3b 0a 20 20 49 4e 53 45 52 54  ,100));.  INSERT
36d0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
36e0: 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 31 30  NULL, randstr(10
36f0: 30 2c 31 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  0,100) FROM t1;.
3700: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
3710: 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61   SELECT NULL, ra
3720: 6e 64 73 74 72 28 31 30 30 2c 31 30 30 29 20 46  ndstr(100,100) F
3730: 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54  ROM t1;.  INSERT
3740: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
3750: 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 31 30  NULL, randstr(10
3760: 30 2c 31 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  0,100) FROM t1;.
3770: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
3780: 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61   SELECT NULL, ra
3790: 6e 64 73 74 72 28 31 30 30 2c 31 30 30 29 20 46  ndstr(100,100) F
37a0: 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54  ROM t1;.  INSERT
37b0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
37c0: 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 31 30  NULL, randstr(10
37d0: 30 2c 31 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  0,100) FROM t1;.
37e0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
37f0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
3800: 31 3b 0a 20 20 44 45 4c 45 54 45 20 46 52 4f 4d  1;.  DELETE FROM
3810: 20 74 31 3b 0a 7d 20 2d 63 6f 72 72 75 70 74 20   t1;.} -corrupt 
3820: 7b 0a 20 20 73 65 74 20 6f 66 66 73 65 74 20 5b  {.  set offset [
3830: 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20  expr [file size 
3840: 63 6f 72 72 75 70 74 2e 64 62 5d 20 2d 20 31 30  corrupt.db] - 10
3850: 32 34 5d 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  24].  hexio_writ
3860: 65 20 63 6f 72 72 75 70 74 2e 64 62 20 24 6f 66  e corrupt.db $of
3870: 66 73 65 74 20 46 46 20 0a 20 20 68 65 78 69 6f  fset FF .  hexio
3880: 5f 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e 64  _write corrupt.d
3890: 62 20 32 34 20 20 20 31 32 33 34 35 36 37 38 0a  b 24   12345678.
38a0: 7d 20 2d 74 65 73 74 20 7b 0a 20 20 64 6f 5f 74  } -test {.  do_t
38b0: 65 73 74 20 63 6f 72 72 75 70 74 32 2d 31 31 2e  est corrupt2-11.
38c0: 31 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71 6c  1 {.    catchsql
38d0: 20 7b 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d   { PRAGMA increm
38e0: 65 6e 74 61 6c 5f 76 61 63 75 75 6d 20 7d 0a 20  ental_vacuum }. 
38f0: 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20   } {1 {database 
3900: 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61  disk image is ma
3910: 6c 66 6f 72 6d 65 64 7d 7d 0a 7d 0a 63 6f 72 72  lformed}}.}.corr
3920: 75 70 74 69 6f 6e 5f 74 65 73 74 20 2d 73 71 6c  uption_test -sql
3930: 70 72 65 70 20 7b 0a 20 20 50 52 41 47 4d 41 20  prep {.  PRAGMA 
3940: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 69 6e  auto_vacuum = in
3950: 63 72 65 6d 65 6e 74 61 6c 3b 0a 20 20 43 52 45  cremental;.  CRE
3960: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 49  ATE TABLE t1(a I
3970: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
3980: 45 59 2c 20 62 29 3b 0a 20 20 43 52 45 41 54 45  EY, b);.  CREATE
3990: 20 54 41 42 4c 45 20 74 32 28 61 20 49 4e 54 45   TABLE t2(a INTE
39a0: 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c  GER PRIMARY KEY,
39b0: 20 62 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e   b);.  INSERT IN
39c0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20  TO t1 VALUES(1, 
39d0: 72 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30 29  randstr(100,100)
39e0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
39f0: 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c   t1 SELECT NULL,
3a00: 20 72 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30   randstr(100,100
3a10: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53  ) FROM t1;.  INS
3a20: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
3a30: 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72  CT NULL, randstr
3a40: 28 31 30 30 2c 31 30 30 29 20 46 52 4f 4d 20 74  (100,100) FROM t
3a50: 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  1;.  INSERT INTO
3a60: 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c   t1 SELECT NULL,
3a70: 20 72 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30   randstr(100,100
3a80: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53  ) FROM t1;.  INS
3a90: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
3aa0: 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72  CT NULL, randstr
3ab0: 28 31 30 30 2c 31 30 30 29 20 46 52 4f 4d 20 74  (100,100) FROM t
3ac0: 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  1;.  INSERT INTO
3ad0: 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c   t1 SELECT NULL,
3ae0: 20 72 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30   randstr(100,100
3af0: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53  ) FROM t1;.  INS
3b00: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45  ERT INTO t2 SELE
3b10: 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20 20  CT * FROM t1;.  
3b20: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a  DELETE FROM t1;.
3b30: 7d 20 2d 63 6f 72 72 75 70 74 20 7b 0a 20 20 73  } -corrupt {.  s
3b40: 65 74 20 70 67 6e 6f 20 5b 65 78 70 72 20 5b 66  et pgno [expr [f
3b50: 69 6c 65 20 73 69 7a 65 20 63 6f 72 72 75 70 74  ile size corrupt
3b60: 2e 64 62 5d 20 2f 20 31 30 32 34 5d 0a 20 20 68  .db] / 1024].  h
3b70: 65 78 69 6f 5f 77 72 69 74 65 20 63 6f 72 72 75  exio_write corru
3b80: 70 74 2e 64 62 20 5b 65 78 70 72 20 31 30 32 34  pt.db [expr 1024
3b90: 2b 35 2a 28 24 70 67 6e 6f 2d 33 29 5d 20 30 33  +5*($pgno-3)] 03
3ba0: 20 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20   .  hexio_write 
3bb0: 63 6f 72 72 75 70 74 2e 64 62 20 32 34 20 20 20  corrupt.db 24   
3bc0: 31 32 33 34 35 36 37 38 0a 7d 20 2d 74 65 73 74  12345678.} -test
3bd0: 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 72   {.  do_test cor
3be0: 72 75 70 74 32 2d 31 32 2e 31 20 7b 0a 20 20 20  rupt2-12.1 {.   
3bf0: 20 63 61 74 63 68 73 71 6c 20 7b 20 50 52 41 47   catchsql { PRAG
3c00: 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76  MA incremental_v
3c10: 61 63 75 75 6d 20 7d 0a 20 20 7d 20 7b 31 20 7b  acuum }.  } {1 {
3c20: 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d  database disk im
3c30: 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64  age is malformed
3c40: 7d 7d 0a 7d 0a 0a 69 66 63 61 70 61 62 6c 65 20  }}.}..ifcapable 
3c50: 61 75 74 6f 76 61 63 75 75 6d 20 7b 0a 20 20 23  autovacuum {.  #
3c60: 20 49 74 20 69 73 20 6e 6f 74 20 70 6f 73 73 69   It is not possi
3c70: 62 6c 65 20 66 6f 72 20 74 68 65 20 6c 61 73 74  ble for the last
3c80: 20 70 61 67 65 20 69 6e 20 61 20 64 61 74 61 62   page in a datab
3c90: 61 73 65 20 66 69 6c 65 20 74 6f 20 62 65 20 74  ase file to be t
3ca0: 68 65 0a 20 20 23 20 70 65 6e 64 69 6e 67 2d 62  he.  # pending-b
3cb0: 79 74 65 20 70 61 67 65 20 28 41 4b 41 20 74 68  yte page (AKA th
3cc0: 65 20 6c 6f 63 6b 69 6e 67 20 70 61 67 65 29 2e  e locking page).
3cd0: 20 54 68 69 73 20 74 65 73 74 20 76 65 72 69 66   This test verif
3ce0: 69 65 73 20 74 68 61 74 20 69 66 0a 20 20 23 20  ies that if.  # 
3cf0: 61 6e 20 61 74 74 65 6d 70 74 20 69 73 20 6d 61  an attempt is ma
3d00: 64 65 20 74 6f 20 63 6f 6d 6d 69 74 20 61 20 74  de to commit a t
3d10: 72 61 6e 73 61 63 74 69 6f 6e 20 74 6f 20 73 75  ransaction to su
3d20: 63 68 20 61 6e 20 61 75 74 6f 2d 76 61 63 75 75  ch an auto-vacuu
3d30: 6d 20 0a 20 20 23 20 64 61 74 61 62 61 73 65 20  m .  # database 
3d40: 53 51 4c 49 54 45 5f 43 4f 52 52 55 50 54 20 69  SQLITE_CORRUPT i
3d50: 73 20 72 65 74 75 72 6e 65 64 2e 0a 20 20 23 0a  s returned..  #.
3d60: 20 20 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73    corruption_tes
3d70: 74 20 2d 74 63 6c 70 72 65 70 20 7b 0a 20 20 20  t -tclprep {.   
3d80: 20 64 62 20 65 76 61 6c 20 7b 20 0a 20 20 20 20   db eval { .    
3d90: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
3da0: 63 75 75 6d 20 3d 20 66 75 6c 6c 3b 0a 20 20 20  cuum = full;.   
3db0: 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73     PRAGMA page_s
3dc0: 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20  ize = 1024;.    
3dd0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
3de0: 31 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d  1(a INTEGER PRIM
3df0: 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20  ARY KEY, b);.   
3e00: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
3e10: 31 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 72  1 VALUES(NULL, r
3e20: 61 6e 64 73 74 72 28 35 30 2c 35 30 29 29 3b 0a  andstr(50,50));.
3e30: 20 20 20 20 7d 0a 20 20 20 20 66 6f 72 20 7b 73      }.    for {s
3e40: 65 74 20 69 69 20 30 7d 20 7b 24 69 69 20 3c 20  et ii 0} {$ii < 
3e50: 31 30 7d 20 7b 69 6e 63 72 20 69 69 7d 20 7b 0a  10} {incr ii} {.
3e60: 20 20 20 20 20 20 64 62 20 65 76 61 6c 20 7b 20        db eval { 
3e70: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
3e80: 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64  ELECT NULL, rand
3e90: 73 74 72 28 35 30 2c 35 30 29 20 46 52 4f 4d 20  str(50,50) FROM 
3ea0: 74 31 20 7d 0a 20 20 20 20 7d 0a 20 20 7d 20 2d  t1 }.    }.  } -
3eb0: 63 6f 72 72 75 70 74 20 7b 0a 20 20 20 20 64 6f  corrupt {.    do
3ec0: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d 31  _test corrupt2-1
3ed0: 33 2e 31 20 7b 0a 20 20 20 20 20 20 66 69 6c 65  3.1 {.      file
3ee0: 20 73 69 7a 65 20 63 6f 72 72 75 70 74 2e 64 62   size corrupt.db
3ef0: 0a 20 20 20 20 7d 20 24 3a 3a 73 71 6c 69 74 65  .    } $::sqlite
3f00: 5f 70 65 6e 64 69 6e 67 5f 62 79 74 65 0a 20 20  _pending_byte.  
3f10: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 63 6f    hexio_write co
3f20: 72 72 75 70 74 2e 64 62 20 5b 65 78 70 72 20 24  rrupt.db [expr $
3f30: 3a 3a 73 71 6c 69 74 65 5f 70 65 6e 64 69 6e 67  ::sqlite_pending
3f40: 5f 62 79 74 65 2b 31 30 32 33 5d 20 30 30 0a 20  _byte+1023] 00. 
3f50: 20 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 63     hexio_write c
3f60: 6f 72 72 75 70 74 2e 64 62 20 32 38 20 30 30 30  orrupt.db 28 000
3f70: 30 30 30 30 30 0a 20 20 7d 20 2d 74 65 73 74 20  00000.  } -test 
3f80: 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 63 6f  {.    do_test co
3f90: 72 72 75 70 74 32 2d 31 33 2e 32 20 7b 0a 20 20  rrupt2-13.2 {.  
3fa0: 20 20 20 20 66 69 6c 65 20 73 69 7a 65 20 63 6f      file size co
3fb0: 72 72 75 70 74 2e 64 62 0a 20 20 20 20 7d 20 5b  rrupt.db.    } [
3fc0: 65 78 70 72 20 24 3a 3a 73 71 6c 69 74 65 5f 70  expr $::sqlite_p
3fd0: 65 6e 64 69 6e 67 5f 62 79 74 65 20 2b 20 31 30  ending_byte + 10
3fe0: 32 34 5d 0a 20 20 20 20 64 6f 5f 74 65 73 74 20  24].    do_test 
3ff0: 63 6f 72 72 75 70 74 32 2d 31 33 2e 33 20 7b 0a  corrupt2-13.3 {.
4000: 20 20 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b        catchsql {
4010: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20   DELETE FROM t1 
4020: 57 48 45 52 45 20 72 6f 77 69 64 20 3c 20 33 30  WHERE rowid < 30
4030: 3b 20 7d 0a 20 20 20 20 7d 20 7b 31 20 7b 64 61  ; }.    } {1 {da
4040: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
4050: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
4060: 0a 20 20 7d 0a 7d 0a 0a 66 69 6e 69 73 68 5f 74  .  }.}..finish_t
4070: 65 73 74 0a                                      est.