Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Mention the valgrindfuzz make target in the discussion of AFL. |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
1d0a599d9e0d0387e9f61d7fd1063685 |
| 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
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
|