/ Hex Artifact Content
Login

Artifact 4aabd06cff3fe759e3e658bcc17b71789710665e:


0000: 23 20 32 30 30 34 20 41 75 67 75 73 74 20 33 30  # 2004 August 30
0010: 20 7b 7d 0a 23 0a 23 20 54 68 65 20 61 75 74 68   {}.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 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 2a 2a 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 0a 23 0a 23 20 54 68 69 73 20 66  rary..#.# This f
01b0: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74  ile implements t
01c0: 65 73 74 73 20 74 6f 20 6d 61 6b 65 20 73 75 72  ests to make sur
01d0: 65 20 53 51 4c 69 74 65 20 64 6f 65 73 20 6e 6f  e SQLite does no
01e0: 74 20 63 72 61 73 68 20 6f 72 0a 23 20 73 65 67  t crash or.# seg
01f0: 66 61 75 6c 74 20 69 66 20 69 74 20 73 65 65 73  fault if it sees
0200: 20 61 20 63 6f 72 72 75 70 74 20 64 61 74 61 62   a corrupt datab
0210: 61 73 65 20 66 69 6c 65 2e 0a 23 0a 23 20 24 49  ase file..#.# $I
0220: 64 3a 20 63 6f 72 72 75 70 74 2e 74 65 73 74 2c  d: corrupt.test,
0230: 76 20 31 2e 31 32 20 32 30 30 39 2f 30 37 2f 31  v 1.12 2009/07/1
0240: 33 20 30 39 3a 34 31 3a 34 35 20 64 61 6e 69 65  3 09:41:45 danie
0250: 6c 6b 31 39 37 37 20 45 78 70 20 24 0a 0a 63 61  lk1977 Exp $..ca
0260: 74 63 68 20 7b 66 6f 72 63 65 64 65 6c 65 74 65  tch {forcedelete
0270: 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62   test.db test.db
0280: 2d 6a 6f 75 72 6e 61 6c 20 74 65 73 74 2e 62 75  -journal test.bu
0290: 7d 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b  }..set testdir [
02a0: 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72  file dirname $ar
02b0: 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73  gv0].source $tes
02c0: 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a  tdir/tester.tcl.
02d0: 0a 23 20 44 6f 20 6e 6f 74 20 75 73 65 20 61 20  .# Do not use a 
02e0: 63 6f 64 65 63 20 66 6f 72 20 74 65 73 74 73 20  codec for tests 
02f0: 69 6e 20 74 68 69 73 20 66 69 6c 65 2c 20 61 73  in this file, as
0300: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 66 69   the database fi
0310: 6c 65 20 69 73 0a 23 20 6d 61 6e 69 70 75 6c 61  le is.# manipula
0320: 74 65 64 20 64 69 72 65 63 74 6c 79 20 75 73 69  ted directly usi
0330: 6e 67 20 74 63 6c 20 73 63 72 69 70 74 73 20 28  ng tcl scripts (
0340: 75 73 69 6e 67 20 74 68 65 20 5b 68 65 78 69 6f  using the [hexio
0350: 5f 77 72 69 74 65 5d 20 63 6f 6d 6d 61 6e 64 29  _write] command)
0360: 2e 0a 23 0a 64 6f 5f 6e 6f 74 5f 75 73 65 5f 63  ..#.do_not_use_c
0370: 6f 64 65 63 0a 0a 23 20 43 6f 6e 73 74 72 75 63  odec..# Construc
0380: 74 20 61 20 6c 61 72 67 65 20 64 61 74 61 62 61  t a large databa
0390: 73 65 20 66 6f 72 20 74 65 73 74 69 6e 67 2e 0a  se for testing..
03a0: 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  #.do_test corrup
03b0: 74 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  t-1.1 {.  execsq
03c0: 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20  l {.    BEGIN;. 
03d0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
03e0: 74 31 28 78 29 3b 0a 20 20 20 20 49 4e 53 45 52  t1(x);.    INSER
03f0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0400: 28 72 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30  (randstr(100,100
0410: 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ));.    INSERT I
0420: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 72 61  NTO t1 VALUES(ra
0430: 6e 64 73 74 72 28 39 30 2c 39 30 29 29 3b 0a 20  ndstr(90,90));. 
0440: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0450: 31 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72  1 VALUES(randstr
0460: 28 38 30 2c 38 30 29 29 3b 0a 20 20 20 20 49 4e  (80,80));.    IN
0470: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
0480: 45 43 54 20 78 20 7c 7c 20 72 61 6e 64 73 74 72  ECT x || randstr
0490: 28 35 2c 35 29 20 46 52 4f 4d 20 74 31 3b 0a 20  (5,5) FROM t1;. 
04a0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
04b0: 31 20 53 45 4c 45 43 54 20 78 20 7c 7c 20 72 61  1 SELECT x || ra
04c0: 6e 64 73 74 72 28 36 2c 36 29 20 46 52 4f 4d 20  ndstr(6,6) FROM 
04d0: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
04e0: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 78 20  NTO t1 SELECT x 
04f0: 7c 7c 20 72 61 6e 64 73 74 72 28 37 2c 37 29 20  || randstr(7,7) 
0500: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
0510: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
0520: 43 54 20 78 20 7c 7c 20 72 61 6e 64 73 74 72 28  CT x || randstr(
0530: 38 2c 38 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  8,8) FROM t1;.  
0540: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0550: 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28   VALUES(randstr(
0560: 33 30 30 30 2c 33 30 30 30 29 29 3b 0a 20 20 20  3000,3000));.   
0570: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0580: 53 45 4c 45 43 54 20 78 20 7c 7c 20 72 61 6e 64  SELECT x || rand
0590: 73 74 72 28 39 2c 39 29 20 46 52 4f 4d 20 74 31  str(9,9) FROM t1
05a0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
05b0: 4f 20 74 31 20 53 45 4c 45 43 54 20 78 20 7c 7c  O t1 SELECT x ||
05c0: 20 72 61 6e 64 73 74 72 28 31 30 2c 31 30 29 20   randstr(10,10) 
05d0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
05e0: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
05f0: 43 54 20 78 20 7c 7c 20 72 61 6e 64 73 74 72 28  CT x || randstr(
0600: 31 31 2c 31 31 29 20 46 52 4f 4d 20 74 31 3b 0a  11,11) FROM t1;.
0610: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0620: 74 31 20 53 45 4c 45 43 54 20 78 20 7c 7c 20 72  t1 SELECT x || r
0630: 61 6e 64 73 74 72 28 31 32 2c 31 32 29 20 46 52  andstr(12,12) FR
0640: 4f 4d 20 74 31 3b 0a 20 20 20 20 43 52 45 41 54  OM t1;.    CREAT
0650: 45 20 49 4e 44 45 58 20 74 31 69 31 20 4f 4e 20  E INDEX t1i1 ON 
0660: 74 31 28 78 29 3b 0a 20 20 20 20 43 52 45 41 54  t1(x);.    CREAT
0670: 45 20 54 41 42 4c 45 20 74 32 20 41 53 20 53 45  E TABLE t2 AS SE
0680: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a  LECT * FROM t1;.
0690: 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20      DELETE FROM 
06a0: 74 32 20 57 48 45 52 45 20 72 6f 77 69 64 25 35  t2 WHERE rowid%5
06b0: 21 3d 30 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b  !=0;.    COMMIT;
06c0: 0a 20 20 7d 0a 7d 20 7b 7d 0a 69 6e 74 65 67 72  .  }.} {}.integr
06d0: 69 74 79 5f 63 68 65 63 6b 20 63 6f 72 72 75 70  ity_check corrup
06e0: 74 2d 31 2e 32 0a 0a 23 20 53 65 74 75 70 20 66  t-1.2..# Setup f
06f0: 6f 72 20 74 68 65 20 74 65 73 74 73 2e 20 20 4d  or the tests.  M
0700: 61 6b 65 20 61 20 62 61 63 6b 75 70 20 63 6f 70  ake a backup cop
0710: 79 20 6f 66 20 74 68 65 20 67 6f 6f 64 20 64 61  y of the good da
0720: 74 61 62 61 73 65 20 69 6e 20 74 65 73 74 2e 62  tabase in test.b
0730: 75 2e 0a 23 20 43 72 65 61 74 65 20 61 20 73 74  u..# Create a st
0740: 72 69 6e 67 20 6f 66 20 67 61 72 62 61 67 65 20  ring of garbage 
0750: 64 61 74 61 20 74 68 61 74 20 69 73 20 32 35 36  data that is 256
0760: 20 62 79 74 65 73 20 6c 6f 6e 67 2e 0a 23 0a 66   bytes long..#.f
0770: 6f 72 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62  orcecopy test.db
0780: 20 74 65 73 74 2e 62 75 0a 73 65 74 20 66 73 69   test.bu.set fsi
0790: 7a 65 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  ze [file size te
07a0: 73 74 2e 64 62 5d 0a 73 65 74 20 6a 75 6e 6b 20  st.db].set junk 
07b0: 22 61 62 63 64 65 66 67 68 69 6a 6b 6c 6d 6e 6f  "abcdefghijklmno
07c0: 70 71 72 73 74 75 76 77 78 79 7a 30 31 32 33 34  pqrstuvwxyz01234
07d0: 35 36 37 38 39 41 42 43 44 45 46 47 48 49 4a 4b  56789ABCDEFGHIJK
07e0: 4c 4d 4e 4f 50 51 52 53 54 55 56 57 58 59 5a 22  LMNOPQRSTUVWXYZ"
07f0: 0a 77 68 69 6c 65 20 7b 5b 73 74 72 69 6e 67 20  .while {[string 
0800: 6c 65 6e 67 74 68 20 24 6a 75 6e 6b 5d 3c 32 35  length $junk]<25
0810: 36 7d 20 7b 61 70 70 65 6e 64 20 6a 75 6e 6b 20  6} {append junk 
0820: 24 6a 75 6e 6b 7d 0a 73 65 74 20 6a 75 6e 6b 20  $junk}.set junk 
0830: 5b 73 74 72 69 6e 67 20 72 61 6e 67 65 20 24 6a  [string range $j
0840: 75 6e 6b 20 30 20 32 35 35 5d 0a 0a 23 20 47 6f  unk 0 255]..# Go
0850: 20 74 68 72 6f 75 67 68 20 74 68 65 20 64 61 74   through the dat
0860: 61 62 61 73 65 20 61 6e 64 20 77 72 69 74 65 20  abase and write 
0870: 67 61 72 62 61 67 65 20 64 61 74 61 20 69 6e 74  garbage data int
0880: 6f 20 65 61 63 68 20 32 35 36 20 73 65 67 6d 65  o each 256 segme
0890: 6e 74 0a 23 20 6f 66 20 74 68 65 20 66 69 6c 65  nt.# of the file
08a0: 2e 20 20 54 68 65 6e 20 64 6f 20 76 61 72 69 6f  .  Then do vario
08b0: 75 73 20 6f 70 65 72 61 74 69 6f 6e 73 20 6f 6e  us operations on
08c0: 20 74 68 65 20 66 69 6c 65 20 74 6f 20 6d 61 6b   the file to mak
08d0: 65 20 73 75 72 65 20 74 68 61 74 0a 23 20 74 68  e sure that.# th
08e0: 65 20 64 61 74 61 62 61 73 65 20 65 6e 67 69 6e  e database engin
08f0: 65 20 63 61 6e 20 72 65 63 6f 76 65 72 20 67 72  e can recover gr
0900: 61 63 65 66 75 6c 6c 79 20 66 72 6f 6d 20 74 68  acefully from th
0910: 65 20 63 6f 72 72 75 70 74 69 6f 6e 2e 0a 23 0a  e corruption..#.
0920: 66 6f 72 20 7b 73 65 74 20 69 20 5b 65 78 70 72  for {set i [expr
0930: 20 7b 31 2a 32 35 36 7d 5d 7d 20 7b 24 69 3c 24   {1*256}]} {$i<$
0940: 66 73 69 7a 65 2d 32 35 36 7d 20 7b 69 6e 63 72  fsize-256} {incr
0950: 20 69 20 32 35 36 7d 20 7b 0a 20 20 73 65 74 20   i 256} {.  set 
0960: 74 6e 20 5b 65 78 70 72 20 7b 24 69 2f 32 35 36  tn [expr {$i/256
0970: 7d 5d 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20  }].  db close.  
0980: 66 6f 72 63 65 63 6f 70 79 20 74 65 73 74 2e 62  forcecopy test.b
0990: 75 20 74 65 73 74 2e 64 62 0a 20 20 73 65 74 20  u test.db.  set 
09a0: 66 64 20 5b 6f 70 65 6e 20 74 65 73 74 2e 64 62  fd [open test.db
09b0: 20 72 2b 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72   r+].  fconfigur
09c0: 65 20 24 66 64 20 2d 74 72 61 6e 73 6c 61 74 69  e $fd -translati
09d0: 6f 6e 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b  on binary.  seek
09e0: 20 24 66 64 20 24 69 0a 20 20 70 75 74 73 20 2d   $fd $i.  puts -
09f0: 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 64 20 24 6a  nonewline $fd $j
0a00: 75 6e 6b 0a 20 20 63 6c 6f 73 65 20 24 66 64 0a  unk.  close $fd.
0a10: 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70    do_test corrup
0a20: 74 2d 32 2e 24 74 6e 2e 31 20 7b 0a 20 20 20 20  t-2.$tn.1 {.    
0a30: 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e  sqlite3 db test.
0a40: 64 62 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20  db.    catchsql 
0a50: 7b 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29  {SELECT count(*)
0a60: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73   FROM sqlite_mas
0a70: 74 65 72 7d 0a 20 20 20 20 73 65 74 20 78 20 7b  ter}.    set x {
0a80: 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65  }.  } {}.  do_te
0a90: 73 74 20 63 6f 72 72 75 70 74 2d 32 2e 24 74 6e  st corrupt-2.$tn
0aa0: 2e 32 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71  .2 {.    catchsq
0ab0: 6c 20 7b 53 45 4c 45 43 54 20 63 6f 75 6e 74 28  l {SELECT count(
0ac0: 2a 29 20 46 52 4f 4d 20 74 31 7d 0a 20 20 20 20  *) FROM t1}.    
0ad0: 73 65 74 20 78 20 7b 7d 0a 20 20 7d 20 7b 7d 0a  set x {}.  } {}.
0ae0: 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70    do_test corrup
0af0: 74 2d 32 2e 24 74 6e 2e 33 20 7b 0a 20 20 20 20  t-2.$tn.3 {.    
0b00: 63 61 74 63 68 73 71 6c 20 7b 53 45 4c 45 43 54  catchsql {SELECT
0b10: 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74   count(*) FROM t
0b20: 31 20 57 48 45 52 45 20 78 3e 27 61 62 63 64 65  1 WHERE x>'abcde
0b30: 66 27 7d 0a 20 20 20 20 73 65 74 20 78 20 7b 7d  f'}.    set x {}
0b40: 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73  .  } {}.  do_tes
0b50: 74 20 63 6f 72 72 75 70 74 2d 32 2e 24 74 6e 2e  t corrupt-2.$tn.
0b60: 34 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71 6c  4 {.    catchsql
0b70: 20 7b 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a   {SELECT count(*
0b80: 29 20 46 52 4f 4d 20 74 32 7d 0a 20 20 20 20 73  ) FROM t2}.    s
0b90: 65 74 20 78 20 7b 7d 0a 20 20 7d 20 7b 7d 0a 20  et x {}.  } {}. 
0ba0: 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74   do_test corrupt
0bb0: 2d 32 2e 24 74 6e 2e 35 20 7b 0a 20 20 20 20 63  -2.$tn.5 {.    c
0bc0: 61 74 63 68 73 71 6c 20 7b 43 52 45 41 54 45 20  atchsql {CREATE 
0bd0: 54 41 42 4c 45 20 74 33 20 41 53 20 53 45 4c 45  TABLE t3 AS SELE
0be0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 20 20  CT * FROM t1}.  
0bf0: 20 20 73 65 74 20 78 20 7b 7d 0a 20 20 7d 20 7b    set x {}.  } {
0c00: 7d 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72  }.  do_test corr
0c10: 75 70 74 2d 32 2e 24 74 6e 2e 36 20 7b 0a 20 20  upt-2.$tn.6 {.  
0c20: 20 20 63 61 74 63 68 73 71 6c 20 7b 44 52 4f 50    catchsql {DROP
0c30: 20 54 41 42 4c 45 20 74 31 7d 0a 20 20 20 20 73   TABLE t1}.    s
0c40: 65 74 20 78 20 7b 7d 0a 20 20 7d 20 7b 7d 0a 20  et x {}.  } {}. 
0c50: 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74   do_test corrupt
0c60: 2d 32 2e 24 74 6e 2e 37 20 7b 0a 20 20 20 20 63  -2.$tn.7 {.    c
0c70: 61 74 63 68 73 71 6c 20 7b 50 52 41 47 4d 41 20  atchsql {PRAGMA 
0c80: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 7d  integrity_check}
0c90: 0a 20 20 20 20 73 65 74 20 78 20 7b 7d 0a 20 20  .    set x {}.  
0ca0: 7d 20 7b 7d 0a 0a 20 20 23 20 43 68 65 63 6b 20  } {}..  # Check 
0cb0: 74 68 61 74 20 6e 6f 20 70 61 67 65 20 72 65 66  that no page ref
0cc0: 65 72 65 6e 63 65 73 20 77 65 72 65 20 6c 65 61  erences were lea
0cd0: 6b 65 64 2e 0a 20 20 64 6f 5f 74 65 73 74 20 63  ked..  do_test c
0ce0: 6f 72 72 75 70 74 2d 32 2e 24 74 6e 2e 38 20 7b  orrupt-2.$tn.8 {
0cf0: 0a 20 20 20 20 73 65 74 20 62 74 20 5b 62 74 72  .    set bt [btr
0d00: 65 65 5f 66 72 6f 6d 5f 64 62 20 64 62 5d 0a 20  ee_from_db db]. 
0d10: 20 20 20 64 62 5f 65 6e 74 65 72 20 64 62 0a 20     db_enter db. 
0d20: 20 20 20 61 72 72 61 79 20 73 65 74 20 73 74 61     array set sta
0d30: 74 73 20 5b 62 74 72 65 65 5f 70 61 67 65 72 5f  ts [btree_pager_
0d40: 73 74 61 74 73 20 24 62 74 5d 0a 20 20 20 20 64  stats $bt].    d
0d50: 62 5f 6c 65 61 76 65 20 64 62 0a 20 20 20 20 73  b_leave db.    s
0d60: 65 74 20 73 74 61 74 73 28 72 65 66 29 0a 20 20  et stats(ref).  
0d70: 7d 20 7b 30 7d 0a 7d 20 20 0a 0a 23 2d 2d 2d 2d  } {0}.}  ..#----
0d80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0d90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0da0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0db0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0dc0: 2d 2d 2d 2d 0a 23 20 46 6f 72 20 74 68 65 73 65  ----.# For these
0dd0: 20 74 65 73 74 73 2c 20 73 77 61 70 20 74 68 65   tests, swap the
0de0: 20 72 6f 6f 74 70 61 67 65 20 65 6e 74 72 69 65   rootpage entrie
0df0: 73 20 6f 66 20 74 31 20 28 61 20 74 61 62 6c 65  s of t1 (a table
0e00: 29 20 61 6e 64 20 74 31 69 31 20 28 61 6e 0a 23  ) and t1i1 (an.#
0e10: 20 69 6e 64 65 78 20 6f 6e 20 74 31 29 20 69 6e   index on t1) in
0e20: 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 2e 20   sqlite_master. 
0e30: 54 68 65 6e 20 70 65 72 66 6f 72 6d 20 61 20 66  Then perform a f
0e40: 65 77 20 64 69 66 66 65 72 65 6e 74 20 71 75 65  ew different que
0e50: 72 69 65 73 0a 23 20 61 6e 64 20 6d 61 6b 65 20  ries.# and make 
0e60: 73 75 72 65 20 74 68 69 73 20 69 73 20 64 65 74  sure this is det
0e70: 65 63 74 65 64 20 61 73 20 63 6f 72 72 75 70 74  ected as corrupt
0e80: 69 6f 6e 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63  ion..#.do_test c
0e90: 6f 72 72 75 70 74 2d 33 2e 31 20 7b 0a 20 20 64  orrupt-3.1 {.  d
0ea0: 62 20 63 6c 6f 73 65 0a 20 20 66 6f 72 63 65 63  b close.  forcec
0eb0: 6f 70 79 20 74 65 73 74 2e 62 75 20 74 65 73 74  opy test.bu test
0ec0: 2e 64 62 0a 20 20 73 71 6c 69 74 65 33 20 64 62  .db.  sqlite3 db
0ed0: 20 74 65 73 74 2e 64 62 0a 20 20 6c 69 73 74 0a   test.db.  list.
0ee0: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 72  } {}.do_test cor
0ef0: 72 75 70 74 2d 33 2e 32 20 7b 0a 20 20 73 65 74  rupt-3.2 {.  set
0f00: 20 74 31 5f 72 20 5b 65 78 65 63 73 71 6c 20 7b   t1_r [execsql {
0f10: 53 45 4c 45 43 54 20 72 6f 6f 74 70 61 67 65 20  SELECT rootpage 
0f20: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74  FROM sqlite_mast
0f30: 65 72 20 57 48 45 52 45 20 6e 61 6d 65 20 3d 20  er WHERE name = 
0f40: 27 74 31 69 31 27 7d 5d 0a 20 20 73 65 74 20 74  't1i1'}].  set t
0f50: 31 69 31 5f 72 20 5b 65 78 65 63 73 71 6c 20 7b  1i1_r [execsql {
0f60: 53 45 4c 45 43 54 20 72 6f 6f 74 70 61 67 65 20  SELECT rootpage 
0f70: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74  FROM sqlite_mast
0f80: 65 72 20 57 48 45 52 45 20 6e 61 6d 65 20 3d 20  er WHERE name = 
0f90: 27 74 31 27 7d 5d 0a 20 20 73 65 74 20 63 6f 6f  't1'}].  set coo
0fa0: 6b 69 65 20 5b 65 78 70 72 20 5b 65 78 65 63 73  kie [expr [execs
0fb0: 71 6c 20 7b 50 52 41 47 4d 41 20 73 63 68 65 6d  ql {PRAGMA schem
0fc0: 61 5f 76 65 72 73 69 6f 6e 7d 5d 20 2b 20 31 5d  a_version}] + 1]
0fd0: 0a 20 20 65 78 65 63 73 71 6c 20 22 0a 20 20 20  .  execsql ".   
0fe0: 20 50 52 41 47 4d 41 20 77 72 69 74 61 62 6c 65   PRAGMA writable
0ff0: 5f 73 63 68 65 6d 61 20 3d 20 31 3b 0a 20 20 20  _schema = 1;.   
1000: 20 55 50 44 41 54 45 20 73 71 6c 69 74 65 5f 6d   UPDATE sqlite_m
1010: 61 73 74 65 72 20 53 45 54 20 72 6f 6f 74 70 61  aster SET rootpa
1020: 67 65 20 3d 20 24 74 31 5f 72 20 57 48 45 52 45  ge = $t1_r WHERE
1030: 20 6e 61 6d 65 20 3d 20 27 74 31 27 3b 0a 20 20   name = 't1';.  
1040: 20 20 55 50 44 41 54 45 20 73 71 6c 69 74 65 5f    UPDATE sqlite_
1050: 6d 61 73 74 65 72 20 53 45 54 20 72 6f 6f 74 70  master SET rootp
1060: 61 67 65 20 3d 20 24 74 31 69 31 5f 72 20 57 48  age = $t1i1_r WH
1070: 45 52 45 20 6e 61 6d 65 20 3d 20 27 74 31 69 31  ERE name = 't1i1
1080: 27 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 77 72  ';.    PRAGMA wr
1090: 69 74 61 62 6c 65 5f 73 63 68 65 6d 61 20 3d 20  itable_schema = 
10a0: 30 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 73 63  0;.    PRAGMA sc
10b0: 68 65 6d 61 5f 76 65 72 73 69 6f 6e 20 3d 20 24  hema_version = $
10c0: 63 6f 6f 6b 69 65 3b 0a 20 20 22 0a 7d 20 7b 7d  cookie;.  ".} {}
10d0: 0a 0a 23 20 54 68 69 73 20 6f 6e 65 20 74 65 73  ..# This one tes
10e0: 74 73 20 74 68 65 20 63 61 73 65 20 63 61 75 67  ts the case caug
10f0: 68 74 20 62 79 20 63 6f 64 65 20 69 6e 20 63 68  ht by code in ch
1100: 65 63 6b 69 6e 20 5b 32 33 31 33 5d 2e 0a 64 6f  eckin [2313]..do
1110: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 2d 33 2e  _test corrupt-3.
1120: 33 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20  3 {.  db close. 
1130: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
1140: 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  .db.  catchsql {
1150: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1160: 20 74 31 20 56 41 4c 55 45 53 28 27 61 62 63 27   t1 VALUES('abc'
1170: 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 64 61 74  );.  }.} {1 {dat
1180: 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65  abase disk image
1190: 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a   is malformed}}.
11a0: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 2d  do_test corrupt-
11b0: 33 2e 34 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  3.4 {.  db close
11c0: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
11d0: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  st.db.  catchsql
11e0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
11f0: 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b  FROM t1;.  }.} {
1200: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
1210: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
1220: 6d 65 64 7d 7d 0a 64 6f 5f 74 65 73 74 20 63 6f  med}}.do_test co
1230: 72 72 75 70 74 2d 33 2e 35 20 7b 0a 20 20 64 62  rrupt-3.5 {.  db
1240: 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33   close.  sqlite3
1250: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
1260: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
1270: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48  ECT * FROM t1 WH
1280: 45 52 45 20 6f 69 64 20 3d 20 31 30 3b 0a 20 20  ERE oid = 10;.  
1290: 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65  }.} {1 {database
12a0: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
12b0: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 64 6f 5f 74 65  alformed}}.do_te
12c0: 73 74 20 63 6f 72 72 75 70 74 2d 33 2e 36 20 7b  st corrupt-3.6 {
12d0: 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 73 71  .  db close.  sq
12e0: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
12f0: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
1300: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
1310: 74 31 20 57 48 45 52 45 20 78 20 3d 20 27 61 62  t1 WHERE x = 'ab
1320: 63 64 65 27 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b  cde';.  }.} {1 {
1330: 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d  database disk im
1340: 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64  age is malformed
1350: 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  }}..do_test corr
1360: 75 70 74 2d 34 2e 31 20 7b 0a 20 20 64 62 20 63  upt-4.1 {.  db c
1370: 6c 6f 73 65 0a 20 20 66 6f 72 63 65 64 65 6c 65  lose.  forcedele
1380: 74 65 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e  te test.db test.
1390: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 73 71 6c  db-journal.  sql
13a0: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
13b0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
13c0: 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65  PRAGMA page_size
13d0: 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 43 52 45   = 1024;.    CRE
13e0: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 49  ATE TABLE t1(a I
13f0: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
1400: 45 59 2c 20 62 20 54 45 58 54 29 3b 0a 20 20 7d  EY, b TEXT);.  }
1410: 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 30 7d  .  for {set i 0}
1420: 20 7b 24 69 20 3c 20 31 30 7d 20 7b 69 6e 63 72   {$i < 10} {incr
1430: 20 69 7d 20 7b 0a 20 20 20 20 73 65 74 20 74 65   i} {.    set te
1440: 78 74 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61  xt [string repea
1450: 74 20 24 69 20 32 32 30 5d 0a 20 20 20 20 65 78  t $i 220].    ex
1460: 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49  ecsql { INSERT I
1470: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 24 69  NTO t1 VALUES($i
1480: 2c 20 24 74 65 78 74 29 20 7d 0a 20 20 7d 0a 20  , $text) }.  }. 
1490: 20 65 78 65 63 73 71 6c 20 7b 20 43 52 45 41 54   execsql { CREAT
14a0: 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31  E INDEX i1 ON t1
14b0: 28 62 29 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65  (b) }.} {}.do_te
14c0: 73 74 20 63 6f 72 72 75 70 74 2d 34 2e 32 20 7b  st corrupt-4.2 {
14d0: 0a 20 20 73 65 74 20 69 52 6f 6f 74 20 5b 64 62  .  set iRoot [db
14e0: 20 6f 6e 65 20 7b 53 45 4c 45 43 54 20 72 6f 6f   one {SELECT roo
14f0: 74 70 61 67 65 20 46 52 4f 4d 20 73 71 6c 69 74  tpage FROM sqlit
1500: 65 5f 6d 61 73 74 65 72 20 57 48 45 52 45 20 6e  e_master WHERE n
1510: 61 6d 65 20 3d 20 27 69 31 27 7d 5d 0a 20 20 73  ame = 'i1'}].  s
1520: 65 74 20 69 4f 66 66 73 65 74 20 5b 68 65 78 69  et iOffset [hexi
1530: 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f  o_get_int [hexio
1540: 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20 5b 65  _read test.db [e
1550: 78 70 72 20 31 32 2b 28 24 69 52 6f 6f 74 2d 31  xpr 12+($iRoot-1
1560: 29 2a 31 30 32 34 5d 20 32 5d 5d 0a 20 20 73 65  )*1024] 2]].  se
1570: 74 20 64 61 74 61 20 5b 68 65 78 69 6f 5f 72 65  t data [hexio_re
1580: 6e 64 65 72 5f 69 6e 74 33 32 20 5b 65 78 70 72  nder_int32 [expr
1590: 20 24 69 52 6f 6f 74 20 2d 20 31 5d 5d 0a 20 20   $iRoot - 1]].  
15a0: 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74  hexio_write test
15b0: 2e 64 62 20 5b 65 78 70 72 20 28 24 69 52 6f 6f  .db [expr ($iRoo
15c0: 74 2d 31 29 2a 31 30 32 34 20 2b 20 24 69 4f 66  t-1)*1024 + $iOf
15d0: 66 73 65 74 5d 20 24 64 61 74 61 0a 20 20 64 62  fset] $data.  db
15e0: 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33   close.  sqlite3
15f0: 20 64 62 20 74 65 73 74 2e 64 62 0a 0a 20 20 23   db test.db..  #
1600: 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 44   The following D
1610: 45 4c 45 54 45 20 73 74 61 74 65 6d 65 6e 74 20  ELETE statement 
1620: 61 74 74 65 6d 70 74 73 20 74 6f 20 64 65 6c 65  attempts to dele
1630: 74 65 20 61 20 63 65 6c 6c 20 73 74 6f 72 65 64  te a cell stored
1640: 20 6f 6e 20 74 68 65 0a 20 20 23 20 72 6f 6f 74   on the.  # root
1650: 20 70 61 67 65 20 6f 66 20 69 6e 64 65 78 20 69   page of index i
1660: 31 2e 20 41 66 74 65 72 20 74 68 69 73 20 63 65  1. After this ce
1670: 6c 6c 20 69 73 20 64 65 6c 65 74 65 64 20 69 74  ll is deleted it
1680: 20 6d 75 73 74 20 62 65 20 72 65 70 6c 61 63 65   must be replace
1690: 64 0a 20 20 23 20 62 79 20 61 20 63 65 6c 6c 20  d.  # by a cell 
16a0: 72 65 74 72 69 65 76 65 64 20 66 72 6f 6d 20 74  retrieved from t
16b0: 68 65 20 63 68 69 6c 64 20 70 61 67 65 20 28 61  he child page (a
16c0: 20 6c 65 61 66 29 20 6f 66 20 74 68 65 20 64 65   leaf) of the de
16d0: 6c 65 74 65 64 20 63 65 6c 6c 2e 0a 20 20 23 20  leted cell..  # 
16e0: 54 68 69 73 20 77 69 6c 6c 20 66 61 69 6c 2c 20  This will fail, 
16f0: 61 73 20 74 68 65 20 62 6c 6f 63 6b 20 6d 6f 64  as the block mod
1700: 69 66 69 65 64 20 74 68 65 20 64 61 74 61 62 61  ified the databa
1710: 73 65 20 69 6d 61 67 65 20 73 6f 20 74 68 61 74  se image so that
1720: 20 74 68 65 0a 20 20 23 20 63 68 69 6c 64 20 70   the.  # child p
1730: 61 67 65 20 6f 66 20 74 68 65 20 64 65 6c 65 74  age of the delet
1740: 65 64 20 63 65 6c 6c 20 69 73 20 66 72 6f 6d 20  ed cell is from 
1750: 61 20 74 61 62 6c 65 20 28 69 6e 74 6b 65 79 29  a table (intkey)
1760: 20 62 2d 74 72 65 65 2c 20 6e 6f 74 20 61 6e 0a   b-tree, not an.
1770: 20 20 23 20 69 6e 64 65 78 20 62 2d 74 72 65 65    # index b-tree
1780: 20 61 73 20 65 78 70 65 63 74 65 64 2e 20 41 74   as expected. At
1790: 20 6f 6e 65 20 70 6f 69 6e 74 20 74 68 69 73 20   one point this 
17a0: 77 61 73 20 63 61 75 73 69 6e 67 20 61 6e 20 61  was causing an a
17b0: 73 73 65 72 74 28 29 0a 20 20 23 20 74 6f 20 66  ssert().  # to f
17c0: 61 69 6c 2e 0a 20 20 63 61 74 63 68 73 71 6c 20  ail..  catchsql 
17d0: 7b 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31  { DELETE FROM t1
17e0: 20 57 48 45 52 45 20 72 6f 77 69 64 20 3d 20 33   WHERE rowid = 3
17f0: 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73   }.} {1 {databas
1800: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
1810: 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64 6f 5f  malformed}}..do_
1820: 74 65 73 74 20 63 6f 72 72 75 70 74 2d 35 2e 31  test corrupt-5.1
1830: 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20   {.  db close.  
1840: 66 6f 72 63 65 64 65 6c 65 74 65 20 74 65 73 74  forcedelete test
1850: 2e 64 62 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72  .db test.db-jour
1860: 6e 61 6c 0a 20 20 73 71 6c 69 74 65 33 20 64 62  nal.  sqlite3 db
1870: 20 74 65 73 74 2e 64 62 0a 0a 20 20 65 78 65 63   test.db..  exec
1880: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 70 61 67  sql { PRAGMA pag
1890: 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 20 7d 0a  e_size = 1024 }.
18a0: 20 20 73 65 74 20 63 74 20 22 43 52 45 41 54 45    set ct "CREATE
18b0: 20 54 41 42 4c 45 20 74 31 28 63 30 20 22 0a 20   TABLE t1(c0 ". 
18c0: 20 73 65 74 20 69 20 30 0a 20 20 77 68 69 6c 65   set i 0.  while
18d0: 20 7b 5b 73 74 72 69 6e 67 20 6c 65 6e 67 74 68   {[string length
18e0: 20 24 63 74 5d 20 3c 20 39 35 30 7d 20 7b 20 61   $ct] < 950} { a
18f0: 70 70 65 6e 64 20 63 74 20 22 2c 20 63 5b 69 6e  ppend ct ", c[in
1900: 63 72 20 69 5d 22 20 7d 0a 20 20 61 70 70 65 6e  cr i]" }.  appen
1910: 64 20 63 74 20 22 29 22 0a 20 20 65 78 65 63 73  d ct ")".  execs
1920: 71 6c 20 24 63 74 0a 7d 20 7b 7d 0a 0a 64 6f 5f  ql $ct.} {}..do_
1930: 74 65 73 74 20 63 6f 72 72 75 70 74 2d 35 2e 32  test corrupt-5.2
1940: 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20   {.  db close.  
1950: 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74  hexio_write test
1960: 2e 64 62 20 31 30 38 20 30 30 30 30 30 30 30 30  .db 108 00000000
1970: 20 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74   .  sqlite3 db t
1980: 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71  est.db.  catchsq
1990: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
19a0: 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 20  M sqlite_master 
19b0: 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65  }.} {1 {database
19c0: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
19d0: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 23 20 41 74  alformed}}..# At
19e0: 20 6f 6e 65 20 70 6f 69 6e 74 2c 20 74 68 65 20   one point, the 
19f0: 73 70 65 63 69 66 69 63 20 63 6f 72 72 75 70 74  specific corrupt
1a00: 69 6f 6e 20 63 61 75 73 65 64 20 62 79 20 74 68  ion caused by th
1a10: 69 73 20 74 65 73 74 20 63 61 73 65 20 77 61 73  is test case was
1a20: 0a 23 20 63 61 75 73 69 6e 67 20 61 20 62 75 66  .# causing a buf
1a30: 66 65 72 20 6f 76 65 72 77 72 69 74 65 2e 20 41  fer overwrite. A
1a40: 6c 74 68 6f 75 67 68 20 61 20 63 72 61 73 68 20  lthough a crash 
1a50: 77 61 73 20 6e 65 76 65 72 20 64 65 6d 6f 6e 73  was never demons
1a60: 74 72 61 74 65 64 2c 0a 23 20 72 75 6e 6e 69 6e  trated,.# runnin
1a70: 67 20 74 68 69 73 20 74 65 73 74 63 61 73 65 20  g this testcase 
1a80: 75 6e 64 65 72 20 76 61 6c 67 72 69 6e 64 20 72  under valgrind r
1a90: 65 76 65 61 6c 65 64 20 74 68 65 20 70 72 6f 62  evealed the prob
1aa0: 6c 65 6d 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72  lem..do_test cor
1ab0: 72 75 70 74 2d 36 2e 31 20 7b 0a 20 20 64 62 20  rupt-6.1 {.  db 
1ac0: 63 6c 6f 73 65 0a 20 20 66 6f 72 63 65 64 65 6c  close.  forcedel
1ad0: 65 74 65 20 74 65 73 74 2e 64 62 20 74 65 73 74  ete test.db test
1ae0: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 73 71  .db-journal.  sq
1af0: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
1b00: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20  .  execsql { .  
1b10: 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69    PRAGMA page_si
1b20: 7a 65 20 3d 20 31 30 32 34 3b 20 43 52 45 41 54  ze = 1024; CREAT
1b30: 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20  E TABLE t1(x);. 
1b40: 20 7d 0a 0a 20 20 23 20 54 68 65 20 72 6f 6f 74   }..  # The root
1b50: 20 70 61 67 65 20 6f 66 20 74 31 20 69 73 20 31   page of t1 is 1
1b60: 30 32 34 20 62 79 74 65 73 20 69 6e 20 73 69 7a  024 bytes in siz
1b70: 65 2e 20 54 68 65 20 68 65 61 64 65 72 20 69 73  e. The header is
1b80: 20 38 20 62 79 74 65 73 2c 20 61 6e 64 0a 20 20   8 bytes, and.  
1b90: 23 20 65 61 63 68 20 6f 66 20 74 68 65 20 63 65  # each of the ce
1ba0: 6c 6c 73 20 69 6e 73 65 72 74 65 64 20 62 79 20  lls inserted by 
1bb0: 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 49 4e  the following IN
1bc0: 53 45 52 54 20 73 74 61 74 65 6d 65 6e 74 73 20  SERT statements 
1bd0: 63 6f 6e 73 75 6d 65 0a 20 20 23 20 31 36 20 62  consume.  # 16 b
1be0: 79 74 65 73 20 28 69 6e 63 6c 75 64 69 6e 67 20  ytes (including 
1bf0: 74 68 65 20 32 20 62 79 74 65 20 63 65 6c 6c 2d  the 2 byte cell-
1c00: 6f 66 66 73 65 74 20 61 72 72 61 79 20 65 6e 74  offset array ent
1c10: 72 79 29 2e 20 53 6f 20 74 68 65 20 70 61 67 65  ry). So the page
1c20: 0a 20 20 23 20 63 61 6e 20 63 6f 6e 74 61 69 6e  .  # can contain
1c30: 20 75 70 20 74 6f 20 36 33 20 63 65 6c 6c 73 2e   up to 63 cells.
1c40: 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 30 7d  .  for {set i 0}
1c50: 20 7b 24 69 20 3c 20 36 33 7d 20 7b 69 6e 63 72   {$i < 63} {incr
1c60: 20 69 7d 20 7b 0a 20 20 20 20 65 78 65 63 73 71   i} {.    execsq
1c70: 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  l { INSERT INTO 
1c80: 74 31 20 56 41 4c 55 45 53 28 20 72 61 6e 64 6f  t1 VALUES( rando
1c90: 6d 62 6c 6f 62 28 31 30 29 20 29 20 7d 0a 20 20  mblob(10) ) }.  
1ca0: 7d 0a 0a 20 20 23 20 46 72 65 65 20 74 68 65 20  }..  # Free the 
1cb0: 63 65 6c 6c 20 73 74 6f 72 65 64 20 72 69 67 68  cell stored righ
1cc0: 74 20 61 74 20 74 68 65 20 65 6e 64 20 6f 66 20  t at the end of 
1cd0: 74 68 65 20 70 61 67 65 20 28 61 74 20 6f 66 66  the page (at off
1ce0: 73 65 74 20 70 67 73 7a 2d 31 34 29 2e 0a 20 20  set pgsz-14)..  
1cf0: 65 78 65 63 73 71 6c 20 7b 20 44 45 4c 45 54 45  execsql { DELETE
1d00: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 72   FROM t1 WHERE r
1d10: 6f 77 69 64 3d 31 20 7d 0a 20 20 73 65 74 20 72  owid=1 }.  set r
1d20: 6f 6f 74 70 61 67 65 20 5b 64 62 20 6f 6e 65 20  ootpage [db one 
1d30: 7b 53 45 4c 45 43 54 20 72 6f 6f 74 70 61 67 65  {SELECT rootpage
1d40: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73   FROM sqlite_mas
1d50: 74 65 72 20 57 48 45 52 45 20 6e 61 6d 65 20 3d  ter WHERE name =
1d60: 20 27 74 31 27 7d 5d 0a 20 20 64 62 20 63 6c 6f   't1'}].  db clo
1d70: 73 65 0a 0a 20 20 73 65 74 20 6f 66 66 73 65 74  se..  set offset
1d80: 20 5b 65 78 70 72 20 28 24 72 6f 6f 74 70 61 67   [expr ($rootpag
1d90: 65 20 2a 20 31 30 32 34 29 2d 31 34 2b 32 5d 0a  e * 1024)-14+2].
1da0: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65    hexio_write te
1db0: 73 74 2e 64 62 20 24 6f 66 66 73 65 74 20 30 30  st.db $offset 00
1dc0: 46 46 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  FF.  sqlite3 db 
1dd0: 74 65 73 74 2e 64 62 20 0a 0a 20 20 63 61 74 63  test.db ..  catc
1de0: 68 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e  hsql { INSERT IN
1df0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 20 72 61  TO t1 VALUES( ra
1e00: 6e 64 6f 6d 62 6c 6f 62 28 31 30 29 20 29 20 7d  ndomblob(10) ) }
1e10: 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20  .} {1 {database 
1e20: 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61  disk image is ma
1e30: 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 69 66 63 61 70  lformed}}..ifcap
1e40: 61 62 6c 65 20 6f 76 65 72 73 69 7a 65 5f 63 65  able oversize_ce
1e50: 6c 6c 5f 63 68 65 63 6b 20 7b 0a 20 20 64 62 20  ll_check {.  db 
1e60: 63 6c 6f 73 65 0a 20 20 66 6f 72 63 65 64 65 6c  close.  forcedel
1e70: 65 74 65 20 74 65 73 74 2e 64 62 20 74 65 73 74  ete test.db test
1e80: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 73 71  .db-journal.  sq
1e90: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
1ea0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20  .  execsql { .  
1eb0: 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69    PRAGMA page_si
1ec0: 7a 65 20 3d 20 31 30 32 34 3b 20 43 52 45 41 54  ze = 1024; CREAT
1ed0: 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20  E TABLE t1(x);. 
1ee0: 20 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f   }..  do_test co
1ef0: 72 72 75 70 74 2d 37 2e 31 20 7b 0a 20 20 20 20  rrupt-7.1 {.    
1f00: 66 6f 72 20 7b 73 65 74 20 69 20 30 7d 20 7b 24  for {set i 0} {$
1f10: 69 20 3c 20 33 39 7d 20 7b 69 6e 63 72 20 69 7d  i < 39} {incr i}
1f20: 20 7b 0a 20 20 20 20 20 20 65 78 65 63 73 71 6c   {.      execsql
1f30: 20 7b 0a 20 20 20 20 20 20 20 20 49 4e 53 45 52   {.        INSER
1f40: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
1f50: 28 58 27 30 30 30 31 30 30 30 32 30 30 30 33 30  (X'0001000200030
1f60: 30 30 34 30 30 30 35 30 30 30 36 30 30 30 37 30  0040005000600070
1f70: 30 30 38 30 30 30 39 30 30 30 41 27 29 3b 0a 20  0080009000A');. 
1f80: 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20 20 7d       }.    }.  }
1f90: 20 7b 7d 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20   {}.  db close. 
1fa0: 20 0a 20 20 23 20 43 6f 72 72 75 70 74 20 74 68   .  # Corrupt th
1fb0: 65 20 72 6f 6f 74 20 70 61 67 65 20 6f 66 20 74  e root page of t
1fc0: 61 62 6c 65 20 74 31 20 73 6f 20 74 68 61 74 20  able t1 so that 
1fd0: 74 68 65 20 66 69 72 73 74 20 6f 66 66 73 65 74  the first offset
1fe0: 20 69 6e 20 74 68 65 20 0a 20 20 23 20 63 65 6c   in the .  # cel
1ff0: 6c 2d 6f 66 66 73 65 74 20 61 72 72 61 79 20 70  l-offset array p
2000: 6f 69 6e 74 73 20 74 6f 20 74 68 65 20 64 61 74  oints to the dat
2010: 61 20 66 6f 72 20 74 68 65 20 53 51 4c 20 62 6c  a for the SQL bl
2020: 6f 62 20 61 73 73 6f 63 69 61 74 65 64 20 77 69  ob associated wi
2030: 74 68 0a 20 20 23 20 72 65 63 6f 72 64 20 28 72  th.  # record (r
2040: 6f 77 69 64 3d 31 30 29 2e 20 54 68 65 20 72 6f  owid=10). The ro
2050: 6f 74 20 70 61 67 65 20 73 74 69 6c 6c 20 70 61  ot page still pa
2060: 73 73 65 73 20 74 68 65 20 63 68 65 63 6b 73 20  sses the checks 
2070: 69 6e 20 62 74 72 65 65 49 6e 69 74 50 61 67 65  in btreeInitPage
2080: 28 29 2c 0a 20 20 23 20 62 65 63 61 75 73 65 20  (),.  # because 
2090: 74 68 65 20 73 74 61 72 74 20 6f 66 20 73 61 69  the start of sai
20a0: 64 20 62 6c 6f 62 20 6c 6f 6f 6b 73 20 6c 69 6b  d blob looks lik
20b0: 65 20 74 68 65 20 73 74 61 72 74 20 6f 66 20 61  e the start of a
20c0: 20 6c 65 67 69 74 69 6d 61 74 65 20 0a 20 20 23   legitimate .  #
20d0: 20 70 61 67 65 20 63 65 6c 6c 2e 0a 20 20 23 0a   page cell..  #.
20e0: 20 20 23 20 54 65 73 74 20 63 61 73 65 20 63 63    # Test case cc
20f0: 2d 32 20 6f 76 65 72 77 72 69 74 65 73 20 74 68  -2 overwrites th
2100: 65 20 62 6c 6f 62 20 73 6f 20 74 68 61 74 20 69  e blob so that i
2110: 74 20 6e 6f 20 6c 6f 6e 67 65 72 20 6c 6f 6f 6b  t no longer look
2120: 73 20 6c 69 6b 65 20 61 0a 20 20 23 20 72 65 61  s like a.  # rea
2130: 6c 20 63 65 6c 6c 2e 20 42 75 74 2c 20 62 79 20  l cell. But, by 
2140: 74 68 65 20 74 69 6d 65 20 69 74 20 69 73 20 6f  the time it is o
2150: 76 65 72 77 72 69 74 74 65 6e 2c 20 62 74 72 65  verwritten, btre
2160: 65 49 6e 69 74 50 61 67 65 28 29 20 68 61 73 20  eInitPage() has 
2170: 61 6c 72 65 61 64 79 0a 20 20 23 20 69 6e 69 74  already.  # init
2180: 69 61 6c 69 7a 65 64 20 74 68 65 20 72 6f 6f 74  ialized the root
2190: 20 70 61 67 65 2c 20 73 6f 20 6e 6f 20 63 6f 72   page, so no cor
21a0: 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63  ruption is detec
21b0: 74 65 64 2e 0a 20 20 23 0a 20 20 23 20 54 65 73  ted..  #.  # Tes
21c0: 74 20 63 61 73 65 20 63 63 2d 33 20 69 6e 73 65  t case cc-3 inse
21d0: 72 74 73 20 61 6e 20 65 78 74 72 61 20 72 65 63  rts an extra rec
21e0: 6f 72 64 20 69 6e 74 6f 20 74 31 2c 20 66 6f 72  ord into t1, for
21f0: 63 69 6e 67 20 62 61 6c 61 6e 63 65 2d 64 65 65  cing balance-dee
2200: 70 65 72 0a 20 20 23 20 74 6f 20 72 75 6e 2e 20  per.  # to run. 
2210: 41 66 74 65 72 20 63 6f 70 79 69 6e 67 20 74 68  After copying th
2220: 65 20 63 6f 6e 74 65 6e 74 73 20 6f 66 20 74 68  e contents of th
2230: 65 20 72 6f 6f 74 20 70 61 67 65 20 74 6f 20 74  e root page to t
2240: 68 65 20 6e 65 77 20 63 68 69 6c 64 2c 0a 20 20  he new child,.  
2250: 23 20 62 74 72 65 65 49 6e 69 74 50 61 67 65 28  # btreeInitPage(
2260: 29 20 69 73 20 63 61 6c 6c 65 64 20 6f 6e 20 74  ) is called on t
2270: 68 65 20 63 68 69 6c 64 2e 20 54 68 69 73 20 74  he child. This t
2280: 69 6d 65 2c 20 69 74 20 64 65 74 65 63 74 73 20  ime, it detects 
2290: 63 6f 72 72 75 70 74 69 6f 6e 0a 20 20 23 20 28  corruption.  # (
22a0: 62 65 63 61 75 73 65 20 74 68 65 20 73 74 61 72  because the star
22b0: 74 20 6f 66 20 74 68 65 20 62 6c 6f 62 20 61 73  t of the blob as
22c0: 73 6f 63 69 61 74 65 64 20 77 69 74 68 20 74 68  sociated with th
22d0: 65 20 28 72 6f 77 69 64 3d 31 30 29 20 72 65 63  e (rowid=10) rec
22e0: 6f 72 64 0a 20 20 23 20 6e 6f 20 6c 6f 6e 67 65  ord.  # no longe
22f0: 72 20 6c 6f 6f 6b 73 20 6c 69 6b 65 20 61 20 72  r looks like a r
2300: 65 61 6c 20 63 65 6c 6c 29 2e 20 41 74 20 6f 6e  eal cell). At on
2310: 65 20 70 6f 69 6e 74 20 74 68 65 20 63 6f 64 65  e point the code
2320: 20 61 73 73 75 6d 65 64 20 74 68 61 74 20 0a 20   assumed that . 
2330: 20 23 20 64 65 74 65 63 74 69 6e 67 20 63 6f 72   # detecting cor
2340: 72 75 70 74 69 6f 6e 20 77 61 73 20 6e 6f 74 20  ruption was not 
2350: 70 6f 73 73 69 62 6c 65 20 61 74 20 74 68 61 74  possible at that
2360: 20 70 6f 69 6e 74 2c 20 61 6e 64 20 61 6e 20 61   point, and an a
2370: 73 73 65 72 74 28 29 20 66 61 69 6c 65 64 2e 0a  ssert() failed..
2380: 20 20 23 0a 20 20 73 65 74 20 66 64 20 5b 6f 70    #.  set fd [op
2390: 65 6e 20 74 65 73 74 2e 64 62 20 72 2b 5d 0a 20  en test.db r+]. 
23a0: 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64 20   fconfigure $fd 
23b0: 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e  -translation bin
23c0: 61 72 79 20 2d 65 6e 63 6f 64 69 6e 67 20 62 69  ary -encoding bi
23d0: 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64 20  nary.  seek $fd 
23e0: 5b 65 78 70 72 20 31 30 32 34 2b 38 5d 0a 20 20  [expr 1024+8].  
23f0: 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20  puts -nonewline 
2400: 24 66 64 20 22 5c 78 30 33 5c 78 31 34 22 0a 20  $fd "\x03\x14". 
2410: 20 63 6c 6f 73 65 20 24 66 64 0a 20 20 0a 20 20   close $fd.  .  
2420: 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e  sqlite3 db test.
2430: 64 62 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 72  db.  do_test cor
2440: 72 75 70 74 2d 37 2e 32 20 7b 0a 20 20 20 20 65  rupt-7.2 {.    e
2450: 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 20 20  xecsql { .      
2460: 55 50 44 41 54 45 20 74 31 20 53 45 54 20 78 20  UPDATE t1 SET x 
2470: 3d 20 58 27 38 37 30 34 30 30 30 32 30 30 30 33  = X'870400020003
2480: 30 30 30 34 30 30 30 35 30 30 30 36 30 30 30 37  0004000500060007
2490: 30 30 30 38 30 30 30 39 30 30 30 41 27 20 0a 20  00080009000A' . 
24a0: 20 20 20 20 20 57 48 45 52 45 20 72 6f 77 69 64       WHERE rowid
24b0: 20 3d 20 31 30 3b 0a 20 20 20 20 7d 0a 20 20 7d   = 10;.    }.  }
24c0: 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f   {}.  do_test co
24d0: 72 72 75 70 74 2d 37 2e 33 20 7b 0a 20 20 20 20  rrupt-7.3 {.    
24e0: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 20  catchsql {.     
24f0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2500: 56 41 4c 55 45 53 28 58 27 30 30 30 31 30 30 30  VALUES(X'0001000
2510: 32 30 30 30 33 30 30 30 34 30 30 30 35 30 30 30  2000300040005000
2520: 36 30 30 30 37 30 30 30 38 30 30 30 39 30 30 30  6000700080009000
2530: 41 27 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b  A');.    }.  } {
2540: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
2550: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
2560: 6d 65 64 7d 7d 0a 7d 0a 0a 64 62 20 63 6c 6f 73  med}}.}..db clos
2570: 65 0a 66 6f 72 63 65 64 65 6c 65 74 65 20 74 65  e.forcedelete te
2580: 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d 6a 6f  st.db test.db-jo
2590: 75 72 6e 61 6c 0a 64 6f 5f 74 65 73 74 20 63 6f  urnal.do_test co
25a0: 72 72 75 70 74 2d 38 2e 31 20 7b 0a 20 20 73 71  rrupt-8.1 {.  sq
25b0: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
25c0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
25d0: 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a   PRAGMA page_siz
25e0: 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 50 52  e = 1024;.    PR
25f0: 41 47 4d 41 20 73 65 63 75 72 65 5f 64 65 6c 65  AGMA secure_dele
2600: 74 65 20 3d 20 6f 6e 3b 0a 20 20 20 20 50 52 41  te = on;.    PRA
2610: 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20  GMA auto_vacuum 
2620: 3d 20 30 3b 0a 20 20 20 20 43 52 45 41 54 45 20  = 0;.    CREATE 
2630: 54 41 42 4c 45 20 74 31 28 78 20 49 4e 54 45 47  TABLE t1(x INTEG
2640: 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20  ER PRIMARY KEY, 
2650: 79 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  y);.    INSERT I
2660: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 35 2c  NTO t1 VALUES(5,
2670: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 39 30 30   randomblob(1900
2680: 29 29 3b 0a 20 20 7d 0a 0a 20 20 68 65 78 69 6f  ));.  }..  hexio
2690: 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 32  _write test.db 2
26a0: 30 34 34 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65  044 [hexio_rende
26b0: 72 5f 69 6e 74 33 32 20 32 5d 0a 20 20 68 65 78  r_int32 2].  hex
26c0: 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62  io_write test.db
26d0: 20 32 34 20 20 20 5b 68 65 78 69 6f 5f 72 65 6e   24   [hexio_ren
26e0: 64 65 72 5f 69 6e 74 33 32 20 34 35 5d 0a 0a 20  der_int32 45].. 
26f0: 20 63 61 74 63 68 73 71 6c 20 7b 20 49 4e 53 45   catchsql { INSE
2700: 52 54 20 4f 52 20 52 45 50 4c 41 43 45 20 49 4e  RT OR REPLACE IN
2710: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 35 2c 20  TO t1 VALUES(5, 
2720: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 39 30 30 29  randomblob(1900)
2730: 29 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61  ) }.} {1 {databa
2740: 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73  se disk image is
2750: 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64 62   malformed}}..db
2760: 20 63 6c 6f 73 65 0a 66 6f 72 63 65 64 65 6c 65   close.forcedele
2770: 74 65 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e  te test.db test.
2780: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 64 6f 5f 74 65  db-journal.do_te
2790: 73 74 20 63 6f 72 72 75 70 74 2d 38 2e 32 20 7b  st corrupt-8.2 {
27a0: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
27b0: 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20  st.db.  execsql 
27c0: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67  {.    PRAGMA pag
27d0: 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20  e_size = 1024;. 
27e0: 20 20 20 50 52 41 47 4d 41 20 73 65 63 75 72 65     PRAGMA secure
27f0: 5f 64 65 6c 65 74 65 20 3d 20 6f 6e 3b 0a 20 20  _delete = on;.  
2800: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
2810: 63 75 75 6d 20 3d 20 30 3b 0a 20 20 20 20 43 52  cuum = 0;.    CR
2820: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78 20  EATE TABLE t1(x 
2830: 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20  INTEGER PRIMARY 
2840: 4b 45 59 2c 20 79 29 3b 0a 20 20 20 20 49 4e 53  KEY, y);.    INS
2850: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
2860: 45 53 28 35 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  ES(5, randomblob
2870: 28 39 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45  (900));.    INSE
2880: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
2890: 53 28 36 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  S(6, randomblob(
28a0: 39 30 30 29 29 3b 0a 20 20 7d 0a 0a 20 20 68 65  900));.  }..  he
28b0: 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64  xio_write test.d
28c0: 62 20 32 30 34 37 20 46 46 0a 20 20 68 65 78 69  b 2047 FF.  hexi
28d0: 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20  o_write test.db 
28e0: 32 34 20 20 20 5b 68 65 78 69 6f 5f 72 65 6e 64  24   [hexio_rend
28f0: 65 72 5f 69 6e 74 33 32 20 34 35 5d 0a 0a 20 20  er_int32 45]..  
2900: 63 61 74 63 68 73 71 6c 20 7b 20 49 4e 53 45 52  catchsql { INSER
2910: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
2920: 28 34 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31  (4, randomblob(1
2930: 39 30 30 29 29 20 7d 0a 7d 20 7b 31 20 7b 64 61  900)) }.} {1 {da
2940: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
2950: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
2960: 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a        ..finish_test.