search

yuejia / Milu

A higher order mutation testing tool
Other
58 stars 29 forks source link

SIGABRT on using Milu with sqlite.c #12

Open vrthra opened 8 years ago

vrthra commented 8 years ago

I took sqlite3 current version (linked), created an amalgamated sqlite3.c, passed through gcc -E, and fed it into Milu as described in Readme. I added all functions in https://www.sqlite.org/c3ref/funclist.html in the func.txt, and executed below

./bin/milu -f func.txt sqlite3.c

I get SIGABRT (coredump analysis from gdb)

ERROR:src/mutation/ASTPrinter.c:1254:print_source_expr: code should not be reached

Program received signal SIGABRT, Aborted.
0x0000003482c32625 in raise () from /lib64/libc.so.6
Missing separate debuginfos, use: debuginfo-install clang-3.4.2-4.el6.x86_64 glib2-2.28.8-4.el6.x86_64 glibc-2.12-1.166.el6_7.7.x86_64 libffi-3.0.5-3.2.el6.x86_64 libgcc-4.4.7-16.el6.x86_64 libstdc++-4.4.7-16.el6.x86_64 llvm-libs-3.4.2-4.el6.x86_64 ncurses-libs-5.7-3.20090208.el6.x86_64
(gdb) where
#0  0x0000003482c32625 in raise () from /lib64/libc.so.6
#1  0x0000003482c33e05 in abort () from /lib64/libc.so.6
#2  0x0000003484467324 in g_assertion_message () from /lib64/libglib-2.0.so.0
#3  0x0000000000407aea in print_source_expr (node=0x1a35f20, buffer=0x24fccc0, is_stmt=0) at src/mutation/ASTPrinter.c:1254
#4  0x00000000004074c5 in print_source_unexposed_expr (parent=0x1a35e40, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:1042
#5  0x00000000004078c7 in print_source_expr (node=0x1a35e40, buffer=0x24fccc0, is_stmt=0) at src/mutation/ASTPrinter.c:1163
#6  0x0000000000406ae2 in print_source_call_expr (parent=0x1a355e0, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:708
#7  0x0000000000408112 in print_source_stmt (node=0x1a355e0, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:1405
#8  0x0000000000406c51 in print_source_compound_stmt (parent=0x1a2aea0, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:749
#9  0x0000000000407022 in print_source_function_decl (parent=0x1a2ac00, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:853
#10 0x000000000040590b in ASTNode_print_source (parent=0x632480, output=0x23f6a00) at src/mutation/ASTPrinter.c:125
#11 0x000000000040ccc7 in ASTUnit_print (au=0x630e80, mode=PrintSource, output=0x23f6a00) at src/mutation/ASTUnit.c:1159
#12 0x000000000040f9f1 in mutant_save (mut=0x245f800) at src/mutation/Mutant.c:132
#13 0x0000000000411b42 in mutants_save (muts=0x2688020) at src/mutation/MutantSet.c:215
#14 0x000000000040f505 in milu_multi_process_mutants (mutants=0x2688020, mfunc=0x411af5 <mutants_save>) at src/mutation/MultiProcessing.c:59
#15 0x000000000040e8eb in milu_save_mutants (mutants=0x2688020) at src/mutation/Milu3.c:81
#16 0x000000000040289b in main (argc=4, argv=0x7fffffffda58) at src/App.c:118

Environment: Centos 6.6