/ Hex Artifact Content
Login

Artifact fc6a891716139665dae0073b6945e3670bf92568:


0000: 23 20 32 30 30 38 20 4d 61 79 20 36 0a 23 0a 23  # 2008 May 6.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63   The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20  laims copyright 
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63  to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f  ode.  In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u 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 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69  **.# This file i
0170: 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65 73  mplements regres
0180: 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20 53  sion tests for S
0190: 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 0a 23  QLite library..#
01a0: 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 6d 70  .# This file imp
01b0: 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20 74 6f  lements tests to
01c0: 20 6d 61 6b 65 20 73 75 72 65 20 53 51 4c 69 74   make sure SQLit
01d0: 65 20 64 6f 65 73 20 6e 6f 74 20 63 72 61 73 68  e does not crash
01e0: 20 6f 72 0a 23 20 73 65 67 66 61 75 6c 74 20 69   or.# segfault i
01f0: 66 20 69 74 20 73 65 65 73 20 61 20 63 6f 72 72  f it sees a corr
0200: 75 70 74 20 64 61 74 61 62 61 73 65 20 66 69 6c  upt database fil
0210: 65 2e 20 20 49 74 20 73 70 65 63 69 66 69 63 61  e.  It specifica
0220: 6c 6c 79 20 66 6f 63 75 73 65 73 0a 23 20 6f 6e  lly focuses.# on
0230: 20 63 6f 72 72 75 70 74 20 53 65 72 69 61 6c 54   corrupt SerialT
0240: 79 70 65 4c 65 6e 20 76 61 6c 75 65 73 2e 0a 23  ypeLen values..#
0250: 0a 23 20 24 49 64 3a 20 63 6f 72 72 75 70 74 36  .# $Id: corrupt6
0260: 2e 74 65 73 74 2c 76 20 31 2e 32 20 32 30 30 38  .test,v 1.2 2008
0270: 2f 30 35 2f 31 39 20 31 35 3a 33 37 3a 31 30 20  /05/19 15:37:10 
0280: 73 68 61 6e 65 20 45 78 70 20 24 0a 0a 73 65 74  shane Exp $..set
0290: 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64   testdir [file d
02a0: 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73  irname $argv0].s
02b0: 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74  ource $testdir/t
02c0: 65 73 74 65 72 2e 74 63 6c 0a 0a 23 20 54 68 69  ester.tcl..# Thi
02d0: 73 20 6d 6f 64 75 6c 65 20 75 73 65 73 20 68 61  s module uses ha
02e0: 72 64 2d 63 6f 64 65 64 20 6f 66 66 73 65 74 73  rd-coded offsets
02f0: 20 77 68 69 63 68 20 64 6f 20 6e 6f 74 20 77 6f   which do not wo
0300: 72 6b 20 69 66 20 74 68 65 20 72 65 73 65 72 76  rk if the reserv
0310: 65 64 5f 62 79 74 65 73 0a 23 20 76 61 6c 75 65  ed_bytes.# value
0320: 20 69 73 20 6e 6f 6e 7a 65 72 6f 2e 0a 69 66 20   is nonzero..if 
0330: 7b 5b 6e 6f 6e 7a 65 72 6f 5f 72 65 73 65 72 76  {[nonzero_reserv
0340: 65 64 5f 62 79 74 65 73 5d 7d 20 7b 66 69 6e 69  ed_bytes]} {fini
0350: 73 68 5f 74 65 73 74 3b 20 72 65 74 75 72 6e 3b  sh_test; return;
0360: 7d 0a 0a 23 20 54 68 65 73 65 20 74 65 73 74 73  }..# These tests
0370: 20 64 65 61 6c 20 77 69 74 68 20 63 6f 72 72 75   deal with corru
0380: 70 74 20 64 61 74 61 62 61 73 65 20 66 69 6c 65  pt database file
0390: 73 0a 23 0a 64 61 74 61 62 61 73 65 5f 6d 61 79  s.#.database_may
03a0: 5f 62 65 5f 63 6f 72 72 75 70 74 0a 0a 23 20 57  _be_corrupt..# W
03b0: 65 20 6d 75 73 74 20 68 61 76 65 20 74 68 65 20  e must have the 
03c0: 70 61 67 65 5f 73 69 7a 65 20 70 72 61 67 6d 61  page_size pragma
03d0: 20 66 6f 72 20 74 68 65 73 65 20 74 65 73 74 73   for these tests
03e0: 20 74 6f 20 77 6f 72 6b 2e 0a 23 0a 69 66 63 61   to work..#.ifca
03f0: 70 61 62 6c 65 20 21 70 61 67 65 72 5f 70 72 61  pable !pager_pra
0400: 67 6d 61 73 20 7b 0a 20 20 66 69 6e 69 73 68 5f  gmas {.  finish_
0410: 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a  test.  return.}.
0420: 0a 23 20 43 72 65 61 74 65 20 61 20 73 69 6d 70  .# Create a simp
0430: 6c 65 2c 20 73 6d 61 6c 6c 20 64 61 74 61 62 61  le, small databa
0440: 73 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f  se..#.do_test co
0450: 72 72 75 70 74 36 2d 31 2e 31 20 7b 0a 20 20 65  rrupt6-1.1 {.  e
0460: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41  xecsql {.    PRA
0470: 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 3d  GMA auto_vacuum=
0480: 4f 46 46 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  OFF;.    PRAGMA 
0490: 70 61 67 65 5f 73 69 7a 65 3d 31 30 32 34 3b 0a  page_size=1024;.
04a0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
04b0: 20 74 31 28 78 29 3b 0a 20 20 20 20 49 4e 53 45   t1(x);.    INSE
04c0: 52 54 20 49 4e 54 4f 20 74 31 28 78 29 20 56 41  RT INTO t1(x) VA
04d0: 4c 55 45 53 28 27 76 61 72 69 6e 74 33 32 2d 30  LUES('varint32-0
04e0: 31 32 33 34 35 36 37 38 39 30 31 32 33 34 35 36  1234567890123456
04f0: 37 38 39 30 31 32 33 34 35 36 37 38 39 30 31 32  7890123456789012
0500: 33 34 35 36 37 38 39 30 31 32 33 34 35 36 37 38  3456789012345678
0510: 39 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  9');.    INSERT 
0520: 49 4e 54 4f 20 74 31 28 78 29 20 56 41 4c 55 45  INTO t1(x) VALUE
0530: 53 28 27 76 61 72 69 6e 74 33 32 2d 30 31 32 33  S('varint32-0123
0540: 34 35 36 37 38 39 30 31 32 33 34 35 36 37 38 39  4567890123456789
0550: 30 31 32 33 34 35 36 37 38 39 30 31 32 33 34 35  0123456789012345
0560: 36 37 38 39 30 31 32 33 34 35 36 37 38 39 27 29  67890123456789')
0570: 3b 0a 20 20 7d 0a 20 20 66 69 6c 65 20 73 69 7a  ;.  }.  file siz
0580: 65 20 74 65 73 74 2e 64 62 0a 7d 20 5b 65 78 70  e test.db.} [exp
0590: 72 20 7b 31 30 32 34 2a 32 7d 5d 0a 0a 23 20 56  r {1024*2}]..# V
05a0: 65 72 69 66 79 20 74 68 61 74 20 74 68 65 20 66  erify that the f
05b0: 69 6c 65 20 66 6f 72 6d 61 74 20 69 73 20 61 73  ile format is as
05c0: 20 77 65 20 65 78 70 65 63 74 2e 20 20 54 68 65   we expect.  The
05d0: 20 70 61 67 65 20 73 69 7a 65 0a 23 20 73 68 6f   page size.# sho
05e0: 75 6c 64 20 62 65 20 31 30 32 34 20 62 79 74 65  uld be 1024 byte
05f0: 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72  s..#.do_test cor
0600: 72 75 70 74 36 2d 31 2e 32 20 7b 0a 20 20 68 65  rupt6-1.2 {.  he
0610: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78  xio_get_int [hex
0620: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20  io_read test.db 
0630: 31 36 20 32 5d 0a 7d 20 31 30 32 34 20 20 20 3b  16 2].} 1024   ;
0640: 23 20 54 68 65 20 70 61 67 65 20 73 69 7a 65 20  # The page size 
0650: 69 73 20 31 30 32 34 0a 64 6f 5f 74 65 73 74 20  is 1024.do_test 
0660: 63 6f 72 72 75 70 74 36 2d 31 2e 33 20 7b 0a 20  corrupt6-1.3 {. 
0670: 20 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b   hexio_get_int [
0680: 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e  hexio_read test.
0690: 64 62 20 32 30 20 31 5d 0a 7d 20 30 20 20 20 20  db 20 1].} 0    
06a0: 20 20 3b 23 20 55 6e 75 73 65 64 20 62 79 74 65    ;# Unused byte
06b0: 73 20 70 65 72 20 70 61 67 65 20 69 73 20 30 0a  s per page is 0.
06c0: 0a 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b  .integrity_check
06d0: 20 63 6f 72 72 75 70 74 36 2d 31 2e 34 0a 0a 23   corrupt6-1.4..#
06e0: 20 56 65 72 69 66 79 20 53 65 72 69 61 6c 54 79   Verify SerialTy
06f0: 70 65 4c 65 6e 20 66 6f 72 20 66 69 72 73 74 20  peLen for first 
0700: 66 69 65 6c 64 20 6f 66 20 74 77 6f 20 72 65 63  field of two rec
0710: 6f 72 64 73 20 61 73 20 77 65 20 65 78 70 65 63  ords as we expec
0720: 74 2e 0a 23 20 53 65 72 69 61 6c 54 79 70 65 4c  t..# SerialTypeL
0730: 65 6e 20 3d 20 28 6c 65 6e 2a 32 2b 31 32 29 20  en = (len*2+12) 
0740: 3d 20 36 30 2a 32 2b 31 32 20 3d 20 31 33 32 0a  = 60*2+12 = 132.
0750: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36  do_test corrupt6
0760: 2d 31 2e 35 2e 31 20 7b 0a 20 20 68 65 78 69 6f  -1.5.1 {.  hexio
0770: 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20 31 39  _read test.db 19
0780: 32 33 20 32 0a 7d 20 38 31 30 33 20 20 20 20 20  23 2.} 8103     
0790: 20 3b 23 20 46 69 72 73 74 20 74 65 78 74 20 66   ;# First text f
07a0: 69 65 6c 64 20 73 69 7a 65 20 69 73 20 38 31 20  ield size is 81 
07b0: 30 33 20 3d 3d 20 31 33 31 0a 64 6f 5f 74 65 73  03 == 131.do_tes
07c0: 74 20 63 6f 72 72 75 70 74 36 2d 31 2e 35 2e 32  t corrupt6-1.5.2
07d0: 20 7b 0a 20 20 68 65 78 69 6f 5f 72 65 61 64 20   {.  hexio_read 
07e0: 74 65 73 74 2e 64 62 20 31 39 38 37 20 32 0a 7d  test.db 1987 2.}
07f0: 20 38 31 30 33 20 20 20 20 20 20 3b 23 20 53 65   8103      ;# Se
0800: 63 6f 6e 64 20 74 65 78 74 20 66 69 65 6c 64 20  cond text field 
0810: 73 69 7a 65 20 69 73 20 38 31 20 30 33 20 3d 3d  size is 81 03 ==
0820: 20 31 33 31 0a 0a 23 20 56 65 72 69 66 79 20 73   131..# Verify s
0830: 69 6d 70 6c 65 20 71 75 65 72 79 20 72 65 73 75  imple query resu
0840: 6c 74 73 20 61 73 20 65 78 70 65 63 74 65 64 2e  lts as expected.
0850: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
0860: 36 2d 31 2e 36 20 7b 0a 20 20 64 62 20 63 6c 6f  6-1.6 {.  db clo
0870: 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  se.  sqlite3 db 
0880: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
0890: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
08a0: 73 75 62 73 74 72 28 78 2c 31 2c 38 29 20 46 52  substr(x,1,8) FR
08b0: 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73  OM t1.  }.} [lis
08c0: 74 20 30 20 7b 76 61 72 69 6e 74 33 32 20 76 61  t 0 {varint32 va
08d0: 72 69 6e 74 33 32 7d 20 5d 0a 69 6e 74 65 67 72  rint32} ].integr
08e0: 69 74 79 5f 63 68 65 63 6b 20 63 6f 72 72 75 70  ity_check corrup
08f0: 74 36 2d 31 2e 37 0a 0a 23 20 41 64 6a 75 73 74  t6-1.7..# Adjust
0900: 20 76 61 6c 75 65 20 6f 66 20 72 65 63 6f 72 64   value of record
0910: 20 31 20 2f 20 66 69 65 6c 64 20 31 20 53 65 72   1 / field 1 Ser
0920: 69 61 6c 54 79 70 65 4c 65 6e 20 61 6e 64 20 73  ialTypeLen and s
0930: 65 65 20 69 66 20 74 68 65 0a 23 20 63 6f 72 72  ee if the.# corr
0940: 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63 74  uption is detect
0950: 65 64 2e 0a 23 20 49 6e 63 72 65 61 73 65 20 53  ed..# Increase S
0960: 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 62 79 20  erialTypeLen by 
0970: 32 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  2..do_test corru
0980: 70 74 36 2d 31 2e 38 2e 31 20 7b 0a 20 20 64 62  pt6-1.8.1 {.  db
0990: 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77   close.  hexio_w
09a0: 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 39 32  rite test.db 192
09b0: 33 20 38 31 30 35 0a 20 20 73 71 6c 69 74 65 33  3 8105.  sqlite3
09c0: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
09d0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
09e0: 45 43 54 20 73 75 62 73 74 72 28 78 2c 31 2c 38  ECT substr(x,1,8
09f0: 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20  ) FROM t1.  }.} 
0a00: 5b 6c 69 73 74 20 31 20 7b 64 61 74 61 62 61 73  [list 1 {databas
0a10: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
0a20: 6d 61 6c 66 6f 72 6d 65 64 7d 5d 0a 0a 23 20 41  malformed}]..# A
0a30: 64 6a 75 73 74 20 76 61 6c 75 65 20 6f 66 20 72  djust value of r
0a40: 65 63 6f 72 64 20 31 20 2f 20 66 69 65 6c 64 20  ecord 1 / field 
0a50: 31 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20  1 SerialTypeLen 
0a60: 61 6e 64 20 73 65 65 20 69 66 20 74 68 65 0a 23  and see if the.#
0a70: 20 63 6f 72 72 75 70 74 69 6f 6e 20 69 73 20 64   corruption is d
0a80: 65 74 65 63 74 65 64 2e 0a 23 20 44 65 63 72 65  etected..# Decre
0a90: 61 73 65 20 53 65 72 69 61 6c 54 79 70 65 4c 65  ase SerialTypeLe
0aa0: 6e 20 62 79 20 32 2e 0a 64 6f 5f 74 65 73 74 20  n by 2..do_test 
0ab0: 63 6f 72 72 75 70 74 36 2d 31 2e 38 2e 32 20 7b  corrupt6-1.8.2 {
0ac0: 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 68 65  .  db close.  he
0ad0: 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64  xio_write test.d
0ae0: 62 20 31 39 32 33 20 38 31 30 31 0a 20 20 73 71  b 1923 8101.  sq
0af0: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
0b00: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
0b10: 20 20 53 45 4c 45 43 54 20 73 75 62 73 74 72 28    SELECT substr(
0b20: 78 2c 31 2c 38 29 20 46 52 4f 4d 20 74 31 0a 20  x,1,8) FROM t1. 
0b30: 20 7d 0a 7d 20 5b 6c 69 73 74 20 31 20 7b 64 61   }.} [list 1 {da
0b40: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
0b50: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 5d  e is malformed}]
0b60: 0a 0a 23 20 50 75 74 20 76 61 6c 75 65 20 6f 66  ..# Put value of
0b70: 20 72 65 63 6f 72 64 20 31 20 2f 20 66 69 65 6c   record 1 / fiel
0b80: 64 20 31 20 53 65 72 69 61 6c 54 79 70 65 4c 65  d 1 SerialTypeLe
0b90: 6e 20 62 61 63 6b 2e 0a 64 6f 5f 74 65 73 74 20  n back..do_test 
0ba0: 63 6f 72 72 75 70 74 36 2d 31 2e 38 2e 33 20 7b  corrupt6-1.8.3 {
0bb0: 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 68 65  .  db close.  he
0bc0: 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64  xio_write test.d
0bd0: 62 20 31 39 32 33 20 38 31 30 33 0a 20 20 73 71  b 1923 8103.  sq
0be0: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
0bf0: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
0c00: 20 20 53 45 4c 45 43 54 20 73 75 62 73 74 72 28    SELECT substr(
0c10: 78 2c 31 2c 38 29 20 46 52 4f 4d 20 74 31 0a 20  x,1,8) FROM t1. 
0c20: 20 7d 0a 7d 20 5b 6c 69 73 74 20 30 20 7b 76 61   }.} [list 0 {va
0c30: 72 69 6e 74 33 32 20 76 61 72 69 6e 74 33 32 7d  rint32 varint32}
0c40: 20 5d 0a 69 6e 74 65 67 72 69 74 79 5f 63 68 65   ].integrity_che
0c50: 63 6b 20 63 6f 72 72 75 70 74 36 2d 31 2e 38 2e  ck corrupt6-1.8.
0c60: 34 0a 0a 23 20 41 64 6a 75 73 74 20 76 61 6c 75  4..# Adjust valu
0c70: 65 20 6f 66 20 72 65 63 6f 72 64 20 32 20 2f 20  e of record 2 / 
0c80: 66 69 65 6c 64 20 31 20 53 65 72 69 61 6c 54 79  field 1 SerialTy
0c90: 70 65 4c 65 6e 20 61 6e 64 20 73 65 65 20 69 66  peLen and see if
0ca0: 20 74 68 65 0a 23 20 63 6f 72 72 75 70 74 69 6f   the.# corruptio
0cb0: 6e 20 69 73 20 64 65 74 65 63 74 65 64 2e 0a 23  n is detected..#
0cc0: 20 49 6e 63 72 65 61 73 65 20 53 65 72 69 61 6c   Increase Serial
0cd0: 54 79 70 65 4c 65 6e 20 62 79 20 32 2e 0a 64 6f  TypeLen by 2..do
0ce0: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36 2d 31  _test corrupt6-1
0cf0: 2e 39 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73  .9.1 {.  db clos
0d00: 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20  e.  hexio_write 
0d10: 74 65 73 74 2e 64 62 20 31 39 38 37 20 38 31 30  test.db 1987 810
0d20: 35 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74  5.  sqlite3 db t
0d30: 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71  est.db.  catchsq
0d40: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 73  l {.    SELECT s
0d50: 75 62 73 74 72 28 78 2c 31 2c 38 29 20 46 52 4f  ubstr(x,1,8) FRO
0d60: 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74  M t1.  }.} [list
0d70: 20 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73   1 {database dis
0d80: 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f  k image is malfo
0d90: 72 6d 65 64 7d 5d 0a 0a 23 20 41 64 6a 75 73 74  rmed}]..# Adjust
0da0: 20 76 61 6c 75 65 20 6f 66 20 72 65 63 6f 72 64   value of record
0db0: 20 32 20 2f 20 66 69 65 6c 64 20 32 20 53 65 72   2 / field 2 Ser
0dc0: 69 61 6c 54 79 70 65 4c 65 6e 20 61 6e 64 20 73  ialTypeLen and s
0dd0: 65 65 20 69 66 20 74 68 65 0a 23 20 63 6f 72 72  ee if the.# corr
0de0: 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63 74  uption is detect
0df0: 65 64 2e 0a 23 20 44 65 63 72 65 61 73 65 20 53  ed..# Decrease S
0e00: 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 62 79 20  erialTypeLen by 
0e10: 32 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  2..do_test corru
0e20: 70 74 36 2d 31 2e 39 2e 32 20 7b 0a 20 20 64 62  pt6-1.9.2 {.  db
0e30: 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77   close.  hexio_w
0e40: 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 39 38  rite test.db 198
0e50: 37 20 38 31 30 31 0a 20 20 73 71 6c 69 74 65 33  7 8101.  sqlite3
0e60: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
0e70: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
0e80: 45 43 54 20 73 75 62 73 74 72 28 78 2c 31 2c 38  ECT substr(x,1,8
0e90: 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20  ) FROM t1.  }.} 
0ea0: 5b 6c 69 73 74 20 31 20 7b 64 61 74 61 62 61 73  [list 1 {databas
0eb0: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
0ec0: 6d 61 6c 66 6f 72 6d 65 64 7d 5d 0a 0a 23 20 50  malformed}]..# P
0ed0: 75 74 20 76 61 6c 75 65 20 6f 66 20 72 65 63 6f  ut value of reco
0ee0: 72 64 20 31 20 2f 20 66 69 65 6c 64 20 32 20 53  rd 1 / field 2 S
0ef0: 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 62 61 63  erialTypeLen bac
0f00: 6b 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  k..do_test corru
0f10: 70 74 36 2d 31 2e 39 2e 33 20 7b 0a 20 20 64 62  pt6-1.9.3 {.  db
0f20: 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77   close.  hexio_w
0f30: 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 39 38  rite test.db 198
0f40: 37 20 38 31 30 33 0a 20 20 73 71 6c 69 74 65 33  7 8103.  sqlite3
0f50: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
0f60: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
0f70: 45 43 54 20 73 75 62 73 74 72 28 78 2c 31 2c 38  ECT substr(x,1,8
0f80: 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20  ) FROM t1.  }.} 
0f90: 5b 6c 69 73 74 20 30 20 7b 76 61 72 69 6e 74 33  [list 0 {varint3
0fa0: 32 20 76 61 72 69 6e 74 33 32 7d 20 5d 0a 69 6e  2 varint32} ].in
0fb0: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20 63 6f  tegrity_check co
0fc0: 72 72 75 70 74 36 2d 31 2e 39 2e 34 0a 0a 23 20  rrupt6-1.9.4..# 
0fd0: 41 64 6a 75 73 74 20 76 61 6c 75 65 20 6f 66 20  Adjust value of 
0fe0: 72 65 63 6f 72 64 20 31 20 2f 20 66 69 65 6c 64  record 1 / field
0ff0: 20 31 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e   1 SerialTypeLen
1000: 20 61 6e 64 20 73 65 65 20 69 66 20 74 68 65 0a   and see if the.
1010: 23 20 63 6f 72 72 75 70 74 69 6f 6e 20 69 73 20  # corruption is 
1020: 64 65 74 65 63 74 65 64 2e 0a 23 20 53 65 74 20  detected..# Set 
1030: 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 74 6f  SerialTypeLen to
1040: 20 46 46 20 37 46 20 28 32 20 62 79 74 65 73 29   FF 7F (2 bytes)
1050: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
1060: 36 2d 31 2e 31 30 2e 31 20 7b 0a 20 20 64 62 20  6-1.10.1 {.  db 
1070: 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72  close.  hexio_wr
1080: 69 74 65 20 74 65 73 74 2e 64 62 20 31 39 32 33  ite test.db 1923
1090: 20 46 46 37 46 0a 20 20 73 71 6c 69 74 65 33 20   FF7F.  sqlite3 
10a0: 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74  db test.db.  cat
10b0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  chsql {.    SELE
10c0: 43 54 20 73 75 62 73 74 72 28 78 2c 31 2c 38 29  CT substr(x,1,8)
10d0: 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b   FROM t1.  }.} [
10e0: 6c 69 73 74 20 31 20 7b 64 61 74 61 62 61 73 65  list 1 {database
10f0: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
1100: 61 6c 66 6f 72 6d 65 64 7d 5d 0a 0a 23 20 41 64  alformed}]..# Ad
1110: 6a 75 73 74 20 76 61 6c 75 65 20 6f 66 20 72 65  just value of re
1120: 63 6f 72 64 20 31 20 2f 20 66 69 65 6c 64 20 31  cord 1 / field 1
1130: 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 61   SerialTypeLen a
1140: 6e 64 20 73 65 65 20 69 66 20 74 68 65 0a 23 20  nd see if the.# 
1150: 63 6f 72 72 75 70 74 69 6f 6e 20 69 73 20 64 65  corruption is de
1160: 74 65 63 74 65 64 2e 0a 23 20 53 65 74 20 53 65  tected..# Set Se
1170: 72 69 61 6c 54 79 70 65 4c 65 6e 20 74 6f 20 46  rialTypeLen to F
1180: 46 20 46 46 20 37 46 20 28 33 20 62 79 74 65 73  F FF 7F (3 bytes
1190: 29 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  ).do_test corrup
11a0: 74 36 2d 31 2e 31 30 2e 32 20 7b 0a 20 20 64 62  t6-1.10.2 {.  db
11b0: 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77   close.  hexio_w
11c0: 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 39 32  rite test.db 192
11d0: 33 20 46 46 46 46 37 46 0a 20 20 73 71 6c 69 74  3 FFFF7F.  sqlit
11e0: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e3 db test.db.  
11f0: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53  catchsql {.    S
1200: 45 4c 45 43 54 20 73 75 62 73 74 72 28 78 2c 31  ELECT substr(x,1
1210: 2c 38 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a  ,8) FROM t1.  }.
1220: 7d 20 5b 6c 69 73 74 20 31 20 7b 64 61 74 61 62  } [list 1 {datab
1230: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
1240: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 5d 0a 0a 23  s malformed}]..#
1250: 20 41 64 6a 75 73 74 20 76 61 6c 75 65 20 6f 66   Adjust value of
1260: 20 72 65 63 6f 72 64 20 31 20 2f 20 66 69 65 6c   record 1 / fiel
1270: 64 20 31 20 53 65 72 69 61 6c 54 79 70 65 4c 65  d 1 SerialTypeLe
1280: 6e 20 61 6e 64 20 73 65 65 20 69 66 20 74 68 65  n and see if the
1290: 0a 23 20 63 6f 72 72 75 70 74 69 6f 6e 20 69 73  .# corruption is
12a0: 20 64 65 74 65 63 74 65 64 2e 0a 23 20 53 65 74   detected..# Set
12b0: 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 74   SerialTypeLen t
12c0: 6f 20 46 46 20 46 46 20 46 46 20 37 46 20 28 34  o FF FF FF 7F (4
12d0: 20 62 79 74 65 73 29 0a 64 6f 5f 74 65 73 74 20   bytes).do_test 
12e0: 63 6f 72 72 75 70 74 36 2d 31 2e 31 30 2e 33 20  corrupt6-1.10.3 
12f0: 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 68  {.  db close.  h
1300: 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e  exio_write test.
1310: 64 62 20 31 39 32 33 20 46 46 46 46 46 46 37 46  db 1923 FFFFFF7F
1320: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
1330: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  st.db.  catchsql
1340: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 73 75   {.    SELECT su
1350: 62 73 74 72 28 78 2c 31 2c 38 29 20 46 52 4f 4d  bstr(x,1,8) FROM
1360: 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20   t1.  }.} [list 
1370: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
1380: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
1390: 6d 65 64 7d 5d 0a 0a 23 20 41 64 6a 75 73 74 20  med}]..# Adjust 
13a0: 76 61 6c 75 65 20 6f 66 20 72 65 63 6f 72 64 20  value of record 
13b0: 31 20 2f 20 66 69 65 6c 64 20 31 20 53 65 72 69  1 / field 1 Seri
13c0: 61 6c 54 79 70 65 4c 65 6e 20 61 6e 64 20 73 65  alTypeLen and se
13d0: 65 20 69 66 20 74 68 65 0a 23 20 63 6f 72 72 75  e if the.# corru
13e0: 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63 74 65  ption is detecte
13f0: 64 2e 0a 23 20 53 65 74 20 53 65 72 69 61 6c 54  d..# Set SerialT
1400: 79 70 65 4c 65 6e 20 74 6f 20 46 46 20 46 46 20  ypeLen to FF FF 
1410: 46 46 20 46 46 20 37 46 20 28 35 20 62 79 74 65  FF FF 7F (5 byte
1420: 73 29 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  s).do_test corru
1430: 70 74 36 2d 31 2e 31 30 2e 34 20 7b 0a 20 20 64  pt6-1.10.4 {.  d
1440: 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f  b close.  hexio_
1450: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 39  write test.db 19
1460: 32 33 20 46 46 46 46 46 46 46 46 37 46 0a 20 20  23 FFFFFFFF7F.  
1470: 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e  sqlite3 db test.
1480: 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a  db.  catchsql {.
1490: 20 20 20 20 53 45 4c 45 43 54 20 73 75 62 73 74      SELECT subst
14a0: 72 28 78 2c 31 2c 38 29 20 46 52 4f 4d 20 74 31  r(x,1,8) FROM t1
14b0: 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 31 20 7b  .  }.} [list 1 {
14c0: 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d  database disk im
14d0: 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64  age is malformed
14e0: 7d 5d 0a 0a 23 20 41 64 6a 75 73 74 20 76 61 6c  }]..# Adjust val
14f0: 75 65 20 6f 66 20 72 65 63 6f 72 64 20 31 20 2f  ue of record 1 /
1500: 20 66 69 65 6c 64 20 31 20 53 65 72 69 61 6c 54   field 1 SerialT
1510: 79 70 65 4c 65 6e 20 61 6e 64 20 73 65 65 20 69  ypeLen and see i
1520: 66 20 74 68 65 0a 23 20 63 6f 72 72 75 70 74 69  f the.# corrupti
1530: 6f 6e 20 69 73 20 64 65 74 65 63 74 65 64 2e 0a  on is detected..
1540: 23 20 53 65 74 20 53 65 72 69 61 6c 54 79 70 65  # Set SerialType
1550: 4c 65 6e 20 74 6f 20 46 46 20 46 46 20 46 46 20  Len to FF FF FF 
1560: 46 46 20 46 46 20 37 46 20 28 36 20 62 79 74 65  FF FF 7F (6 byte
1570: 73 2c 20 61 6e 64 20 6f 76 65 72 66 6c 6f 77 73  s, and overflows
1580: 29 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  )..do_test corru
1590: 70 74 36 2d 31 2e 31 30 2e 35 20 7b 0a 20 20 64  pt6-1.10.5 {.  d
15a0: 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f  b close.  hexio_
15b0: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 39  write test.db 19
15c0: 32 33 20 46 46 46 46 46 46 46 46 46 46 37 46 0a  23 FFFFFFFFFF7F.
15d0: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
15e0: 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20  t.db.  catchsql 
15f0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 73 75 62  {.    SELECT sub
1600: 73 74 72 28 78 2c 31 2c 38 29 20 46 52 4f 4d 20  str(x,1,8) FROM 
1610: 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 31  t1.  }.} [list 1
1620: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
1630: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
1640: 65 64 7d 5d 0a 0a 23 20 41 64 6a 75 73 74 20 76  ed}]..# Adjust v
1650: 61 6c 75 65 20 6f 66 20 72 65 63 6f 72 64 20 31  alue of record 1
1660: 20 2f 20 66 69 65 6c 64 20 31 20 53 65 72 69 61   / field 1 Seria
1670: 6c 54 79 70 65 4c 65 6e 20 61 6e 64 20 73 65 65  lTypeLen and see
1680: 20 69 66 20 74 68 65 0a 23 20 63 6f 72 72 75 70   if the.# corrup
1690: 74 69 6f 6e 20 69 73 20 64 65 74 65 63 74 65 64  tion is detected
16a0: 2e 0a 23 20 53 65 74 20 53 65 72 69 61 6c 54 79  ..# Set SerialTy
16b0: 70 65 4c 65 6e 20 74 6f 20 46 46 20 46 46 20 46  peLen to FF FF F
16c0: 46 20 46 46 20 46 46 20 46 46 20 37 46 20 28 37  F FF FF FF 7F (7
16d0: 20 62 79 74 65 73 2c 20 61 6e 64 20 6f 76 65 72   bytes, and over
16e0: 66 6c 6f 77 73 29 2e 0a 64 6f 5f 74 65 73 74 20  flows)..do_test 
16f0: 63 6f 72 72 75 70 74 36 2d 31 2e 31 30 2e 36 20  corrupt6-1.10.6 
1700: 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 68  {.  db close.  h
1710: 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e  exio_write test.
1720: 64 62 20 31 39 32 33 20 46 46 46 46 46 46 46 46  db 1923 FFFFFFFF
1730: 46 46 46 46 37 46 0a 20 20 73 71 6c 69 74 65 33  FFFF7F.  sqlite3
1740: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
1750: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
1760: 45 43 54 20 73 75 62 73 74 72 28 78 2c 31 2c 38  ECT substr(x,1,8
1770: 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20  ) FROM t1.  }.} 
1780: 5b 6c 69 73 74 20 31 20 7b 64 61 74 61 62 61 73  [list 1 {databas
1790: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
17a0: 6d 61 6c 66 6f 72 6d 65 64 7d 5d 0a 0a 23 20 41  malformed}]..# A
17b0: 64 6a 75 73 74 20 76 61 6c 75 65 20 6f 66 20 72  djust value of r
17c0: 65 63 6f 72 64 20 31 20 2f 20 66 69 65 6c 64 20  ecord 1 / field 
17d0: 31 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20  1 SerialTypeLen 
17e0: 61 6e 64 20 73 65 65 20 69 66 20 74 68 65 0a 23  and see if the.#
17f0: 20 63 6f 72 72 75 70 74 69 6f 6e 20 69 73 20 64   corruption is d
1800: 65 74 65 63 74 65 64 2e 0a 23 20 53 65 74 20 53  etected..# Set S
1810: 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 74 6f 20  erialTypeLen to 
1820: 46 46 20 46 46 20 46 46 20 46 46 20 46 46 20 46  FF FF FF FF FF F
1830: 46 20 46 46 20 37 46 20 28 38 20 62 79 74 65 73  F FF 7F (8 bytes
1840: 2c 20 61 6e 64 20 6f 76 65 72 66 6c 6f 77 73 29  , and overflows)
1850: 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  ..do_test corrup
1860: 74 36 2d 31 2e 31 30 2e 37 20 7b 0a 20 20 64 62  t6-1.10.7 {.  db
1870: 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77   close.  hexio_w
1880: 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 39 32  rite test.db 192
1890: 33 20 46 46 46 46 46 46 46 46 46 46 46 46 46 46  3 FFFFFFFFFFFFFF
18a0: 37 46 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  7F.  sqlite3 db 
18b0: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
18c0: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
18d0: 73 75 62 73 74 72 28 78 2c 31 2c 38 29 20 46 52  substr(x,1,8) FR
18e0: 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73  OM t1.  }.} [lis
18f0: 74 20 31 20 7b 64 61 74 61 62 61 73 65 20 64 69  t 1 {database di
1900: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
1910: 6f 72 6d 65 64 7d 5d 0a 0a 23 20 41 64 6a 75 73  ormed}]..# Adjus
1920: 74 20 76 61 6c 75 65 20 6f 66 20 72 65 63 6f 72  t value of recor
1930: 64 20 31 20 2f 20 66 69 65 6c 64 20 31 20 53 65  d 1 / field 1 Se
1940: 72 69 61 6c 54 79 70 65 4c 65 6e 20 61 6e 64 20  rialTypeLen and 
1950: 73 65 65 20 69 66 20 74 68 65 0a 23 20 63 6f 72  see if the.# cor
1960: 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63  ruption is detec
1970: 74 65 64 2e 0a 23 20 53 65 74 20 53 65 72 69 61  ted..# Set Seria
1980: 6c 54 79 70 65 4c 65 6e 20 74 6f 20 46 46 20 46  lTypeLen to FF F
1990: 46 20 46 46 20 46 46 20 46 46 20 46 46 20 46 46  F FF FF FF FF FF
19a0: 20 46 46 20 37 46 20 28 39 20 62 79 74 65 73 2c   FF 7F (9 bytes,
19b0: 20 61 6e 64 20 6f 76 65 72 66 6c 6f 77 73 29 2e   and overflows).
19c0: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
19d0: 36 2d 31 2e 31 30 2e 38 20 7b 0a 20 20 64 62 20  6-1.10.8 {.  db 
19e0: 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72  close.  hexio_wr
19f0: 69 74 65 20 74 65 73 74 2e 64 62 20 31 39 32 33  ite test.db 1923
1a00: 20 46 46 46 46 46 46 46 46 46 46 46 46 46 46 46   FFFFFFFFFFFFFFF
1a10: 46 37 46 0a 20 20 73 71 6c 69 74 65 33 20 64 62  F7F.  sqlite3 db
1a20: 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68   test.db.  catch
1a30: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1a40: 20 73 75 62 73 74 72 28 78 2c 31 2c 38 29 20 46   substr(x,1,8) F
1a50: 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69  ROM t1.  }.} [li
1a60: 73 74 20 31 20 7b 64 61 74 61 62 61 73 65 20 64  st 1 {database d
1a70: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
1a80: 66 6f 72 6d 65 64 7d 5d 0a 0a 23 20 41 64 6a 75  formed}]..# Adju
1a90: 73 74 20 76 61 6c 75 65 20 6f 66 20 72 65 63 6f  st value of reco
1aa0: 72 64 20 31 20 2f 20 66 69 65 6c 64 20 31 20 53  rd 1 / field 1 S
1ab0: 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 61 6e 64  erialTypeLen and
1ac0: 20 73 65 65 20 69 66 20 74 68 65 0a 23 20 63 6f   see if the.# co
1ad0: 72 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65  rruption is dete
1ae0: 63 74 65 64 2e 0a 23 20 53 65 74 20 53 65 72 69  cted..# Set Seri
1af0: 61 6c 54 79 70 65 4c 65 6e 20 74 6f 20 46 46 46  alTypeLen to FFF
1b00: 46 20 46 46 20 46 46 20 46 46 20 46 46 20 46 46  F FF FF FF FF FF
1b10: 20 46 46 20 46 46 20 37 46 20 28 31 30 20 62 79   FF FF 7F (10 by
1b20: 74 65 73 2c 20 61 6e 64 20 6f 76 65 72 66 6c 6f  tes, and overflo
1b30: 77 73 29 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72  ws)..do_test cor
1b40: 72 75 70 74 36 2d 31 2e 31 30 2e 39 20 7b 0a 20  rupt6-1.10.9 {. 
1b50: 20 64 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69   db close.  hexi
1b60: 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20  o_write test.db 
1b70: 31 39 32 33 20 46 46 46 46 46 46 46 46 46 46 46  1923 FFFFFFFFFFF
1b80: 46 46 46 46 46 46 46 37 46 0a 20 20 73 71 6c 69  FFFFFFF7F.  sqli
1b90: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
1ba0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
1bb0: 53 45 4c 45 43 54 20 73 75 62 73 74 72 28 78 2c  SELECT substr(x,
1bc0: 31 2c 38 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d  1,8) FROM t1.  }
1bd0: 0a 7d 20 5b 6c 69 73 74 20 31 20 7b 64 61 74 61  .} [list 1 {data
1be0: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
1bf0: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 5d 0a 0a  is malformed}]..
1c00: 66 69 6e 69 73 68 5f 74 65 73 74 0a              finish_test.