/ Hex Artifact Content
Login

Artifact f52c593513bda80a506c848325c73c840590884d:


0000: 23 20 32 30 31 33 20 41 70 72 69 6c 20 30 32 0a  # 2013 April 02.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64  #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67  isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63  ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63  e code.  In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e  e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61  otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20   blessing:.#.#  
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f    May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a  d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e  #    May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f  d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66  r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23  orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72      May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20  e freely, never 
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e  taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 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 2a 0a 23 0a 23 20 54 68 69 73 20 66  *****.#.# This f
0170: 69 6c 65 20 63 6f 6e 74 61 69 6e 73 20 66 61 75  ile contains fau
0180: 6c 74 20 69 6e 6a 65 63 74 69 6f 6e 20 74 65 73  lt injection tes
0190: 74 73 20 64 65 73 69 67 6e 65 64 20 74 6f 20 74  ts designed to t
01a0: 65 73 74 20 74 68 65 20 62 74 72 65 65 2e 63 20  est the btree.c 
01b0: 0a 23 20 6d 6f 64 75 6c 65 2e 0a 23 0a 0a 73 65  .# module..#..se
01c0: 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20  t testdir [file 
01d0: 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a  dirname $argv0].
01e0: 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f  source $testdir/
01f0: 74 65 73 74 65 72 2e 74 63 6c 0a 73 6f 75 72 63  tester.tcl.sourc
0200: 65 20 24 74 65 73 74 64 69 72 2f 6d 61 6c 6c 6f  e $testdir/mallo
0210: 63 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a 73 65 74  c_common.tcl.set
0220: 20 74 65 73 74 70 72 65 66 69 78 20 62 74 72 65   testprefix btre
0230: 65 66 61 75 6c 74 0a 0a 23 20 54 68 69 73 20 74  efault..# This t
0240: 65 73 74 20 77 69 6c 6c 20 6e 6f 74 20 77 6f 72  est will not wor
0250: 6b 20 77 69 74 68 20 61 6e 20 69 6e 2d 6d 65 6d  k with an in-mem
0260: 6f 72 79 20 6a 6f 75 72 6e 61 6c 2c 20 61 73 20  ory journal, as 
0270: 74 68 65 20 64 61 74 61 62 61 73 65 20 77 69 6c  the database wil
0280: 6c 0a 23 20 62 65 63 6f 6d 65 20 63 6f 72 72 75  l.# become corru
0290: 70 74 20 69 66 20 61 6e 20 65 72 72 6f 72 20 69  pt if an error i
02a0: 73 20 69 6e 6a 65 63 74 65 64 20 69 6e 74 6f 20  s injected into 
02b0: 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 61 66  a transaction af
02c0: 74 65 72 20 69 74 20 73 74 61 72 74 73 0a 23 20  ter it starts.# 
02d0: 77 72 69 74 69 6e 67 20 64 61 74 61 20 6f 75 74  writing data out
02e0: 20 74 6f 20 74 68 65 20 64 62 20 66 69 6c 65 2e   to the db file.
02f0: 0a 69 66 20 7b 5b 70 65 72 6d 75 74 61 74 69 6f  .if {[permutatio
0300: 6e 5d 3d 3d 22 69 6e 6d 65 6d 6f 72 79 5f 6a 6f  n]=="inmemory_jo
0310: 75 72 6e 61 6c 22 7d 20 7b 0a 20 20 66 69 6e 69  urnal"} {.  fini
0320: 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72 6e  sh_test.  return
0330: 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 31 2d 70 72  .}..do_test 1-pr
0340: 65 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  e1 {.  execsql {
0350: 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f  .    PRAGMA auto
0360: 5f 76 61 63 75 75 6d 20 3d 20 69 6e 63 72 65 6d  _vacuum = increm
0370: 65 6e 74 61 6c 3b 0a 20 20 20 20 50 52 41 47 4d  ental;.    PRAGM
0380: 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f 64 65 20 3d  A journal_mode =
0390: 20 44 45 4c 45 54 45 3b 0a 20 20 20 20 43 52 45   DELETE;.    CRE
03a0: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 50  ATE TABLE t1(a P
03b0: 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a  RIMARY KEY, b);.
03c0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
03d0: 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d  t1 VALUES(random
03e0: 62 6c 6f 62 28 31 30 30 30 29 2c 20 72 61 6e 64  blob(1000), rand
03f0: 6f 6d 62 6c 6f 62 28 31 30 30 29 29 3b 0a 20 20  omblob(100));.  
0400: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0410: 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c   SELECT randombl
0420: 6f 62 28 31 30 30 30 29 2c 20 72 61 6e 64 6f 6d  ob(1000), random
0430: 62 6c 6f 62 28 31 30 30 30 29 20 46 52 4f 4d 20  blob(1000) FROM 
0440: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
0450: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61  NTO t1 SELECT ra
0460: 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 2c 20  ndomblob(1000), 
0470: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29  randomblob(1000)
0480: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
0490: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
04a0: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31  ECT randomblob(1
04b0: 30 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  000), randomblob
04c0: 28 31 30 30 30 29 20 46 52 4f 4d 20 74 31 3b 0a  (1000) FROM t1;.
04d0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
04e0: 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t1 SELECT random
04f0: 62 6c 6f 62 28 31 30 30 30 29 2c 20 72 61 6e 64  blob(1000), rand
0500: 6f 6d 62 6c 6f 62 28 31 30 30 30 29 20 46 52 4f  omblob(1000) FRO
0510: 4d 20 74 31 3b 0a 20 20 20 20 44 45 4c 45 54 45  M t1;.    DELETE
0520: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 72   FROM t1 WHERE r
0530: 6f 77 69 64 25 32 3b 0a 20 20 7d 0a 20 20 66 61  owid%2;.  }.  fa
0540: 75 6c 74 73 69 6d 5f 73 61 76 65 5f 61 6e 64 5f  ultsim_save_and_
0550: 63 6c 6f 73 65 0a 7d 20 7b 7d 0a 0a 64 6f 5f 66  close.} {}..do_f
0560: 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 31 20 2d  aultsim_test 1 -
0570: 70 72 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69  prep {.  faultsi
0580: 6d 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65  m_restore_and_re
0590: 6f 70 65 6e 0a 20 20 73 65 74 20 3a 3a 53 54 4d  open.  set ::STM
05a0: 54 20 5b 73 71 6c 69 74 65 33 5f 70 72 65 70 61  T [sqlite3_prepa
05b0: 72 65 20 64 62 20 22 53 45 4c 45 43 54 20 2a 20  re db "SELECT * 
05c0: 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59  FROM t1 ORDER BY
05d0: 20 61 22 20 2d 31 20 44 55 4d 4d 59 5d 0a 20 20   a" -1 DUMMY].  
05e0: 73 71 6c 69 74 65 33 5f 73 74 65 70 20 24 3a 3a  sqlite3_step $::
05f0: 53 54 4d 54 0a 20 20 73 71 6c 69 74 65 33 5f 73  STMT.  sqlite3_s
0600: 74 65 70 20 24 3a 3a 53 54 4d 54 0a 7d 20 2d 62  tep $::STMT.} -b
0610: 6f 64 79 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  ody {.  execsql 
0620: 7b 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65  { PRAGMA increme
0630: 6e 74 61 6c 5f 76 61 63 75 75 6d 20 3d 20 31 30  ntal_vacuum = 10
0640: 20 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 73   }.} -test {.  s
0650: 71 6c 69 74 65 33 5f 66 69 6e 61 6c 69 7a 65 20  qlite3_finalize 
0660: 24 3a 3a 53 54 4d 54 0a 20 20 66 61 75 6c 74 73  $::STMT.  faults
0670: 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b  im_test_result {
0680: 30 20 7b 7d 7d 20 0a 20 20 66 61 75 6c 74 73 69  0 {}} .  faultsi
0690: 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  m_integrity_chec
06a0: 6b 0a 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74  k.}..finish_test
06b0: 0a 0a                                            ..