/trunk/test/corruptE.test |
@@ -0,0 +1,183 @@ |
# 2010 February 18 |
# |
# 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. |
# |
# This file implements tests to make sure SQLite does not crash or |
# segfault if it sees a corrupt database file. It specifcally |
# focuses on rowid order corruption. |
# |
# $Id: corruptE.test,v 1.14 2009/07/11 06:55:34 danielk1977 Exp $ |
|
catch {file delete -force test.db test.db-journal test.bu} |
|
set testdir [file dirname $argv0] |
source $testdir/tester.tcl |
|
# Do not use a codec for tests in this file, as the database file is |
# manipulated directly using tcl scripts (using the [hexio_write] command). |
# |
do_not_use_codec |
|
# Do not run the tests in this file if ENABLE_OVERSIZE_CELL_CHECK is on. |
# |
ifcapable oversize_cell_check { |
finish_test |
return |
} |
|
# Construct a compact, dense database for testing. |
# |
do_test corruptE-1.1 { |
execsql { |
PRAGMA auto_vacuum = 0; |
PRAGMA legacy_file_format=1; |
BEGIN; |
CREATE TABLE t1(x,y); |
INSERT INTO t1 VALUES(1,1); |
INSERT OR IGNORE INTO t1 SELECT x*2,y FROM t1; |
INSERT OR IGNORE INTO t1 SELECT x*3,y FROM t1; |
INSERT OR IGNORE INTO t1 SELECT x*5,y FROM t1; |
INSERT OR IGNORE INTO t1 SELECT x*7,y FROM t1; |
INSERT OR IGNORE INTO t1 SELECT x*11,y FROM t1; |
INSERT OR IGNORE INTO t1 SELECT x*13,y FROM t1; |
INSERT OR IGNORE INTO t1 SELECT x*17,y FROM t1; |
INSERT OR IGNORE INTO t1 SELECT x*19,y FROM t1; |
CREATE INDEX t1i1 ON t1(x); |
CREATE TABLE t2 AS SELECT x,2 as y FROM t1 WHERE rowid%5!=0; |
COMMIT; |
} |
} {} |
|
ifcapable {integrityck} { |
integrity_check corruptE-1.2 |
} |
|
# Copy file $from into $to |
# |
proc copy_file {from to} { |
file copy -force $from $to |
} |
|
# Setup for the tests. Make a backup copy of the good database in test.bu. |
# |
db close |
copy_file test.db test.bu |
sqlite3 db test.db |
set fsize [file size test.db] |
|
|
do_test corruptE-2.1 { |
db close |
copy_file test.bu test.db |
|
# insert corrupt byte(s) |
hexio_write test.db 2041 [format %02x 0x2e] |
|
sqlite3 db test.db |
|
set res [ catchsql {PRAGMA integrity_check} ] |
set ans [lindex $res 1] |
|
list [regexp {out of order.*previous was} $ans] \ |
[regexp {out of order.*max larger than parent max} $ans] |
} {1 1} |
|
do_test corruptE-2.2 { |
db close |
copy_file test.bu test.db |
|
# insert corrupt byte(s) |
hexio_write test.db 2047 [format %02x 0x84] |
|
sqlite3 db test.db |
|
set res [ catchsql {PRAGMA integrity_check} ] |
set ans [lindex $res 1] |
|
list [regexp {out of order.*previous was} $ans] \ |
[regexp {out of order.*min less than parent min} $ans] |
} {1 1} |
|
do_test corruptE-2.3 { |
db close |
copy_file test.bu test.db |
|
# insert corrupt byte(s) |
hexio_write test.db 7420 [format %02x 0xa8] |
hexio_write test.db 10459 [format %02x 0x8d] |
|
sqlite3 db test.db |
|
set res [ catchsql {PRAGMA integrity_check} ] |
set ans [lindex $res 1] |
|
list [regexp {out of order.*max larger than parent min} $ans] |
} {1} |
|
do_test corruptE-2.4 { |
db close |
copy_file test.bu test.db |
|
# insert corrupt byte(s) |
hexio_write test.db 10233 [format %02x 0xd0] |
|
sqlite3 db test.db |
|
set res [ catchsql {PRAGMA integrity_check} ] |
set ans [lindex $res 1] |
|
list [regexp {out of order.*min less than parent max} $ans] |
} {1} |
|
|
set tests [list {10233 0xd0} \ |
{941 0x42} \ |
{1028 0x53} \ |
{2041 0xd0} \ |
{2042 0x1f} \ |
{2047 0xaa} \ |
{2263 0x29} \ |
{2274 0x75} \ |
{3267 0xf2} \ |
{4104 0x2c} \ |
{5113 0x36} \ |
{10233 0x84} \ |
{10234 0x74} \ |
{10239 0x41} \ |
{10453 0x11} \ |
{11273 0x28} \ |
{11455 0x11} \ |
{11461 0xe6} \ |
{12281 0x99} \ |
{12296 0x9e} \ |
{12297 0xd7} \ |
{13303 0x53} ] |
|
set tc 1 |
foreach test $tests { |
do_test corruptE-3.$tc { |
db close |
copy_file test.bu test.db |
|
# insert corrupt byte(s) |
hexio_write test.db [lindex $test 0] [format %02x [lindex $test 1]] |
|
sqlite3 db test.db |
|
set res [ catchsql {PRAGMA integrity_check} ] |
set ans [lindex $res 1] |
|
list [regexp {out of order} $ans] |
} {1} |
incr tc 1 |
} |
|
finish_test |