search

IITDBGroup / gprom

GProM is a middleware that adds support for provenance to database backends.
http://www.cs.iit.edu/%7edbgroup/research/gprom.php
Apache License 2.0
8 stars 5 forks source link

SQLite backend - segmentation fault in sqlite3_table_column_metadata with version 3.8.2-1ubuntu2.1 #6

Open lordpretzel opened 7 years ago

lordpretzel commented 7 years ago

reproduce with

gdb gprom
run -loglevel 4 -query "Q(X) :- R(X,Y)." -frontend dl -backend sqlite -db examples/test.db

stack trace

0x00007ffff78298a0 in sqlite3_stricmp () from /usr/lib/x86_64-linux-gnu/libsqlite3.so.0
(gdb) bt
#0  0x00007ffff78298a0 in sqlite3_stricmp () from /usr/lib/x86_64-linux-gnu/libsqlite3.so.0
#1  0x00007ffff7838bb0 in ?? () from /usr/lib/x86_64-linux-gnu/libsqlite3.so.0
#2  0x00007ffff789aca2 in sqlite3_table_column_metadata () from /usr/lib/x86_64-linux-gnu/libsqlite3.so.0
#3  0x00000000004728bb in sqliteCatalogTableExists (tableName=0x7ffff68c20fc "R") at metadata_lookup_sqlite.c:187
#4  0x000000000047026c in catalogTableExists (tableName=0x7ffff68c20fc "R") at metadata_lookup.c:193
#5  0x0000000000494f0f in checkDLProgram (p=0x7ffff68c2010) at datalog_model_checker.c:96
#6  0x000000000049482c in checkDLModel (dlModel=0x7ffff68c2010) at datalog_model_checker.c:31
#7  0x0000000000449d68 in analyzeDLModel (stmt=0x7ffff68c2010) at analyze_dl.c:41
#8  0x0000000000451b20 in analyzeParseModel (parseModel=0x7ffff68c2010) at analyzer.c:36
#9  0x0000000000452989 in translateParse (q=0x7ffff68c2010) at translator.c:57
#10 0x000000000040431d in rewriteParserOutput (parse=0x7ffff68c2010, applyOptimizations=0) at rewriter.c:470
#11 0x0000000000403525 in rewriteQueryInternal (input=0x70e200 "Q(X) :- R(X,Y).", rethrowExceptions=0) at rewriter.c:329
#12 0x00000000004036ba in rewriteQuery (input=0x70e200 "Q(X) :- R(X,Y).") at rewriter.c:349
#13 0x0000000000401e28 in main (argc=11, argv=0x7fffffffeb78) at command_line_main.c:85