/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact 269548d19427ac554c830763b1c5ea54a0252f80:


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 44 6f 20  ester.tcl..# Do 
02d0: 6e 6f 74 20 75 73 65 20 61 20 63 6f 64 65 63 20  not use a codec 
02e0: 66 6f 72 20 74 65 73 74 73 20 69 6e 20 74 68 69  for tests in thi
02f0: 73 20 66 69 6c 65 2c 20 61 73 20 74 68 65 20 64  s file, as the d
0300: 61 74 61 62 61 73 65 20 66 69 6c 65 20 69 73 0a  atabase file is.
0310: 23 20 6d 61 6e 69 70 75 6c 61 74 65 64 20 64 69  # manipulated di
0320: 72 65 63 74 6c 79 20 75 73 69 6e 67 20 74 63 6c  rectly using tcl
0330: 20 73 63 72 69 70 74 73 20 28 75 73 69 6e 67 20   scripts (using 
0340: 74 68 65 20 5b 68 65 78 69 6f 5f 77 72 69 74 65  the [hexio_write
0350: 5d 20 63 6f 6d 6d 61 6e 64 29 2e 0a 23 0a 64 6f  ] command)..#.do
0360: 5f 6e 6f 74 5f 75 73 65 5f 63 6f 64 65 63 0a 0a  _not_use_codec..
0370: 23 20 54 68 65 73 65 20 74 65 73 74 73 20 64 65  # These tests de
0380: 61 6c 20 77 69 74 68 20 63 6f 72 72 75 70 74 20  al with corrupt 
0390: 64 61 74 61 62 61 73 65 20 66 69 6c 65 73 0a 23  database files.#
03a0: 0a 64 61 74 61 62 61 73 65 5f 6d 61 79 5f 62 65  .database_may_be
03b0: 5f 63 6f 72 72 75 70 74 0a 0a 23 20 57 65 20 6d  _corrupt..# We m
03c0: 75 73 74 20 68 61 76 65 20 74 68 65 20 70 61 67  ust have the pag
03d0: 65 5f 73 69 7a 65 20 70 72 61 67 6d 61 20 66 6f  e_size pragma fo
03e0: 72 20 74 68 65 73 65 20 74 65 73 74 73 20 74 6f  r these tests to
03f0: 20 77 6f 72 6b 2e 0a 23 0a 69 66 63 61 70 61 62   work..#.ifcapab
0400: 6c 65 20 21 70 61 67 65 72 5f 70 72 61 67 6d 61  le !pager_pragma
0410: 73 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73  s {.  finish_tes
0420: 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 23 20  t.  return.}..# 
0430: 43 72 65 61 74 65 20 61 20 73 69 6d 70 6c 65 2c  Create a simple,
0440: 20 73 6d 61 6c 6c 20 64 61 74 61 62 61 73 65 2e   small database.
0450: 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  .#.do_test corru
0460: 70 74 36 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63  pt6-1.1 {.  exec
0470: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
0480: 20 61 75 74 6f 5f 76 61 63 75 75 6d 3d 4f 46 46   auto_vacuum=OFF
0490: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67  ;.    PRAGMA pag
04a0: 65 5f 73 69 7a 65 3d 31 30 32 34 3b 0a 20 20 20  e_size=1024;.   
04b0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
04c0: 28 78 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  (x);.    INSERT 
04d0: 49 4e 54 4f 20 74 31 28 78 29 20 56 41 4c 55 45  INTO t1(x) VALUE
04e0: 53 28 27 76 61 72 69 6e 74 33 32 2d 30 31 32 33  S('varint32-0123
04f0: 34 35 36 37 38 39 30 31 32 33 34 35 36 37 38 39  4567890123456789
0500: 30 31 32 33 34 35 36 37 38 39 30 31 32 33 34 35  0123456789012345
0510: 36 37 38 39 30 31 32 33 34 35 36 37 38 39 27 29  67890123456789')
0520: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0530: 4f 20 74 31 28 78 29 20 56 41 4c 55 45 53 28 27  O t1(x) VALUES('
0540: 76 61 72 69 6e 74 33 32 2d 30 31 32 33 34 35 36  varint32-0123456
0550: 37 38 39 30 31 32 33 34 35 36 37 38 39 30 31 32  7890123456789012
0560: 33 34 35 36 37 38 39 30 31 32 33 34 35 36 37 38  3456789012345678
0570: 39 30 31 32 33 34 35 36 37 38 39 27 29 3b 0a 20  90123456789');. 
0580: 20 7d 0a 20 20 66 69 6c 65 20 73 69 7a 65 20 74   }.  file size t
0590: 65 73 74 2e 64 62 0a 7d 20 5b 65 78 70 72 20 7b  est.db.} [expr {
05a0: 31 30 32 34 2a 32 7d 5d 0a 0a 23 20 56 65 72 69  1024*2}]..# Veri
05b0: 66 79 20 74 68 61 74 20 74 68 65 20 66 69 6c 65  fy that the file
05c0: 20 66 6f 72 6d 61 74 20 69 73 20 61 73 20 77 65   format is as we
05d0: 20 65 78 70 65 63 74 2e 20 20 54 68 65 20 70 61   expect.  The pa
05e0: 67 65 20 73 69 7a 65 0a 23 20 73 68 6f 75 6c 64  ge size.# should
05f0: 20 62 65 20 31 30 32 34 20 62 79 74 65 73 2e 0a   be 1024 bytes..
0600: 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  #.do_test corrup
0610: 74 36 2d 31 2e 32 20 7b 0a 20 20 68 65 78 69 6f  t6-1.2 {.  hexio
0620: 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f  _get_int [hexio_
0630: 72 65 61 64 20 74 65 73 74 2e 64 62 20 31 36 20  read test.db 16 
0640: 32 5d 0a 7d 20 31 30 32 34 20 20 20 3b 23 20 54  2].} 1024   ;# T
0650: 68 65 20 70 61 67 65 20 73 69 7a 65 20 69 73 20  he page size is 
0660: 31 30 32 34 0a 64 6f 5f 74 65 73 74 20 63 6f 72  1024.do_test cor
0670: 72 75 70 74 36 2d 31 2e 33 20 7b 0a 20 20 68 65  rupt6-1.3 {.  he
0680: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78  xio_get_int [hex
0690: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20  io_read test.db 
06a0: 32 30 20 31 5d 0a 7d 20 30 20 20 20 20 20 20 3b  20 1].} 0      ;
06b0: 23 20 55 6e 75 73 65 64 20 62 79 74 65 73 20 70  # Unused bytes p
06c0: 65 72 20 70 61 67 65 20 69 73 20 30 0a 0a 69 6e  er page is 0..in
06d0: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20 63 6f  tegrity_check co
06e0: 72 72 75 70 74 36 2d 31 2e 34 0a 0a 23 20 56 65  rrupt6-1.4..# Ve
06f0: 72 69 66 79 20 53 65 72 69 61 6c 54 79 70 65 4c  rify SerialTypeL
0700: 65 6e 20 66 6f 72 20 66 69 72 73 74 20 66 69 65  en for first fie
0710: 6c 64 20 6f 66 20 74 77 6f 20 72 65 63 6f 72 64  ld of two record
0720: 73 20 61 73 20 77 65 20 65 78 70 65 63 74 2e 0a  s as we expect..
0730: 23 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20  # SerialTypeLen 
0740: 3d 20 28 6c 65 6e 2a 32 2b 31 32 29 20 3d 20 36  = (len*2+12) = 6
0750: 30 2a 32 2b 31 32 20 3d 20 31 33 32 0a 64 6f 5f  0*2+12 = 132.do_
0760: 74 65 73 74 20 63 6f 72 72 75 70 74 36 2d 31 2e  test corrupt6-1.
0770: 35 2e 31 20 7b 0a 20 20 68 65 78 69 6f 5f 72 65  5.1 {.  hexio_re
0780: 61 64 20 74 65 73 74 2e 64 62 20 31 39 32 33 20  ad test.db 1923 
0790: 32 0a 7d 20 38 31 30 33 20 20 20 20 20 20 3b 23  2.} 8103      ;#
07a0: 20 46 69 72 73 74 20 74 65 78 74 20 66 69 65 6c   First text fiel
07b0: 64 20 73 69 7a 65 20 69 73 20 38 31 20 30 33 20  d size is 81 03 
07c0: 3d 3d 20 31 33 31 0a 64 6f 5f 74 65 73 74 20 63  == 131.do_test c
07d0: 6f 72 72 75 70 74 36 2d 31 2e 35 2e 32 20 7b 0a  orrupt6-1.5.2 {.
07e0: 20 20 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73    hexio_read tes
07f0: 74 2e 64 62 20 31 39 38 37 20 32 0a 7d 20 38 31  t.db 1987 2.} 81
0800: 30 33 20 20 20 20 20 20 3b 23 20 53 65 63 6f 6e  03      ;# Secon
0810: 64 20 74 65 78 74 20 66 69 65 6c 64 20 73 69 7a  d text field siz
0820: 65 20 69 73 20 38 31 20 30 33 20 3d 3d 20 31 33  e is 81 03 == 13
0830: 31 0a 0a 23 20 56 65 72 69 66 79 20 73 69 6d 70  1..# Verify simp
0840: 6c 65 20 71 75 65 72 79 20 72 65 73 75 6c 74 73  le query results
0850: 20 61 73 20 65 78 70 65 63 74 65 64 2e 0a 64 6f   as expected..do
0860: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36 2d 31  _test corrupt6-1
0870: 2e 36 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a  .6 {.  db close.
0880: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
0890: 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20  t.db.  catchsql 
08a0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 73 75 62  {.    SELECT sub
08b0: 73 74 72 28 78 2c 31 2c 38 29 20 46 52 4f 4d 20  str(x,1,8) FROM 
08c0: 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 30  t1.  }.} [list 0
08d0: 20 7b 76 61 72 69 6e 74 33 32 20 76 61 72 69 6e   {varint32 varin
08e0: 74 33 32 7d 20 5d 0a 69 6e 74 65 67 72 69 74 79  t32} ].integrity
08f0: 5f 63 68 65 63 6b 20 63 6f 72 72 75 70 74 36 2d  _check corrupt6-
0900: 31 2e 37 0a 0a 23 20 41 64 6a 75 73 74 20 76 61  1.7..# Adjust va
0910: 6c 75 65 20 6f 66 20 72 65 63 6f 72 64 20 31 20  lue of record 1 
0920: 2f 20 66 69 65 6c 64 20 31 20 53 65 72 69 61 6c  / field 1 Serial
0930: 54 79 70 65 4c 65 6e 20 61 6e 64 20 73 65 65 20  TypeLen and see 
0940: 69 66 20 74 68 65 0a 23 20 63 6f 72 72 75 70 74  if the.# corrupt
0950: 69 6f 6e 20 69 73 20 64 65 74 65 63 74 65 64 2e  ion is detected.
0960: 0a 23 20 49 6e 63 72 65 61 73 65 20 53 65 72 69  .# Increase Seri
0970: 61 6c 54 79 70 65 4c 65 6e 20 62 79 20 32 2e 0a  alTypeLen by 2..
0980: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36  do_test corrupt6
0990: 2d 31 2e 38 2e 31 20 7b 0a 20 20 64 62 20 63 6c  -1.8.1 {.  db cl
09a0: 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  ose.  hexio_writ
09b0: 65 20 74 65 73 74 2e 64 62 20 31 39 32 33 20 38  e test.db 1923 8
09c0: 31 30 35 0a 20 20 73 71 6c 69 74 65 33 20 64 62  105.  sqlite3 db
09d0: 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68   test.db.  catch
09e0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
09f0: 20 73 75 62 73 74 72 28 78 2c 31 2c 38 29 20 46   substr(x,1,8) F
0a00: 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69  ROM t1.  }.} [li
0a10: 73 74 20 31 20 7b 64 61 74 61 62 61 73 65 20 64  st 1 {database d
0a20: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
0a30: 66 6f 72 6d 65 64 7d 5d 0a 0a 23 20 41 64 6a 75  formed}]..# Adju
0a40: 73 74 20 76 61 6c 75 65 20 6f 66 20 72 65 63 6f  st value of reco
0a50: 72 64 20 31 20 2f 20 66 69 65 6c 64 20 31 20 53  rd 1 / field 1 S
0a60: 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 61 6e 64  erialTypeLen and
0a70: 20 73 65 65 20 69 66 20 74 68 65 0a 23 20 63 6f   see if the.# co
0a80: 72 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65  rruption is dete
0a90: 63 74 65 64 2e 0a 23 20 44 65 63 72 65 61 73 65  cted..# Decrease
0aa0: 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 62   SerialTypeLen b
0ab0: 79 20 32 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72  y 2..do_test cor
0ac0: 72 75 70 74 36 2d 31 2e 38 2e 32 20 7b 0a 20 20  rupt6-1.8.2 {.  
0ad0: 64 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f  db close.  hexio
0ae0: 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 31  _write test.db 1
0af0: 39 32 33 20 38 31 30 31 0a 20 20 73 71 6c 69 74  923 8101.  sqlit
0b00: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e3 db test.db.  
0b10: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53  catchsql {.    S
0b20: 45 4c 45 43 54 20 73 75 62 73 74 72 28 78 2c 31  ELECT substr(x,1
0b30: 2c 38 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a  ,8) FROM t1.  }.
0b40: 7d 20 5b 6c 69 73 74 20 31 20 7b 64 61 74 61 62  } [list 1 {datab
0b50: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
0b60: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 5d 0a 0a 23  s malformed}]..#
0b70: 20 50 75 74 20 76 61 6c 75 65 20 6f 66 20 72 65   Put value of re
0b80: 63 6f 72 64 20 31 20 2f 20 66 69 65 6c 64 20 31  cord 1 / field 1
0b90: 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 62   SerialTypeLen b
0ba0: 61 63 6b 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72  ack..do_test cor
0bb0: 72 75 70 74 36 2d 31 2e 38 2e 33 20 7b 0a 20 20  rupt6-1.8.3 {.  
0bc0: 64 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f  db close.  hexio
0bd0: 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 31  _write test.db 1
0be0: 39 32 33 20 38 31 30 33 0a 20 20 73 71 6c 69 74  923 8103.  sqlit
0bf0: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e3 db test.db.  
0c00: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53  catchsql {.    S
0c10: 45 4c 45 43 54 20 73 75 62 73 74 72 28 78 2c 31  ELECT substr(x,1
0c20: 2c 38 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a  ,8) FROM t1.  }.
0c30: 7d 20 5b 6c 69 73 74 20 30 20 7b 76 61 72 69 6e  } [list 0 {varin
0c40: 74 33 32 20 76 61 72 69 6e 74 33 32 7d 20 5d 0a  t32 varint32} ].
0c50: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20  integrity_check 
0c60: 63 6f 72 72 75 70 74 36 2d 31 2e 38 2e 34 0a 0a  corrupt6-1.8.4..
0c70: 23 20 41 64 6a 75 73 74 20 76 61 6c 75 65 20 6f  # Adjust value o
0c80: 66 20 72 65 63 6f 72 64 20 32 20 2f 20 66 69 65  f record 2 / fie
0c90: 6c 64 20 31 20 53 65 72 69 61 6c 54 79 70 65 4c  ld 1 SerialTypeL
0ca0: 65 6e 20 61 6e 64 20 73 65 65 20 69 66 20 74 68  en and see if th
0cb0: 65 0a 23 20 63 6f 72 72 75 70 74 69 6f 6e 20 69  e.# corruption i
0cc0: 73 20 64 65 74 65 63 74 65 64 2e 0a 23 20 49 6e  s detected..# In
0cd0: 63 72 65 61 73 65 20 53 65 72 69 61 6c 54 79 70  crease SerialTyp
0ce0: 65 4c 65 6e 20 62 79 20 32 2e 0a 64 6f 5f 74 65  eLen by 2..do_te
0cf0: 73 74 20 63 6f 72 72 75 70 74 36 2d 31 2e 39 2e  st corrupt6-1.9.
0d00: 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20  1 {.  db close. 
0d10: 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73   hexio_write tes
0d20: 74 2e 64 62 20 31 39 38 37 20 38 31 30 35 0a 20  t.db 1987 8105. 
0d30: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
0d40: 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  .db.  catchsql {
0d50: 0a 20 20 20 20 53 45 4c 45 43 54 20 73 75 62 73  .    SELECT subs
0d60: 74 72 28 78 2c 31 2c 38 29 20 46 52 4f 4d 20 74  tr(x,1,8) FROM t
0d70: 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 31 20  1.  }.} [list 1 
0d80: 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69  {database disk i
0d90: 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65  mage is malforme
0da0: 64 7d 5d 0a 0a 23 20 41 64 6a 75 73 74 20 76 61  d}]..# Adjust va
0db0: 6c 75 65 20 6f 66 20 72 65 63 6f 72 64 20 32 20  lue of record 2 
0dc0: 2f 20 66 69 65 6c 64 20 32 20 53 65 72 69 61 6c  / field 2 Serial
0dd0: 54 79 70 65 4c 65 6e 20 61 6e 64 20 73 65 65 20  TypeLen and see 
0de0: 69 66 20 74 68 65 0a 23 20 63 6f 72 72 75 70 74  if the.# corrupt
0df0: 69 6f 6e 20 69 73 20 64 65 74 65 63 74 65 64 2e  ion is detected.
0e00: 0a 23 20 44 65 63 72 65 61 73 65 20 53 65 72 69  .# Decrease Seri
0e10: 61 6c 54 79 70 65 4c 65 6e 20 62 79 20 32 2e 0a  alTypeLen by 2..
0e20: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36  do_test corrupt6
0e30: 2d 31 2e 39 2e 32 20 7b 0a 20 20 64 62 20 63 6c  -1.9.2 {.  db cl
0e40: 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  ose.  hexio_writ
0e50: 65 20 74 65 73 74 2e 64 62 20 31 39 38 37 20 38  e test.db 1987 8
0e60: 31 30 31 0a 20 20 73 71 6c 69 74 65 33 20 64 62  101.  sqlite3 db
0e70: 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68   test.db.  catch
0e80: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
0e90: 20 73 75 62 73 74 72 28 78 2c 31 2c 38 29 20 46   substr(x,1,8) F
0ea0: 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69  ROM t1.  }.} [li
0eb0: 73 74 20 31 20 7b 64 61 74 61 62 61 73 65 20 64  st 1 {database d
0ec0: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
0ed0: 66 6f 72 6d 65 64 7d 5d 0a 0a 23 20 50 75 74 20  formed}]..# Put 
0ee0: 76 61 6c 75 65 20 6f 66 20 72 65 63 6f 72 64 20  value of record 
0ef0: 31 20 2f 20 66 69 65 6c 64 20 32 20 53 65 72 69  1 / field 2 Seri
0f00: 61 6c 54 79 70 65 4c 65 6e 20 62 61 63 6b 2e 0a  alTypeLen back..
0f10: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36  do_test corrupt6
0f20: 2d 31 2e 39 2e 33 20 7b 0a 20 20 64 62 20 63 6c  -1.9.3 {.  db cl
0f30: 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  ose.  hexio_writ
0f40: 65 20 74 65 73 74 2e 64 62 20 31 39 38 37 20 38  e test.db 1987 8
0f50: 31 30 33 0a 20 20 73 71 6c 69 74 65 33 20 64 62  103.  sqlite3 db
0f60: 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68   test.db.  catch
0f70: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
0f80: 20 73 75 62 73 74 72 28 78 2c 31 2c 38 29 20 46   substr(x,1,8) F
0f90: 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69  ROM t1.  }.} [li
0fa0: 73 74 20 30 20 7b 76 61 72 69 6e 74 33 32 20 76  st 0 {varint32 v
0fb0: 61 72 69 6e 74 33 32 7d 20 5d 0a 69 6e 74 65 67  arint32} ].integ
0fc0: 72 69 74 79 5f 63 68 65 63 6b 20 63 6f 72 72 75  rity_check corru
0fd0: 70 74 36 2d 31 2e 39 2e 34 0a 0a 23 20 41 64 6a  pt6-1.9.4..# Adj
0fe0: 75 73 74 20 76 61 6c 75 65 20 6f 66 20 72 65 63  ust value of rec
0ff0: 6f 72 64 20 31 20 2f 20 66 69 65 6c 64 20 31 20  ord 1 / field 1 
1000: 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 61 6e  SerialTypeLen an
1010: 64 20 73 65 65 20 69 66 20 74 68 65 0a 23 20 63  d see if the.# c
1020: 6f 72 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74  orruption is det
1030: 65 63 74 65 64 2e 0a 23 20 53 65 74 20 53 65 72  ected..# Set Ser
1040: 69 61 6c 54 79 70 65 4c 65 6e 20 74 6f 20 46 46  ialTypeLen to FF
1050: 20 37 46 20 28 32 20 62 79 74 65 73 29 0a 64 6f   7F (2 bytes).do
1060: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36 2d 31  _test corrupt6-1
1070: 2e 31 30 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f  .10.1 {.  db clo
1080: 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65  se.  hexio_write
1090: 20 74 65 73 74 2e 64 62 20 31 39 32 33 20 46 46   test.db 1923 FF
10a0: 37 46 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  7F.  sqlite3 db 
10b0: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
10c0: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
10d0: 73 75 62 73 74 72 28 78 2c 31 2c 38 29 20 46 52  substr(x,1,8) FR
10e0: 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73  OM t1.  }.} [lis
10f0: 74 20 31 20 7b 64 61 74 61 62 61 73 65 20 64 69  t 1 {database di
1100: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
1110: 6f 72 6d 65 64 7d 5d 0a 0a 23 20 41 64 6a 75 73  ormed}]..# Adjus
1120: 74 20 76 61 6c 75 65 20 6f 66 20 72 65 63 6f 72  t value of recor
1130: 64 20 31 20 2f 20 66 69 65 6c 64 20 31 20 53 65  d 1 / field 1 Se
1140: 72 69 61 6c 54 79 70 65 4c 65 6e 20 61 6e 64 20  rialTypeLen and 
1150: 73 65 65 20 69 66 20 74 68 65 0a 23 20 63 6f 72  see if the.# cor
1160: 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63  ruption is detec
1170: 74 65 64 2e 0a 23 20 53 65 74 20 53 65 72 69 61  ted..# Set Seria
1180: 6c 54 79 70 65 4c 65 6e 20 74 6f 20 46 46 20 46  lTypeLen to FF F
1190: 46 20 37 46 20 28 33 20 62 79 74 65 73 29 0a 64  F 7F (3 bytes).d
11a0: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36 2d  o_test corrupt6-
11b0: 31 2e 31 30 2e 32 20 7b 0a 20 20 64 62 20 63 6c  1.10.2 {.  db cl
11c0: 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  ose.  hexio_writ
11d0: 65 20 74 65 73 74 2e 64 62 20 31 39 32 33 20 46  e test.db 1923 F
11e0: 46 46 46 37 46 0a 20 20 73 71 6c 69 74 65 33 20  FFF7F.  sqlite3 
11f0: 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74  db test.db.  cat
1200: 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  chsql {.    SELE
1210: 43 54 20 73 75 62 73 74 72 28 78 2c 31 2c 38 29  CT substr(x,1,8)
1220: 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b   FROM t1.  }.} [
1230: 6c 69 73 74 20 31 20 7b 64 61 74 61 62 61 73 65  list 1 {database
1240: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
1250: 61 6c 66 6f 72 6d 65 64 7d 5d 0a 0a 23 20 41 64  alformed}]..# Ad
1260: 6a 75 73 74 20 76 61 6c 75 65 20 6f 66 20 72 65  just value of re
1270: 63 6f 72 64 20 31 20 2f 20 66 69 65 6c 64 20 31  cord 1 / field 1
1280: 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 61   SerialTypeLen a
1290: 6e 64 20 73 65 65 20 69 66 20 74 68 65 0a 23 20  nd see if the.# 
12a0: 63 6f 72 72 75 70 74 69 6f 6e 20 69 73 20 64 65  corruption is de
12b0: 74 65 63 74 65 64 2e 0a 23 20 53 65 74 20 53 65  tected..# Set Se
12c0: 72 69 61 6c 54 79 70 65 4c 65 6e 20 74 6f 20 46  rialTypeLen to F
12d0: 46 20 46 46 20 46 46 20 37 46 20 28 34 20 62 79  F FF FF 7F (4 by
12e0: 74 65 73 29 0a 64 6f 5f 74 65 73 74 20 63 6f 72  tes).do_test cor
12f0: 72 75 70 74 36 2d 31 2e 31 30 2e 33 20 7b 0a 20  rupt6-1.10.3 {. 
1300: 20 64 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69   db close.  hexi
1310: 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20  o_write test.db 
1320: 31 39 32 33 20 46 46 46 46 46 46 37 46 0a 20 20  1923 FFFFFF7F.  
1330: 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e  sqlite3 db test.
1340: 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a  db.  catchsql {.
1350: 20 20 20 20 53 45 4c 45 43 54 20 73 75 62 73 74      SELECT subst
1360: 72 28 78 2c 31 2c 38 29 20 46 52 4f 4d 20 74 31  r(x,1,8) FROM t1
1370: 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 31 20 7b  .  }.} [list 1 {
1380: 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d  database disk im
1390: 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64  age is malformed
13a0: 7d 5d 0a 0a 23 20 41 64 6a 75 73 74 20 76 61 6c  }]..# Adjust val
13b0: 75 65 20 6f 66 20 72 65 63 6f 72 64 20 31 20 2f  ue of record 1 /
13c0: 20 66 69 65 6c 64 20 31 20 53 65 72 69 61 6c 54   field 1 SerialT
13d0: 79 70 65 4c 65 6e 20 61 6e 64 20 73 65 65 20 69  ypeLen and see i
13e0: 66 20 74 68 65 0a 23 20 63 6f 72 72 75 70 74 69  f the.# corrupti
13f0: 6f 6e 20 69 73 20 64 65 74 65 63 74 65 64 2e 0a  on is detected..
1400: 23 20 53 65 74 20 53 65 72 69 61 6c 54 79 70 65  # Set SerialType
1410: 4c 65 6e 20 74 6f 20 46 46 20 46 46 20 46 46 20  Len to FF FF FF 
1420: 46 46 20 37 46 20 28 35 20 62 79 74 65 73 29 0a  FF 7F (5 bytes).
1430: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36  do_test corrupt6
1440: 2d 31 2e 31 30 2e 34 20 7b 0a 20 20 64 62 20 63  -1.10.4 {.  db c
1450: 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69  lose.  hexio_wri
1460: 74 65 20 74 65 73 74 2e 64 62 20 31 39 32 33 20  te test.db 1923 
1470: 46 46 46 46 46 46 46 46 37 46 0a 20 20 73 71 6c  FFFFFFFF7F.  sql
1480: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
1490: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
14a0: 20 53 45 4c 45 43 54 20 73 75 62 73 74 72 28 78   SELECT substr(x
14b0: 2c 31 2c 38 29 20 46 52 4f 4d 20 74 31 0a 20 20  ,1,8) FROM t1.  
14c0: 7d 0a 7d 20 5b 6c 69 73 74 20 31 20 7b 64 61 74  }.} [list 1 {dat
14d0: 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65  abase disk image
14e0: 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 5d 0a   is malformed}].
14f0: 0a 23 20 41 64 6a 75 73 74 20 76 61 6c 75 65 20  .# Adjust value 
1500: 6f 66 20 72 65 63 6f 72 64 20 31 20 2f 20 66 69  of record 1 / fi
1510: 65 6c 64 20 31 20 53 65 72 69 61 6c 54 79 70 65  eld 1 SerialType
1520: 4c 65 6e 20 61 6e 64 20 73 65 65 20 69 66 20 74  Len and see if t
1530: 68 65 0a 23 20 63 6f 72 72 75 70 74 69 6f 6e 20  he.# corruption 
1540: 69 73 20 64 65 74 65 63 74 65 64 2e 0a 23 20 53  is detected..# S
1550: 65 74 20 53 65 72 69 61 6c 54 79 70 65 4c 65 6e  et SerialTypeLen
1560: 20 74 6f 20 46 46 20 46 46 20 46 46 20 46 46 20   to FF FF FF FF 
1570: 46 46 20 37 46 20 28 36 20 62 79 74 65 73 2c 20  FF 7F (6 bytes, 
1580: 61 6e 64 20 6f 76 65 72 66 6c 6f 77 73 29 2e 0a  and overflows)..
1590: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36  do_test corrupt6
15a0: 2d 31 2e 31 30 2e 35 20 7b 0a 20 20 64 62 20 63  -1.10.5 {.  db c
15b0: 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69  lose.  hexio_wri
15c0: 74 65 20 74 65 73 74 2e 64 62 20 31 39 32 33 20  te test.db 1923 
15d0: 46 46 46 46 46 46 46 46 46 46 37 46 0a 20 20 73  FFFFFFFFFF7F.  s
15e0: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
15f0: 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  b.  catchsql {. 
1600: 20 20 20 53 45 4c 45 43 54 20 73 75 62 73 74 72     SELECT substr
1610: 28 78 2c 31 2c 38 29 20 46 52 4f 4d 20 74 31 0a  (x,1,8) FROM t1.
1620: 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 31 20 7b 64    }.} [list 1 {d
1630: 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61  atabase disk ima
1640: 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d  ge is malformed}
1650: 5d 0a 0a 23 20 41 64 6a 75 73 74 20 76 61 6c 75  ]..# Adjust valu
1660: 65 20 6f 66 20 72 65 63 6f 72 64 20 31 20 2f 20  e of record 1 / 
1670: 66 69 65 6c 64 20 31 20 53 65 72 69 61 6c 54 79  field 1 SerialTy
1680: 70 65 4c 65 6e 20 61 6e 64 20 73 65 65 20 69 66  peLen and see if
1690: 20 74 68 65 0a 23 20 63 6f 72 72 75 70 74 69 6f   the.# corruptio
16a0: 6e 20 69 73 20 64 65 74 65 63 74 65 64 2e 0a 23  n is detected..#
16b0: 20 53 65 74 20 53 65 72 69 61 6c 54 79 70 65 4c   Set SerialTypeL
16c0: 65 6e 20 74 6f 20 46 46 20 46 46 20 46 46 20 46  en to FF FF FF F
16d0: 46 20 46 46 20 46 46 20 37 46 20 28 37 20 62 79  F FF FF 7F (7 by
16e0: 74 65 73 2c 20 61 6e 64 20 6f 76 65 72 66 6c 6f  tes, and overflo
16f0: 77 73 29 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72  ws)..do_test cor
1700: 72 75 70 74 36 2d 31 2e 31 30 2e 36 20 7b 0a 20  rupt6-1.10.6 {. 
1710: 20 64 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69   db close.  hexi
1720: 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20  o_write test.db 
1730: 31 39 32 33 20 46 46 46 46 46 46 46 46 46 46 46  1923 FFFFFFFFFFF
1740: 46 37 46 0a 20 20 73 71 6c 69 74 65 33 20 64 62  F7F.  sqlite3 db
1750: 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68   test.db.  catch
1760: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1770: 20 73 75 62 73 74 72 28 78 2c 31 2c 38 29 20 46   substr(x,1,8) F
1780: 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69  ROM t1.  }.} [li
1790: 73 74 20 31 20 7b 64 61 74 61 62 61 73 65 20 64  st 1 {database d
17a0: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
17b0: 66 6f 72 6d 65 64 7d 5d 0a 0a 23 20 41 64 6a 75  formed}]..# Adju
17c0: 73 74 20 76 61 6c 75 65 20 6f 66 20 72 65 63 6f  st value of reco
17d0: 72 64 20 31 20 2f 20 66 69 65 6c 64 20 31 20 53  rd 1 / field 1 S
17e0: 65 72 69 61 6c 54 79 70 65 4c 65 6e 20 61 6e 64  erialTypeLen and
17f0: 20 73 65 65 20 69 66 20 74 68 65 0a 23 20 63 6f   see if the.# co
1800: 72 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65  rruption is dete
1810: 63 74 65 64 2e 0a 23 20 53 65 74 20 53 65 72 69  cted..# Set Seri
1820: 61 6c 54 79 70 65 4c 65 6e 20 74 6f 20 46 46 20  alTypeLen to FF 
1830: 46 46 20 46 46 20 46 46 20 46 46 20 46 46 20 46  FF FF FF FF FF F
1840: 46 20 37 46 20 28 38 20 62 79 74 65 73 2c 20 61  F 7F (8 bytes, a
1850: 6e 64 20 6f 76 65 72 66 6c 6f 77 73 29 2e 0a 64  nd overflows)..d
1860: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36 2d  o_test corrupt6-
1870: 31 2e 31 30 2e 37 20 7b 0a 20 20 64 62 20 63 6c  1.10.7 {.  db cl
1880: 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  ose.  hexio_writ
1890: 65 20 74 65 73 74 2e 64 62 20 31 39 32 33 20 46  e test.db 1923 F
18a0: 46 46 46 46 46 46 46 46 46 46 46 46 46 37 46 0a  FFFFFFFFFFFFF7F.
18b0: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
18c0: 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20  t.db.  catchsql 
18d0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 73 75 62  {.    SELECT sub
18e0: 73 74 72 28 78 2c 31 2c 38 29 20 46 52 4f 4d 20  str(x,1,8) FROM 
18f0: 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 31  t1.  }.} [list 1
1900: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
1910: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
1920: 65 64 7d 5d 0a 0a 23 20 41 64 6a 75 73 74 20 76  ed}]..# Adjust v
1930: 61 6c 75 65 20 6f 66 20 72 65 63 6f 72 64 20 31  alue of record 1
1940: 20 2f 20 66 69 65 6c 64 20 31 20 53 65 72 69 61   / field 1 Seria
1950: 6c 54 79 70 65 4c 65 6e 20 61 6e 64 20 73 65 65  lTypeLen and see
1960: 20 69 66 20 74 68 65 0a 23 20 63 6f 72 72 75 70   if the.# corrup
1970: 74 69 6f 6e 20 69 73 20 64 65 74 65 63 74 65 64  tion is detected
1980: 2e 0a 23 20 53 65 74 20 53 65 72 69 61 6c 54 79  ..# Set SerialTy
1990: 70 65 4c 65 6e 20 74 6f 20 46 46 20 46 46 20 46  peLen to FF FF F
19a0: 46 20 46 46 20 46 46 20 46 46 20 46 46 20 46 46  F FF FF FF FF FF
19b0: 20 37 46 20 28 39 20 62 79 74 65 73 2c 20 61 6e   7F (9 bytes, an
19c0: 64 20 6f 76 65 72 66 6c 6f 77 73 29 2e 0a 64 6f  d overflows)..do
19d0: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 36 2d 31  _test corrupt6-1
19e0: 2e 31 30 2e 38 20 7b 0a 20 20 64 62 20 63 6c 6f  .10.8 {.  db clo
19f0: 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65  se.  hexio_write
1a00: 20 74 65 73 74 2e 64 62 20 31 39 32 33 20 46 46   test.db 1923 FF
1a10: 46 46 46 46 46 46 46 46 46 46 46 46 46 46 37 46  FFFFFFFFFFFFFF7F
1a20: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
1a30: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  st.db.  catchsql
1a40: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 73 75   {.    SELECT su
1a50: 62 73 74 72 28 78 2c 31 2c 38 29 20 46 52 4f 4d  bstr(x,1,8) FROM
1a60: 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20   t1.  }.} [list 
1a70: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
1a80: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
1a90: 6d 65 64 7d 5d 0a 0a 23 20 41 64 6a 75 73 74 20  med}]..# Adjust 
1aa0: 76 61 6c 75 65 20 6f 66 20 72 65 63 6f 72 64 20  value of record 
1ab0: 31 20 2f 20 66 69 65 6c 64 20 31 20 53 65 72 69  1 / field 1 Seri
1ac0: 61 6c 54 79 70 65 4c 65 6e 20 61 6e 64 20 73 65  alTypeLen and se
1ad0: 65 20 69 66 20 74 68 65 0a 23 20 63 6f 72 72 75  e if the.# corru
1ae0: 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63 74 65  ption is detecte
1af0: 64 2e 0a 23 20 53 65 74 20 53 65 72 69 61 6c 54  d..# Set SerialT
1b00: 79 70 65 4c 65 6e 20 74 6f 20 46 46 46 46 20 46  ypeLen to FFFF F
1b10: 46 20 46 46 20 46 46 20 46 46 20 46 46 20 46 46  F FF FF FF FF FF
1b20: 20 46 46 20 37 46 20 28 31 30 20 62 79 74 65 73   FF 7F (10 bytes
1b30: 2c 20 61 6e 64 20 6f 76 65 72 66 6c 6f 77 73 29  , and overflows)
1b40: 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  ..do_test corrup
1b50: 74 36 2d 31 2e 31 30 2e 39 20 7b 0a 20 20 64 62  t6-1.10.9 {.  db
1b60: 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77   close.  hexio_w
1b70: 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 39 32  rite test.db 192
1b80: 33 20 46 46 46 46 46 46 46 46 46 46 46 46 46 46  3 FFFFFFFFFFFFFF
1b90: 46 46 46 46 37 46 0a 20 20 73 71 6c 69 74 65 33  FFFF7F.  sqlite3
1ba0: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
1bb0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
1bc0: 45 43 54 20 73 75 62 73 74 72 28 78 2c 31 2c 38  ECT substr(x,1,8
1bd0: 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20  ) FROM t1.  }.} 
1be0: 5b 6c 69 73 74 20 31 20 7b 64 61 74 61 62 61 73  [list 1 {databas
1bf0: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
1c00: 6d 61 6c 66 6f 72 6d 65 64 7d 5d 0a 0a 66 69 6e  malformed}]..fin
1c10: 69 73 68 5f 74 65 73 74 0a                       ish_test.