/ Hex Artifact Content
Login

Artifact efd384b896c647b61a2c1848ba70d42aad60a7b3:


0000: 23 20 32 30 30 37 20 4d 61 79 20 31 30 0a 23 0a  # 2007 May 10.#.
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 20  SQLite library. 
01a0: 20 54 68 65 20 66 6f 63 75 73 0a 23 20 6f 66 20   The focus.# of 
01b0: 74 68 69 73 20 66 69 6c 65 20 69 73 20 63 68 65  this file is che
01c0: 63 6b 69 6e 67 20 74 68 65 20 6c 69 62 72 61 72  cking the librar
01d0: 69 65 73 20 72 65 73 70 6f 6e 73 65 20 74 6f 20  ies response to 
01e0: 73 75 62 74 6c 79 20 63 6f 72 72 75 70 74 69 6e  subtly corruptin
01f0: 67 0a 23 20 74 68 65 20 64 61 74 61 62 61 73 65  g.# the database
0200: 20 66 69 6c 65 20 62 79 20 63 68 61 6e 67 69 6e   file by changin
0210: 67 20 74 68 65 20 76 61 6c 75 65 73 20 6f 66 20  g the values of 
0220: 70 73 65 75 64 6f 2d 72 61 6e 64 6f 6d 6c 79 20  pseudo-randomly 
0230: 73 65 6c 65 63 74 65 64 0a 23 20 62 79 74 65 73  selected.# bytes
0240: 2e 0a 23 0a 23 20 24 49 64 3a 20 66 75 7a 7a 33  ..#.# $Id: fuzz3
0250: 2e 74 65 73 74 2c 76 20 31 2e 33 20 32 30 30 39  .test,v 1.3 2009
0260: 2f 30 31 2f 30 35 20 31 37 3a 31 39 3a 30 33 20  /01/05 17:19:03 
0270: 64 72 68 20 45 78 70 20 24 0a 0a 73 65 74 20 74  drh Exp $..set t
0280: 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72  estdir [file dir
0290: 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75  name $argv0].sou
02a0: 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73  rce $testdir/tes
02b0: 74 65 72 2e 74 63 6c 0a 0a 23 20 54 68 65 73 65  ter.tcl..# These
02c0: 20 74 65 73 74 73 20 64 65 61 6c 20 77 69 74 68   tests deal with
02d0: 20 63 6f 72 72 75 70 74 20 64 61 74 61 62 61 73   corrupt databas
02e0: 65 20 66 69 6c 65 73 0a 23 0a 64 61 74 61 62 61  e files.#.databa
02f0: 73 65 5f 6d 61 79 5f 62 65 5f 63 6f 72 72 75 70  se_may_be_corrup
0300: 74 0a 0a 65 78 70 72 20 73 72 61 6e 64 28 31 32  t..expr srand(12
0310: 33 29 0a 0a 70 72 6f 63 20 72 73 74 72 69 6e 67  3)..proc rstring
0320: 20 7b 6e 7d 20 7b 0a 20 20 73 65 74 20 73 74 72   {n} {.  set str
0330: 20 73 0a 20 20 77 68 69 6c 65 20 7b 5b 73 74 72   s.  while {[str
0340: 69 6e 67 20 6c 65 6e 67 74 68 20 24 73 74 72 5d  ing length $str]
0350: 20 3c 20 24 6e 7d 20 7b 0a 20 20 20 20 61 70 70   < $n} {.    app
0360: 65 6e 64 20 73 74 72 20 5b 65 78 70 72 20 72 61  end str [expr ra
0370: 6e 64 28 29 5d 0a 20 20 7d 0a 20 20 72 65 74 75  nd()].  }.  retu
0380: 72 6e 20 5b 73 74 72 69 6e 67 20 72 61 6e 67 65  rn [string range
0390: 20 24 73 74 72 20 30 20 24 6e 5d 0a 7d 0a 0a 23   $str 0 $n].}..#
03a0: 20 52 65 74 75 72 6e 20 61 20 72 61 6e 64 6f 6d   Return a random
03b0: 6c 79 20 67 65 6e 65 72 61 74 65 64 20 53 51 4c  ly generated SQL
03c0: 20 6c 69 74 65 72 61 6c 2e 0a 23 0a 70 72 6f 63   literal..#.proc
03d0: 20 72 76 61 6c 75 65 20 7b 7d 20 7b 0a 20 20 73   rvalue {} {.  s
03e0: 77 69 74 63 68 20 2d 2d 20 5b 65 78 70 72 20 69  witch -- [expr i
03f0: 6e 74 28 72 61 6e 64 28 29 2a 35 29 5d 20 7b 0a  nt(rand()*5)] {.
0400: 20 20 20 20 30 20 7b 20 23 20 53 51 4c 20 4e 55      0 { # SQL NU
0410: 4c 4c 20 76 61 6c 75 65 2e 0a 20 20 20 20 20 20  LL value..      
0420: 72 65 74 75 72 6e 20 4e 55 4c 4c 20 0a 20 20 20  return NULL .   
0430: 20 7d 0a 20 20 20 20 31 20 7b 20 23 20 49 6e 74   }.    1 { # Int
0440: 65 67 65 72 20 76 61 6c 75 65 2e 0a 20 20 20 20  eger value..    
0450: 20 20 72 65 74 75 72 6e 20 5b 65 78 70 72 20 69    return [expr i
0460: 6e 74 28 72 61 6e 64 28 29 2a 31 30 32 34 29 5d  nt(rand()*1024)]
0470: 20 0a 20 20 20 20 7d 0a 20 20 20 20 32 20 7b 20   .    }.    2 { 
0480: 23 20 52 65 61 6c 20 76 61 6c 75 65 2e 0a 20 20  # Real value..  
0490: 20 20 20 20 72 65 74 75 72 6e 20 5b 65 78 70 72      return [expr
04a0: 20 72 61 6e 64 28 29 5d 20 0a 20 20 20 20 7d 0a   rand()] .    }.
04b0: 20 20 20 20 33 20 7b 20 23 20 53 74 72 69 6e 67      3 { # String
04c0: 20 76 61 6c 75 65 2e 0a 20 20 20 20 20 20 73 65   value..      se
04d0: 74 20 6e 20 5b 65 78 70 72 20 69 6e 74 28 72 61  t n [expr int(ra
04e0: 6e 64 28 29 2a 32 35 30 30 29 5d 0a 20 20 20 20  nd()*2500)].    
04f0: 20 20 72 65 74 75 72 6e 20 22 27 5b 72 73 74 72    return "'[rstr
0500: 69 6e 67 20 24 6e 5d 27 22 0a 20 20 20 20 7d 0a  ing $n]'".    }.
0510: 20 20 20 20 34 20 7b 20 23 20 42 6c 6f 62 20 76      4 { # Blob v
0520: 61 6c 75 65 2e 0a 20 20 20 20 20 20 73 65 74 20  alue..      set 
0530: 6e 20 5b 65 78 70 72 20 69 6e 74 28 72 61 6e 64  n [expr int(rand
0540: 28 29 2a 32 35 30 30 29 5d 0a 20 20 20 20 20 20  ()*2500)].      
0550: 72 65 74 75 72 6e 20 22 43 41 53 54 28 27 5b 72  return "CAST('[r
0560: 73 74 72 69 6e 67 20 24 6e 5d 27 20 41 53 20 42  string $n]' AS B
0570: 4c 4f 42 29 22 0a 20 20 20 20 7d 0a 20 20 7d 0a  LOB)".    }.  }.
0580: 7d 0a 0a 70 72 6f 63 20 64 62 5f 63 68 65 63 6b  }..proc db_check
0590: 73 75 6d 20 7b 7d 20 7b 0a 20 20 73 65 74 20 20  sum {} {.  set  
05a0: 20 20 63 6b 73 75 6d 20 5b 65 78 65 63 73 71 6c    cksum [execsql
05b0: 20 7b 20 53 45 4c 45 43 54 20 6d 64 35 73 75 6d   { SELECT md5sum
05c0: 28 61 2c 20 62 2c 20 63 29 20 46 52 4f 4d 20 74  (a, b, c) FROM t
05d0: 31 20 7d 5d 0a 20 20 61 70 70 65 6e 64 20 63 6b  1 }].  append ck
05e0: 73 75 6d 20 5b 65 78 65 63 73 71 6c 20 7b 20 53  sum [execsql { S
05f0: 45 4c 45 43 54 20 6d 64 35 73 75 6d 28 64 2c 20  ELECT md5sum(d, 
0600: 65 2c 20 66 29 20 46 52 4f 4d 20 74 32 20 7d 5d  e, f) FROM t2 }]
0610: 0a 20 20 73 65 74 20 63 6b 73 75 6d 0a 7d 0a 0a  .  set cksum.}..
0620: 23 20 4d 6f 64 69 66 79 20 61 20 73 69 6e 67 6c  # Modify a singl
0630: 65 20 62 79 74 65 20 69 6e 20 74 68 65 20 66 69  e byte in the fi
0640: 6c 65 20 27 74 65 73 74 2e 64 62 27 20 75 73 69  le 'test.db' usi
0650: 6e 67 20 74 63 6c 20 49 4f 20 63 6f 6d 6d 61 6e  ng tcl IO comman
0660: 64 73 2e 20 54 68 65 0a 23 20 61 72 67 75 6d 65  ds. The.# argume
0670: 6e 74 20 76 61 6c 75 65 2c 20 77 68 69 63 68 20  nt value, which 
0680: 6d 75 73 74 20 62 65 20 61 6e 20 69 6e 74 65 67  must be an integ
0690: 65 72 2c 20 64 65 74 65 72 6d 69 6e 65 73 20 62  er, determines b
06a0: 6f 74 68 20 74 68 65 20 6f 66 66 73 65 74 20 6f  oth the offset o
06b0: 66 0a 23 20 74 68 65 20 62 79 74 65 20 74 68 61  f.# the byte tha
06c0: 74 20 69 73 20 6d 6f 64 69 66 69 65 64 2c 20 61  t is modified, a
06d0: 6e 64 20 74 68 65 20 76 61 6c 75 65 20 74 68 61  nd the value tha
06e0: 74 20 69 74 20 69 73 20 73 65 74 20 74 6f 2e 20  t it is set to. 
06f0: 54 68 65 20 6c 6f 77 65 72 0a 23 20 38 20 62 69  The lower.# 8 bi
0700: 74 73 20 6f 66 20 69 4d 6f 64 20 64 65 74 65 72  ts of iMod deter
0710: 6d 69 6e 65 20 74 68 65 20 6e 65 77 20 62 79 74  mine the new byt
0720: 65 20 76 61 6c 75 65 2e 20 54 68 65 20 6f 66 66  e value. The off
0730: 73 65 74 20 6f 66 20 74 68 65 20 62 79 74 65 0a  set of the byte.
0740: 23 20 6d 6f 64 69 66 69 65 64 20 69 73 20 74 68  # modified is th
0750: 65 20 76 61 6c 75 65 20 6f 66 20 28 24 69 4d 6f  e value of ($iMo
0760: 64 20 3e 3e 20 38 29 2e 0a 23 0a 23 20 54 68 65  d >> 8)..#.# The
0770: 20 72 65 74 75 72 6e 20 76 61 6c 75 65 20 69 73   return value is
0780: 20 74 68 65 20 69 4d 6f 64 20 76 61 6c 75 65 20   the iMod value 
0790: 72 65 71 75 69 72 65 64 20 74 6f 20 72 65 73 74  required to rest
07a0: 6f 72 65 20 74 68 65 20 66 69 6c 65 0a 23 20 74  ore the file.# t
07b0: 6f 20 69 74 73 20 6f 72 69 67 69 6e 61 6c 20 73  o its original s
07c0: 74 61 74 65 2e 20 54 68 65 20 63 6f 6d 6d 61 6e  tate. The comman
07d0: 64 3a 0a 23 0a 23 20 20 20 6d 6f 64 69 66 79 5f  d:.#.#   modify_
07e0: 64 61 74 61 62 61 73 65 20 5b 6d 6f 64 69 66 79  database [modify
07f0: 5f 64 61 74 61 62 61 73 65 20 24 78 5d 0a 23 0a  _database $x].#.
0800: 23 20 6c 65 61 76 65 73 20 74 68 65 20 66 69 6c  # leaves the fil
0810: 65 20 69 6e 20 74 68 65 20 73 61 6d 65 20 73 74  e in the same st
0820: 61 74 65 20 61 73 20 69 74 20 77 61 73 20 69 6e  ate as it was in
0830: 20 61 74 20 74 68 65 20 73 74 61 72 74 20 6f 66   at the start of
0840: 20 74 68 65 0a 23 20 63 6f 6d 6d 61 6e 64 20 28   the.# command (
0850: 61 73 73 75 6d 69 6e 67 20 74 68 61 74 20 74 68  assuming that th
0860: 65 20 66 69 6c 65 20 69 73 20 61 74 20 6c 65 61  e file is at lea
0870: 73 74 20 28 24 78 3e 3e 38 29 20 62 79 74 65 73  st ($x>>8) bytes
0880: 20 69 6e 20 73 69 7a 65 29 2e 0a 23 0a 70 72 6f   in size)..#.pro
0890: 63 20 6d 6f 64 69 66 79 5f 64 61 74 61 62 61 73  c modify_databas
08a0: 65 20 7b 69 4d 6f 64 7d 20 7b 0a 20 20 73 65 74  e {iMod} {.  set
08b0: 20 62 6c 6f 62 20 5b 62 69 6e 61 72 79 20 66 6f   blob [binary fo
08c0: 72 6d 61 74 20 63 20 5b 65 78 70 72 20 7b 24 69  rmat c [expr {$i
08d0: 4d 6f 64 26 30 78 46 46 7d 5d 5d 0a 20 20 73 65  Mod&0xFF}]].  se
08e0: 74 20 6f 66 66 73 65 74 20 5b 65 78 70 72 20 7b  t offset [expr {
08f0: 24 69 4d 6f 64 3e 3e 38 7d 5d 0a 0a 20 20 73 65  $iMod>>8}]..  se
0900: 74 20 66 64 20 5b 6f 70 65 6e 20 74 65 73 74 2e  t fd [open test.
0910: 64 62 20 72 2b 5d 0a 20 20 66 63 6f 6e 66 69 67  db r+].  fconfig
0920: 75 72 65 20 24 66 64 20 2d 65 6e 63 6f 64 69 6e  ure $fd -encodin
0930: 67 20 62 69 6e 61 72 79 20 2d 74 72 61 6e 73 6c  g binary -transl
0940: 61 74 69 6f 6e 20 62 69 6e 61 72 79 0a 20 20 73  ation binary.  s
0950: 65 65 6b 20 24 66 64 20 24 6f 66 66 73 65 74 0a  eek $fd $offset.
0960: 20 20 73 65 74 20 6f 6c 64 5f 62 6c 6f 62 20 5b    set old_blob [
0970: 72 65 61 64 20 24 66 64 20 31 5d 0a 20 20 73 65  read $fd 1].  se
0980: 65 6b 20 24 66 64 20 24 6f 66 66 73 65 74 0a 20  ek $fd $offset. 
0990: 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65   puts -nonewline
09a0: 20 24 66 64 20 24 62 6c 6f 62 0a 20 20 63 6c 6f   $fd $blob.  clo
09b0: 73 65 20 24 66 64 0a 0a 20 20 62 69 6e 61 72 79  se $fd..  binary
09c0: 20 73 63 61 6e 20 24 6f 6c 64 5f 62 6c 6f 62 20   scan $old_blob 
09d0: 63 20 69 4f 6c 64 0a 20 20 72 65 74 75 72 6e 20  c iOld.  return 
09e0: 5b 65 78 70 72 20 7b 28 24 6f 66 66 73 65 74 3c  [expr {($offset<
09f0: 3c 38 29 20 2b 20 28 24 69 4f 6c 64 26 30 78 46  <8) + ($iOld&0xF
0a00: 46 29 7d 5d 0a 7d 0a 0a 70 72 6f 63 20 70 75 72  F)}].}..proc pur
0a10: 67 65 5f 70 63 61 63 68 65 20 7b 7d 20 7b 0a 20  ge_pcache {} {. 
0a20: 20 69 66 63 61 70 61 62 6c 65 20 21 6d 65 6d 6f   ifcapable !memo
0a30: 72 79 6d 61 6e 61 67 65 20 7b 0a 20 20 20 20 64  rymanage {.    d
0a40: 62 20 63 6c 6f 73 65 0a 20 20 20 20 73 71 6c 69  b close.    sqli
0a50: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
0a60: 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20 73 71   } else {.    sq
0a70: 6c 69 74 65 33 5f 72 65 6c 65 61 73 65 5f 6d 65  lite3_release_me
0a80: 6d 6f 72 79 20 31 30 30 30 30 30 30 30 0a 20 20  mory 10000000.  
0a90: 7d 0a 20 20 69 66 20 7b 5b 6c 69 6e 64 65 78 20  }.  if {[lindex 
0aa0: 5b 70 63 61 63 68 65 5f 73 74 61 74 73 5d 20 31  [pcache_stats] 1
0ab0: 5d 20 21 3d 20 30 7d 20 7b 0a 20 20 20 20 65 72  ] != 0} {.    er
0ac0: 72 6f 72 20 22 70 75 72 67 65 5f 70 63 61 63 68  ror "purge_pcach
0ad0: 65 20 66 61 69 6c 65 64 3a 20 5b 70 63 61 63 68  e failed: [pcach
0ae0: 65 5f 73 74 61 74 73 5d 22 0a 20 20 7d 0a 7d 0a  e_stats]".  }.}.
0af0: 0a 23 20 54 68 69 73 20 62 6c 6f 63 6b 20 63 72  .# This block cr
0b00: 65 61 74 65 73 20 61 20 64 61 74 61 62 61 73 65  eates a database
0b10: 20 74 6f 20 77 6f 72 6b 20 77 69 74 68 2e 20 0a   to work with. .
0b20: 23 0a 64 6f 5f 74 65 73 74 20 66 75 7a 7a 33 2d  #.do_test fuzz3-
0b30: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
0b40: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 43      BEGIN;.    C
0b50: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
0b60: 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 43 52 45  , b, c);.    CRE
0b70: 41 54 45 20 54 41 42 4c 45 20 74 32 28 64 2c 20  ATE TABLE t2(d, 
0b80: 65 2c 20 66 29 3b 0a 20 20 20 20 43 52 45 41 54  e, f);.    CREAT
0b90: 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31  E INDEX i1 ON t1
0ba0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 43  (a, b, c);.    C
0bb0: 52 45 41 54 45 20 49 4e 44 45 58 20 69 32 20 4f  REATE INDEX i2 O
0bc0: 4e 20 74 32 28 64 2c 20 65 2c 20 66 29 3b 0a 20  N t2(d, e, f);. 
0bd0: 20 7d 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20   }.  for {set i 
0be0: 30 7d 20 7b 24 69 20 3c 20 35 30 7d 20 7b 69 6e  0} {$i < 50} {in
0bf0: 63 72 20 69 7d 20 7b 0a 20 20 20 20 65 78 65 63  cr i} {.    exec
0c00: 73 71 6c 20 22 49 4e 53 45 52 54 20 49 4e 54 4f  sql "INSERT INTO
0c10: 20 74 31 20 56 41 4c 55 45 53 28 5b 72 76 61 6c   t1 VALUES([rval
0c20: 75 65 5d 2c 20 5b 72 76 61 6c 75 65 5d 2c 20 5b  ue], [rvalue], [
0c30: 72 76 61 6c 75 65 5d 29 22 0a 20 20 20 20 65 78  rvalue])".    ex
0c40: 65 63 73 71 6c 20 22 49 4e 53 45 52 54 20 49 4e  ecsql "INSERT IN
0c50: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 5b 72 76  TO t2 VALUES([rv
0c60: 61 6c 75 65 5d 2c 20 5b 72 76 61 6c 75 65 5d 2c  alue], [rvalue],
0c70: 20 5b 72 76 61 6c 75 65 5d 29 22 0a 20 20 7d 0a   [rvalue])".  }.
0c80: 20 20 65 78 65 63 73 71 6c 20 43 4f 4d 4d 49 54    execsql COMMIT
0c90: 0a 7d 20 7b 7d 0a 0a 73 65 74 20 3a 3a 63 6b 73  .} {}..set ::cks
0ca0: 75 6d 20 5b 64 62 5f 63 68 65 63 6b 73 75 6d 5d  um [db_checksum]
0cb0: 0a 64 6f 5f 74 65 73 74 20 66 75 7a 7a 33 2d 32  .do_test fuzz3-2
0cc0: 20 7b 0a 20 20 64 62 5f 63 68 65 63 6b 73 75 6d   {.  db_checksum
0cd0: 0a 7d 20 24 3a 3a 63 6b 73 75 6d 0a 0a 66 6f 72  .} $::cksum..for
0ce0: 20 7b 73 65 74 20 69 69 20 30 7d 20 7b 24 69 69   {set ii 0} {$ii
0cf0: 20 3c 20 35 30 30 30 7d 20 7b 69 6e 63 72 20 69   < 5000} {incr i
0d00: 69 7d 20 7b 0a 20 20 70 75 72 67 65 5f 70 63 61  i} {.  purge_pca
0d10: 63 68 65 0a 0a 20 20 23 20 52 61 6e 64 6f 6d 6c  che..  # Randoml
0d20: 79 20 6d 6f 64 69 66 79 20 61 20 73 69 6e 67 6c  y modify a singl
0d30: 65 20 62 79 74 65 20 6f 66 20 74 68 65 20 64 61  e byte of the da
0d40: 74 61 62 61 73 65 20 66 69 6c 65 20 73 6f 6d 65  tabase file some
0d50: 77 68 65 72 65 20 77 69 74 68 69 6e 0a 20 20 23  where within.  #
0d60: 20 74 68 65 20 66 69 72 73 74 20 31 30 30 4b 42   the first 100KB
0d70: 20 6f 66 20 74 68 65 20 66 69 6c 65 2e 0a 20 20   of the file..  
0d80: 73 65 74 20 69 4e 65 77 20 5b 65 78 70 72 20 69  set iNew [expr i
0d90: 6e 74 28 72 61 6e 64 28 29 2a 35 2a 31 30 32 34  nt(rand()*5*1024
0da0: 2a 32 35 36 29 5d 0a 20 20 73 65 74 20 69 4f 6c  *256)].  set iOl
0db0: 64 20 5b 6d 6f 64 69 66 79 5f 64 61 74 61 62 61  d [modify_databa
0dc0: 73 65 20 24 69 4e 65 77 5d 0a 0a 20 20 73 65 74  se $iNew]..  set
0dd0: 20 69 54 65 73 74 20 30 0a 20 20 66 6f 72 65 61   iTest 0.  forea
0de0: 63 68 20 73 71 6c 20 7b 0a 20 20 20 20 7b 53 45  ch sql {.    {SE
0df0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 4f  LECT * FROM t2 O
0e00: 52 44 45 52 20 42 59 20 64 7d 20 20 20 20 20 20  RDER BY d}      
0e10: 0a 20 20 20 20 7b 53 45 4c 45 43 54 20 2a 20 46  .    {SELECT * F
0e20: 52 4f 4d 20 74 31 7d 20 20 20 20 20 20 20 20 20  ROM t1}         
0e30: 20 20 20 20 20 20 20 20 0a 20 20 20 20 7b 53 45          .    {SE
0e40: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 7d 20  LECT * FROM t2} 
0e50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0e60: 0a 20 20 20 20 7b 53 45 4c 45 43 54 20 2a 20 46  .    {SELECT * F
0e70: 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20  ROM t1 ORDER BY 
0e80: 61 7d 20 20 20 20 20 20 0a 20 20 20 20 7b 53 45  a}      .    {SE
0e90: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
0ea0: 48 45 52 45 20 61 20 3d 20 28 53 45 4c 45 43 54  HERE a = (SELECT
0eb0: 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   a FROM t1 WHERE
0ec0: 20 72 6f 77 69 64 3d 32 35 29 7d 20 0a 20 20 20   rowid=25)} .   
0ed0: 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   {SELECT * FROM 
0ee0: 74 32 20 57 48 45 52 45 20 64 20 3d 20 28 53 45  t2 WHERE d = (SE
0ef0: 4c 45 43 54 20 64 20 46 52 4f 4d 20 74 32 20 57  LECT d FROM t2 W
0f00: 48 45 52 45 20 72 6f 77 69 64 3d 31 29 7d 20 20  HERE rowid=1)}  
0f10: 0a 20 20 20 20 7b 53 45 4c 45 43 54 20 2a 20 46  .    {SELECT * F
0f20: 52 4f 4d 20 74 32 20 57 48 45 52 45 20 64 20 3d  ROM t2 WHERE d =
0f30: 20 28 53 45 4c 45 43 54 20 64 20 46 52 4f 4d 20   (SELECT d FROM 
0f40: 74 32 20 57 48 45 52 45 20 72 6f 77 69 64 3d 35  t2 WHERE rowid=5
0f50: 30 29 7d 20 0a 20 20 20 20 7b 50 52 41 47 4d 41  0)} .    {PRAGMA
0f60: 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b   integrity_check
0f70: 7d 20 20 20 20 20 20 20 20 20 20 20 0a 20 20 7d  }           .  }
0f80: 20 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 66   {.    do_test f
0f90: 75 7a 7a 33 2d 24 69 69 2e 24 69 4e 65 77 2e 5b  uzz3-$ii.$iNew.[
0fa0: 69 6e 63 72 20 69 54 65 73 74 5d 20 7b 0a 20 20  incr iTest] {.  
0fb0: 20 20 20 20 66 6f 72 65 61 63 68 20 7b 72 63 20      foreach {rc 
0fc0: 6d 73 67 7d 20 5b 63 61 74 63 68 73 71 6c 20 24  msg} [catchsql $
0fd0: 73 71 6c 5d 20 7b 7d 0a 20 20 20 20 20 20 69 66  sql] {}.      if
0fe0: 20 7b 24 72 63 20 3d 3d 20 30 20 0a 20 20 20 20   {$rc == 0 .    
0ff0: 20 20 20 7c 7c 20 24 6d 73 67 20 65 71 20 22 64     || $msg eq "d
1000: 61 74 61 62 61 73 65 20 6f 72 20 64 69 73 6b 20  atabase or disk 
1010: 69 73 20 66 75 6c 6c 22 0a 20 20 20 20 20 20 20  is full".       
1020: 7c 7c 20 24 6d 73 67 20 65 71 20 22 64 61 74 61  || $msg eq "data
1030: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
1040: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 22 0a 20 20  is malformed".  
1050: 20 20 20 20 20 7c 7c 20 24 6d 73 67 20 65 71 20       || $msg eq 
1060: 22 66 69 6c 65 20 69 73 20 65 6e 63 72 79 70 74  "file is encrypt
1070: 65 64 20 6f 72 20 69 73 20 6e 6f 74 20 61 20 64  ed or is not a d
1080: 61 74 61 62 61 73 65 22 0a 20 20 20 20 20 20 20  atabase".       
1090: 7c 7c 20 5b 73 74 72 69 6e 67 20 6d 61 74 63 68  || [string match
10a0: 20 22 6d 61 6c 66 6f 72 6d 65 64 20 64 61 74 61   "malformed data
10b0: 62 61 73 65 20 73 63 68 65 6d 61 2a 22 20 24 6d  base schema*" $m
10c0: 73 67 5d 0a 20 20 20 20 20 20 7d 20 7b 0a 20 20  sg].      } {.  
10d0: 20 20 20 20 20 20 73 65 74 20 6d 73 67 20 6f 6b        set msg ok
10e0: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 73  .      }.      s
10f0: 65 74 20 6d 73 67 0a 20 20 20 20 7d 20 7b 6f 6b  et msg.    } {ok
1100: 7d 0a 20 20 7d 0a 0a 20 20 23 20 52 65 73 74 6f  }.  }..  # Resto
1110: 72 65 20 74 68 65 20 6f 72 69 67 69 6e 61 6c 20  re the original 
1120: 64 61 74 61 62 61 73 65 20 66 69 6c 65 20 63 6f  database file co
1130: 6e 74 65 6e 74 2e 20 54 65 73 74 20 74 68 61 74  ntent. Test that
1140: 20 74 68 65 20 63 6f 72 72 65 63 74 20 0a 20 20   the correct .  
1150: 23 20 63 68 65 63 6b 73 75 6d 20 69 73 20 6e 6f  # checksum is no
1160: 77 20 72 65 74 75 72 6e 65 64 2e 0a 20 20 23 0a  w returned..  #.
1170: 20 20 70 75 72 67 65 5f 70 63 61 63 68 65 0a 20    purge_pcache. 
1180: 20 6d 6f 64 69 66 79 5f 64 61 74 61 62 61 73 65   modify_database
1190: 20 24 69 4f 6c 64 0a 20 20 64 6f 5f 74 65 73 74   $iOld.  do_test
11a0: 20 66 75 7a 7a 33 2d 24 69 69 2e 24 69 4e 65 77   fuzz3-$ii.$iNew
11b0: 2e 5b 69 6e 63 72 20 69 54 65 73 74 5d 20 7b 0a  .[incr iTest] {.
11c0: 20 20 20 20 64 62 5f 63 68 65 63 6b 73 75 6d 0a      db_checksum.
11d0: 20 20 7d 20 24 3a 3a 63 6b 73 75 6d 0a 7d 0a 0a    } $::cksum.}..
11e0: 66 69 6e 69 73 68 5f 74 65 73 74 0a              finish_test.