CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_malloc_sqlite3ApiExit.out200 linesDownload Raw Back to mull-reports
1[info] Using config /sqlite/mull.yml2[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.3[warning] Could not find dynamic library: libm.so.64[warning] Could not find dynamic library: libc.so.65[info] Warm up run (threads: 1)6
       [################################] 1/1. Finished in 108ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 0ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 108ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/malloc.c:168:32 ExecutionResult: Passed15
       [--------------------------------] 1/5616[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Passed17[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed18[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Failed19
       [##------------------------------] 4/5620[debug] /sqlite/src/malloc.c:444:18 ExecutionResult: Passed21[debug] /sqlite/src/malloc.c:477:3 ExecutionResult: Passed22[debug] /sqlite/src/malloc.c:286:5 ExecutionResult: Passed23[debug] /sqlite/src/malloc.c:890:5 ExecutionResult: Failed24
       [####----------------------------] 8/5625[debug] /sqlite/src/malloc.c:852:22 ExecutionResult: Passed26[debug] /sqlite/src/malloc.c:446:20 ExecutionResult: Passed27[debug] /sqlite/src/malloc.c:878:22 ExecutionResult: Failed28[debug] /sqlite/src/malloc.c:671:8 ExecutionResult: Passed29[debug] /sqlite/src/malloc.c:789:7 ExecutionResult: Passed30
       [#######-------------------------] 13/5631[debug] /sqlite/src/malloc.c:850:47 ExecutionResult: Failed32[debug] /sqlite/src/malloc.c:894:13 ExecutionResult: Failed33[debug] /sqlite/src/malloc.c:418:50 ExecutionResult: Passed34
       [#########-----------------------] 16/5635[debug] /sqlite/src/malloc.c:161:36 ExecutionResult: Failed36
       [#########-----------------------] 17/5637[debug] /sqlite/src/malloc.c:257:9 ExecutionResult: Failed38
       [##########----------------------] 18/5639[debug] /sqlite/src/malloc.c:170:6 ExecutionResult: Failed40[debug] /sqlite/src/malloc.c:413:8 ExecutionResult: Failed41
       [###########---------------------] 20/5642[debug] /sqlite/src/malloc.c:323:5 ExecutionResult: Failed43
       [############--------------------] 21/5644[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Failed45[debug] /sqlite/src/malloc.c:285:11 ExecutionResult: Passed46[debug] /sqlite/src/malloc.c:444:18 ExecutionResult: Passed47
       [#############-------------------] 24/5648[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Passed49[debug] /sqlite/src/malloc.c:287:5 ExecutionResult: Passed50[debug] /sqlite/src/malloc.c:518:11 ExecutionResult: Passed51
       [###############-----------------] 27/5652[debug] /sqlite/src/malloc.c:786:8 ExecutionResult: Failed53[debug] /sqlite/src/malloc.c:891:5 ExecutionResult: Failed54[debug] /sqlite/src/malloc.c:877:40 ExecutionResult: Failed55[debug] /sqlite/src/malloc.c:457:20 ExecutionResult: Passed56[debug] /sqlite/src/malloc.c:889:29 ExecutionResult: Failed57
       [##################--------------] 32/5658[debug] /sqlite/src/malloc.c:789:17 ExecutionResult: Passed59[debug] /sqlite/src/malloc.c:917:12 ExecutionResult: Failed60
       [###################-------------] 34/5661[debug] /sqlite/src/malloc.c:851:22 ExecutionResult: Failed62[debug] /sqlite/src/malloc.c:419:5 ExecutionResult: Passed63
       [####################------------] 36/5664[debug] /sqlite/src/malloc.c:259:3 ExecutionResult: Passed65
       [#####################-----------] 37/5666[debug] /sqlite/src/malloc.c:171:9 ExecutionResult: Passed67
       [#####################-----------] 38/5668[debug] /sqlite/src/malloc.c:345:7 ExecutionResult: Failed69[debug] /sqlite/src/malloc.c:285:13 ExecutionResult: Passed70[debug] /sqlite/src/malloc.c:162:5 ExecutionResult: Failed71
       [#######################---------] 41/5672[debug] /sqlite/src/malloc.c:417:5 ExecutionResult: Passed73
       [########################--------] 42/5674[debug] /sqlite/src/malloc.c:322:5 ExecutionResult: Passed75
       [########################--------] 43/5676[debug] /sqlite/src/malloc.c:446:20 ExecutionResult: Passed77
       [#########################-------] 44/5678[debug] /sqlite/src/malloc.c:319:8 ExecutionResult: Failed79[debug] /sqlite/src/malloc.c:457:20 ExecutionResult: Passed80[debug] /sqlite/src/malloc.c:789:5 ExecutionResult: Passed81
       [##########################------] 47/5682[debug] /sqlite/src/malloc.c:671:8 ExecutionResult: Passed83[debug] /sqlite/src/malloc.c:850:23 ExecutionResult: Failed84
       [############################----] 49/5685[debug] /sqlite/src/malloc.c:852:22 ExecutionResult: Passed86
       [############################----] 50/5687[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed88
       [#############################---] 51/5689[debug] /sqlite/src/malloc.c:165:32 ExecutionResult: Passed90
       [#############################---] 52/5691[debug] /sqlite/src/malloc.c:418:5 ExecutionResult: Passed92
       [##############################--] 53/5693[debug] /sqlite/src/malloc.c:324:5 ExecutionResult: Timedout94
       [##############################--] 54/5695[debug] /sqlite/src/malloc.c:421:5 ExecutionResult: Timedout96
       [###############################-] 55/5697[debug] /sqlite/src/malloc.c:339:7 ExecutionResult: Failed98
       [################################] 56/56. Finished in 2756ms99[debug] Done running mutants100[info] Survived mutants (32/56):101/sqlite/src/malloc.c:165:32: warning: Survived: Replaced == with != [cxx_eq_to_ne]102  if( sqlite3GlobalConfig.pPage==0 || sqlite3GlobalConfig.szPage<512103                               ^104/sqlite/src/malloc.c:168:32: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]105    sqlite3GlobalConfig.szPage = 0;106                               ^107/sqlite/src/malloc.c:171:9: warning: Survived: Replaced != with == [cxx_ne_to_eq]108  if( rc!=SQLITE_OK ) memset(&mem0, 0, sizeof(mem0));109        ^110/sqlite/src/malloc.c:259:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]111  sqlite3StatusHighwater(SQLITE_STATUS_MALLOC_SIZE, n);112  ^113/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with >= [cxx_gt_to_ge]114  if( mem0.alarmThreshold>0 ){115                         ^116/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with <= [cxx_gt_to_le]117  if( mem0.alarmThreshold>0 ){118                         ^119/sqlite/src/malloc.c:285:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]120    nFull = sqlite3MallocSize(p);121          ^122/sqlite/src/malloc.c:285:13: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]123    nFull = sqlite3MallocSize(p);124            ^125/sqlite/src/malloc.c:286:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]126    sqlite3StatusUp(SQLITE_STATUS_MEMORY_USED, nFull);127    ^128/sqlite/src/malloc.c:287:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]129    sqlite3StatusUp(SQLITE_STATUS_MALLOC_COUNT, 1);130    ^131/sqlite/src/malloc.c:319:16: warning: Survived: Replaced > with >= [cxx_gt_to_ge]132  if( n==0 || n>SQLITE_MAX_ALLOCATION_SIZE ){133               ^134/sqlite/src/malloc.c:322:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]135    sqlite3_mutex_enter(mem0.mutex);136    ^137/sqlite/src/malloc.c:341:11: warning: Survived: Replaced <= with < [cxx_le_to_lt]138  return n<=0 ? 0 : sqlite3Malloc(n);139          ^140/sqlite/src/malloc.c:417:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]141    sqlite3_mutex_enter(mem0.mutex);142    ^143/sqlite/src/malloc.c:418:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]144    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));145    ^146/sqlite/src/malloc.c:418:50: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]147    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));148                                                 ^149/sqlite/src/malloc.c:419:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]150    sqlite3StatusDown(SQLITE_STATUS_MALLOC_COUNT, 1);151    ^152/sqlite/src/malloc.c:444:18: warning: Survived: Replaced < with >= [cxx_lt_to_ge]153    if( ((uptr)p)<(uptr)(db->lookaside.pEnd) ){154                 ^155/sqlite/src/malloc.c:444:18: warning: Survived: Replaced < with <= [cxx_lt_to_le]156    if( ((uptr)p)<(uptr)(db->lookaside.pEnd) ){157                 ^158/sqlite/src/malloc.c:446:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]159      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){160                   ^161/sqlite/src/malloc.c:446:20: warning: Survived: Replaced >= with < [cxx_ge_to_lt]162      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){163                   ^164/sqlite/src/malloc.c:457:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]165      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){166                   ^167/sqlite/src/malloc.c:457:20: warning: Survived: Replaced >= with < [cxx_ge_to_lt]168      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){169                   ^170/sqlite/src/malloc.c:477:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]171  sqlite3_free(p);172  ^173/sqlite/src/malloc.c:518:11: warning: Survived: Removed the call to the function [cxx_remove_void_call]174  if( p ) sqlite3DbFreeNN(db, p);175          ^176/sqlite/src/malloc.c:671:8: warning: Survived: Replaced > with >= [cxx_gt_to_ge]177  if( n>db->lookaside.sz ){178       ^179/sqlite/src/malloc.c:671:8: warning: Survived: Replaced > with <= [cxx_gt_to_le]180  if( n>db->lookaside.sz ){181       ^182/sqlite/src/malloc.c:789:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]183  n = strlen(z) + 1;184    ^185/sqlite/src/malloc.c:789:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]186  n = strlen(z) + 1;187      ^188/sqlite/src/malloc.c:789:17: warning: Survived: Replaced + with - [cxx_add_to_sub]189  n = strlen(z) + 1;190                ^191/sqlite/src/malloc.c:852:22: warning: Survived: Replaced > with >= [cxx_gt_to_ge]192    if( db->nVdbeExec>0 ){193                     ^194/sqlite/src/malloc.c:852:22: warning: Survived: Replaced > with <= [cxx_gt_to_le]195    if( db->nVdbeExec>0 ){196                     ^197[info] Mutation score: 42%198[info] Total execution time: 3077ms199[info] Surviving mutants: 32200