/ Hex Artifact Content
Login

Artifact a7f95356d19a4e8bf9423622ad865cabf48ae49dad40eb7a17a0b39f1cdd6948:


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 73 65 74 20 74 65 73  ster.tcl.set tes
02a0: 74 70 72 65 66 69 78 20 63 6f 72 72 75 70 74 32  tprefix corrupt2
02b0: 0a 0a 23 20 44 6f 20 6e 6f 74 20 75 73 65 20 61  ..# Do not use a
02c0: 20 63 6f 64 65 63 20 66 6f 72 20 74 65 73 74 73   codec for tests
02d0: 20 69 6e 20 74 68 69 73 20 66 69 6c 65 2c 20 61   in this file, a
02e0: 73 20 74 68 65 20 64 61 74 61 62 61 73 65 20 66  s the database f
02f0: 69 6c 65 20 69 73 0a 23 20 6d 61 6e 69 70 75 6c  ile is.# manipul
0300: 61 74 65 64 20 64 69 72 65 63 74 6c 79 20 75 73  ated directly us
0310: 69 6e 67 20 74 63 6c 20 73 63 72 69 70 74 73 20  ing tcl scripts 
0320: 28 75 73 69 6e 67 20 74 68 65 20 5b 68 65 78 69  (using the [hexi
0330: 6f 5f 77 72 69 74 65 5d 20 63 6f 6d 6d 61 6e 64  o_write] command
0340: 29 2e 0a 23 0a 64 6f 5f 6e 6f 74 5f 75 73 65 5f  )..#.do_not_use_
0350: 63 6f 64 65 63 0a 0a 23 20 54 68 65 73 65 20 74  codec..# These t
0360: 65 73 74 73 20 64 65 61 6c 20 77 69 74 68 20 63  ests deal with c
0370: 6f 72 72 75 70 74 20 64 61 74 61 62 61 73 65 20  orrupt database 
0380: 66 69 6c 65 73 0a 23 0a 64 61 74 61 62 61 73 65  files.#.database
0390: 5f 6d 61 79 5f 62 65 5f 63 6f 72 72 75 70 74 0a  _may_be_corrupt.
03a0: 0a 73 65 74 20 70 72 65 73 71 6c 20 22 22 0a 63  .set presql "".c
03b0: 61 74 63 68 20 7b 20 73 65 74 20 70 72 65 73 71  atch { set presq
03c0: 6c 20 22 24 3a 3a 47 28 70 65 72 6d 3a 70 72 65  l "$::G(perm:pre
03d0: 73 71 6c 29 3b 22 20 7d 0a 75 6e 73 65 74 20 2d  sql);" }.unset -
03e0: 6e 6f 63 6f 6d 70 6c 61 69 6e 20 3a 3a 47 28 70  nocomplain ::G(p
03f0: 65 72 6d 3a 70 72 65 73 71 6c 29 0a 0a 23 20 54  erm:presql)..# T
0400: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 65 73  he following tes
0410: 74 73 20 2d 20 63 6f 72 72 75 70 74 32 2d 31 2e  ts - corrupt2-1.
0420: 2a 20 2d 20 63 72 65 61 74 65 20 73 6f 6d 65 20  * - create some 
0430: 64 61 74 61 62 61 73 65 73 20 63 6f 72 72 75 70  databases corrup
0440: 74 65 64 20 69 6e 0a 23 20 73 70 65 63 69 66 69  ted in.# specifi
0450: 63 20 77 61 79 73 20 61 6e 64 20 65 6e 73 75 72  c ways and ensur
0460: 65 20 74 68 61 74 20 53 51 4c 69 74 65 20 64 65  e that SQLite de
0470: 74 65 63 74 73 20 74 68 65 6d 20 61 73 20 63 6f  tects them as co
0480: 72 72 75 70 74 2e 0a 23 0a 64 6f 5f 74 65 73 74  rrupt..#.do_test
0490: 20 63 6f 72 72 75 70 74 32 2d 31 2e 31 20 7b 0a   corrupt2-1.1 {.
04a0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
04b0: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75  PRAGMA auto_vacu
04c0: 75 6d 3d 30 3b 0a 20 20 20 20 50 52 41 47 4d 41  um=0;.    PRAGMA
04d0: 20 70 61 67 65 5f 73 69 7a 65 3d 31 30 32 34 3b   page_size=1024;
04e0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
04f0: 45 20 61 62 63 28 61 2c 20 62 2c 20 63 29 3b 0a  E abc(a, b, c);.
0500: 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73    }.} {}..do_tes
0510: 74 20 63 6f 72 72 75 70 74 32 2d 31 2e 32 20 7b  t corrupt2-1.2 {
0520: 0a 0a 20 20 23 20 43 6f 72 72 75 70 74 20 74 68  ..  # Corrupt th
0530: 65 20 31 36 20 62 79 74 65 20 6d 61 67 69 63 20  e 16 byte magic 
0540: 73 74 72 69 6e 67 20 61 74 20 74 68 65 20 73 74  string at the st
0550: 61 72 74 20 6f 66 20 74 68 65 20 66 69 6c 65 0a  art of the file.
0560: 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63 6f    forcedelete co
0570: 72 72 75 70 74 2e 64 62 0a 20 20 66 6f 72 63 65  rrupt.db.  force
0580: 64 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e 64  delete corrupt.d
0590: 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 66 6f 72 63  b-journal.  forc
05a0: 65 63 6f 70 79 20 74 65 73 74 2e 64 62 20 63 6f  ecopy test.db co
05b0: 72 72 75 70 74 2e 64 62 0a 20 20 73 65 74 20 66  rrupt.db.  set f
05c0: 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64   [open corrupt.d
05d0: 62 20 52 44 57 52 5d 0a 20 20 73 65 65 6b 20 24  b RDWR].  seek $
05e0: 66 20 38 20 73 74 61 72 74 0a 20 20 70 75 74 73  f 8 start.  puts
05f0: 20 24 66 20 62 6c 61 68 0a 20 20 63 6c 6f 73 65   $f blah.  close
0600: 20 24 66 0a 0a 20 20 73 71 6c 69 74 65 33 20 64   $f..  sqlite3 d
0610: 62 32 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20  b2 corrupt.db.  
0620: 63 61 74 63 68 73 71 6c 20 22 0a 20 20 20 20 24  catchsql ".    $
0630: 3a 3a 70 72 65 73 71 6c 0a 20 20 20 20 53 45 4c  ::presql.    SEL
0640: 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69 74  ECT * FROM sqlit
0650: 65 5f 6d 61 73 74 65 72 3b 0a 20 20 22 20 64 62  e_master;.  " db
0660: 32 0a 7d 20 7b 31 20 7b 66 69 6c 65 20 69 73 20  2.} {1 {file is 
0670: 6e 6f 74 20 61 20 64 61 74 61 62 61 73 65 7d 7d  not a database}}
0680: 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  ..do_test corrup
0690: 74 32 2d 31 2e 33 20 7b 0a 20 20 64 62 32 20 63  t2-1.3 {.  db2 c
06a0: 6c 6f 73 65 0a 0a 20 20 23 20 43 6f 72 72 75 70  lose..  # Corrup
06b0: 74 20 74 68 65 20 70 61 67 65 2d 73 69 7a 65 20  t the page-size 
06c0: 28 62 79 74 65 73 20 31 36 20 61 6e 64 20 31 37  (bytes 16 and 17
06d0: 20 6f 66 20 70 61 67 65 20 31 29 2e 0a 20 20 66   of page 1)..  f
06e0: 6f 72 63 65 64 65 6c 65 74 65 20 63 6f 72 72 75  orcedelete corru
06f0: 70 74 2e 64 62 0a 20 20 66 6f 72 63 65 64 65 6c  pt.db.  forcedel
0700: 65 74 65 20 63 6f 72 72 75 70 74 2e 64 62 2d 6a  ete corrupt.db-j
0710: 6f 75 72 6e 61 6c 0a 20 20 66 6f 72 63 65 63 6f  ournal.  forceco
0720: 70 79 20 74 65 73 74 2e 64 62 20 63 6f 72 72 75  py test.db corru
0730: 70 74 2e 64 62 0a 20 20 73 65 74 20 66 20 5b 6f  pt.db.  set f [o
0740: 70 65 6e 20 63 6f 72 72 75 70 74 2e 64 62 20 52  pen corrupt.db R
0750: 44 57 52 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72  DWR].  fconfigur
0760: 65 20 24 66 20 2d 65 6e 63 6f 64 69 6e 67 20 62  e $f -encoding b
0770: 69 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 20  inary.  seek $f 
0780: 31 36 20 73 74 61 72 74 0a 20 20 70 75 74 73 20  16 start.  puts 
0790: 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 20 22 5c  -nonewline $f "\
07a0: 78 30 30 5c 78 46 46 22 0a 20 20 63 6c 6f 73 65  x00\xFF".  close
07b0: 20 24 66 0a 0a 20 20 73 71 6c 69 74 65 33 20 64   $f..  sqlite3 d
07c0: 62 32 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20  b2 corrupt.db.  
07d0: 63 61 74 63 68 73 71 6c 20 22 0a 20 20 20 20 24  catchsql ".    $
07e0: 3a 3a 70 72 65 73 71 6c 0a 20 20 20 20 53 45 4c  ::presql.    SEL
07f0: 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69 74  ECT * FROM sqlit
0800: 65 5f 6d 61 73 74 65 72 3b 0a 20 20 22 20 64 62  e_master;.  " db
0810: 32 0a 7d 20 7b 31 20 7b 66 69 6c 65 20 69 73 20  2.} {1 {file is 
0820: 6e 6f 74 20 61 20 64 61 74 61 62 61 73 65 7d 7d  not a database}}
0830: 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  ..do_test corrup
0840: 74 32 2d 31 2e 34 20 7b 0a 20 20 64 62 32 20 63  t2-1.4 {.  db2 c
0850: 6c 6f 73 65 0a 0a 20 20 23 20 43 6f 72 72 75 70  lose..  # Corrup
0860: 74 20 74 68 65 20 66 72 65 65 2d 62 6c 6f 63 6b  t the free-block
0870: 20 6c 69 73 74 20 6f 6e 20 70 61 67 65 20 31 2e   list on page 1.
0880: 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63  .  forcedelete c
0890: 6f 72 72 75 70 74 2e 64 62 0a 20 20 66 6f 72 63  orrupt.db.  forc
08a0: 65 64 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e  edelete corrupt.
08b0: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 66 6f 72  db-journal.  for
08c0: 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62 20 63  cecopy test.db c
08d0: 6f 72 72 75 70 74 2e 64 62 0a 20 20 73 65 74 20  orrupt.db.  set 
08e0: 66 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e  f [open corrupt.
08f0: 64 62 20 52 44 57 52 5d 0a 20 20 66 63 6f 6e 66  db RDWR].  fconf
0900: 69 67 75 72 65 20 24 66 20 2d 65 6e 63 6f 64 69  igure $f -encodi
0910: 6e 67 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b  ng binary.  seek
0920: 20 24 66 20 31 30 31 20 73 74 61 72 74 0a 20 20   $f 101 start.  
0930: 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20  puts -nonewline 
0940: 24 66 20 22 5c 78 46 46 5c 78 46 46 22 0a 20 20  $f "\xFF\xFF".  
0950: 63 6c 6f 73 65 20 24 66 0a 0a 20 20 73 71 6c 69  close $f..  sqli
0960: 74 65 33 20 64 62 32 20 63 6f 72 72 75 70 74 2e  te3 db2 corrupt.
0970: 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 22 0a  db.  catchsql ".
0980: 20 20 20 20 24 3a 3a 70 72 65 73 71 6c 0a 20 20      $::presql.  
0990: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
09a0: 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20  sqlite_master;. 
09b0: 20 22 20 64 62 32 0a 7d 20 7b 31 20 7b 64 61 74   " db2.} {1 {dat
09c0: 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65  abase disk image
09d0: 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a   is malformed}}.
09e0: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
09f0: 32 2d 31 2e 35 20 7b 0a 20 20 64 62 32 20 63 6c  2-1.5 {.  db2 cl
0a00: 6f 73 65 0a 0a 20 20 23 20 43 6f 72 72 75 70 74  ose..  # Corrupt
0a10: 20 74 68 65 20 66 72 65 65 2d 62 6c 6f 63 6b 20   the free-block 
0a20: 6c 69 73 74 20 6f 6e 20 70 61 67 65 20 31 2e 0a  list on page 1..
0a30: 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63 6f    forcedelete co
0a40: 72 72 75 70 74 2e 64 62 0a 20 20 66 6f 72 63 65  rrupt.db.  force
0a50: 64 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e 64  delete corrupt.d
0a60: 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 66 6f 72 63  b-journal.  forc
0a70: 65 63 6f 70 79 20 74 65 73 74 2e 64 62 20 63 6f  ecopy test.db co
0a80: 72 72 75 70 74 2e 64 62 0a 20 20 73 65 74 20 66  rrupt.db.  set f
0a90: 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64   [open corrupt.d
0aa0: 62 20 52 44 57 52 5d 0a 20 20 66 63 6f 6e 66 69  b RDWR].  fconfi
0ab0: 67 75 72 65 20 24 66 20 2d 65 6e 63 6f 64 69 6e  gure $f -encodin
0ac0: 67 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b 20  g binary.  seek 
0ad0: 24 66 20 31 30 31 20 73 74 61 72 74 0a 20 20 70  $f 101 start.  p
0ae0: 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24  uts -nonewline $
0af0: 66 20 22 5c 78 30 30 5c 78 43 38 22 0a 20 20 73  f "\x00\xC8".  s
0b00: 65 65 6b 20 24 66 20 32 30 30 20 73 74 61 72 74  eek $f 200 start
0b10: 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69  .  puts -nonewli
0b20: 6e 65 20 24 66 20 22 5c 78 30 30 5c 78 30 30 22  ne $f "\x00\x00"
0b30: 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69  .  puts -nonewli
0b40: 6e 65 20 24 66 20 22 5c 78 31 30 5c 78 30 30 22  ne $f "\x10\x00"
0b50: 0a 20 20 63 6c 6f 73 65 20 24 66 0a 0a 20 20 73  .  close $f..  s
0b60: 71 6c 69 74 65 33 20 64 62 32 20 63 6f 72 72 75  qlite3 db2 corru
0b70: 70 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  pt.db.  catchsql
0b80: 20 22 0a 20 20 20 20 24 3a 3a 70 72 65 73 71 6c   ".    $::presql
0b90: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
0ba0: 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72  OM sqlite_master
0bb0: 3b 0a 20 20 22 20 64 62 32 0a 7d 20 7b 31 20 7b  ;.  " db2.} {1 {
0bc0: 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d  database disk im
0bd0: 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64  age is malformed
0be0: 7d 7d 0a 64 62 32 20 63 6c 6f 73 65 0a 0a 23 20  }}.db2 close..# 
0bf0: 43 6f 72 72 75 70 74 20 61 20 64 61 74 61 62 61  Corrupt a databa
0c00: 73 65 20 62 79 20 68 61 76 69 6e 67 20 32 20 69  se by having 2 i
0c10: 6e 64 69 63 65 73 20 6f 66 20 74 68 65 20 73 61  ndices of the sa
0c20: 6d 65 20 6e 61 6d 65 3a 0a 64 6f 5f 74 65 73 74  me name:.do_test
0c30: 20 63 6f 72 72 75 70 74 32 2d 32 2e 31 20 7b 0a   corrupt2-2.1 {.
0c40: 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63  .  forcedelete c
0c50: 6f 72 72 75 70 74 2e 64 62 0a 20 20 66 6f 72 63  orrupt.db.  forc
0c60: 65 64 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e  edelete corrupt.
0c70: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 66 6f 72  db-journal.  for
0c80: 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62 20 63  cecopy test.db c
0c90: 6f 72 72 75 70 74 2e 64 62 0a 0a 20 20 73 71 6c  orrupt.db..  sql
0ca0: 69 74 65 33 20 64 62 32 20 63 6f 72 72 75 70 74  ite3 db2 corrupt
0cb0: 2e 64 62 20 0a 20 20 73 71 6c 69 74 65 33 5f 64  .db .  sqlite3_d
0cc0: 62 5f 63 6f 6e 66 69 67 20 64 62 32 20 44 45 46  b_config db2 DEF
0cd0: 45 4e 53 49 56 45 20 30 0a 20 20 65 78 65 63 73  ENSIVE 0.  execs
0ce0: 71 6c 20 22 0a 20 20 20 20 24 3a 3a 70 72 65 73  ql ".    $::pres
0cf0: 71 6c 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e  ql.    CREATE IN
0d00: 44 45 58 20 61 31 20 4f 4e 20 61 62 63 28 61 29  DEX a1 ON abc(a)
0d10: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44  ;.    CREATE IND
0d20: 45 58 20 61 32 20 4f 4e 20 61 62 63 28 62 29 3b  EX a2 ON abc(b);
0d30: 0a 20 20 20 20 50 52 41 47 4d 41 20 77 72 69 74  .    PRAGMA writ
0d40: 61 62 6c 65 5f 73 63 68 65 6d 61 20 3d 20 31 3b  able_schema = 1;
0d50: 0a 20 20 20 20 55 50 44 41 54 45 20 73 71 6c 69  .    UPDATE sqli
0d60: 74 65 5f 6d 61 73 74 65 72 20 0a 20 20 20 20 20  te_master .     
0d70: 20 53 45 54 20 6e 61 6d 65 20 3d 20 27 61 33 27   SET name = 'a3'
0d80: 2c 20 73 71 6c 20 3d 20 27 43 52 45 41 54 45 20  , sql = 'CREATE 
0d90: 49 4e 44 45 58 20 61 33 27 20 7c 7c 20 73 75 62  INDEX a3' || sub
0da0: 73 74 72 28 73 71 6c 2c 20 31 36 2c 20 31 30 30  str(sql, 16, 100
0db0: 30 30 29 0a 20 20 20 20 20 20 57 48 45 52 45 20  00).      WHERE 
0dc0: 74 79 70 65 20 3d 20 27 69 6e 64 65 78 27 3b 0a  type = 'index';.
0dd0: 20 20 20 20 50 52 41 47 4d 41 20 77 72 69 74 61      PRAGMA writa
0de0: 62 6c 65 5f 73 63 68 65 6d 61 20 3d 20 30 3b 0a  ble_schema = 0;.
0df0: 20 20 22 20 64 62 32 0a 0a 20 20 64 62 32 20 63    " db2..  db2 c
0e00: 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64  lose.  sqlite3 d
0e10: 62 32 20 63 6f 72 72 75 70 74 2e 64 62 20 0a 20  b2 corrupt.db . 
0e20: 20 63 61 74 63 68 73 71 6c 20 22 0a 20 20 20 20   catchsql ".    
0e30: 24 3a 3a 70 72 65 73 71 6c 0a 20 20 20 20 53 45  $::presql.    SE
0e40: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69  LECT * FROM sqli
0e50: 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20 22 20 64  te_master;.  " d
0e60: 62 32 0a 7d 20 7b 31 20 7b 6d 61 6c 66 6f 72 6d  b2.} {1 {malform
0e70: 65 64 20 64 61 74 61 62 61 73 65 20 73 63 68 65  ed database sche
0e80: 6d 61 20 28 61 33 29 20 2d 20 69 6e 64 65 78 20  ma (a3) - index 
0e90: 61 33 20 61 6c 72 65 61 64 79 20 65 78 69 73 74  a3 already exist
0ea0: 73 7d 7d 0a 0a 64 62 32 20 63 6c 6f 73 65 0a 0a  s}}..db2 close..
0eb0: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32  do_test corrupt2
0ec0: 2d 33 2e 31 20 7b 0a 20 20 66 6f 72 63 65 64 65  -3.1 {.  forcede
0ed0: 6c 65 74 65 20 63 6f 72 72 75 70 74 2e 64 62 0a  lete corrupt.db.
0ee0: 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63 6f    forcedelete co
0ef0: 72 72 75 70 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c  rrupt.db-journal
0f00: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32 20 63  .  sqlite3 db2 c
0f10: 6f 72 72 75 70 74 2e 64 62 20 0a 0a 20 20 65 78  orrupt.db ..  ex
0f20: 65 63 73 71 6c 20 22 0a 20 20 20 20 24 3a 3a 70  ecsql ".    $::p
0f30: 72 65 73 71 6c 0a 20 20 20 20 50 52 41 47 4d 41  resql.    PRAGMA
0f40: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31   auto_vacuum = 1
0f50: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67  ;.    PRAGMA pag
0f60: 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20  e_size = 1024;. 
0f70: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
0f80: 74 31 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20  t1(a, b, c);.   
0f90: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32   CREATE TABLE t2
0fa0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 49  (a, b, c);.    I
0fb0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41  NSERT INTO t2 VA
0fc0: 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28  LUES(randomblob(
0fd0: 31 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  100), randomblob
0fe0: 28 31 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f  (100), randomblo
0ff0: 62 28 31 30 30 29 29 3b 0a 20 20 20 20 49 4e 53  b(100));.    INS
1000: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45  ERT INTO t2 SELE
1010: 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20  CT * FROM t2;.  
1020: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
1030: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1040: 32 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  2;.    INSERT IN
1050: 54 4f 20 74 32 20 53 45 4c 45 43 54 20 2a 20 46  TO t2 SELECT * F
1060: 52 4f 4d 20 74 32 3b 0a 20 20 20 20 49 4e 53 45  ROM t2;.    INSE
1070: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
1080: 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 22  T * FROM t2;.  "
1090: 20 64 62 32 0a 0a 20 20 64 62 32 20 63 6c 6f 73   db2..  db2 clos
10a0: 65 0a 0a 20 20 23 20 4f 6e 20 74 68 65 20 72 6f  e..  # On the ro
10b0: 6f 74 20 70 61 67 65 20 6f 66 20 74 61 62 6c 65  ot page of table
10c0: 20 74 32 20 28 70 61 67 65 20 34 29 2c 20 73 65   t2 (page 4), se
10d0: 74 20 6f 6e 65 20 6f 66 20 74 68 65 20 63 68 69  t one of the chi
10e0: 6c 64 20 70 61 67 65 2d 6e 75 6d 62 65 72 73 0a  ld page-numbers.
10f0: 20 20 23 20 74 6f 20 30 2e 20 54 68 69 73 20 63    # to 0. This c
1100: 6f 72 72 75 70 74 69 6f 6e 20 77 69 6c 6c 20 62  orruption will b
1110: 65 20 64 65 74 65 63 74 65 64 20 77 68 65 6e 20  e detected when 
1120: 53 51 4c 69 74 65 20 61 74 74 65 6d 70 74 73 20  SQLite attempts 
1130: 74 6f 20 75 70 64 61 74 65 0a 20 20 23 20 74 68  to update.  # th
1140: 65 20 70 6f 69 6e 74 65 72 2d 6d 61 70 20 61 66  e pointer-map af
1150: 74 65 72 20 6d 6f 76 69 6e 67 20 74 68 65 20 63  ter moving the c
1160: 6f 6e 74 65 6e 74 20 6f 66 20 70 61 67 65 20 34  ontent of page 4
1170: 20 74 6f 20 70 61 67 65 20 33 20 61 73 20 70 61   to page 3 as pa
1180: 72 74 0a 20 20 23 20 6f 66 20 74 68 65 20 44 52  rt.  # of the DR
1190: 4f 50 20 54 41 42 4c 45 20 6f 70 65 72 61 74 69  OP TABLE operati
11a0: 6f 6e 20 62 65 6c 6f 77 2e 0a 20 20 23 0a 20 20  on below..  #.  
11b0: 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 63 6f 72  set fd [open cor
11c0: 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20 20 66 63  rupt.db r+].  fc
11d0: 6f 6e 66 69 67 75 72 65 20 24 66 64 20 2d 65 6e  onfigure $fd -en
11e0: 63 6f 64 69 6e 67 20 62 69 6e 61 72 79 20 2d 74  coding binary -t
11f0: 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e 61 72  ranslation binar
1200: 79 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65 78  y.  seek $fd [ex
1210: 70 72 20 31 30 32 34 2a 33 20 2b 20 31 32 5d 0a  pr 1024*3 + 12].
1220: 20 20 73 65 74 20 7a 43 65 6c 6c 6f 66 66 73 65    set zCelloffse
1230: 74 20 5b 72 65 61 64 20 24 66 64 20 32 5d 0a 20  t [read $fd 2]. 
1240: 20 62 69 6e 61 72 79 20 73 63 61 6e 20 24 7a 43   binary scan $zC
1250: 65 6c 6c 6f 66 66 73 65 74 20 53 20 69 43 65 6c  elloffset S iCel
1260: 6c 6f 66 66 73 65 74 0a 20 20 73 65 65 6b 20 24  loffset.  seek $
1270: 66 64 20 5b 65 78 70 72 20 31 30 32 34 2a 33 20  fd [expr 1024*3 
1280: 2b 20 24 69 43 65 6c 6c 6f 66 66 73 65 74 5d 0a  + $iCelloffset].
1290: 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e    puts -nonewlin
12a0: 65 20 24 66 64 20 22 5c 30 30 5c 30 30 5c 30 30  e $fd "\00\00\00
12b0: 5c 30 30 22 20 0a 20 20 63 6c 6f 73 65 20 24 66  \00" .  close $f
12c0: 64 0a 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32  d..  sqlite3 db2
12d0: 20 63 6f 72 72 75 70 74 2e 64 62 20 0a 20 20 63   corrupt.db .  c
12e0: 61 74 63 68 73 71 6c 20 22 0a 20 20 20 20 24 3a  atchsql ".    $:
12f0: 3a 70 72 65 73 71 6c 0a 20 20 20 20 44 52 4f 50  :presql.    DROP
1300: 20 54 41 42 4c 45 20 74 31 3b 0a 20 20 22 20 64   TABLE t1;.  " d
1310: 62 32 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73  b2.} {1 {databas
1320: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
1330: 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64 6f 5f  malformed}}..do_
1340: 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d 34 2e  test corrupt2-4.
1350: 31 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  1 {.  catchsql {
1360: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
1370: 4f 4d 20 74 32 3b 0a 20 20 7d 20 64 62 32 0a 7d  OM t2;.  } db2.}
1380: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
1390: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
13a0: 6f 72 6d 65 64 7d 7d 0a 0a 64 62 32 20 63 6c 6f  ormed}}..db2 clo
13b0: 73 65 0a 0a 75 6e 73 65 74 20 2d 6e 6f 63 6f 6d  se..unset -nocom
13c0: 70 6c 61 69 6e 20 72 65 73 75 6c 74 0a 64 6f 5f  plain result.do_
13d0: 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d 35 2e  test corrupt2-5.
13e0: 31 20 7b 0a 20 20 66 6f 72 63 65 64 65 6c 65 74  1 {.  forcedelet
13f0: 65 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20 66  e corrupt.db.  f
1400: 6f 72 63 65 64 65 6c 65 74 65 20 63 6f 72 72 75  orcedelete corru
1410: 70 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20  pt.db-journal.  
1420: 73 71 6c 69 74 65 33 20 64 62 32 20 63 6f 72 72  sqlite3 db2 corr
1430: 75 70 74 2e 64 62 20 0a 0a 20 20 65 78 65 63 73  upt.db ..  execs
1440: 71 6c 20 22 0a 20 20 20 20 24 3a 3a 70 72 65 73  ql ".    $::pres
1450: 71 6c 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75  ql.    PRAGMA au
1460: 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b 0a 20  to_vacuum = 0;. 
1470: 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73     PRAGMA page_s
1480: 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20  ize = 1024;.    
1490: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28  CREATE TABLE t1(
14a0: 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 43 52  a, b, c);.    CR
14b0: 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 2c  EATE TABLE t2(a,
14c0: 20 62 2c 20 63 29 3b 0a 20 20 20 20 49 4e 53 45   b, c);.    INSE
14d0: 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45  RT INTO t2 VALUE
14e0: 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30  S(randomblob(100
14f0: 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30  ), randomblob(10
1500: 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31  0), randomblob(1
1510: 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  00));.    INSERT
1520: 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20   INTO t2 SELECT 
1530: 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 49  * FROM t2;.    I
1540: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
1550: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a  LECT * FROM t2;.
1560: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1570: 74 32 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  t2 SELECT * FROM
1580: 20 74 32 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t2;.    INSERT 
1590: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 2a  INTO t2 SELECT *
15a0: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 49 4e   FROM t2;.    IN
15b0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
15c0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20  ECT * FROM t2;. 
15d0: 20 22 20 64 62 32 0a 0a 20 20 64 62 32 20 63 6c   " db2..  db2 cl
15e0: 6f 73 65 0a 0a 20 20 23 20 54 68 69 73 20 62 6c  ose..  # This bl
15f0: 6f 63 6b 20 6c 69 6e 6b 73 20 61 20 70 61 67 65  ock links a page
1600: 20 66 72 6f 6d 20 74 61 62 6c 65 20 74 32 20 69   from table t2 i
1610: 6e 74 6f 20 74 68 65 20 74 31 20 74 61 62 6c 65  nto the t1 table
1620: 20 73 74 72 75 63 74 75 72 65 2e 0a 20 20 23 0a   structure..  #.
1630: 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 63    set fd [open c
1640: 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20 20  orrupt.db r+].  
1650: 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64 20 2d  fconfigure $fd -
1660: 65 6e 63 6f 64 69 6e 67 20 62 69 6e 61 72 79 20  encoding binary 
1670: 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e  -translation bin
1680: 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64 20 5b  ary.  seek $fd [
1690: 65 78 70 72 20 31 30 32 34 20 2b 20 31 32 5d 0a  expr 1024 + 12].
16a0: 20 20 73 65 74 20 7a 43 65 6c 6c 6f 66 66 73 65    set zCelloffse
16b0: 74 20 5b 72 65 61 64 20 24 66 64 20 32 5d 0a 20  t [read $fd 2]. 
16c0: 20 62 69 6e 61 72 79 20 73 63 61 6e 20 24 7a 43   binary scan $zC
16d0: 65 6c 6c 6f 66 66 73 65 74 20 53 20 69 43 65 6c  elloffset S iCel
16e0: 6c 6f 66 66 73 65 74 0a 20 20 73 65 65 6b 20 24  loffset.  seek $
16f0: 66 64 20 5b 65 78 70 72 20 31 30 32 34 20 2b 20  fd [expr 1024 + 
1700: 24 69 43 65 6c 6c 6f 66 66 73 65 74 5d 0a 20 20  $iCelloffset].  
1710: 73 65 74 20 7a 43 68 69 6c 64 50 61 67 65 20 5b  set zChildPage [
1720: 72 65 61 64 20 24 66 64 20 34 5d 0a 20 20 73 65  read $fd 4].  se
1730: 65 6b 20 24 66 64 20 5b 65 78 70 72 20 32 2a 31  ek $fd [expr 2*1
1740: 30 32 34 20 2b 20 31 32 5d 0a 20 20 73 65 74 20  024 + 12].  set 
1750: 7a 43 65 6c 6c 6f 66 66 73 65 74 20 5b 72 65 61  zCelloffset [rea
1760: 64 20 24 66 64 20 32 5d 0a 20 20 62 69 6e 61 72  d $fd 2].  binar
1770: 79 20 73 63 61 6e 20 24 7a 43 65 6c 6c 6f 66 66  y scan $zCelloff
1780: 73 65 74 20 53 20 69 43 65 6c 6c 6f 66 66 73 65  set S iCelloffse
1790: 74 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65 78  t.  seek $fd [ex
17a0: 70 72 20 32 2a 31 30 32 34 20 2b 20 24 69 43 65  pr 2*1024 + $iCe
17b0: 6c 6c 6f 66 66 73 65 74 5d 0a 20 20 70 75 74 73  lloffset].  puts
17c0: 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 64 20   -nonewline $fd 
17d0: 24 7a 43 68 69 6c 64 50 61 67 65 0a 20 20 63 6c  $zChildPage.  cl
17e0: 6f 73 65 20 24 66 64 0a 0a 20 20 73 71 6c 69 74  ose $fd..  sqlit
17f0: 65 33 20 64 62 32 20 63 6f 72 72 75 70 74 2e 64  e3 db2 corrupt.d
1800: 62 20 0a 20 20 64 62 32 20 65 76 61 6c 20 24 3a  b .  db2 eval $:
1810: 3a 70 72 65 73 71 6c 0a 20 20 64 62 32 20 65 76  :presql.  db2 ev
1820: 61 6c 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64  al {SELECT rowid
1830: 20 46 52 4f 4d 20 74 31 7d 20 7b 0a 20 20 20 20   FROM t1} {.    
1840: 73 65 74 20 72 65 73 75 6c 74 20 5b 64 62 32 20  set result [db2 
1850: 65 76 61 6c 20 7b 70 72 61 67 6d 61 20 69 6e 74  eval {pragma int
1860: 65 67 72 69 74 79 5f 63 68 65 63 6b 7d 5d 0a 20  egrity_check}]. 
1870: 20 20 20 62 72 65 61 6b 0a 20 20 7d 0a 20 20 73     break.  }.  s
1880: 65 74 20 72 65 73 75 6c 74 0a 7d 20 7b 7b 2a 2a  et result.} {{**
1890: 2a 20 69 6e 20 64 61 74 61 62 61 73 65 20 6d 61  * in database ma
18a0: 69 6e 20 2a 2a 2a 0a 4f 6e 20 74 72 65 65 20 70  in ***.On tree p
18b0: 61 67 65 20 32 20 63 65 6c 6c 20 30 3a 20 32 6e  age 2 cell 0: 2n
18c0: 64 20 72 65 66 65 72 65 6e 63 65 20 74 6f 20 70  d reference to p
18d0: 61 67 65 20 31 30 0a 50 61 67 65 20 34 20 69 73  age 10.Page 4 is
18e0: 20 6e 65 76 65 72 20 75 73 65 64 7d 7d 0a 0a 64   never used}}..d
18f0: 62 32 20 63 6c 6f 73 65 0a 0a 70 72 6f 63 20 63  b2 close..proc c
1900: 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73 74 20 7b  orruption_test {
1910: 61 72 67 73 7d 20 7b 0a 20 20 73 65 74 20 41 28  args} {.  set A(
1920: 2d 63 6f 72 72 75 70 74 29 20 7b 7d 0a 20 20 73  -corrupt) {}.  s
1930: 65 74 20 41 28 2d 73 71 6c 70 72 65 70 29 20 7b  et A(-sqlprep) {
1940: 7d 0a 20 20 73 65 74 20 41 28 2d 74 63 6c 70 72  }.  set A(-tclpr
1950: 65 70 29 20 7b 7d 0a 20 20 61 72 72 61 79 20 73  ep) {}.  array s
1960: 65 74 20 41 20 24 61 72 67 73 0a 0a 20 20 63 61  et A $args..  ca
1970: 74 63 68 20 7b 64 62 20 63 6c 6f 73 65 7d 0a 20  tch {db close}. 
1980: 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63 6f 72   forcedelete cor
1990: 72 75 70 74 2e 64 62 0a 20 20 66 6f 72 63 65 64  rupt.db.  forced
19a0: 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e 64 62  elete corrupt.db
19b0: 2d 6a 6f 75 72 6e 61 6c 0a 0a 20 20 73 71 6c 69  -journal..  sqli
19c0: 74 65 33 20 64 62 20 63 6f 72 72 75 70 74 2e 64  te3 db corrupt.d
19d0: 62 20 0a 20 20 73 71 6c 69 74 65 33 5f 64 62 5f  b .  sqlite3_db_
19e0: 63 6f 6e 66 69 67 20 64 62 20 44 45 46 45 4e 53  config db DEFENS
19f0: 49 56 45 20 30 0a 20 20 64 62 20 65 76 61 6c 20  IVE 0.  db eval 
1a00: 24 3a 3a 70 72 65 73 71 6c 0a 20 20 65 76 61 6c  $::presql.  eval
1a10: 20 24 41 28 2d 74 63 6c 70 72 65 70 29 0a 20 20   $A(-tclprep).  
1a20: 64 62 20 65 76 61 6c 20 24 41 28 2d 73 71 6c 70  db eval $A(-sqlp
1a30: 72 65 70 29 0a 20 20 64 62 20 63 6c 6f 73 65 0a  rep).  db close.
1a40: 0a 20 20 65 76 61 6c 20 24 41 28 2d 63 6f 72 72  .  eval $A(-corr
1a50: 75 70 74 29 0a 0a 20 20 73 71 6c 69 74 65 33 20  upt)..  sqlite3 
1a60: 64 62 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20  db corrupt.db.  
1a70: 65 76 61 6c 20 24 41 28 2d 74 65 73 74 29 0a 7d  eval $A(-test).}
1a80: 0a 0a 69 66 63 61 70 61 62 6c 65 20 61 75 74 6f  ..ifcapable auto
1a90: 76 61 63 75 75 6d 20 7b 0a 20 20 23 20 54 68 65  vacuum {.  # The
1aa0: 20 74 65 73 74 73 20 77 69 74 68 69 6e 20 74 68   tests within th
1ab0: 69 73 20 62 6c 6f 63 6b 20 2d 20 63 6f 72 72 75  is block - corru
1ac0: 70 74 32 2d 36 2e 2a 20 2d 20 61 69 6d 20 74 6f  pt2-6.* - aim to
1ad0: 20 74 65 73 74 20 63 6f 72 72 75 70 74 69 6f 6e   test corruption
1ae0: 0a 20 20 23 20 64 65 74 65 63 74 69 6f 6e 20 77  .  # detection w
1af0: 69 74 68 69 6e 20 61 6e 20 69 6e 63 72 65 6d 65  ithin an increme
1b00: 6e 74 61 6c 2d 76 61 63 75 75 6d 2e 20 57 68 65  ntal-vacuum. Whe
1b10: 6e 20 61 6e 20 69 6e 63 72 65 6d 65 6e 74 61 6c  n an incremental
1b20: 2d 76 61 63 75 75 6d 0a 20 20 23 20 73 74 65 70  -vacuum.  # step
1b30: 20 69 73 20 65 78 65 63 75 74 65 64 2c 20 74 68   is executed, th
1b40: 65 20 6c 61 73 74 20 6e 6f 6e 2d 66 72 65 65 20  e last non-free 
1b50: 70 61 67 65 20 6f 66 20 74 68 65 20 64 61 74 61  page of the data
1b60: 62 61 73 65 20 66 69 6c 65 20 69 73 20 0a 20 20  base file is .  
1b70: 23 20 6d 6f 76 65 64 20 69 6e 74 6f 20 61 20 66  # moved into a f
1b80: 72 65 65 20 73 70 61 63 65 20 69 6e 20 74 68 65  ree space in the
1b90: 20 62 6f 64 79 20 6f 66 20 74 68 65 20 66 69 6c   body of the fil
1ba0: 65 2e 20 41 66 74 65 72 20 64 6f 69 6e 67 20 73  e. After doing s
1bb0: 6f 2c 0a 20 20 23 20 74 68 65 20 70 61 67 65 20  o,.  # the page 
1bc0: 72 65 66 65 72 65 6e 63 65 20 69 6e 20 74 68 65  reference in the
1bd0: 20 70 61 72 65 6e 74 20 70 61 67 65 20 6d 75 73   parent page mus
1be0: 74 20 62 65 20 75 70 64 61 74 65 64 20 74 6f 20  t be updated to 
1bf0: 72 65 66 65 72 0a 20 20 23 20 74 6f 20 74 68 65  refer.  # to the
1c00: 20 6e 65 77 20 6c 6f 63 61 74 69 6f 6e 2e 20 54   new location. T
1c10: 68 65 73 65 20 74 65 73 74 73 20 74 65 73 74 20  hese tests test 
1c20: 74 68 65 20 6f 75 74 63 6f 6d 65 20 6f 66 20 63  the outcome of c
1c30: 6f 72 72 75 70 74 69 6e 67 0a 20 20 23 20 74 68  orrupting.  # th
1c40: 61 74 20 70 61 67 65 20 72 65 66 65 72 65 6e 63  at page referenc
1c50: 65 20 62 65 66 6f 72 65 20 70 65 72 66 6f 72 6d  e before perform
1c60: 69 6e 67 20 74 68 65 20 69 6e 63 72 65 6d 65 6e  ing the incremen
1c70: 74 61 6c 20 76 61 63 75 75 6d 2e 0a 20 20 23 0a  tal vacuum..  #.
1c80: 0a 20 20 23 20 54 68 65 20 6c 61 73 74 20 70 61  .  # The last pa
1c90: 67 65 20 69 6e 20 74 68 65 20 64 61 74 61 62 61  ge in the databa
1ca0: 73 65 20 70 61 67 65 20 69 73 20 74 68 65 20 73  se page is the s
1cb0: 65 63 6f 6e 64 20 70 61 67 65 20 0a 20 20 23 20  econd page .  # 
1cc0: 69 6e 20 61 6e 20 6f 76 65 72 66 6c 6f 77 20 63  in an overflow c
1cd0: 68 61 69 6e 2e 0a 20 20 23 0a 20 20 63 6f 72 72  hain..  #.  corr
1ce0: 75 70 74 69 6f 6e 5f 74 65 73 74 20 2d 73 71 6c  uption_test -sql
1cf0: 70 72 65 70 20 7b 0a 20 20 20 20 50 52 41 47 4d  prep {.    PRAGM
1d00: 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  A auto_vacuum = 
1d10: 69 6e 63 72 65 6d 65 6e 74 61 6c 3b 0a 20 20 20  incremental;.   
1d20: 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a   PRAGMA page_siz
1d30: 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 43 52  e = 1024;.    CR
1d40: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c  EATE TABLE t1(a,
1d50: 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   b);.    INSERT 
1d60: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31  INTO t1 VALUES(1
1d70: 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30  , randomblob(250
1d80: 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  0));.    INSERT 
1d90: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32  INTO t1 VALUES(2
1da0: 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30  , randomblob(250
1db0: 30 29 29 3b 0a 20 20 20 20 44 45 4c 45 54 45 20  0));.    DELETE 
1dc0: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20  FROM t1 WHERE a 
1dd0: 3d 20 31 3b 0a 20 20 7d 20 2d 63 6f 72 72 75 70  = 1;.  } -corrup
1de0: 74 20 7b 0a 20 20 20 20 68 65 78 69 6f 5f 77 72  t {.    hexio_wr
1df0: 69 74 65 20 63 6f 72 72 75 70 74 2e 64 62 20 5b  ite corrupt.db [
1e00: 65 78 70 72 20 31 30 32 34 2a 35 5d 20 30 30 30  expr 1024*5] 000
1e10: 30 30 30 30 38 0a 20 20 7d 20 2d 74 65 73 74 20  00008.  } -test 
1e20: 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 63 6f  {.    do_test co
1e30: 72 72 75 70 74 32 2d 36 2e 31 20 7b 0a 20 20 20  rrupt2-6.1 {.   
1e40: 20 20 20 63 61 74 63 68 73 71 6c 20 22 20 24 3a     catchsql " $:
1e50: 3a 70 72 65 73 71 6c 20 70 72 61 67 6d 61 20 69  :presql pragma i
1e60: 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75  ncremental_vacuu
1e70: 6d 20 3d 20 31 20 22 0a 20 20 20 20 7d 20 7b 31  m = 1 ".    } {1
1e80: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
1e90: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
1ea0: 65 64 7d 7d 0a 20 20 7d 0a 0a 20 20 23 20 54 68  ed}}.  }..  # Th
1eb0: 65 20 6c 61 73 74 20 70 61 67 65 20 69 6e 20 74  e last page in t
1ec0: 68 65 20 64 61 74 61 62 61 73 65 20 70 61 67 65  he database page
1ed0: 20 69 73 20 61 20 6e 6f 6e 2d 72 6f 6f 74 20 62   is a non-root b
1ee0: 2d 74 72 65 65 20 70 61 67 65 2e 0a 20 20 23 0a  -tree page..  #.
1ef0: 20 20 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73    corruption_tes
1f00: 74 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20 20  t -sqlprep {.   
1f10: 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63   PRAGMA auto_vac
1f20: 75 75 6d 20 3d 20 69 6e 63 72 65 6d 65 6e 74 61  uum = incrementa
1f30: 6c 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61  l;.    PRAGMA pa
1f40: 67 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a  ge_size = 1024;.
1f50: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
1f60: 20 74 31 28 61 20 49 4e 54 45 47 45 52 20 50 52   t1(a INTEGER PR
1f70: 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20  IMARY KEY, b);. 
1f80: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1f90: 31 20 56 41 4c 55 45 53 28 31 2c 20 72 61 6e 64  1 VALUES(1, rand
1fa0: 6f 6d 62 6c 6f 62 28 32 35 30 30 29 29 3b 0a 20  omblob(2500));. 
1fb0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1fc0: 31 20 56 41 4c 55 45 53 28 32 2c 20 72 61 6e 64  1 VALUES(2, rand
1fd0: 6f 6d 62 6c 6f 62 28 35 30 29 29 3b 0a 20 20 20  omblob(50));.   
1fe0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1ff0: 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e  SELECT NULL, ran
2000: 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52 4f 4d  domblob(50) FROM
2010: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
2020: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e  INTO t1 SELECT N
2030: 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  ULL, randomblob(
2040: 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  50) FROM t1;.   
2050: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2060: 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e  SELECT NULL, ran
2070: 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52 4f 4d  domblob(50) FROM
2080: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
2090: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e  INTO t1 SELECT N
20a0: 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  ULL, randomblob(
20b0: 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  50) FROM t1;.   
20c0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20   DELETE FROM t1 
20d0: 57 48 45 52 45 20 61 20 3d 20 31 3b 0a 20 20 7d  WHERE a = 1;.  }
20e0: 20 2d 63 6f 72 72 75 70 74 20 7b 0a 20 20 20 20   -corrupt {.    
20f0: 68 65 78 69 6f 5f 77 72 69 74 65 20 63 6f 72 72  hexio_write corr
2100: 75 70 74 2e 64 62 20 5b 65 78 70 72 20 31 30 32  upt.db [expr 102
2110: 34 2a 32 20 2b 20 38 5d 20 30 30 30 30 30 30 30  4*2 + 8] 0000000
2120: 39 0a 20 20 7d 20 2d 74 65 73 74 20 7b 0a 20 20  9.  } -test {.  
2130: 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70    do_test corrup
2140: 74 32 2d 36 2e 32 20 7b 0a 20 20 20 20 20 20 63  t2-6.2 {.      c
2150: 61 74 63 68 73 71 6c 20 22 20 24 3a 3a 70 72 65  atchsql " $::pre
2160: 73 71 6c 20 70 72 61 67 6d 61 20 69 6e 63 72 65  sql pragma incre
2170: 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 20 3d 20  mental_vacuum = 
2180: 31 20 22 0a 20 20 20 20 7d 20 7b 31 20 7b 64 61  1 ".    } {1 {da
2190: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
21a0: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
21b0: 0a 20 20 7d 0a 0a 20 20 23 20 53 65 74 20 75 70  .  }..  # Set up
21c0: 20 61 20 70 6f 69 6e 74 65 72 2d 6d 61 70 20 65   a pointer-map e
21d0: 6e 74 72 79 20 73 6f 20 74 68 61 74 20 74 68 65  ntry so that the
21e0: 20 6c 61 73 74 20 70 61 67 65 20 6f 66 20 74 68   last page of th
21f0: 65 20 64 61 74 61 62 61 73 65 0a 20 20 23 20 66  e database.  # f
2200: 69 6c 65 20 61 70 70 65 61 72 73 20 74 6f 20 62  ile appears to b
2210: 65 20 61 20 62 2d 74 72 65 65 20 72 6f 6f 74 20  e a b-tree root 
2220: 70 61 67 65 2e 20 54 68 69 73 20 73 68 6f 75 6c  page. This shoul
2230: 64 20 62 65 20 64 65 74 65 63 74 65 64 0a 20 20  d be detected.  
2240: 23 20 61 73 20 63 6f 72 72 75 70 74 69 6f 6e 2e  # as corruption.
2250: 0a 20 20 23 0a 20 20 63 6f 72 72 75 70 74 69 6f  .  #.  corruptio
2260: 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72 65 70 20  n_test -sqlprep 
2270: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74  {.    PRAGMA aut
2280: 6f 5f 76 61 63 75 75 6d 20 3d 20 69 6e 63 72 65  o_vacuum = incre
2290: 6d 65 6e 74 61 6c 3b 0a 20 20 20 20 50 52 41 47  mental;.    PRAG
22a0: 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31  MA page_size = 1
22b0: 30 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45 20  024;.    CREATE 
22c0: 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45 47  TABLE t1(a INTEG
22d0: 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20  ER PRIMARY KEY, 
22e0: 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  b);.    INSERT I
22f0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c  NTO t1 VALUES(1,
2300: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30 30   randomblob(2500
2310: 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ));.    INSERT I
2320: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c  NTO t1 VALUES(2,
2330: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30 30   randomblob(2500
2340: 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ));.    INSERT I
2350: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33 2c  NTO t1 VALUES(3,
2360: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30 30   randomblob(2500
2370: 29 29 3b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  ));.    DELETE F
2380: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 3d  ROM t1 WHERE a =
2390: 20 31 3b 0a 20 20 7d 20 2d 63 6f 72 72 75 70 74   1;.  } -corrupt
23a0: 20 7b 0a 20 20 20 20 73 65 74 20 6e 50 61 67 65   {.    set nPage
23b0: 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a   [expr [file siz
23c0: 65 20 63 6f 72 72 75 70 74 2e 64 62 5d 20 2f 20  e corrupt.db] / 
23d0: 31 30 32 34 5d 0a 20 20 20 20 68 65 78 69 6f 5f  1024].    hexio_
23e0: 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e 64 62  write corrupt.db
23f0: 20 5b 65 78 70 72 20 31 30 32 34 20 2b 20 28 24   [expr 1024 + ($
2400: 6e 50 61 67 65 2d 33 29 2a 35 5d 20 30 31 30 30  nPage-3)*5] 0100
2410: 30 30 30 30 30 0a 20 20 7d 20 2d 74 65 73 74 20  00000.  } -test 
2420: 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 63 6f  {.    do_test co
2430: 72 72 75 70 74 32 2d 36 2e 33 20 7b 0a 20 20 20  rrupt2-6.3 {.   
2440: 20 20 20 63 61 74 63 68 73 71 6c 20 22 20 24 3a     catchsql " $:
2450: 3a 70 72 65 73 71 6c 20 70 72 61 67 6d 61 20 69  :presql pragma i
2460: 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75  ncremental_vacuu
2470: 6d 20 3d 20 31 20 22 0a 20 20 20 20 7d 20 7b 31  m = 1 ".    } {1
2480: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
2490: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
24a0: 65 64 7d 7d 0a 20 20 7d 0a 0a 20 20 69 66 20 7b  ed}}.  }..  if {
24b0: 21 5b 6e 6f 6e 7a 65 72 6f 5f 72 65 73 65 72 76  ![nonzero_reserv
24c0: 65 64 5f 62 79 74 65 73 5d 7d 20 7b 0a 20 20 20  ed_bytes]} {.   
24d0: 20 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73 74   corruption_test
24e0: 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20 20 20   -sqlprep {.    
24f0: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
2500: 63 75 75 6d 20 3d 20 31 3b 0a 20 20 20 20 20 20  cuum = 1;.      
2510: 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65  PRAGMA page_size
2520: 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 20 20 43   = 1024;.      C
2530: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
2540: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
2550: 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20 20 20 20   KEY, b);.      
2560: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
2570: 41 4c 55 45 53 28 31 2c 20 72 61 6e 64 6f 6d 62  ALUES(1, randomb
2580: 6c 6f 62 28 32 35 30 30 29 29 3b 0a 20 20 20 20  lob(2500));.    
2590: 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31    DELETE FROM t1
25a0: 20 57 48 45 52 45 20 61 20 3d 20 31 3b 0a 20 20   WHERE a = 1;.  
25b0: 20 20 7d 20 2d 63 6f 72 72 75 70 74 20 7b 0a 20    } -corrupt {. 
25c0: 20 20 20 20 20 73 65 74 20 6e 41 70 70 65 6e 64       set nAppend
25d0: 20 5b 65 78 70 72 20 31 30 32 34 2a 32 30 37 20   [expr 1024*207 
25e0: 2d 20 5b 66 69 6c 65 20 73 69 7a 65 20 63 6f 72  - [file size cor
25f0: 72 75 70 74 2e 64 62 5d 5d 0a 20 20 20 20 20 20  rupt.db]].      
2600: 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 63 6f 72  set fd [open cor
2610: 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20 20 20 20  rupt.db r+].    
2620: 20 20 73 65 65 6b 20 24 66 64 20 30 20 65 6e 64    seek $fd 0 end
2630: 0a 20 20 20 20 20 20 70 75 74 73 20 2d 6e 6f 6e  .      puts -non
2640: 65 77 6c 69 6e 65 20 24 66 64 20 5b 73 74 72 69  ewline $fd [stri
2650: 6e 67 20 72 65 70 65 61 74 20 78 20 24 6e 41 70  ng repeat x $nAp
2660: 70 65 6e 64 5d 0a 20 20 20 20 20 20 63 6c 6f 73  pend].      clos
2670: 65 20 24 66 64 0a 20 20 20 20 20 20 68 65 78 69  e $fd.      hexi
2680: 6f 5f 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e  o_write corrupt.
2690: 64 62 20 32 38 20 30 30 30 30 30 30 30 30 0a 20  db 28 00000000. 
26a0: 20 20 20 7d 20 2d 74 65 73 74 20 7b 0a 20 20 20     } -test {.   
26b0: 20 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75     do_test corru
26c0: 70 74 32 2d 36 2e 34 20 7b 0a 20 20 20 20 20 20  pt2-6.4 {.      
26d0: 20 20 63 61 74 63 68 73 71 6c 20 22 20 0a 20 20    catchsql " .  
26e0: 20 20 20 20 20 20 20 20 24 3a 3a 70 72 65 73 71          $::presq
26f0: 6c 20 0a 20 20 20 20 20 20 20 20 20 20 42 45 47  l .          BEG
2700: 49 4e 20 45 58 43 4c 55 53 49 56 45 3b 0a 20 20  IN EXCLUSIVE;.  
2710: 20 20 20 20 20 20 20 20 43 4f 4d 4d 49 54 3b 0a          COMMIT;.
2720: 20 20 20 20 20 20 20 20 22 0a 20 20 20 20 20 20          ".      
2730: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
2740: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
2750: 66 6f 72 6d 65 64 7d 7d 0a 20 20 20 20 7d 0a 20  formed}}.    }. 
2760: 20 7d 0a 7d 0a 0a 0a 73 65 74 20 73 71 6c 70 72   }.}...set sqlpr
2770: 65 70 20 7b 0a 20 20 50 52 41 47 4d 41 20 61 75  ep {.  PRAGMA au
2780: 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b 0a 20  to_vacuum = 0;. 
2790: 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a   PRAGMA page_siz
27a0: 65 20 3d 20 31 30 32 34 3b 0a 20 20 43 52 45 41  e = 1024;.  CREA
27b0: 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 49 4e  TE TABLE t1(a IN
27c0: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
27d0: 59 2c 20 62 29 3b 0a 20 20 43 52 45 41 54 45 20  Y, b);.  CREATE 
27e0: 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31 28 62  INDEX i1 ON t1(b
27f0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
2800: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 72 61   t1 VALUES(1, ra
2810: 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 29 3b 0a 20  ndomblob(50));. 
2820: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2830: 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e  SELECT NULL, ran
2840: 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52 4f 4d  domblob(50) FROM
2850: 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e   t1;.  INSERT IN
2860: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c  TO t1 SELECT NUL
2870: 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30  L, randomblob(50
2880: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53  ) FROM t1;.  INS
2890: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
28a0: 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62  CT NULL, randomb
28b0: 6c 6f 62 28 35 30 29 20 46 52 4f 4d 20 74 31 3b  lob(50) FROM t1;
28c0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
28d0: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
28e0: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52  andomblob(50) FR
28f0: 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20  OM t1;.  INSERT 
2900: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e  INTO t1 SELECT N
2910: 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  ULL, randomblob(
2920: 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49  50) FROM t1;.  I
2930: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
2940: 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f  LECT NULL, rando
2950: 6d 62 6c 6f 62 28 35 30 29 20 46 52 4f 4d 20 74  mblob(50) FROM t
2960: 31 3b 0a 7d 0a 0a 63 6f 72 72 75 70 74 69 6f 6e  1;.}..corruption
2970: 5f 74 65 73 74 20 2d 73 71 6c 70 72 65 70 20 24  _test -sqlprep $
2980: 73 71 6c 70 72 65 70 20 2d 63 6f 72 72 75 70 74  sqlprep -corrupt
2990: 20 7b 0a 20 20 23 20 53 65 74 20 74 68 65 20 70   {.  # Set the p
29a0: 61 67 65 2d 66 6c 61 67 73 20 6f 66 20 6f 6e 65  age-flags of one
29b0: 20 6f 66 20 74 68 65 20 6c 65 61 66 20 70 61 67   of the leaf pag
29c0: 65 73 20 6f 66 20 74 68 65 20 69 6e 64 65 78 20  es of the index 
29d0: 42 2d 54 72 65 65 20 74 6f 0a 20 20 23 20 30 78  B-Tree to.  # 0x
29e0: 30 44 20 28 69 6e 74 65 72 70 72 65 74 65 64 20  0D (interpreted 
29f0: 62 79 20 53 51 4c 69 74 65 20 61 73 20 22 6c 65  by SQLite as "le
2a00: 61 66 20 70 61 67 65 20 6f 66 20 61 20 74 61 62  af page of a tab
2a10: 6c 65 20 42 2d 54 72 65 65 22 29 2e 0a 20 20 23  le B-Tree")..  #
2a20: 0a 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20  .  set fd [open 
2a30: 63 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20  corrupt.db r+]. 
2a40: 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64 20   fconfigure $fd 
2a50: 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e  -translation bin
2a60: 61 72 79 20 2d 65 6e 63 6f 64 69 6e 67 20 62 69  ary -encoding bi
2a70: 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64 20  nary.  seek $fd 
2a80: 5b 65 78 70 72 20 31 30 32 34 2a 32 20 2b 20 38  [expr 1024*2 + 8
2a90: 5d 20 0a 20 20 73 65 74 20 7a 52 69 67 68 74 43  ] .  set zRightC
2aa0: 68 69 6c 64 20 5b 72 65 61 64 20 24 66 64 20 34  hild [read $fd 4
2ab0: 5d 0a 20 20 62 69 6e 61 72 79 20 73 63 61 6e 20  ].  binary scan 
2ac0: 24 7a 52 69 67 68 74 43 68 69 6c 64 20 49 20 69  $zRightChild I i
2ad0: 52 69 67 68 74 43 68 69 6c 64 0a 20 20 73 65 65  RightChild.  see
2ae0: 6b 20 24 66 64 20 5b 65 78 70 72 20 31 30 32 34  k $fd [expr 1024
2af0: 2a 28 24 69 52 69 67 68 74 43 68 69 6c 64 2d 31  *($iRightChild-1
2b00: 29 5d 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77  )].  puts -nonew
2b10: 6c 69 6e 65 20 24 66 64 20 22 5c 78 30 44 22 0a  line $fd "\x0D".
2b20: 20 20 63 6c 6f 73 65 20 24 66 64 0a 7d 20 2d 74    close $fd.} -t
2b30: 65 73 74 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20  est {.  do_test 
2b40: 63 6f 72 72 75 70 74 32 2d 37 2e 31 20 7b 0a 20  corrupt2-7.1 {. 
2b50: 20 20 20 63 61 74 63 68 73 71 6c 20 22 20 24 3a     catchsql " $:
2b60: 3a 70 72 65 73 71 6c 20 53 45 4c 45 43 54 20 62  :presql SELECT b
2b70: 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42   FROM t1 ORDER B
2b80: 59 20 62 20 41 53 43 20 22 0a 20 20 7d 20 7b 31  Y b ASC ".  } {1
2b90: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
2ba0: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
2bb0: 65 64 7d 7d 0a 7d 0a 0a 63 6f 72 72 75 70 74 69  ed}}.}..corrupti
2bc0: 6f 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72 65 70  on_test -sqlprep
2bd0: 20 24 73 71 6c 70 72 65 70 20 2d 63 6f 72 72 75   $sqlprep -corru
2be0: 70 74 20 7b 0a 20 20 23 20 4d 65 73 73 20 75 70  pt {.  # Mess up
2bf0: 20 74 68 65 20 70 61 67 65 2d 68 65 61 64 65 72   the page-header
2c00: 20 6f 66 20 6f 6e 65 20 6f 66 20 74 68 65 20 6c   of one of the l
2c10: 65 61 66 20 70 61 67 65 73 20 6f 66 20 74 68 65  eaf pages of the
2c20: 20 69 6e 64 65 78 20 42 2d 54 72 65 65 2e 0a 20   index B-Tree.. 
2c30: 20 23 20 54 68 65 20 63 6f 72 72 75 70 74 69 6f   # The corruptio
2c40: 6e 20 69 73 20 64 65 74 65 63 74 65 64 20 61 73  n is detected as
2c50: 20 70 61 72 74 20 6f 66 20 61 6e 20 4f 50 5f 50   part of an OP_P
2c60: 72 65 76 20 6f 70 63 6f 64 65 2e 0a 20 20 23 0a  rev opcode..  #.
2c70: 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 63    set fd [open c
2c80: 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20 20  orrupt.db r+].  
2c90: 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64 20 2d  fconfigure $fd -
2ca0: 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e 61  translation bina
2cb0: 72 79 20 2d 65 6e 63 6f 64 69 6e 67 20 62 69 6e  ry -encoding bin
2cc0: 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64 20 5b  ary.  seek $fd [
2cd0: 65 78 70 72 20 31 30 32 34 2a 32 20 2b 20 31 32  expr 1024*2 + 12
2ce0: 5d 20 0a 20 20 73 65 74 20 7a 43 65 6c 6c 4f 66  ] .  set zCellOf
2cf0: 66 73 65 74 20 5b 72 65 61 64 20 24 66 64 20 32  fset [read $fd 2
2d00: 5d 0a 20 20 62 69 6e 61 72 79 20 73 63 61 6e 20  ].  binary scan 
2d10: 24 7a 43 65 6c 6c 4f 66 66 73 65 74 20 53 20 69  $zCellOffset S i
2d20: 43 65 6c 6c 4f 66 66 73 65 74 0a 20 20 73 65 65  CellOffset.  see
2d30: 6b 20 24 66 64 20 5b 65 78 70 72 20 31 30 32 34  k $fd [expr 1024
2d40: 2a 32 20 2b 20 24 69 43 65 6c 6c 4f 66 66 73 65  *2 + $iCellOffse
2d50: 74 5d 0a 20 20 73 65 74 20 7a 43 68 69 6c 64 20  t].  set zChild 
2d60: 5b 72 65 61 64 20 24 66 64 20 34 5d 0a 20 20 62  [read $fd 4].  b
2d70: 69 6e 61 72 79 20 73 63 61 6e 20 24 7a 43 68 69  inary scan $zChi
2d80: 6c 64 20 49 20 69 43 68 69 6c 64 0a 20 20 73 65  ld I iChild.  se
2d90: 65 6b 20 24 66 64 20 5b 65 78 70 72 20 31 30 32  ek $fd [expr 102
2da0: 34 2a 28 24 69 43 68 69 6c 64 2d 31 29 2b 33 5d  4*($iChild-1)+3]
2db0: 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69  .  puts -nonewli
2dc0: 6e 65 20 24 66 64 20 22 5c 78 46 46 46 46 22 0a  ne $fd "\xFFFF".
2dd0: 20 20 63 6c 6f 73 65 20 24 66 64 0a 7d 20 2d 74    close $fd.} -t
2de0: 65 73 74 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20  est {.  do_test 
2df0: 63 6f 72 72 75 70 74 32 2d 37 2e 31 20 7b 0a 20  corrupt2-7.1 {. 
2e00: 20 20 20 63 61 74 63 68 73 71 6c 20 22 20 24 3a     catchsql " $:
2e10: 3a 70 72 65 73 71 6c 20 53 45 4c 45 43 54 20 62  :presql SELECT b
2e20: 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42   FROM t1 ORDER B
2e30: 59 20 62 20 44 45 53 43 20 22 0a 20 20 7d 20 7b  Y b DESC ".  } {
2e40: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
2e50: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
2e60: 6d 65 64 7d 7d 0a 7d 0a 0a 63 6f 72 72 75 70 74  med}}.}..corrupt
2e70: 69 6f 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72 65  ion_test -sqlpre
2e80: 70 20 24 73 71 6c 70 72 65 70 20 2d 63 6f 72 72  p $sqlprep -corr
2e90: 75 70 74 20 7b 0a 20 20 23 20 53 65 74 20 74 68  upt {.  # Set th
2ea0: 65 20 70 61 67 65 2d 66 6c 61 67 73 20 6f 66 20  e page-flags of 
2eb0: 6f 6e 65 20 6f 66 20 74 68 65 20 6c 65 61 66 20  one of the leaf 
2ec0: 70 61 67 65 73 20 6f 66 20 74 68 65 20 74 61 62  pages of the tab
2ed0: 6c 65 20 42 2d 54 72 65 65 20 74 6f 0a 20 20 23  le B-Tree to.  #
2ee0: 20 30 78 30 41 20 28 69 6e 74 65 72 70 72 65 74   0x0A (interpret
2ef0: 65 64 20 62 79 20 53 51 4c 69 74 65 20 61 73 20  ed by SQLite as 
2f00: 22 6c 65 61 66 20 70 61 67 65 20 6f 66 20 61 6e  "leaf page of an
2f10: 20 69 6e 64 65 78 20 42 2d 54 72 65 65 22 29 2e   index B-Tree").
2f20: 0a 20 20 23 0a 20 20 73 65 74 20 66 64 20 5b 6f  .  #.  set fd [o
2f30: 70 65 6e 20 63 6f 72 72 75 70 74 2e 64 62 20 72  pen corrupt.db r
2f40: 2b 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72 65 20  +].  fconfigure 
2f50: 24 66 64 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e  $fd -translation
2f60: 20 62 69 6e 61 72 79 20 2d 65 6e 63 6f 64 69 6e   binary -encodin
2f70: 67 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b 20  g binary.  seek 
2f80: 24 66 64 20 5b 65 78 70 72 20 31 30 32 34 2a 31  $fd [expr 1024*1
2f90: 20 2b 20 38 5d 20 0a 20 20 73 65 74 20 7a 52 69   + 8] .  set zRi
2fa0: 67 68 74 43 68 69 6c 64 20 5b 72 65 61 64 20 24  ghtChild [read $
2fb0: 66 64 20 34 5d 0a 20 20 62 69 6e 61 72 79 20 73  fd 4].  binary s
2fc0: 63 61 6e 20 24 7a 52 69 67 68 74 43 68 69 6c 64  can $zRightChild
2fd0: 20 49 20 69 52 69 67 68 74 43 68 69 6c 64 0a 20   I iRightChild. 
2fe0: 20 73 65 65 6b 20 24 66 64 20 5b 65 78 70 72 20   seek $fd [expr 
2ff0: 31 30 32 34 2a 28 24 69 52 69 67 68 74 43 68 69  1024*($iRightChi
3000: 6c 64 2d 31 29 5d 0a 20 20 70 75 74 73 20 2d 6e  ld-1)].  puts -n
3010: 6f 6e 65 77 6c 69 6e 65 20 24 66 64 20 22 5c 78  onewline $fd "\x
3020: 30 41 22 0a 20 20 63 6c 6f 73 65 20 24 66 64 0a  0A".  close $fd.
3030: 7d 20 2d 74 65 73 74 20 7b 0a 20 20 64 6f 5f 74  } -test {.  do_t
3040: 65 73 74 20 63 6f 72 72 75 70 74 32 2d 38 2e 31  est corrupt2-8.1
3050: 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20   {.    catchsql 
3060: 22 20 24 3a 3a 70 72 65 73 71 6c 20 53 45 4c 45  " $::presql SELE
3070: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45  CT * FROM t1 WHE
3080: 52 45 20 72 6f 77 69 64 3d 31 30 30 30 20 22 0a  RE rowid=1000 ".
3090: 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65    } {1 {database
30a0: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
30b0: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 7d 0a 0a 63 6f  alformed}}.}..co
30c0: 72 72 75 70 74 69 6f 6e 5f 74 65 73 74 20 2d 73  rruption_test -s
30d0: 71 6c 70 72 65 70 20 7b 0a 20 20 43 52 45 41 54  qlprep {.  CREAT
30e0: 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62 2c  E TABLE t1(a, b,
30f0: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
3100: 45 20 74 38 28 61 2c 20 62 2c 20 63 29 3b 20 43  E t8(a, b, c); C
3110: 52 45 41 54 45 20 54 41 42 4c 45 20 74 45 28 61  REATE TABLE tE(a
3120: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
3130: 45 20 54 41 42 4c 45 20 74 32 28 61 2c 20 62 2c  E TABLE t2(a, b,
3140: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
3150: 45 20 74 39 28 61 2c 20 62 2c 20 63 29 3b 20 43  E t9(a, b, c); C
3160: 52 45 41 54 45 20 54 41 42 4c 45 20 74 46 28 61  REATE TABLE tF(a
3170: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
3180: 45 20 54 41 42 4c 45 20 74 33 28 61 2c 20 62 2c  E TABLE t3(a, b,
3190: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
31a0: 45 20 74 41 28 61 2c 20 62 2c 20 63 29 3b 20 43  E tA(a, b, c); C
31b0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 47 28 61  REATE TABLE tG(a
31c0: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
31d0: 45 20 54 41 42 4c 45 20 74 34 28 61 2c 20 62 2c  E TABLE t4(a, b,
31e0: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
31f0: 45 20 74 42 28 61 2c 20 62 2c 20 63 29 3b 20 43  E tB(a, b, c); C
3200: 52 45 41 54 45 20 54 41 42 4c 45 20 74 48 28 61  REATE TABLE tH(a
3210: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
3220: 45 20 54 41 42 4c 45 20 74 35 28 61 2c 20 62 2c  E TABLE t5(a, b,
3230: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
3240: 45 20 74 43 28 61 2c 20 62 2c 20 63 29 3b 20 43  E tC(a, b, c); C
3250: 52 45 41 54 45 20 54 41 42 4c 45 20 74 49 28 61  REATE TABLE tI(a
3260: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
3270: 45 20 54 41 42 4c 45 20 74 36 28 61 2c 20 62 2c  E TABLE t6(a, b,
3280: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
3290: 45 20 74 44 28 61 2c 20 62 2c 20 63 29 3b 20 43  E tD(a, b, c); C
32a0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 4a 28 61  REATE TABLE tJ(a
32b0: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
32c0: 45 20 54 41 42 4c 45 20 78 31 28 61 2c 20 62 2c  E TABLE x1(a, b,
32d0: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
32e0: 45 20 78 38 28 61 2c 20 62 2c 20 63 29 3b 20 43  E x8(a, b, c); C
32f0: 52 45 41 54 45 20 54 41 42 4c 45 20 78 45 28 61  REATE TABLE xE(a
3300: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
3310: 45 20 54 41 42 4c 45 20 78 32 28 61 2c 20 62 2c  E TABLE x2(a, b,
3320: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
3330: 45 20 78 39 28 61 2c 20 62 2c 20 63 29 3b 20 43  E x9(a, b, c); C
3340: 52 45 41 54 45 20 54 41 42 4c 45 20 78 46 28 61  REATE TABLE xF(a
3350: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
3360: 45 20 54 41 42 4c 45 20 78 33 28 61 2c 20 62 2c  E TABLE x3(a, b,
3370: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
3380: 45 20 78 41 28 61 2c 20 62 2c 20 63 29 3b 20 43  E xA(a, b, c); C
3390: 52 45 41 54 45 20 54 41 42 4c 45 20 78 47 28 61  REATE TABLE xG(a
33a0: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
33b0: 45 20 54 41 42 4c 45 20 78 34 28 61 2c 20 62 2c  E TABLE x4(a, b,
33c0: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
33d0: 45 20 78 42 28 61 2c 20 62 2c 20 63 29 3b 20 43  E xB(a, b, c); C
33e0: 52 45 41 54 45 20 54 41 42 4c 45 20 78 48 28 61  REATE TABLE xH(a
33f0: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
3400: 45 20 54 41 42 4c 45 20 78 35 28 61 2c 20 62 2c  E TABLE x5(a, b,
3410: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
3420: 45 20 78 43 28 61 2c 20 62 2c 20 63 29 3b 20 43  E xC(a, b, c); C
3430: 52 45 41 54 45 20 54 41 42 4c 45 20 78 49 28 61  REATE TABLE xI(a
3440: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
3450: 45 20 54 41 42 4c 45 20 78 36 28 61 2c 20 62 2c  E TABLE x6(a, b,
3460: 20 63 29 3b 20 43 52 45 41 54 45 20 54 41 42 4c   c); CREATE TABL
3470: 45 20 78 44 28 61 2c 20 62 2c 20 63 29 3b 20 43  E xD(a, b, c); C
3480: 52 45 41 54 45 20 54 41 42 4c 45 20 78 4a 28 61  REATE TABLE xJ(a
3490: 2c 20 62 2c 20 63 29 3b 0a 7d 20 2d 63 6f 72 72  , b, c);.} -corr
34a0: 75 70 74 20 7b 0a 20 20 73 65 74 20 66 64 20 5b  upt {.  set fd [
34b0: 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64 62 20  open corrupt.db 
34c0: 72 2b 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72 65  r+].  fconfigure
34d0: 20 24 66 64 20 2d 74 72 61 6e 73 6c 61 74 69 6f   $fd -translatio
34e0: 6e 20 62 69 6e 61 72 79 20 2d 65 6e 63 6f 64 69  n binary -encodi
34f0: 6e 67 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b  ng binary.  seek
3500: 20 24 66 64 20 31 30 38 0a 20 20 73 65 74 20 7a   $fd 108.  set z
3510: 52 69 67 68 74 43 68 69 6c 64 20 5b 72 65 61 64  RightChild [read
3520: 20 24 66 64 20 34 5d 0a 20 20 62 69 6e 61 72 79   $fd 4].  binary
3530: 20 73 63 61 6e 20 24 7a 52 69 67 68 74 43 68 69   scan $zRightChi
3540: 6c 64 20 49 20 69 52 69 67 68 74 43 68 69 6c 64  ld I iRightChild
3550: 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65 78 70  .  seek $fd [exp
3560: 72 20 31 30 32 34 2a 28 24 69 52 69 67 68 74 43  r 1024*($iRightC
3570: 68 69 6c 64 2d 31 29 2b 33 5d 0a 20 20 70 75 74  hild-1)+3].  put
3580: 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 64  s -nonewline $fd
3590: 20 22 5c 78 30 30 5c 78 30 30 22 0a 20 20 63 6c   "\x00\x00".  cl
35a0: 6f 73 65 20 24 66 64 0a 7d 20 2d 74 65 73 74 20  ose $fd.} -test 
35b0: 7b 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72  {.  do_test corr
35c0: 75 70 74 32 2d 39 2e 31 20 7b 0a 20 20 20 20 63  upt2-9.1 {.    c
35d0: 61 74 63 68 73 71 6c 20 22 20 24 3a 3a 70 72 65  atchsql " $::pre
35e0: 73 71 6c 20 53 45 4c 45 43 54 20 73 71 6c 20 46  sql SELECT sql F
35f0: 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65  ROM sqlite_maste
3600: 72 20 22 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61  r ".  } {1 {data
3610: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
3620: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 7d  is malformed}}.}
3630: 0a 0a 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73  ..corruption_tes
3640: 74 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20 43  t -sqlprep {.  C
3650: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
3660: 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45 41 54  , b, c);.  CREAT
3670: 45 20 54 41 42 4c 45 20 74 32 28 61 2c 20 62 2c  E TABLE t2(a, b,
3680: 20 63 29 3b 0a 20 20 50 52 41 47 4d 41 20 77 72   c);.  PRAGMA wr
3690: 69 74 61 62 6c 65 5f 73 63 68 65 6d 61 20 3d 20  itable_schema = 
36a0: 31 3b 0a 20 20 55 50 44 41 54 45 20 73 71 6c 69  1;.  UPDATE sqli
36b0: 74 65 5f 6d 61 73 74 65 72 20 53 45 54 20 72 6f  te_master SET ro
36c0: 6f 74 70 61 67 65 20 3d 20 4e 55 4c 4c 20 57 48  otpage = NULL WH
36d0: 45 52 45 20 6e 61 6d 65 20 3d 20 27 74 32 27 3b  ERE name = 't2';
36e0: 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 64 6f 5f  .} -test {.  do_
36f0: 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d 31 30  test corrupt2-10
3700: 2e 31 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71  .1 {.    catchsq
3710: 6c 20 22 20 24 3a 3a 70 72 65 73 71 6c 20 53 45  l " $::presql SE
3720: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 22  LECT * FROM t2 "
3730: 0a 20 20 7d 20 7b 31 20 7b 6d 61 6c 66 6f 72 6d  .  } {1 {malform
3740: 65 64 20 64 61 74 61 62 61 73 65 20 73 63 68 65  ed database sche
3750: 6d 61 20 28 74 32 29 7d 7d 0a 20 20 64 6f 5f 74  ma (t2)}}.  do_t
3760: 65 73 74 20 63 6f 72 72 75 70 74 32 2d 31 30 2e  est corrupt2-10.
3770: 32 20 7b 0a 20 20 20 20 73 71 6c 69 74 65 33 5f  2 {.    sqlite3_
3780: 65 72 72 63 6f 64 65 20 64 62 0a 20 20 7d 20 7b  errcode db.  } {
3790: 53 51 4c 49 54 45 5f 43 4f 52 52 55 50 54 7d 0a  SQLITE_CORRUPT}.
37a0: 7d 0a 0a 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65  }..corruption_te
37b0: 73 74 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20  st -sqlprep {.  
37c0: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75  PRAGMA auto_vacu
37d0: 75 6d 20 3d 20 69 6e 63 72 65 6d 65 6e 74 61 6c  um = incremental
37e0: 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  ;.  CREATE TABLE
37f0: 20 74 31 28 61 20 49 4e 54 45 47 45 52 20 50 52   t1(a INTEGER PR
3800: 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20  IMARY KEY, b);. 
3810: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32   CREATE TABLE t2
3820: 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41  (a INTEGER PRIMA
3830: 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 49 4e  RY KEY, b);.  IN
3840: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
3850: 55 45 53 28 31 2c 20 72 61 6e 64 73 74 72 28 31  UES(1, randstr(1
3860: 30 30 2c 31 30 30 29 29 3b 0a 20 20 49 4e 53 45  00,100));.  INSE
3870: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
3880: 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28  T NULL, randstr(
3890: 31 30 30 2c 31 30 30 29 20 46 52 4f 4d 20 74 31  100,100) FROM t1
38a0: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
38b0: 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20  t1 SELECT NULL, 
38c0: 72 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30 29  randstr(100,100)
38d0: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45   FROM t1;.  INSE
38e0: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
38f0: 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28  T NULL, randstr(
3900: 31 30 30 2c 31 30 30 29 20 46 52 4f 4d 20 74 31  100,100) FROM t1
3910: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
3920: 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20  t1 SELECT NULL, 
3930: 72 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30 29  randstr(100,100)
3940: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45   FROM t1;.  INSE
3950: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
3960: 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28  T NULL, randstr(
3970: 31 30 30 2c 31 30 30 29 20 46 52 4f 4d 20 74 31  100,100) FROM t1
3980: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
3990: 74 32 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  t2 SELECT * FROM
39a0: 20 74 31 3b 0a 20 20 44 45 4c 45 54 45 20 46 52   t1;.  DELETE FR
39b0: 4f 4d 20 74 31 3b 0a 7d 20 2d 63 6f 72 72 75 70  OM t1;.} -corrup
39c0: 74 20 7b 0a 20 20 73 65 74 20 6f 66 66 73 65 74  t {.  set offset
39d0: 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a   [expr [file siz
39e0: 65 20 63 6f 72 72 75 70 74 2e 64 62 5d 20 2d 20  e corrupt.db] - 
39f0: 31 30 32 34 5d 0a 20 20 68 65 78 69 6f 5f 77 72  1024].  hexio_wr
3a00: 69 74 65 20 63 6f 72 72 75 70 74 2e 64 62 20 24  ite corrupt.db $
3a10: 6f 66 66 73 65 74 20 46 46 20 0a 20 20 68 65 78  offset FF .  hex
3a20: 69 6f 5f 77 72 69 74 65 20 63 6f 72 72 75 70 74  io_write corrupt
3a30: 2e 64 62 20 32 34 20 20 20 31 32 33 34 35 36 37  .db 24   1234567
3a40: 38 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 64 6f  8.} -test {.  do
3a50: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d 31  _test corrupt2-1
3a60: 31 2e 31 20 7b 0a 20 20 20 20 63 61 74 63 68 73  1.1 {.    catchs
3a70: 71 6c 20 22 20 24 3a 3a 70 72 65 73 71 6c 20 50  ql " $::presql P
3a80: 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61  RAGMA incrementa
3a90: 6c 5f 76 61 63 75 75 6d 20 22 0a 20 20 7d 20 7b  l_vacuum ".  } {
3aa0: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
3ab0: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
3ac0: 6d 65 64 7d 7d 0a 7d 0a 63 6f 72 72 75 70 74 69  med}}.}.corrupti
3ad0: 6f 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72 65 70  on_test -sqlprep
3ae0: 20 7b 0a 20 20 50 52 41 47 4d 41 20 61 75 74 6f   {.  PRAGMA auto
3af0: 5f 76 61 63 75 75 6d 20 3d 20 69 6e 63 72 65 6d  _vacuum = increm
3b00: 65 6e 74 61 6c 3b 0a 20 20 43 52 45 41 54 45 20  ental;.  CREATE 
3b10: 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45 47  TABLE t1(a INTEG
3b20: 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20  ER PRIMARY KEY, 
3b30: 62 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42  b);.  CREATE TAB
3b40: 4c 45 20 74 32 28 61 20 49 4e 54 45 47 45 52 20  LE t2(a INTEGER 
3b50: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b  PRIMARY KEY, b);
3b60: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
3b70: 31 20 56 41 4c 55 45 53 28 31 2c 20 72 61 6e 64  1 VALUES(1, rand
3b80: 73 74 72 28 31 30 30 2c 31 30 30 29 29 3b 0a 20  str(100,100));. 
3b90: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3ba0: 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e  SELECT NULL, ran
3bb0: 64 73 74 72 28 31 30 30 2c 31 30 30 29 20 46 52  dstr(100,100) FR
3bc0: 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20  OM t1;.  INSERT 
3bd0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e  INTO t1 SELECT N
3be0: 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 31 30 30  ULL, randstr(100
3bf0: 2c 31 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20  ,100) FROM t1;. 
3c00: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3c10: 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e  SELECT NULL, ran
3c20: 64 73 74 72 28 31 30 30 2c 31 30 30 29 20 46 52  dstr(100,100) FR
3c30: 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20  OM t1;.  INSERT 
3c40: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e  INTO t1 SELECT N
3c50: 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 31 30 30  ULL, randstr(100
3c60: 2c 31 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20  ,100) FROM t1;. 
3c70: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3c80: 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e  SELECT NULL, ran
3c90: 64 73 74 72 28 31 30 30 2c 31 30 30 29 20 46 52  dstr(100,100) FR
3ca0: 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20  OM t1;.  INSERT 
3cb0: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 2a  INTO t2 SELECT *
3cc0: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 44 45 4c 45   FROM t1;.  DELE
3cd0: 54 45 20 46 52 4f 4d 20 74 31 3b 0a 7d 20 2d 63  TE FROM t1;.} -c
3ce0: 6f 72 72 75 70 74 20 7b 0a 20 20 73 65 74 20 70  orrupt {.  set p
3cf0: 67 6e 6f 20 5b 65 78 70 72 20 5b 66 69 6c 65 20  gno [expr [file 
3d00: 73 69 7a 65 20 63 6f 72 72 75 70 74 2e 64 62 5d  size corrupt.db]
3d10: 20 2f 20 31 30 32 34 5d 0a 20 20 68 65 78 69 6f   / 1024].  hexio
3d20: 5f 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e 64  _write corrupt.d
3d30: 62 20 5b 65 78 70 72 20 31 30 32 34 2b 35 2a 28  b [expr 1024+5*(
3d40: 24 70 67 6e 6f 2d 33 29 5d 20 30 33 20 0a 20 20  $pgno-3)] 03 .  
3d50: 68 65 78 69 6f 5f 77 72 69 74 65 20 63 6f 72 72  hexio_write corr
3d60: 75 70 74 2e 64 62 20 32 34 20 20 20 31 32 33 34  upt.db 24   1234
3d70: 35 36 37 38 0a 7d 20 2d 74 65 73 74 20 7b 0a 20  5678.} -test {. 
3d80: 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74   do_test corrupt
3d90: 32 2d 31 32 2e 31 20 7b 0a 20 20 20 20 63 61 74  2-12.1 {.    cat
3da0: 63 68 73 71 6c 20 22 20 24 3a 3a 70 72 65 73 71  chsql " $::presq
3db0: 6c 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65  l PRAGMA increme
3dc0: 6e 74 61 6c 5f 76 61 63 75 75 6d 20 22 0a 20 20  ntal_vacuum ".  
3dd0: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
3de0: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
3df0: 66 6f 72 6d 65 64 7d 7d 0a 7d 0a 0a 69 66 63 61  formed}}.}..ifca
3e00: 70 61 62 6c 65 20 61 75 74 6f 76 61 63 75 75 6d  pable autovacuum
3e10: 20 7b 0a 20 20 23 20 49 74 20 69 73 20 6e 6f 74   {.  # It is not
3e20: 20 70 6f 73 73 69 62 6c 65 20 66 6f 72 20 74 68   possible for th
3e30: 65 20 6c 61 73 74 20 70 61 67 65 20 69 6e 20 61  e last page in a
3e40: 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 20 74   database file t
3e50: 6f 20 62 65 20 74 68 65 0a 20 20 23 20 70 65 6e  o be the.  # pen
3e60: 64 69 6e 67 2d 62 79 74 65 20 70 61 67 65 20 28  ding-byte page (
3e70: 41 4b 41 20 74 68 65 20 6c 6f 63 6b 69 6e 67 20  AKA the locking 
3e80: 70 61 67 65 29 2e 20 54 68 69 73 20 74 65 73 74  page). This test
3e90: 20 76 65 72 69 66 69 65 73 20 74 68 61 74 20 69   verifies that i
3ea0: 66 0a 20 20 23 20 61 6e 20 61 74 74 65 6d 70 74  f.  # an attempt
3eb0: 20 69 73 20 6d 61 64 65 20 74 6f 20 63 6f 6d 6d   is made to comm
3ec0: 69 74 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e  it a transaction
3ed0: 20 74 6f 20 73 75 63 68 20 61 6e 20 61 75 74 6f   to such an auto
3ee0: 2d 76 61 63 75 75 6d 20 0a 20 20 23 20 64 61 74  -vacuum .  # dat
3ef0: 61 62 61 73 65 20 53 51 4c 49 54 45 5f 43 4f 52  abase SQLITE_COR
3f00: 52 55 50 54 20 69 73 20 72 65 74 75 72 6e 65 64  RUPT is returned
3f10: 2e 0a 20 20 23 0a 20 20 63 6f 72 72 75 70 74 69  ..  #.  corrupti
3f20: 6f 6e 5f 74 65 73 74 20 2d 74 63 6c 70 72 65 70  on_test -tclprep
3f30: 20 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b   {.    db eval {
3f40: 20 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20 61   .      PRAGMA a
3f50: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 66 75 6c  uto_vacuum = ful
3f60: 6c 3b 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20  l;.      PRAGMA 
3f70: 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32 34  page_size = 1024
3f80: 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54  ;.      CREATE T
3f90: 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45 47 45  ABLE t1(a INTEGE
3fa0: 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62  R PRIMARY KEY, b
3fb0: 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  );.      INSERT 
3fc0: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 4e  INTO t1 VALUES(N
3fd0: 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 35 30 2c  ULL, randstr(50,
3fe0: 35 30 29 29 3b 0a 20 20 20 20 7d 0a 20 20 20 20  50));.    }.    
3ff0: 66 6f 72 20 7b 73 65 74 20 69 69 20 30 7d 20 7b  for {set ii 0} {
4000: 24 69 69 20 3c 20 31 30 7d 20 7b 69 6e 63 72 20  $ii < 10} {incr 
4010: 69 69 7d 20 7b 0a 20 20 20 20 20 20 64 62 20 65  ii} {.      db e
4020: 76 61 6c 20 22 20 24 3a 3a 70 72 65 73 71 6c 20  val " $::presql 
4030: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
4040: 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64  ELECT NULL, rand
4050: 73 74 72 28 35 30 2c 35 30 29 20 46 52 4f 4d 20  str(50,50) FROM 
4060: 74 31 20 22 0a 20 20 20 20 7d 0a 20 20 7d 20 2d  t1 ".    }.  } -
4070: 63 6f 72 72 75 70 74 20 7b 0a 20 20 20 20 64 6f  corrupt {.    do
4080: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d 31  _test corrupt2-1
4090: 33 2e 31 20 7b 0a 20 20 20 20 20 20 66 69 6c 65  3.1 {.      file
40a0: 20 73 69 7a 65 20 63 6f 72 72 75 70 74 2e 64 62   size corrupt.db
40b0: 0a 20 20 20 20 7d 20 24 3a 3a 73 71 6c 69 74 65  .    } $::sqlite
40c0: 5f 70 65 6e 64 69 6e 67 5f 62 79 74 65 0a 20 20  _pending_byte.  
40d0: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 63 6f    hexio_write co
40e0: 72 72 75 70 74 2e 64 62 20 5b 65 78 70 72 20 24  rrupt.db [expr $
40f0: 3a 3a 73 71 6c 69 74 65 5f 70 65 6e 64 69 6e 67  ::sqlite_pending
4100: 5f 62 79 74 65 2b 31 30 32 33 5d 20 30 30 0a 20  _byte+1023] 00. 
4110: 20 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 63     hexio_write c
4120: 6f 72 72 75 70 74 2e 64 62 20 32 38 20 30 30 30  orrupt.db 28 000
4130: 30 30 30 30 30 0a 20 20 7d 20 2d 74 65 73 74 20  00000.  } -test 
4140: 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 63 6f  {.    do_test co
4150: 72 72 75 70 74 32 2d 31 33 2e 32 20 7b 0a 20 20  rrupt2-13.2 {.  
4160: 20 20 20 20 66 69 6c 65 20 73 69 7a 65 20 63 6f      file size co
4170: 72 72 75 70 74 2e 64 62 0a 20 20 20 20 7d 20 5b  rrupt.db.    } [
4180: 65 78 70 72 20 24 3a 3a 73 71 6c 69 74 65 5f 70  expr $::sqlite_p
4190: 65 6e 64 69 6e 67 5f 62 79 74 65 20 2b 20 31 30  ending_byte + 10
41a0: 32 34 5d 0a 20 20 20 20 64 6f 5f 74 65 73 74 20  24].    do_test 
41b0: 63 6f 72 72 75 70 74 32 2d 31 33 2e 33 20 7b 0a  corrupt2-13.3 {.
41c0: 20 20 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b        catchsql {
41d0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20   DELETE FROM t1 
41e0: 57 48 45 52 45 20 72 6f 77 69 64 20 3c 20 33 30  WHERE rowid < 30
41f0: 3b 20 7d 0a 20 20 20 20 7d 20 7b 31 20 7b 64 61  ; }.    } {1 {da
4200: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
4210: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
4220: 0a 20 20 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d  .  }.}..#-------
4230: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4240: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4250: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4260: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4270: 2d 2d 0a 23 20 54 65 73 74 20 74 68 61 74 20 50  --.# Test that P
4280: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
4290: 63 68 65 63 6b 20 64 65 74 65 63 74 73 20 63 61  check detects ca
42a0: 73 65 73 20 77 68 65 72 65 20 74 68 65 20 66 72  ses where the fr
42b0: 65 65 6c 69 73 74 2d 63 6f 75 6e 74 0a 23 20 68  eelist-count.# h
42c0: 65 61 64 65 72 20 66 69 65 6c 64 20 69 73 20 73  eader field is s
42d0: 6d 61 6c 6c 65 72 20 74 68 61 6e 20 74 68 65 20  maller than the 
42e0: 61 63 74 75 61 6c 20 6e 75 6d 62 65 72 20 6f 66  actual number of
42f0: 20 70 61 67 65 73 20 6f 6e 20 74 68 65 20 66 72   pages on the fr
4300: 65 65 6c 69 73 74 2e 0a 23 0a 0a 72 65 73 65 74  eelist..#..reset
4310: 5f 64 62 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  _db.do_execsql_t
4320: 65 73 74 20 31 34 2e 30 20 7b 0a 20 20 50 52 41  est 14.0 {.  PRA
4330: 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20  GMA auto_vacuum 
4340: 3d 20 30 3b 0a 20 20 43 52 45 41 54 45 20 54 41  = 0;.  CREATE TA
4350: 42 4c 45 20 74 31 28 78 29 3b 0a 20 20 49 4e 53  BLE t1(x);.  INS
4360: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
4370: 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 33 35  ES(randomblob(35
4380: 30 30 29 29 3b 0a 20 20 44 45 4c 45 54 45 20 46  00));.  DELETE F
4390: 52 4f 4d 20 74 31 3b 0a 7d 0a 0a 64 6f 5f 65 78  ROM t1;.}..do_ex
43a0: 65 63 73 71 6c 5f 74 65 73 74 20 31 34 2e 31 20  ecsql_test 14.1 
43b0: 7b 0a 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67  {.  PRAGMA integ
43c0: 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20 50 52  rity_check;.  PR
43d0: 41 47 4d 41 20 66 72 65 65 6c 69 73 74 5f 63 6f  AGMA freelist_co
43e0: 75 6e 74 3b 0a 7d 20 7b 6f 6b 20 33 7d 0a 0a 23  unt;.} {ok 3}..#
43f0: 20 54 68 65 72 65 20 61 72 65 20 6e 6f 77 20 33   There are now 3
4400: 20 66 72 65 65 20 70 61 67 65 73 2e 20 4d 6f 64   free pages. Mod
4410: 69 66 79 20 74 68 65 20 68 65 61 64 65 72 2d 66  ify the header-f
4420: 69 65 6c 64 20 73 6f 20 74 68 61 74 20 69 74 20  ield so that it 
4430: 0a 23 20 28 69 6e 63 6f 72 72 65 63 74 6c 79 29  .# (incorrectly)
4440: 20 73 61 79 73 20 74 68 61 74 20 6a 75 73 74 20   says that just 
4450: 32 20 61 72 65 20 66 72 65 65 2e 0a 64 6f 5f 74  2 are free..do_t
4460: 65 73 74 20 31 34 2e 32 20 7b 0a 20 20 64 62 20  est 14.2 {.  db 
4470: 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72  close.  hexio_wr
4480: 69 74 65 20 74 65 73 74 2e 64 62 20 33 36 20 5b  ite test.db 36 [
4490: 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74  hexio_render_int
44a0: 33 32 20 32 5d 0a 20 20 73 71 6c 69 74 65 33 20  32 2].  sqlite3 
44b0: 64 62 20 74 65 73 74 2e 64 62 0a 20 20 65 78 65  db test.db.  exe
44c0: 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 66 72  csql { PRAGMA fr
44d0: 65 65 6c 69 73 74 5f 63 6f 75 6e 74 20 7d 0a 7d  eelist_count }.}
44e0: 20 7b 32 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c   {2}..do_execsql
44f0: 5f 74 65 73 74 20 31 34 2e 33 20 7b 0a 20 20 50  _test 14.3 {.  P
4500: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
4510: 63 68 65 63 6b 3b 0a 7d 20 7b 7b 2a 2a 2a 20 69  check;.} {{*** i
4520: 6e 20 64 61 74 61 62 61 73 65 20 6d 61 69 6e 20  n database main 
4530: 2a 2a 2a 0a 4d 61 69 6e 20 66 72 65 65 6c 69 73  ***.Main freelis
4540: 74 3a 20 73 69 7a 65 20 69 73 20 33 20 62 75 74  t: size is 3 but
4550: 20 73 68 6f 75 6c 64 20 62 65 20 32 7d 7d 0a 0a   should be 2}}..
4560: 23 20 55 73 65 20 32 20 6f 66 20 74 68 65 20 66  # Use 2 of the f
4570: 72 65 65 20 70 61 67 65 73 20 6f 6e 20 74 68 65  ree pages on the
4580: 20 66 72 65 65 2d 6c 69 73 74 2e 0a 23 0a 64 6f   free-list..#.do
4590: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 34  _execsql_test 14
45a0: 2e 34 20 7b 0a 20 20 49 4e 53 45 52 54 20 49 4e  .4 {.  INSERT IN
45b0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e  TO t1 VALUES(ran
45c0: 64 6f 6d 62 6c 6f 62 28 32 35 30 30 29 29 3b 0a  domblob(2500));.
45d0: 20 20 50 52 41 47 4d 41 20 66 72 65 65 6c 69 73    PRAGMA freelis
45e0: 74 5f 63 6f 75 6e 74 3b 0a 7d 20 7b 30 7d 0a 0a  t_count;.} {0}..
45f0: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
4600: 31 34 2e 35 20 7b 0a 20 20 50 52 41 47 4d 41 20  14.5 {.  PRAGMA 
4610: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 3b  integrity_check;
4620: 0a 7d 20 7b 7b 2a 2a 2a 20 69 6e 20 64 61 74 61  .} {{*** in data
4630: 62 61 73 65 20 6d 61 69 6e 20 2a 2a 2a 0a 4d 61  base main ***.Ma
4640: 69 6e 20 66 72 65 65 6c 69 73 74 3a 20 73 69 7a  in freelist: siz
4650: 65 20 69 73 20 31 20 62 75 74 20 73 68 6f 75 6c  e is 1 but shoul
4660: 64 20 62 65 20 30 7d 7d 0a 0a 0a 66 69 6e 69 73  d be 0}}...finis
4670: 68 5f 74 65 73 74 0a 0a 66 69 6e 69 73 68 5f 74  h_test..finish_t
4680: 65 73 74 0a                                      est.