/ Hex Artifact Content
Login

Artifact 112f4b2ae0b95ebf3ea63718642fb969a93acea557ace3a307234d19c245989b:


0000: 23 20 32 30 30 38 20 4a 75 6c 79 20 31 31 0a 23  # 2008 July 11.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69  .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68  sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65  t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65   code.  In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f   of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20  tice, here is a 
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20  blessing:.#.#   
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64   May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23   and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64      May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72   forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f   yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20  rgive others..# 
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65     May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74   freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20  aking more than 
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a  you 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 2a 2a 0a 23 20 54 68 69 73 20 66 69 6c 65  ****.# This file
0170: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72   implements regr
0180: 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72  ession tests for
0190: 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e   SQLite library.
01a0: 0a 23 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69  .#.# This file i
01b0: 6d 70 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20  mplements tests 
01c0: 74 6f 20 6d 61 6b 65 20 73 75 72 65 20 53 51 4c  to make sure SQL
01d0: 69 74 65 20 64 6f 65 73 20 6e 6f 74 20 63 72 61  ite does not cra
01e0: 73 68 20 6f 72 0a 23 20 73 65 67 66 61 75 6c 74  sh or.# segfault
01f0: 20 69 66 20 69 74 20 73 65 65 73 20 61 20 63 6f   if it sees a co
0200: 72 72 75 70 74 20 64 61 74 61 62 61 73 65 20 66  rrupt database f
0210: 69 6c 65 2e 20 20 49 74 20 73 70 65 63 69 66 69  ile.  It specifi
0220: 63 61 6c 6c 79 20 66 6f 63 75 73 65 73 0a 23 20  cally focuses.# 
0230: 6f 6e 20 63 6f 72 72 75 70 74 20 64 61 74 61 62  on corrupt datab
0240: 61 73 65 20 68 65 61 64 65 72 73 2e 0a 23 0a 23  ase headers..#.#
0250: 20 24 49 64 3a 20 63 6f 72 72 75 70 74 41 2e 74   $Id: corruptA.t
0260: 65 73 74 2c 76 20 31 2e 31 20 32 30 30 38 2f 30  est,v 1.1 2008/0
0270: 37 2f 31 31 20 31 36 3a 33 39 3a 32 33 20 64 72  7/11 16:39:23 dr
0280: 68 20 45 78 70 20 24 0a 0a 73 65 74 20 74 65 73  h Exp $..set tes
0290: 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61  tdir [file dirna
02a0: 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63  me $argv0].sourc
02b0: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
02c0: 72 2e 74 63 6c 0a 0a 23 20 44 6f 20 6e 6f 74 20  r.tcl..# Do not 
02d0: 75 73 65 20 61 20 63 6f 64 65 63 20 66 6f 72 20  use a codec for 
02e0: 74 65 73 74 73 20 69 6e 20 74 68 69 73 20 66 69  tests in this fi
02f0: 6c 65 2c 20 61 73 20 74 68 65 20 64 61 74 61 62  le, as the datab
0300: 61 73 65 20 66 69 6c 65 20 69 73 0a 23 20 6d 61  ase file is.# ma
0310: 6e 69 70 75 6c 61 74 65 64 20 64 69 72 65 63 74  nipulated direct
0320: 6c 79 20 75 73 69 6e 67 20 74 63 6c 20 73 63 72  ly using tcl scr
0330: 69 70 74 73 20 28 75 73 69 6e 67 20 74 68 65 20  ipts (using the 
0340: 5b 68 65 78 69 6f 5f 77 72 69 74 65 5d 20 63 6f  [hexio_write] co
0350: 6d 6d 61 6e 64 29 2e 0a 23 0a 64 6f 5f 6e 6f 74  mmand)..#.do_not
0360: 5f 75 73 65 5f 63 6f 64 65 63 0a 0a 23 20 54 68  _use_codec..# Th
0370: 65 73 65 20 74 65 73 74 73 20 64 65 61 6c 20 77  ese tests deal w
0380: 69 74 68 20 63 6f 72 72 75 70 74 20 64 61 74 61  ith corrupt data
0390: 62 61 73 65 20 66 69 6c 65 73 0a 23 0a 64 61 74  base files.#.dat
03a0: 61 62 61 73 65 5f 6d 61 79 5f 62 65 5f 63 6f 72  abase_may_be_cor
03b0: 72 75 70 74 0a 0a 0a 23 20 43 72 65 61 74 65 20  rupt...# Create 
03c0: 61 20 64 61 74 61 62 61 73 65 20 74 6f 20 77 6f  a database to wo
03d0: 72 6b 20 77 69 74 68 2e 0a 23 0a 64 6f 5f 74 65  rk with..#.do_te
03e0: 73 74 20 63 6f 72 72 75 70 74 41 2d 31 2e 31 20  st corruptA-1.1 
03f0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0400: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0410: 31 28 78 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  1(x);.    INSERT
0420: 20 49 4e 54 4f 20 74 31 28 78 29 20 56 41 4c 55   INTO t1(x) VALU
0430: 45 53 28 31 29 3b 0a 20 20 7d 0a 20 20 65 78 70  ES(1);.  }.  exp
0440: 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  r {[file size te
0450: 73 74 2e 64 62 5d 3e 3d 31 30 32 34 7d 0a 7d 20  st.db]>=1024}.} 
0460: 7b 31 7d 0a 69 6e 74 65 67 72 69 74 79 5f 63 68  {1}.integrity_ch
0470: 65 63 6b 20 63 6f 72 72 75 70 74 41 2d 31 2e 32  eck corruptA-1.2
0480: 0a 0a 23 20 43 6f 72 72 75 70 74 20 74 68 65 20  ..# Corrupt the 
0490: 66 69 6c 65 20 68 65 61 64 65 72 20 69 6e 20 76  file header in v
04a0: 61 72 69 6f 75 73 20 77 61 79 73 20 61 6e 64 20  arious ways and 
04b0: 6d 61 6b 65 20 73 75 72 65 20 74 68 65 20 63 6f  make sure the co
04c0: 72 72 75 70 74 69 6f 6e 0a 23 20 69 73 20 64 65  rruption.# is de
04d0: 74 65 63 74 65 64 20 77 68 65 6e 20 6f 70 65 6e  tected when open
04e0: 69 6e 67 20 74 68 65 20 64 61 74 61 62 61 73 65  ing the database
04f0: 20 66 69 6c 65 2e 0a 23 0a 64 62 20 63 6c 6f 73   file..#.db clos
0500: 65 0a 66 6f 72 63 65 63 6f 70 79 20 74 65 73 74  e.forcecopy test
0510: 2e 64 62 20 74 65 73 74 2e 64 62 2d 74 65 6d 70  .db test.db-temp
0520: 6c 61 74 65 0a 0a 73 65 74 20 75 6e 72 65 61 64  late..set unread
0530: 61 62 6c 65 5f 76 65 72 73 69 6f 6e 20 30 32 0a  able_version 02.
0540: 69 66 63 61 70 61 62 6c 65 20 77 61 6c 20 7b 20  ifcapable wal { 
0550: 73 65 74 20 75 6e 72 65 61 64 61 62 6c 65 5f 76  set unreadable_v
0560: 65 72 73 69 6f 6e 20 30 33 20 7d 0a 64 6f 5f 74  ersion 03 }.do_t
0570: 65 73 74 20 63 6f 72 72 75 70 74 41 2d 32 2e 31  est corruptA-2.1
0580: 20 7b 0a 20 20 66 6f 72 63 65 63 6f 70 79 20 74   {.  forcecopy t
0590: 65 73 74 2e 64 62 2d 74 65 6d 70 6c 61 74 65 20  est.db-template 
05a0: 74 65 73 74 2e 64 62 0a 20 20 68 65 78 69 6f 5f  test.db.  hexio_
05b0: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 39  write test.db 19
05c0: 20 24 75 6e 72 65 61 64 61 62 6c 65 5f 76 65 72   $unreadable_ver
05d0: 73 69 6f 6e 20 20 20 3b 23 20 74 68 65 20 72 65  sion   ;# the re
05e0: 61 64 20 66 6f 72 6d 61 74 20 6e 75 6d 62 65 72  ad format number
05f0: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
0600: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  st.db.  catchsql
0610: 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   {SELECT * FROM 
0620: 74 31 7d 20 20 0a 7d 20 7b 31 20 7b 66 69 6c 65  t1}  .} {1 {file
0630: 20 69 73 20 6e 6f 74 20 61 20 64 61 74 61 62 61   is not a databa
0640: 73 65 7d 7d 0a 20 0a 64 6f 5f 74 65 73 74 20 63  se}}. .do_test c
0650: 6f 72 72 75 70 74 41 2d 32 2e 32 20 7b 0a 20 20  orruptA-2.2 {.  
0660: 64 62 20 63 6c 6f 73 65 0a 20 20 66 6f 72 63 65  db close.  force
0670: 63 6f 70 79 20 74 65 73 74 2e 64 62 2d 74 65 6d  copy test.db-tem
0680: 70 6c 61 74 65 20 74 65 73 74 2e 64 62 0a 20 20  plate test.db.  
0690: 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74  hexio_write test
06a0: 2e 64 62 20 32 31 20 34 31 20 20 20 3b 23 20 6d  .db 21 41   ;# m
06b0: 61 78 20 65 6d 62 65 64 64 65 64 20 70 61 79 6c  ax embedded payl
06c0: 6f 61 64 20 66 72 61 63 74 69 6f 6e 0a 20 20 73  oad fraction.  s
06d0: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
06e0: 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 53 45  b.  catchsql {SE
06f0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 20  LECT * FROM t1} 
0700: 20 0a 7d 20 7b 31 20 7b 66 69 6c 65 20 69 73 20   .} {1 {file is 
0710: 6e 6f 74 20 61 20 64 61 74 61 62 61 73 65 7d 7d  not a database}}
0720: 0a 20 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  . .do_test corru
0730: 70 74 41 2d 32 2e 33 20 7b 0a 20 20 64 62 20 63  ptA-2.3 {.  db c
0740: 6c 6f 73 65 0a 20 20 66 6f 72 63 65 63 6f 70 79  lose.  forcecopy
0750: 20 74 65 73 74 2e 64 62 2d 74 65 6d 70 6c 61 74   test.db-templat
0760: 65 20 74 65 73 74 2e 64 62 0a 20 20 68 65 78 69  e test.db.  hexi
0770: 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20  o_write test.db 
0780: 32 32 20 31 66 20 20 20 3b 23 20 6d 69 6e 20 65  22 1f   ;# min e
0790: 6d 62 65 64 64 65 64 20 70 61 79 6c 6f 61 64 20  mbedded payload 
07a0: 66 72 61 63 74 69 6f 6e 0a 20 20 73 71 6c 69 74  fraction.  sqlit
07b0: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e3 db test.db.  
07c0: 63 61 74 63 68 73 71 6c 20 7b 53 45 4c 45 43 54  catchsql {SELECT
07d0: 20 2a 20 46 52 4f 4d 20 74 31 7d 20 20 0a 7d 20   * FROM t1}  .} 
07e0: 7b 31 20 7b 66 69 6c 65 20 69 73 20 6e 6f 74 20  {1 {file is not 
07f0: 61 20 64 61 74 61 62 61 73 65 7d 7d 0a 20 0a 64  a database}}. .d
0800: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 41 2d  o_test corruptA-
0810: 32 2e 34 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  2.4 {.  db close
0820: 0a 20 20 66 6f 72 63 65 63 6f 70 79 20 74 65 73  .  forcecopy tes
0830: 74 2e 64 62 2d 74 65 6d 70 6c 61 74 65 20 74 65  t.db-template te
0840: 73 74 2e 64 62 0a 20 20 68 65 78 69 6f 5f 77 72  st.db.  hexio_wr
0850: 69 74 65 20 74 65 73 74 2e 64 62 20 32 33 20 32  ite test.db 23 2
0860: 31 20 20 20 3b 23 20 6d 69 6e 20 6c 65 61 66 20  1   ;# min leaf 
0870: 70 61 79 6c 6f 61 64 20 66 72 61 63 74 69 6f 6e  payload fraction
0880: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
0890: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  st.db.  catchsql
08a0: 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   {SELECT * FROM 
08b0: 74 31 7d 20 20 0a 7d 20 7b 31 20 7b 66 69 6c 65  t1}  .} {1 {file
08c0: 20 69 73 20 6e 6f 74 20 61 20 64 61 74 61 62 61   is not a databa
08d0: 73 65 7d 7d 0a 20 0a 0a 66 69 6e 69 73 68 5f 74  se}}. ..finish_t
08e0: 65 73 74 0a                                      est.