test/fuzzerfault.test

   1 # 2012 February 21
   2 #
   3 # The author disclaims copyright to this source code.  In place of
   4 # a legal notice, here is a blessing:
   5 #
   6 #    May you do good and not evil.
   7 #    May you find forgiveness for yourself and forgive others.
   8 #    May you share freely, never taking more than you give.
   9 #
  10 #***********************************************************************
  11 # This file implements regression tests for TCL interface to the
  12 # SQLite library.
  13 #
  14
  15 set testdir [file dirname $argv0]
  16 source $testdir/tester.tcl
  17 ifcapable !vtab { finish_test ; return }
  18 set ::testprefix fuzzerfault
  19
  20 load_static_extension db fuzzer
  21
  22 do_test 1-pre1 {
  23   execsql {
  24     CREATE TABLE x1_rules(ruleset, cFrom, cTo, cost);
  25     INSERT INTO x1_rules VALUES(0, 'a', 'b', 1);
  26     INSERT INTO x1_rules VALUES(0, 'a', 'c', 2);
  27     INSERT INTO x1_rules VALUES(0, 'a', 'd', 3);
  28   }
  29   faultsim_save_and_close
  30 } {}
  31 do_faultsim_test 1 -prep {
  32   faultsim_restore_and_reopen
  33   load_static_extension db fuzzer
  34 } -body {
  35   execsql {
  36     CREATE VIRTUAL TABLE x1 USING fuzzer(x1_rules);
  37     SELECT word FROM x1 WHERE word MATCH 'xax';
  38   }
  39 } -test {
  40   faultsim_test_result {0 {xax xbx xcx xdx}}               \
  41                        {1 {vtable constructor failed: x1}}
  42 }
  43
  44 do_test 2-pre1 {
  45   faultsim_delete_and_reopen
  46   load_static_extension db fuzzer
  47   execsql {
  48     CREATE TABLE x2_rules(ruleset, cFrom, cTo, cost);
  49     INSERT INTO x2_rules VALUES(0, 'a', 'x', 1);
  50     INSERT INTO x2_rules VALUES(0, 'b', 'x', 2);
  51     INSERT INTO x2_rules VALUES(0, 'c', 'x', 3);
  52     CREATE VIRTUAL TABLE x2 USING fuzzer(x2_rules);
  53   }
  54   faultsim_save_and_close
  55 } {}
  56
  57 do_faultsim_test 2 -prep {
  58   faultsim_restore_and_reopen
  59   load_static_extension db fuzzer
  60 } -body {
  61   execsql {
  62     SELECT count(*) FROM x2 WHERE word MATCH 'abc';
  63   }
  64 } -test {
  65   faultsim_test_result {0 8} {1 {vtable constructor failed: x2}}
  66 }
  67
  68 do_test 3-pre1 {
  69   faultsim_delete_and_reopen
  70   execsql {
  71     CREATE TABLE x1_rules(ruleset, cFrom, cTo, cost);
  72     INSERT INTO x1_rules VALUES(0, 'a',
  73       '123456789012345678901234567890a1234567890123456789', 10
  74     );
  75   }
  76   faultsim_save_and_close
  77 } {}
  78
  79 do_faultsim_test 3 -prep {
  80   faultsim_restore_and_reopen
  81   load_static_extension db fuzzer
  82 } -body {
  83   execsql {
  84     CREATE VIRTUAL TABLE x1 USING fuzzer(x1_rules);
  85     SELECT count(*) FROM (SELECT * FROM x1 WHERE word MATCH 'a' LIMIT 2);
  86   }
  87 } -test {
  88   faultsim_test_result {0 2} {1 {vtable constructor failed: x1}}
  89 }
  90
  91 #-------------------------------------------------------------------------
  92 reset_db
  93 do_execsql_test 4.0 {
  94   CREATE TABLE t1_a(a INTEFDR PRIMARY KEY, b TEXT);
  95   CREATE TABLE t3_a(k FnTEGER PRIMARY KEY, v TEXT);
  96   CREATE TABLE t3_b(k INTEÀ5R PRIMARY KEY, v TEXT);
  97   CREATE VIEW t3 AS SELECT * FROM t3_a UNION ALL SELECT * FROM t3_b;
  98 }
  99 faultsim_save_and_close
 100
 101 do_faultsim_test 4 -faults oom-t* -prep {
 102   faultsim_restore_and_reopen
 103 } -body {
 104   execsql {
 105     SELECT 1 FROM t1_a LEFT JOIN t3 ON ((1+1) AND k=1)
 106   }
 107 } -test {
 108   faultsim_test_result {0 {}}
 109 }
 110
 111 finish_test