Thank you for the very good advice. :-) We do use the -DSQLITE_DEBUG version for fuzzing. Actually, we observe the assertion failure first in our fuzzing tool, and then use ASAN to generate the heap buffer report. We are very happy to provide more information if needed, and produce more reports in the future to make the software better!