SQLite Forum

Bug report: reachable assertion in zipfile module

I used my fuzzing tool to test sqlite of latest version, and found a reachable assertion in zipfile module.

Test command:


rm test.db; ./sqlite3 test.db < fuzz.sql
Here is the output:

sqlite3: ../shell.c:6660: zipfileMtimeToDos: Assertion `mUnixTime<315507600 || mUnixTime==zipfileMtime(pCds) || ((mUnixTime % 2) && mUnixTime-1==zipfileMtime(pCds))' failed.
Here is the content of the simplified fuzz.sql, which can also trigger the assertion:

select zipfile(0,0,9223372036854775808,0);