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 |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
1d0a599d9e0d0387e9f61d7fd1063685 |
User & Date: | drh 2015-09-23 00:55:19.287 |
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 | <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 | | | 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 |
︙ | ︙ |