/ Hex Artifact Content
Login

Artifact 58ec333a01997fe655e34e5bea52b7a2a6b9704d:


0000: 23 20 32 30 31 33 2d 30 38 2d 30 31 0a 23 0a 23  # 2013-08-01.#.#
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 0a 0a 73 65 74 20 74 65 73 74 64 69  **.#..set testdi
0170: 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20  r [file dirname 
0180: 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24  $argv0].source $
0190: 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74  testdir/tester.t
01a0: 63 6c 0a 73 65 74 20 74 65 73 74 70 72 65 66 69  cl.set testprefi
01b0: 78 20 63 6f 72 72 75 70 74 47 0a 0a 23 20 44 6f  x corruptG..# Do
01c0: 20 6e 6f 74 20 75 73 65 20 61 20 63 6f 64 65 63   not use a codec
01d0: 20 66 6f 72 20 74 65 73 74 73 20 69 6e 20 74 68   for tests in th
01e0: 69 73 20 66 69 6c 65 2c 20 61 73 20 74 68 65 20  is file, as the 
01f0: 64 61 74 61 62 61 73 65 20 66 69 6c 65 20 69 73  database file is
0200: 0a 23 20 6d 61 6e 69 70 75 6c 61 74 65 64 20 64  .# manipulated d
0210: 69 72 65 63 74 6c 79 20 75 73 69 6e 67 20 74 63  irectly using tc
0220: 6c 20 73 63 72 69 70 74 73 20 28 75 73 69 6e 67  l scripts (using
0230: 20 74 68 65 20 5b 68 65 78 69 6f 5f 77 72 69 74   the [hexio_writ
0240: 65 5d 20 63 6f 6d 6d 61 6e 64 29 2e 0a 23 0a 64  e] command)..#.d
0250: 6f 5f 6e 6f 74 5f 75 73 65 5f 63 6f 64 65 63 0a  o_not_use_codec.
0260: 0a 23 20 54 68 65 73 65 20 74 65 73 74 73 20 64  .# These tests d
0270: 65 61 6c 20 77 69 74 68 20 63 6f 72 72 75 70 74  eal with corrupt
0280: 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 73 0a   database files.
0290: 23 0a 64 61 74 61 62 61 73 65 5f 6d 61 79 5f 62  #.database_may_b
02a0: 65 5f 63 6f 72 72 75 70 74 0a 0a 23 20 43 72 65  e_corrupt..# Cre
02b0: 61 74 65 20 61 20 73 69 6d 70 6c 65 20 64 61 74  ate a simple dat
02c0: 61 62 61 73 65 20 77 69 74 68 20 61 20 73 69 6e  abase with a sin
02d0: 67 6c 65 20 65 6e 74 72 79 2e 20 20 54 68 65 6e  gle entry.  Then
02e0: 20 63 6f 72 72 75 70 74 20 74 68 65 0a 23 20 68   corrupt the.# h
02f0: 65 61 64 65 72 2d 73 69 7a 65 20 76 61 72 69 6e  eader-size varin
0300: 74 20 6f 6e 20 74 68 65 20 69 6e 64 65 78 20 70  t on the index p
0310: 61 79 6c 6f 61 64 20 73 6f 20 74 68 61 74 20 69  ayload so that i
0320: 74 20 6d 61 70 73 20 69 6e 74 6f 20 61 0a 23 20  t maps into a.# 
0330: 6e 65 67 61 74 69 76 65 20 6e 75 6d 62 65 72 2e  negative number.
0340: 20 20 54 72 79 20 74 6f 20 75 73 65 20 74 68 65    Try to use the
0350: 20 64 61 74 61 62 61 73 65 2e 0a 23 0a 0a 64 6f   database..#..do
0360: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e  _execsql_test 1.
0370: 31 20 7b 0a 20 20 50 52 41 47 4d 41 20 70 61 67  1 {.  PRAGMA pag
0380: 65 5f 73 69 7a 65 3d 35 31 32 3b 0a 20 20 43 52  e_size=512;.  CR
0390: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c  EATE TABLE t1(a,
03a0: 62 2c 63 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  b,c);.  INSERT I
03b0: 4e 54 4f 20 74 31 28 72 6f 77 69 64 2c 61 2c 62  NTO t1(rowid,a,b
03c0: 2c 63 29 20 56 41 4c 55 45 53 28 35 32 2c 27 61  ,c) VALUES(52,'a
03d0: 62 63 27 2c 27 78 79 7a 27 2c 27 31 32 33 27 29  bc','xyz','123')
03e0: 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58  ;.  CREATE INDEX
03f0: 20 74 31 61 62 63 20 4f 4e 20 74 31 28 61 2c 62   t1abc ON t1(a,b
0400: 2c 63 29 3b 0a 7d 0a 0a 73 65 74 20 69 64 78 72  ,c);.}..set idxr
0410: 6f 6f 74 20 5b 64 62 20 6f 6e 65 20 7b 53 45 4c  oot [db one {SEL
0420: 45 43 54 20 72 6f 6f 74 70 61 67 65 20 46 52 4f  ECT rootpage FRO
0430: 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 20  M sqlite_master 
0440: 57 48 45 52 45 20 6e 61 6d 65 20 3d 20 27 74 31  WHERE name = 't1
0450: 61 62 63 27 7d 5d 0a 0a 23 20 43 6f 72 72 75 70  abc'}]..# Corrup
0460: 74 20 74 68 65 20 66 69 6c 65 0a 64 62 20 63 6c  t the file.db cl
0470: 6f 73 65 0a 68 65 78 69 6f 5f 77 72 69 74 65 20  ose.hexio_write 
0480: 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20 7b 24  test.db [expr {$
0490: 69 64 78 72 6f 6f 74 2a 35 31 32 20 2d 20 31 35  idxroot*512 - 15
04a0: 7d 5d 20 38 38 38 30 38 30 38 30 37 66 0a 73 71  }] 888080807f.sq
04b0: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
04c0: 0a 0a 23 20 54 72 79 20 74 6f 20 75 73 65 20 74  ..# Try to use t
04d0: 68 65 20 66 69 6c 65 2e 0a 64 6f 5f 74 65 73 74  he file..do_test
04e0: 20 31 2e 32 20 7b 0a 20 20 63 61 74 63 68 73 71   1.2 {.  catchsq
04f0: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 63  l {.    SELECT c
0500: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61   FROM t1 WHERE a
0510: 3e 27 61 62 63 27 3b 0a 20 20 7d 0a 7d 20 7b 30  >'abc';.  }.} {0
0520: 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 31 2e 33   {}}.do_test 1.3
0530: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
0540: 20 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65       PRAGMA inte
0550: 67 72 69 74 79 5f 63 68 65 63 6b 0a 20 20 7d 0a  grity_check.  }.
0560: 7d 20 7b 30 20 6f 6b 7d 0a 64 6f 5f 74 65 73 74  } {0 ok}.do_test
0570: 20 31 2e 34 20 7b 0a 20 20 63 61 74 63 68 73 71   1.4 {.  catchsq
0580: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 63  l {.    SELECT c
0590: 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42   FROM t1 ORDER B
05a0: 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 64  Y a;.  }.} {1 {d
05b0: 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61  atabase disk ima
05c0: 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d  ge is malformed}
05d0: 7d 0a 0a 23 20 43 6f 72 72 75 70 74 20 74 68 65  }..# Corrupt the
05e0: 20 73 61 6d 65 20 66 69 6c 65 20 69 6e 20 61 20   same file in a 
05f0: 73 6c 69 67 68 74 6c 79 20 64 69 66 66 65 72 65  slightly differe
0600: 6e 74 20 77 61 79 2e 20 20 4d 61 6b 65 20 74 68  nt way.  Make th
0610: 65 20 72 65 63 6f 72 64 20 68 65 61 64 65 72 0a  e record header.
0620: 23 20 73 61 6e 65 2c 20 62 75 74 20 63 6f 72 72  # sane, but corr
0630: 75 70 74 20 6f 6e 65 20 6f 66 20 74 68 65 20 73  upt one of the s
0640: 65 72 69 61 6c 5f 74 79 70 65 20 76 61 6c 75 65  erial_type value
0650: 20 74 6f 20 69 6e 64 69 63 61 74 65 20 61 20 68   to indicate a h
0660: 75 67 65 20 70 61 79 6c 6f 61 64 0a 23 20 73 75  uge payload.# su
0670: 63 68 20 74 68 61 74 20 74 68 65 20 70 61 79 6c  ch that the payl
0680: 6f 61 64 20 62 65 67 69 6e 73 20 69 6e 20 61 6c  oad begins in al
0690: 6c 6f 63 61 74 65 64 20 73 70 61 63 65 20 62 75  located space bu
06a0: 74 20 6f 76 65 72 66 6c 6f 77 73 20 74 68 65 20  t overflows the 
06b0: 62 75 66 66 65 72 2e 0a 23 0a 64 62 20 63 6c 6f  buffer..#.db clo
06c0: 73 65 0a 68 65 78 69 6f 5f 77 72 69 74 65 20 74  se.hexio_write t
06d0: 65 73 74 2e 64 62 20 5b 65 78 70 72 20 7b 24 69  est.db [expr {$i
06e0: 64 78 72 6f 6f 74 2a 35 31 32 2d 31 35 7d 5d 20  dxroot*512-15}] 
06f0: 30 35 31 33 66 66 37 66 30 31 0a 73 71 6c 69 74  0513ff7f01.sqlit
0700: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 0a 64  e3 db test.db..d
0710: 6f 5f 74 65 73 74 20 32 2e 31 20 7b 0a 20 20 63  o_test 2.1 {.  c
0720: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45  atchsql {.    SE
0730: 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  LECT rowid FROM 
0740: 74 31 20 57 48 45 52 45 20 61 3d 27 61 62 63 27  t1 WHERE a='abc'
0750: 20 61 6e 64 20 62 3d 27 78 79 7a 31 32 33 34 35   and b='xyz12345
0760: 36 37 38 39 58 59 5a 27 3b 0a 20 20 7d 0a 20 20  6789XYZ';.  }.  
0770: 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20  # The following 
0780: 74 65 73 74 20 72 65 73 75 6c 74 20 69 73 20 62  test result is b
0790: 72 69 74 74 6c 65 2e 20 20 54 68 65 20 70 6f 69  rittle.  The poi
07a0: 6e 74 20 61 62 6f 76 65 20 69 73 20 74 6f 20 74  nt above is to t
07b0: 72 79 20 74 6f 0a 20 20 23 20 66 6f 72 63 65 20  ry to.  # force 
07c0: 61 20 62 75 66 66 65 72 20 6f 76 65 72 72 65 61  a buffer overrea
07d0: 64 20 62 79 20 61 20 63 6f 72 72 75 70 74 20 64  d by a corrupt d
07e0: 61 74 61 62 61 73 65 20 66 69 6c 65 2e 20 20 49  atabase file.  I
07f0: 66 20 77 65 20 67 65 74 20 61 6e 0a 20 20 23 20  f we get an.  # 
0800: 69 6e 63 6f 72 72 65 63 74 20 61 6e 73 77 65 72  incorrect answer
0810: 20 66 72 6f 6d 20 61 20 63 6f 72 72 75 70 74 20   from a corrupt 
0820: 64 61 74 61 62 61 73 65 20 66 69 6c 65 2c 20 74  database file, t
0830: 68 61 74 20 69 73 20 4f 4b 2e 20 20 49 66 20 74  hat is OK.  If t
0840: 68 65 0a 20 20 23 20 72 65 73 75 6c 74 20 62 65  he.  # result be
0850: 6c 6f 77 20 63 68 61 6e 67 65 73 2c 20 74 68 61  low changes, tha
0860: 74 20 6a 75 73 74 20 6d 65 61 6e 73 20 74 68 61  t just means tha
0870: 74 20 22 75 6e 64 65 66 69 6e 65 64 20 62 65 68  t "undefined beh
0880: 61 76 69 6f 72 22 20 68 61 73 0a 20 20 23 20 63  avior" has.  # c
0890: 68 61 6e 67 65 64 2e 0a 7d 20 7b 2f 30 20 2e 2a  hanged..} {/0 .*
08a0: 2f 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a  /}..finish_test.