mirror of
https://github.com/sqlite/sqlite.git
synced 2026-10-25 09:59:22 +03:00
51153 lines
3.0 MiB
51153 lines
3.0 MiB
# This file contains test data for fuzzershell. Test cases are separated
|
||
# by /****<...>****/ where the "..." is arbitrary text. The separator comments
|
||
# and this header comment are ignored. Each test case is run in a separate
|
||
# in-memory SQLite database.
|
||
#
|
||
# The purpose of these tests are to verify that SQLite does not crash or
|
||
# leak memory. No attempt is made to verify the output. The tests succeed
|
||
# if no crash occurs. (The fuzzershell.c test harness used to run these tests
|
||
# will crash automatically if it detects a memory leak.)
|
||
#
|
||
# Note that this file has a ".txt" suffix, but it is not really a text file
|
||
# as some test cases may contain binary data, including \000 bytes.
|
||
#
|
||
# DO NOT EDIT THIS FILE IN A TEXT EDITOR!!
|
||
#
|
||
# To update this file (presumably using test vectors obtained from
|
||
# the American Fuzzy Lop Fuzzer http://lcamtuf.coredump.cx/afl/) append
|
||
# new test cases to this file, then run fuzzershell with the --unique-cases
|
||
# option to omit duplicates. For example (assuming that $AFL is the
|
||
# root directory of an AFL run):
|
||
#
|
||
# (for i in $AFL/out/crash*/id:* $AFL/out/queue/id:*;
|
||
# do echo '/****<reset>****/'; cat $i; done) >>fuzzdata1.txt
|
||
#
|
||
# fuzzershell -f fuzzdata1.txt --unique-cases fuzzdata1.txt
|
||
#
|
||
# 2015-04-27: A better way to update this file is to run the AFL queue and
|
||
# crash testcase sets through afl-tmin. The procedure goes like this:
|
||
#
|
||
# mkdir cmin-in cmin-out
|
||
# cp $AFL/out/crash*/id:* $AFL/out/queue/id:* cmin-in
|
||
# afl-cmin -i cmin-in -o cmin-out fuzzershell
|
||
# awk '/^#/{print}' fuzzdata1.txt >newdata.txt
|
||
# (for i in cmin-out/*; do echo '/****<x>****/'; cat $i; done) >>newdata.txt
|
||
# fuzzershell -f newdata.txt --unique-cases fuzzdata1.txt
|
||
#
|
||
# Pathnames may need to be provided for afl-cmin, fuzzershell, and
|
||
# fuzzdata1.txt.
|
||
#
|
||
/****<1>****/
|
||
|