Documentation Source Text

Check-in [1d0a599d9e]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Mention the valgrindfuzz make target in the discussion of AFL.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 1d0a599d9e0d0387e9f61d7fd10636855b7c9313
User & Date: drh 2015-09-23 00:55:19
Context
2015-10-03
12:21
Update rtree documentation to describe the way attempts to insert non-integer primary key values or non-numeric dimensions into an rtree table are handled. check-in: 56eab0136c user: dan tags: trunk
2015-09-23
00:55
Mention the valgrindfuzz make target in the discussion of AFL. check-in: 1d0a599d9e user: drh tags: trunk
2015-09-19
18:23
Remove the claim that AFL runs continuously. check-in: 82b0b65c87 user: drh tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to pages/testing.in.

394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
<p>Because of its past success, AFL became a standard part of the testing
strategy for SQLite beginning with [version 3.8.10].  
Both SQL statements and database files are fuzzed.
Billions and billions of mutations have been tried, but AFL's 
instrumentation has narrowed them down to less than 50,000 test cases that
cover all distinct behaviors.  Newly discovered test cases are periodically
captured and added to the [TCL test suite] where they can be rerun using
the "make fuzztest" command.

<h3>4.2 Malformed Database Files</h3>

<p>There are numerous test cases that verify that SQLite is able to
deal with malformed database files.
These tests first build a well-formed database file, then add
corruption by changing one or more bytes in the file by some means







|







394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
<p>Because of its past success, AFL became a standard part of the testing
strategy for SQLite beginning with [version 3.8.10].  
Both SQL statements and database files are fuzzed.
Billions and billions of mutations have been tried, but AFL's 
instrumentation has narrowed them down to less than 50,000 test cases that
cover all distinct behaviors.  Newly discovered test cases are periodically
captured and added to the [TCL test suite] where they can be rerun using
the "make fuzztest" or "make valgrindfuzz" commands.

<h3>4.2 Malformed Database Files</h3>

<p>There are numerous test cases that verify that SQLite is able to
deal with malformed database files.
These tests first build a well-formed database file, then add
corruption by changing one or more bytes in the file by some means