CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_malloc_sqlite3DbMallocSize.out221 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 109ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 4ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 0ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 111ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/malloc.c:168:32 ExecutionResult: Passed15
       [--------------------------------] 1/5916[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed17
       [#-------------------------------] 2/5918[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Failed19
       [#-------------------------------] 3/5920[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Passed21[debug] /sqlite/src/malloc.c:671:8 ExecutionResult: Failed22[debug] /sqlite/src/malloc.c:418:50 ExecutionResult: Passed23
       [###-----------------------------] 6/5924[debug] /sqlite/src/malloc.c:680:8 ExecutionResult: Passed25[debug] /sqlite/src/malloc.c:477:3 ExecutionResult: Passed26[debug] /sqlite/src/malloc.c:698:28 ExecutionResult: Passed27[debug] /sqlite/src/malloc.c:388:18 ExecutionResult: Failed28
       [#####---------------------------] 10/5929[debug] /sqlite/src/malloc.c:789:7 ExecutionResult: Passed30[debug] /sqlite/src/malloc.c:687:30 ExecutionResult: Passed31[debug] /sqlite/src/malloc.c:446:20 ExecutionResult: Passed32[debug] /sqlite/src/malloc.c:390:20 ExecutionResult: Failed33
       [#######-------------------------] 14/5934[debug] /sqlite/src/malloc.c:286:5 ExecutionResult: Passed35
       [########------------------------] 15/5936[debug] /sqlite/src/malloc.c:257:9 ExecutionResult: Failed37
       [########------------------------] 16/5938[debug] /sqlite/src/malloc.c:323:5 ExecutionResult: Failed39
       [#########-----------------------] 17/5940[debug] /sqlite/src/malloc.c:161:36 ExecutionResult: Failed41
       [#########-----------------------] 18/5942[debug] /sqlite/src/malloc.c:444:18 ExecutionResult: Failed43[debug] /sqlite/src/malloc.c:170:6 ExecutionResult: Failed44
       [##########----------------------] 20/5945[debug] /sqlite/src/malloc.c:285:11 ExecutionResult: Passed46
       [###########---------------------] 21/5947[debug] /sqlite/src/malloc.c:413:8 ExecutionResult: Failed48
       [###########---------------------] 22/5949[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Passed50
       [############--------------------] 23/5951[debug] /sqlite/src/malloc.c:518:11 ExecutionResult: Passed52[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Failed53[debug] /sqlite/src/malloc.c:673:30 ExecutionResult: Passed54
       [##############------------------] 26/5955[debug] /sqlite/src/malloc.c:419:5 ExecutionResult: Passed56[debug] /sqlite/src/malloc.c:789:17 ExecutionResult: Passed57[debug] /sqlite/src/malloc.c:786:8 ExecutionResult: Failed58
       [###############-----------------] 29/5959[debug] /sqlite/src/malloc.c:388:18 ExecutionResult: Passed60[debug] /sqlite/src/malloc.c:457:20 ExecutionResult: Passed61[debug] /sqlite/src/malloc.c:395:20 ExecutionResult: Passed62
       [#################---------------] 32/5963[debug] /sqlite/src/malloc.c:287:5 ExecutionResult: Passed64
       [#################---------------] 33/5965[debug] /sqlite/src/malloc.c:259:3 ExecutionResult: Passed66
       [##################--------------] 34/5967[debug] /sqlite/src/malloc.c:681:42 ExecutionResult: Failed68[debug] /sqlite/src/malloc.c:444:18 ExecutionResult: Passed69[debug] /sqlite/src/malloc.c:171:9 ExecutionResult: Passed70[debug] /sqlite/src/malloc.c:285:13 ExecutionResult: Passed71
       [####################------------] 38/5972[debug] /sqlite/src/malloc.c:671:8 ExecutionResult: Passed73[debug] /sqlite/src/malloc.c:692:35 ExecutionResult: Failed74[debug] /sqlite/src/malloc.c:417:5 ExecutionResult: Passed75
       [######################----------] 41/5976[debug] /sqlite/src/malloc.c:322:5 ExecutionResult: Passed77[debug] /sqlite/src/malloc.c:345:7 ExecutionResult: Failed78
       [#######################---------] 43/5979[debug] /sqlite/src/malloc.c:680:8 ExecutionResult: Passed80
       [#######################---------] 44/5981[debug] /sqlite/src/malloc.c:395:20 ExecutionResult: Failed82
       [########################--------] 45/5983[debug] /sqlite/src/malloc.c:319:8 ExecutionResult: Failed84[debug] /sqlite/src/malloc.c:789:5 ExecutionResult: Passed85[debug] /sqlite/src/malloc.c:390:20 ExecutionResult: Passed86
       [##########################------] 48/5987[debug] /sqlite/src/malloc.c:162:5 ExecutionResult: Failed88
       [##########################------] 49/5989[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed90
       [###########################-----] 50/5991[debug] /sqlite/src/malloc.c:457:20 ExecutionResult: Failed92
       [###########################-----] 51/5993[debug] /sqlite/src/malloc.c:685:48 ExecutionResult: Passed94[debug] /sqlite/src/malloc.c:446:20 ExecutionResult: Passed95
       [############################----] 53/5996[debug] /sqlite/src/malloc.c:696:41 ExecutionResult: Failed97
       [#############################---] 54/5998[debug] /sqlite/src/malloc.c:418:5 ExecutionResult: Passed99
       [#############################---] 55/59100[debug] /sqlite/src/malloc.c:165:32 ExecutionResult: Passed101
       [##############################--] 56/59102[debug] /sqlite/src/malloc.c:324:5 ExecutionResult: Timedout103
       [##############################--] 57/59104[debug] /sqlite/src/malloc.c:421:5 ExecutionResult: Timedout105
       [###############################-] 58/59106[debug] /sqlite/src/malloc.c:339:7 ExecutionResult: Failed107
       [################################] 59/59. Finished in 2777ms108[debug] Done running mutants109[info] Survived mutants (36/59):110/sqlite/src/malloc.c:165:32: warning: Survived: Replaced == with != [cxx_eq_to_ne]111  if( sqlite3GlobalConfig.pPage==0 || sqlite3GlobalConfig.szPage<512112                               ^113/sqlite/src/malloc.c:168:32: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]114    sqlite3GlobalConfig.szPage = 0;115                               ^116/sqlite/src/malloc.c:171:9: warning: Survived: Replaced != with == [cxx_ne_to_eq]117  if( rc!=SQLITE_OK ) memset(&mem0, 0, sizeof(mem0));118        ^119/sqlite/src/malloc.c:259:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]120  sqlite3StatusHighwater(SQLITE_STATUS_MALLOC_SIZE, n);121  ^122/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with >= [cxx_gt_to_ge]123  if( mem0.alarmThreshold>0 ){124                         ^125/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with <= [cxx_gt_to_le]126  if( mem0.alarmThreshold>0 ){127                         ^128/sqlite/src/malloc.c:285:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]129    nFull = sqlite3MallocSize(p);130          ^131/sqlite/src/malloc.c:285:13: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]132    nFull = sqlite3MallocSize(p);133            ^134/sqlite/src/malloc.c:286:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]135    sqlite3StatusUp(SQLITE_STATUS_MEMORY_USED, nFull);136    ^137/sqlite/src/malloc.c:287:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]138    sqlite3StatusUp(SQLITE_STATUS_MALLOC_COUNT, 1);139    ^140/sqlite/src/malloc.c:319:16: warning: Survived: Replaced > with >= [cxx_gt_to_ge]141  if( n==0 || n>SQLITE_MAX_ALLOCATION_SIZE ){142               ^143/sqlite/src/malloc.c:322:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]144    sqlite3_mutex_enter(mem0.mutex);145    ^146/sqlite/src/malloc.c:341:11: warning: Survived: Replaced <= with < [cxx_le_to_lt]147  return n<=0 ? 0 : sqlite3Malloc(n);148          ^149/sqlite/src/malloc.c:388:18: warning: Survived: Replaced < with <= [cxx_lt_to_le]150    if( ((uptr)p)<(uptr)(db->lookaside.pTrueEnd) ){151                 ^152/sqlite/src/malloc.c:390:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]153      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){154                   ^155/sqlite/src/malloc.c:395:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]156      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){157                   ^158/sqlite/src/malloc.c:417:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]159    sqlite3_mutex_enter(mem0.mutex);160    ^161/sqlite/src/malloc.c:418:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]162    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));163    ^164/sqlite/src/malloc.c:418:50: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]165    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));166                                                 ^167/sqlite/src/malloc.c:419:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]168    sqlite3StatusDown(SQLITE_STATUS_MALLOC_COUNT, 1);169    ^170/sqlite/src/malloc.c:444:18: warning: Survived: Replaced < with <= [cxx_lt_to_le]171    if( ((uptr)p)<(uptr)(db->lookaside.pEnd) ){172                 ^173/sqlite/src/malloc.c:446:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]174      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){175                   ^176/sqlite/src/malloc.c:446:20: warning: Survived: Replaced >= with < [cxx_ge_to_lt]177      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){178                   ^179/sqlite/src/malloc.c:457:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]180      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){181                   ^182/sqlite/src/malloc.c:477:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]183  sqlite3_free(p);184  ^185/sqlite/src/malloc.c:518:11: warning: Survived: Removed the call to the function [cxx_remove_void_call]186  if( p ) sqlite3DbFreeNN(db, p);187          ^188/sqlite/src/malloc.c:671:8: warning: Survived: Replaced > with >= [cxx_gt_to_ge]189  if( n>db->lookaside.sz ){190       ^191/sqlite/src/malloc.c:673:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]192      db->lookaside.anStat[1]++;      193                             ^194/sqlite/src/malloc.c:680:8: warning: Survived: Replaced <= with > [cxx_le_to_gt]195  if( n<=LOOKASIDE_SMALL ){196       ^197/sqlite/src/malloc.c:680:8: warning: Survived: Replaced <= with < [cxx_le_to_lt]198  if( n<=LOOKASIDE_SMALL ){199       ^200/sqlite/src/malloc.c:685:48: warning: Survived: Replaced != with == [cxx_ne_to_eq]201    }else if( (pBuf = db->lookaside.pSmallInit)!=0 ){202                                               ^203/sqlite/src/malloc.c:687:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]204      db->lookaside.anStat[0]++;205                             ^206/sqlite/src/malloc.c:698:28: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]207    db->lookaside.anStat[0]++;208                           ^209/sqlite/src/malloc.c:789:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]210  n = strlen(z) + 1;211    ^212/sqlite/src/malloc.c:789:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]213  n = strlen(z) + 1;214      ^215/sqlite/src/malloc.c:789:17: warning: Survived: Replaced + with - [cxx_add_to_sub]216  n = strlen(z) + 1;217                ^218[info] Mutation score: 38%219[info] Total execution time: 3104ms220[info] Surviving mutants: 36221