/ Hex Artifact Content
Login

Artifact 2399dfe40d2c0c63af86706e30f3e6302a8d0516:


0000: 23 20 32 30 30 38 20 4a 75 6c 79 20 39 0a 23 0a  # 2008 July 9.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 0a 23 20 54 68 69 73 20 66 69 6c 65 20  ***.# This file 
0170: 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65  implements regre
0180: 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20  ssion tests for 
0190: 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 0a  SQLite library..
01a0: 23 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 6d  #.# This file im
01b0: 70 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20 74  plements tests t
01c0: 6f 20 6d 61 6b 65 20 73 75 72 65 20 53 51 4c 69  o make sure SQLi
01d0: 74 65 20 64 6f 65 73 20 6e 6f 74 20 63 72 61 73  te does not cras
01e0: 68 20 6f 72 0a 23 20 73 65 67 66 61 75 6c 74 20  h or.# segfault 
01f0: 69 66 20 69 74 20 73 65 65 73 20 61 20 63 6f 72  if it sees a cor
0200: 72 75 70 74 20 64 61 74 61 62 61 73 65 20 66 69  rupt database fi
0210: 6c 65 2e 20 20 49 74 20 73 70 65 63 69 66 69 63  le.  It specific
0220: 61 6c 6c 79 20 66 6f 63 75 73 65 73 0a 23 20 6f  ally focuses.# o
0230: 6e 20 63 6f 72 72 75 70 74 20 70 6f 69 6e 74 65  n corrupt pointe
0240: 72 20 6d 61 70 20 70 61 67 65 73 2e 0a 23 0a 23  r map pages..#.#
0250: 20 24 49 64 3a 20 63 6f 72 72 75 70 74 38 2e 74   $Id: corrupt8.t
0260: 65 73 74 2c 76 20 31 2e 32 20 32 30 30 38 2f 30  est,v 1.2 2008/0
0270: 37 2f 31 31 20 30 33 3a 33 34 3a 31 30 20 64 72  7/11 03:34:10 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 23 20 57 65 20 6d 75 73 74 20  rupt..# We must 
03c0: 68 61 76 65 20 74 68 65 20 70 61 67 65 5f 73 69  have the page_si
03d0: 7a 65 20 70 72 61 67 6d 61 20 66 6f 72 20 74 68  ze pragma for th
03e0: 65 73 65 20 74 65 73 74 73 20 74 6f 20 77 6f 72  ese tests to wor
03f0: 6b 2e 0a 23 0a 69 66 63 61 70 61 62 6c 65 20 21  k..#.ifcapable !
0400: 70 61 67 65 72 5f 70 72 61 67 6d 61 73 7c 7c 21  pager_pragmas||!
0410: 61 75 74 6f 76 61 63 75 75 6d 20 7b 0a 20 20 66  autovacuum {.  f
0420: 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74  inish_test.  ret
0430: 75 72 6e 0a 7d 0a 0a 23 20 43 72 65 61 74 65 20  urn.}..# Create 
0440: 61 20 64 61 74 61 62 61 73 65 20 74 6f 20 77 6f  a database to wo
0450: 72 6b 20 77 69 74 68 2e 0a 23 0a 64 6f 5f 74 65  rk with..#.do_te
0460: 73 74 20 63 6f 72 72 75 70 74 38 2d 31 2e 31 20  st corrupt8-1.1 
0470: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0480: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
0490: 63 75 75 6d 3d 31 3b 0a 20 20 20 20 50 52 41 47  cuum=1;.    PRAG
04a0: 4d 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 30 32  MA page_size=102
04b0: 34 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  4;.    CREATE TA
04c0: 42 4c 45 20 74 31 28 78 29 3b 0a 20 20 20 20 49  BLE t1(x);.    I
04d0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 78 29  NSERT INTO t1(x)
04e0: 20 56 41 4c 55 45 53 28 31 29 3b 0a 20 20 20 20   VALUES(1);.    
04f0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 78  INSERT INTO t1(x
0500: 29 20 56 41 4c 55 45 53 28 32 29 3b 0a 20 20 20  ) VALUES(2);.   
0510: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28   INSERT INTO t1(
0520: 78 29 20 53 45 4c 45 43 54 20 78 2b 32 20 46 52  x) SELECT x+2 FR
0530: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
0540: 54 20 49 4e 54 4f 20 74 31 28 78 29 20 53 45 4c  T INTO t1(x) SEL
0550: 45 43 54 20 78 2b 34 20 46 52 4f 4d 20 74 31 3b  ECT x+4 FROM t1;
0560: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0570: 20 74 31 28 78 29 20 53 45 4c 45 43 54 20 78 2b   t1(x) SELECT x+
0580: 38 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49  8 FROM t1;.    I
0590: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 78 29  NSERT INTO t1(x)
05a0: 20 53 45 4c 45 43 54 20 78 2b 31 36 20 46 52 4f   SELECT x+16 FRO
05b0: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
05c0: 20 49 4e 54 4f 20 74 31 28 78 29 20 53 45 4c 45   INTO t1(x) SELE
05d0: 43 54 20 78 2b 33 32 20 46 52 4f 4d 20 74 31 3b  CT x+32 FROM t1;
05e0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
05f0: 20 74 31 28 78 29 20 53 45 4c 45 43 54 20 78 2b   t1(x) SELECT x+
0600: 36 34 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  64 FROM t1;.    
0610: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 78  INSERT INTO t1(x
0620: 29 20 53 45 4c 45 43 54 20 78 2b 31 32 38 20 46  ) SELECT x+128 F
0630: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45  ROM t1;.    INSE
0640: 52 54 20 49 4e 54 4f 20 74 31 28 78 29 20 53 45  RT INTO t1(x) SE
0650: 4c 45 43 54 20 78 2b 32 35 36 20 46 52 4f 4d 20  LECT x+256 FROM 
0660: 74 31 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  t1;.    CREATE T
0670: 41 42 4c 45 20 74 32 28 61 2c 62 29 3b 0a 20 20  ABLE t2(a,b);.  
0680: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
0690: 20 53 45 4c 45 43 54 20 78 2c 20 78 2a 78 20 46   SELECT x, x*x F
06a0: 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 20 20 65 78  ROM t1;.  }.  ex
06b0: 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74  pr {[file size t
06c0: 65 73 74 2e 64 62 5d 3e 31 30 32 34 2a 31 32 7d  est.db]>1024*12}
06d0: 0a 7d 20 7b 31 7d 0a 69 6e 74 65 67 72 69 74 79  .} {1}.integrity
06e0: 5f 63 68 65 63 6b 20 63 6f 72 72 75 70 74 38 2d  _check corrupt8-
06f0: 31 2e 32 0a 0a 23 20 4c 6f 6f 70 20 74 68 72 6f  1.2..# Loop thro
0700: 75 67 68 20 65 61 63 68 20 70 74 72 6d 61 70 20  ugh each ptrmap 
0710: 65 6e 74 72 79 2e 20 20 43 6f 72 72 75 70 74 20  entry.  Corrupt 
0720: 74 68 65 20 65 6e 74 72 79 20 61 6e 64 20 6d 61  the entry and ma
0730: 6b 65 20 73 75 72 65 20 74 68 65 0a 23 20 63 6f  ke sure the.# co
0740: 72 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65  rruption is dete
0750: 63 74 65 64 20 62 79 20 74 68 65 20 69 6e 74 65  cted by the inte
0760: 67 72 69 74 79 5f 63 68 65 63 6b 2e 0a 23 0a 66  grity_check..#.f
0770: 6f 72 20 7b 73 65 74 20 69 20 31 30 32 34 7d 20  or {set i 1024} 
0780: 7b 24 69 3c 32 30 34 38 7d 20 7b 69 6e 63 72 20  {$i<2048} {incr 
0790: 69 20 35 7d 20 7b 0a 20 20 73 65 74 20 6f 6c 64  i 5} {.  set old
07a0: 76 61 6c 20 5b 68 65 78 69 6f 5f 72 65 61 64 20  val [hexio_read 
07b0: 74 65 73 74 2e 64 62 20 24 69 20 31 5d 0a 20 20  test.db $i 1].  
07c0: 69 66 20 7b 24 6f 6c 64 76 61 6c 3d 3d 30 7d 20  if {$oldval==0} 
07d0: 62 72 65 61 6b 0a 20 20 68 65 78 69 6f 5f 77 72  break.  hexio_wr
07e0: 69 74 65 20 74 65 73 74 2e 64 62 20 24 69 20 30  ite test.db $i 0
07f0: 30 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72  0.  do_test corr
0800: 75 70 74 38 2d 32 2e 24 69 2e 30 20 7b 0a 20 20  upt8-2.$i.0 {.  
0810: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 20 20 73    db close.    s
0820: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
0830: 62 0a 20 20 20 20 73 65 74 20 78 20 5b 64 62 20  b.    set x [db 
0840: 65 76 61 6c 20 7b 50 52 41 47 4d 41 20 69 6e 74  eval {PRAGMA int
0850: 65 67 72 69 74 79 5f 63 68 65 63 6b 7d 5d 0a 20  egrity_check}]. 
0860: 20 20 20 65 78 70 72 20 7b 24 78 21 3d 22 6f 6b     expr {$x!="ok
0870: 22 7d 0a 20 20 7d 20 7b 31 7d 0a 20 20 66 6f 72  "}.  } {1}.  for
0880: 20 7b 73 65 74 20 6b 20 31 7d 20 7b 24 6b 3c 3d   {set k 1} {$k<=
0890: 35 7d 20 7b 69 6e 63 72 20 6b 7d 20 7b 0a 20 20  5} {incr k} {.  
08a0: 20 20 69 66 20 7b 24 6b 3d 3d 24 6f 6c 64 76 61    if {$k==$oldva
08b0: 6c 7d 20 63 6f 6e 74 69 6e 75 65 0a 20 20 20 20  l} continue.    
08c0: 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74  hexio_write test
08d0: 2e 64 62 20 24 69 20 30 24 6b 0a 20 20 20 20 64  .db $i 0$k.    d
08e0: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 38 2d  o_test corrupt8-
08f0: 32 2e 24 69 2e 24 6b 20 7b 0a 20 20 20 20 20 20  2.$i.$k {.      
0900: 64 62 20 63 6c 6f 73 65 0a 20 20 20 20 20 20 73  db close.      s
0910: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
0920: 62 0a 20 20 20 20 20 20 73 65 74 20 78 20 5b 64  b.      set x [d
0930: 62 20 65 76 61 6c 20 7b 50 52 41 47 4d 41 20 69  b eval {PRAGMA i
0940: 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 7d 5d  ntegrity_check}]
0950: 0a 20 20 20 20 20 20 65 78 70 72 20 7b 24 78 21  .      expr {$x!
0960: 3d 22 6f 6b 22 7d 0a 20 20 20 20 7d 20 7b 31 7d  ="ok"}.    } {1}
0970: 0a 20 20 7d 0a 20 20 68 65 78 69 6f 5f 77 72 69  .  }.  hexio_wri
0980: 74 65 20 74 65 73 74 2e 64 62 20 24 69 20 30 36  te test.db $i 06
0990: 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  .  do_test corru
09a0: 70 74 38 2d 32 2e 24 69 2e 36 20 7b 0a 20 20 20  pt8-2.$i.6 {.   
09b0: 20 64 62 20 63 6c 6f 73 65 0a 20 20 20 20 73 71   db close.    sq
09c0: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
09d0: 0a 20 20 20 20 73 65 74 20 78 20 5b 64 62 20 65  .    set x [db e
09e0: 76 61 6c 20 7b 50 52 41 47 4d 41 20 69 6e 74 65  val {PRAGMA inte
09f0: 67 72 69 74 79 5f 63 68 65 63 6b 7d 5d 0a 20 20  grity_check}].  
0a00: 20 20 65 78 70 72 20 7b 24 78 21 3d 22 6f 6b 22    expr {$x!="ok"
0a10: 7d 0a 20 20 7d 20 7b 31 7d 0a 20 20 68 65 78 69  }.  } {1}.  hexi
0a20: 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20  o_write test.db 
0a30: 24 69 20 24 6f 6c 64 76 61 6c 0a 20 20 69 66 20  $i $oldval.  if 
0a40: 7b 24 6f 6c 64 76 61 6c 3e 32 7d 20 7b 0a 20 20  {$oldval>2} {.  
0a50: 20 20 73 65 74 20 69 32 20 5b 65 78 70 72 20 7b    set i2 [expr {
0a60: 24 69 2b 31 2b 24 69 25 34 7d 5d 0a 20 20 20 20  $i+1+$i%4}].    
0a70: 73 65 74 20 6f 6c 64 76 61 6c 20 5b 68 65 78 69  set oldval [hexi
0a80: 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20 24  o_read test.db $
0a90: 69 32 20 31 5d 0a 20 20 20 20 68 65 78 69 6f 5f  i2 1].    hexio_
0aa0: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 24 69  write test.db $i
0ab0: 32 20 5b 66 6f 72 6d 61 74 20 25 30 32 78 20 5b  2 [format %02x [
0ac0: 65 78 70 72 20 7b 28 24 6f 6c 64 76 61 6c 2b 31  expr {($oldval+1
0ad0: 29 26 30 78 66 66 7d 5d 5d 0a 20 20 20 20 64 6f  )&0xff}]].    do
0ae0: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 38 2d 32  _test corrupt8-2
0af0: 2e 24 69 2e 37 20 7b 0a 20 20 20 20 20 20 64 62  .$i.7 {.      db
0b00: 20 63 6c 6f 73 65 0a 20 20 20 20 20 20 73 71 6c   close.      sql
0b10: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
0b20: 20 20 20 20 20 20 73 65 74 20 78 20 5b 64 62 20        set x [db 
0b30: 65 76 61 6c 20 7b 50 52 41 47 4d 41 20 69 6e 74  eval {PRAGMA int
0b40: 65 67 72 69 74 79 5f 63 68 65 63 6b 7d 5d 0a 20  egrity_check}]. 
0b50: 20 20 20 20 20 65 78 70 72 20 7b 24 78 21 3d 22       expr {$x!="
0b60: 6f 6b 22 7d 0a 20 20 20 20 7d 20 7b 31 7d 0a 20  ok"}.    } {1}. 
0b70: 20 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74     hexio_write t
0b80: 65 73 74 2e 64 62 20 24 69 32 20 24 6f 6c 64 76  est.db $i2 $oldv
0b90: 61 6c 0a 20 20 7d 0a 7d 0a 0a 0a 66 69 6e 69 73  al.  }.}...finis
0ba0: 68 5f 74 65 73 74 0a                             h_test.