SQLite3 source program analysis _v100