README.md

The developer will use SQLDEBUG to diagnose the root cause of the regression from the simplified test case produced by SQLMIN.

SQLITE

Setup fossil Sqlite for bisect

1) Clone fossil repo

mkdir sqlite_fossil
cd sqlite_fossil
fossil clone https://www.sqlite.org/src sqlite.fossil
fossil open sqlite.fossil

• If we do regression fuzzing on sqlite 3.23.0 and sqlite 3.27.0, we should find commit ID (you can use the following commands to find out)

  • sqlite 3.23.0: 736b53f57f

  • sqlite 3.27.0: c9af2f71bf

2) Some useful commands

; dump fossil log
$ fossil timeline -n 30000 > sqlite_log
$ cat sqlite_log|grep -v "\=\=\=" > sqlite_log2
$ cat sqlite_log2|grep "\:" |grep "\[" |grep "\]" > sqlite_log3

$ python
import sys
import fileinput
for line in fileinput.input('sqlite_log3', inplace=True):
    if line.startswith(' '):
        continue
    if "ticket [" in line.lower() or 'edit [' in line.lower():
        continue
    else:
        sys.stdout.write(line)

; working with tag
$ fossil tag list
$ fossil update tag:version-3.23.0

; diff commits
$ fossil diff --from f08c1731b0 --to 736b53f57f

; go to specific commit
$ fossil checkout 27e20d6998
$ fossil checkout 736b53f57f

Bisect problematic commit

./bisect.py -db sqlite -i sq_ex -r sqlite_fossil -l bisect_log

• -db or --database: Required, target database (e.g., sqlite or postgres)

• -i or --indir: Required, input directory where regression-inducing SQL queries are located

• -r or --repodir: Required, repository directory (either git or fossil)

• -l or --logfile: Optional, log filename

Dynamic Binary Instrumentation

To be updated

Statistical debugging

To be updated

However, we added demo to show how it works.

$ cd {REPO}/src/sqldebug/demo
python statdbg_sqlite.py sqlite2

PostgreSQL

Setup test repo

To be updated

Bisect problematic commit

To be updated

Dynamic Binary Instrumentation

To be updated

Statistical debugging

To be updated

However, we added demo to show how it works.

$ cd {REPO}/src/sqldebug/demo
python statdbg.py trace 898

Experimental

Delta LDA algorithm

To be updated

Utility commands

To be updated