/ Hex Artifact Content
Login

Artifact 1ab3bf97ee7bdba70e0ff3ba2320657df55d1804:


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 31  >'abc';.  }.} {1
0520: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
0530: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
0540: 65 64 7d 7d 0a 64 6f 5f 74 65 73 74 20 31 2e 33  ed}}.do_test 1.3
0550: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
0560: 20 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65       PRAGMA inte
0570: 67 72 69 74 79 5f 63 68 65 63 6b 0a 20 20 7d 0a  grity_check.  }.
0580: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
0590: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
05a0: 66 6f 72 6d 65 64 7d 7d 0a 64 6f 5f 74 65 73 74  formed}}.do_test
05b0: 20 31 2e 34 20 7b 0a 20 20 63 61 74 63 68 73 71   1.4 {.  catchsq
05c0: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 63  l {.    SELECT c
05d0: 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42   FROM t1 ORDER B
05e0: 59 20 61 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 64  Y a;.  }.} {1 {d
05f0: 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61  atabase disk ima
0600: 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d  ge is malformed}
0610: 7d 0a 0a 23 20 43 6f 72 72 75 70 74 20 74 68 65  }..# Corrupt the
0620: 20 73 61 6d 65 20 66 69 6c 65 20 69 6e 20 61 20   same file in a 
0630: 73 6c 69 67 68 74 6c 79 20 64 69 66 66 65 72 65  slightly differe
0640: 6e 74 20 77 61 79 2e 20 20 4d 61 6b 65 20 74 68  nt way.  Make th
0650: 65 20 72 65 63 6f 72 64 20 68 65 61 64 65 72 0a  e record header.
0660: 23 20 73 61 6e 65 2c 20 62 75 74 20 63 6f 72 72  # sane, but corr
0670: 75 70 74 20 6f 6e 65 20 6f 66 20 74 68 65 20 73  upt one of the s
0680: 65 72 69 61 6c 5f 74 79 70 65 20 76 61 6c 75 65  erial_type value
0690: 20 74 6f 20 69 6e 64 69 63 61 74 65 20 61 20 68   to indicate a h
06a0: 75 67 65 20 70 61 79 6c 6f 61 64 0a 23 20 73 75  uge payload.# su
06b0: 63 68 20 74 68 61 74 20 74 68 65 20 70 61 79 6c  ch that the payl
06c0: 6f 61 64 20 62 65 67 69 6e 73 20 69 6e 20 61 6c  oad begins in al
06d0: 6c 6f 63 61 74 65 64 20 73 70 61 63 65 20 62 75  located space bu
06e0: 74 20 6f 76 65 72 66 6c 6f 77 73 20 74 68 65 20  t overflows the 
06f0: 62 75 66 66 65 72 2e 0a 23 0a 64 62 20 63 6c 6f  buffer..#.db clo
0700: 73 65 0a 68 65 78 69 6f 5f 77 72 69 74 65 20 74  se.hexio_write t
0710: 65 73 74 2e 64 62 20 5b 65 78 70 72 20 7b 24 69  est.db [expr {$i
0720: 64 78 72 6f 6f 74 2a 35 31 32 2d 31 35 7d 5d 20  dxroot*512-15}] 
0730: 30 35 31 33 66 66 37 66 30 31 0a 73 71 6c 69 74  0513ff7f01.sqlit
0740: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 0a 64  e3 db test.db..d
0750: 6f 5f 74 65 73 74 20 32 2e 31 20 7b 0a 20 20 63  o_test 2.1 {.  c
0760: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45  atchsql {.    SE
0770: 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  LECT rowid FROM 
0780: 74 31 20 57 48 45 52 45 20 61 3d 27 61 62 63 27  t1 WHERE a='abc'
0790: 20 61 6e 64 20 62 3d 27 78 79 7a 31 32 33 34 35   and b='xyz12345
07a0: 36 37 38 39 58 59 5a 27 3b 0a 20 20 7d 0a 7d 20  6789XYZ';.  }.} 
07b0: 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73  {1 {database dis
07c0: 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f  k image is malfo
07d0: 72 6d 65 64 7d 7d 0a 0a 66 69 6e 69 73 68 5f 74  rmed}}..finish_t
07e0: 65 73 74 0a                                      est.