xref: /sqlite-3.40.0/test/fuzz_malloc.test (revision 1e080749) 
1#
2# 2007 May 10
3#
4# The author disclaims copyright to this source code.  In place of
5# a legal notice, here is a blessing:
6#
7#    May you do good and not evil.
8#    May you find forgiveness for yourself and forgive others.
9#    May you share freely, never taking more than you give.
10#
11#***********************************************************************
12#
13# This file tests malloc failures in concert with fuzzy SQL generation.
14#
15# $Id: fuzz_malloc.test,v 1.10 2008/08/20 16:35:10 drh Exp $
16
17set testdir [file dirname $argv0]
18source $testdir/tester.tcl
19
20ifcapable !memdebug {
21  finish_test
22  return
23}
24
25source $testdir/malloc_common.tcl
26source $testdir/fuzz_common.tcl
27
28if {[info exists G(isquick)]} {
29  set ::REPEATS 20
30} elseif {[info exists G(issoak)]} {
31  set ::REPEATS 100
32} else {
33  set ::REPEATS 40
34}
35
36#
37# Usage: do_fuzzy_malloc_test <testname> ?<options>?
38#
39#     -template
40#     -sqlprep
41#     -repeats
42#
43proc do_fuzzy_malloc_test {testname args} {
44  set ::fuzzyopts(-repeats) $::REPEATS
45  set ::fuzzyopts(-sqlprep) {}
46  array set ::fuzzyopts $args
47
48  sqlite3_memdebug_fail -1
49  db close
50  delete_file test.db test.db-journal
51  sqlite3 db test.db
52  set ::prep $::fuzzyopts(-sqlprep)
53  execsql $::prep
54  set jj 0
55  for {set ii 0} {$ii < $::fuzzyopts(-repeats)} {incr ii} {
56    expr srand($jj)
57    incr jj
58    set ::sql [subst $::fuzzyopts(-template)]
59    # puts fuzyy-sql=\[$::sql\]; flush stdout
60    foreach {rc res} [catchsql "$::sql"] {}
61    if {$rc==0} {
62      set nErr1 [set_test_counter errors]
63      do_malloc_test $testname-$ii -sqlbody $::sql -sqlprep $::prep
64      if {[set_test_counter errors]>$nErr1} {
65        puts "Previous fuzzy-sql=\[$::sql\]"
66        flush stdout
67      }
68    } else {
69      incr ii -1
70    }
71  }
72}
73
74#----------------------------------------------------------------
75# Test malloc failure during parsing (and execution) of a fuzzily
76# generated expressions.
77#
78do_fuzzy_malloc_test fuzzy_malloc-1 -template {Select [Expr]}
79do_fuzzy_malloc_test fuzzy_malloc-2 -template {[Select]}
80
81set ::SQLPREP {
82  BEGIN;
83    CREATE TABLE abc(a, b, c);
84    CREATE TABLE def(a, b, c);
85    CREATE TABLE ghi(a, b, c);
86    INSERT INTO abc VALUES(1.5, 3, 'a short string');
87    INSERT INTO def VALUES(NULL, X'ABCDEF',
88        'a longer string. Long enough that it doesn''t fit in Mem.zShort');
89    INSERT INTO ghi VALUES(zeroblob(1000), 'hello world', -1257900987654321);
90  COMMIT;
91}
92set ::TableList  [list abc def ghi]
93set ::ColumnList [list a b c]
94
95do_fuzzy_malloc_test fuzzy_malloc-3 \
96  -template {[Select]}              \
97  -sqlprep $::SQLPREP
98
99finish_test
100