diff options
Diffstat (limited to 'components/external/SQLite-3.8.1/test/fuzz3.test')
| -rw-r--r-- | components/external/SQLite-3.8.1/test/fuzz3.test | 169 |
1 files changed, 0 insertions, 169 deletions
diff --git a/components/external/SQLite-3.8.1/test/fuzz3.test b/components/external/SQLite-3.8.1/test/fuzz3.test deleted file mode 100644 index d0efc5250e..0000000000 --- a/components/external/SQLite-3.8.1/test/fuzz3.test +++ /dev/null @@ -1,169 +0,0 @@ -# 2007 May 10 -# -# The author disclaims copyright to this source code. In place of -# a legal notice, here is a blessing: -# -# May you do good and not evil. -# May you find forgiveness for yourself and forgive others. -# May you share freely, never taking more than you give. -# -#*********************************************************************** -# This file implements regression tests for SQLite library. The focus -# of this file is checking the libraries response to subtly corrupting -# the database file by changing the values of pseudo-randomly selected -# bytes. -# -# $Id: fuzz3.test,v 1.3 2009/01/05 17:19:03 drh Exp $ - -set testdir [file dirname $argv0] -source $testdir/tester.tcl - - -expr srand(123) - -proc rstring {n} { - set str s - while {[string length $str] < $n} { - append str [expr rand()] - } - return [string range $str 0 $n] -} - -# Return a randomly generated SQL literal. -# -proc rvalue {} { - switch -- [expr int(rand()*5)] { - 0 { # SQL NULL value. - return NULL - } - 1 { # Integer value. - return [expr int(rand()*1024)] - } - 2 { # Real value. - return [expr rand()] - } - 3 { # String value. - set n [expr int(rand()*2500)] - return "'[rstring $n]'" - } - 4 { # Blob value. - set n [expr int(rand()*2500)] - return "CAST('[rstring $n]' AS BLOB)" - } - } -} - -proc db_checksum {} { - set cksum [execsql { SELECT md5sum(a, b, c) FROM t1 }] - append cksum [execsql { SELECT md5sum(d, e, f) FROM t2 }] - set cksum -} - -# Modify a single byte in the file 'test.db' using tcl IO commands. The -# argument value, which must be an integer, determines both the offset of -# the byte that is modified, and the value that it is set to. The lower -# 8 bits of iMod determine the new byte value. The offset of the byte -# modified is the value of ($iMod >> 8). -# -# The return value is the iMod value required to restore the file -# to its original state. The command: -# -# modify_database [modify_database $x] -# -# leaves the file in the same state as it was in at the start of the -# command (assuming that the file is at least ($x>>8) bytes in size). -# -proc modify_database {iMod} { - set blob [binary format c [expr {$iMod&0xFF}]] - set offset [expr {$iMod>>8}] - - set fd [open test.db r+] - fconfigure $fd -encoding binary -translation binary - seek $fd $offset - set old_blob [read $fd 1] - seek $fd $offset - puts -nonewline $fd $blob - close $fd - - binary scan $old_blob c iOld - return [expr {($offset<<8) + ($iOld&0xFF)}] -} - -proc purge_pcache {} { - ifcapable !memorymanage { - db close - sqlite3 db test.db - } else { - sqlite3_release_memory 10000000 - } - if {[lindex [pcache_stats] 1] != 0} { - error "purge_pcache failed: [pcache_stats]" - } -} - -# This block creates a database to work with. -# -do_test fuzz3-1 { - execsql { - BEGIN; - CREATE TABLE t1(a, b, c); - CREATE TABLE t2(d, e, f); - CREATE INDEX i1 ON t1(a, b, c); - CREATE INDEX i2 ON t2(d, e, f); - } - for {set i 0} {$i < 50} {incr i} { - execsql "INSERT INTO t1 VALUES([rvalue], [rvalue], [rvalue])" - execsql "INSERT INTO t2 VALUES([rvalue], [rvalue], [rvalue])" - } - execsql COMMIT -} {} - -set ::cksum [db_checksum] -do_test fuzz3-2 { - db_checksum -} $::cksum - -for {set ii 0} {$ii < 5000} {incr ii} { - purge_pcache - - # Randomly modify a single byte of the database file somewhere within - # the first 100KB of the file. - set iNew [expr int(rand()*5*1024*256)] - set iOld [modify_database $iNew] - - set iTest 0 - foreach sql { - {SELECT * FROM t2 ORDER BY d} - {SELECT * FROM t1} - {SELECT * FROM t2} - {SELECT * FROM t1 ORDER BY a} - {SELECT * FROM t1 WHERE a = (SELECT a FROM t1 WHERE rowid=25)} - {SELECT * FROM t2 WHERE d = (SELECT d FROM t2 WHERE rowid=1)} - {SELECT * FROM t2 WHERE d = (SELECT d FROM t2 WHERE rowid=50)} - {PRAGMA integrity_check} - } { - do_test fuzz3-$ii.$iNew.[incr iTest] { - foreach {rc msg} [catchsql $sql] {} - if {$rc == 0 - || $msg eq "database or disk is full" - || $msg eq "database disk image is malformed" - || $msg eq "file is encrypted or is not a database" - || [string match "malformed database schema*" $msg] - } { - set msg ok - } - set msg - } {ok} - } - - # Restore the original database file content. Test that the correct - # checksum is now returned. - # - purge_pcache - modify_database $iOld - do_test fuzz3-$ii.$iNew.[incr iTest] { - db_checksum - } $::cksum -} - -finish_test |