CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_malloc_sqlite3DbNNFreeNN.out274 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 107ms7[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 106ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Failed15
       [--------------------------------] 1/7116[debug] /sqlite/src/malloc.c:170:6 ExecutionResult: Failed17
       [--------------------------------] 2/7118[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed19
       [#-------------------------------] 3/7120[debug] /sqlite/src/malloc.c:339:7 ExecutionResult: Failed21
       [#-------------------------------] 4/7122[debug] /sqlite/src/malloc.c:286:5 ExecutionResult: Passed23
       [##------------------------------] 5/7124[debug] /sqlite/src/malloc.c:485:18 ExecutionResult: Passed25[debug] /sqlite/src/malloc.c:432:21 ExecutionResult: Failed26[debug] /sqlite/src/malloc.c:518:11 ExecutionResult: Passed27
       [###-----------------------------] 8/7128[debug] /sqlite/src/malloc.c:673:30 ExecutionResult: Passed29[debug] /sqlite/src/malloc.c:696:41 ExecutionResult: Failed30[debug] /sqlite/src/malloc.c:477:3 ExecutionResult: Passed31[debug] /sqlite/src/malloc.c:789:5 ExecutionResult: Passed32[debug] /sqlite/src/malloc.c:388:18 ExecutionResult: Passed33
       [#####---------------------------] 13/7134[debug] /sqlite/src/malloc.c:687:30 ExecutionResult: Passed35[debug] /sqlite/src/malloc.c:418:5 ExecutionResult: Passed36
       [######--------------------------] 15/7137[debug] /sqlite/src/malloc.c:446:20 ExecutionResult: Passed38[debug] /sqlite/src/malloc.c:395:20 ExecutionResult: Passed39
       [#######-------------------------] 17/7140[debug] /sqlite/src/malloc.c:161:36 ExecutionResult: Failed41
       [########------------------------] 18/7142[debug] /sqlite/src/malloc.c:681:42 ExecutionResult: Failed43
       [########------------------------] 19/7144[debug] /sqlite/src/malloc.c:496:18 ExecutionResult: Failed45[debug] /sqlite/src/malloc.c:322:5 ExecutionResult: Passed46
       [#########-----------------------] 21/7147[debug] /sqlite/src/malloc.c:171:9 ExecutionResult: Passed48[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed49
       [##########----------------------] 23/7150[debug] /sqlite/src/malloc.c:287:5 ExecutionResult: Passed51[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Failed52
       [###########---------------------] 25/7153[debug] /sqlite/src/malloc.c:485:18 ExecutionResult: Failed54
       [###########---------------------] 26/7155[debug] /sqlite/src/malloc.c:432:24 ExecutionResult: Failed56[debug] /sqlite/src/malloc.c:671:8 ExecutionResult: Passed57[debug] /sqlite/src/malloc.c:680:8 ExecutionResult: Passed58
       [#############-------------------] 29/7159[debug] /sqlite/src/malloc.c:698:28 ExecutionResult: Passed60[debug] /sqlite/src/malloc.c:789:7 ExecutionResult: Passed61[debug] /sqlite/src/malloc.c:388:18 ExecutionResult: Passed62
       [##############------------------] 32/7163[debug] /sqlite/src/malloc.c:418:50 ExecutionResult: Passed64[debug] /sqlite/src/malloc.c:446:20 ExecutionResult: Passed65
       [###############-----------------] 34/7166[debug] /sqlite/src/malloc.c:395:20 ExecutionResult: Passed67
       [###############-----------------] 35/7168[debug] /sqlite/src/malloc.c:683:30 ExecutionResult: Passed69
       [################----------------] 36/7170[debug] /sqlite/src/malloc.c:508:5 ExecutionResult: Failed71[debug] /sqlite/src/malloc.c:483:16 ExecutionResult: Failed72
       [#################---------------] 38/7173[debug] /sqlite/src/malloc.c:285:11 ExecutionResult: Passed74
       [#################---------------] 39/7175[debug] /sqlite/src/malloc.c:692:35 ExecutionResult: Failed76
       [##################--------------] 40/7177[debug] /sqlite/src/malloc.c:319:8 ExecutionResult: Failed78
       [##################--------------] 41/7179[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Passed80[debug] /sqlite/src/malloc.c:496:18 ExecutionResult: Passed81
       [###################-------------] 43/7182[debug] /sqlite/src/malloc.c:786:8 ExecutionResult: Failed83[debug] /sqlite/src/malloc.c:444:18 ExecutionResult: Passed84
       [####################------------] 45/7185[debug] /sqlite/src/malloc.c:789:17 ExecutionResult: Passed86[debug] /sqlite/src/malloc.c:671:8 ExecutionResult: Failed87[debug] /sqlite/src/malloc.c:680:8 ExecutionResult: Passed88[debug] /sqlite/src/malloc.c:390:20 ExecutionResult: Passed89
       [######################----------] 49/7190[debug] /sqlite/src/malloc.c:162:5 ExecutionResult: Failed91[debug] /sqlite/src/malloc.c:419:5 ExecutionResult: Passed92[debug] /sqlite/src/malloc.c:457:20 ExecutionResult: Passed93
       [#######################---------] 52/7194[debug] /sqlite/src/malloc.c:257:9 ExecutionResult: Failed95
       [#######################---------] 53/7196[debug] /sqlite/src/malloc.c:323:5 ExecutionResult: Failed97[debug] /sqlite/src/malloc.c:685:48 ExecutionResult: Passed98
       [########################--------] 55/7199[debug] /sqlite/src/malloc.c:514:3 ExecutionResult: Passed100
       [#########################-------] 56/71101[debug] /sqlite/src/malloc.c:694:28 ExecutionResult: Passed102
       [#########################-------] 57/71103[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Passed104
       [##########################------] 58/71105[debug] /sqlite/src/malloc.c:483:16 ExecutionResult: Passed106[debug] /sqlite/src/malloc.c:285:13 ExecutionResult: Passed107
       [###########################-----] 60/71108[debug] /sqlite/src/malloc.c:345:7 ExecutionResult: Failed109
       [###########################-----] 61/71110[debug] /sqlite/src/malloc.c:413:8 ExecutionResult: Failed111[debug] /sqlite/src/malloc.c:444:18 ExecutionResult: Passed112[debug] /sqlite/src/malloc.c:390:20 ExecutionResult: Passed113
       [############################----] 64/71114[debug] /sqlite/src/malloc.c:165:32 ExecutionResult: Passed115
       [#############################---] 65/71116[debug] /sqlite/src/malloc.c:457:20 ExecutionResult: Passed117
       [#############################---] 66/71118[debug] /sqlite/src/malloc.c:259:3 ExecutionResult: Passed119
       [##############################--] 67/71120[debug] /sqlite/src/malloc.c:417:5 ExecutionResult: Passed121
       [##############################--] 68/71122[debug] /sqlite/src/malloc.c:168:32 ExecutionResult: Passed123
       [###############################-] 69/71124[debug] /sqlite/src/malloc.c:421:5 ExecutionResult: Timedout125
       [###############################-] 70/71126[debug] /sqlite/src/malloc.c:324:5 ExecutionResult: Timedout127
       [################################] 71/71. Finished in 2857ms128[debug] Done running mutants129[info] Survived mutants (47/71):130/sqlite/src/malloc.c:165:32: warning: Survived: Replaced == with != [cxx_eq_to_ne]131  if( sqlite3GlobalConfig.pPage==0 || sqlite3GlobalConfig.szPage<512132                               ^133/sqlite/src/malloc.c:168:32: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]134    sqlite3GlobalConfig.szPage = 0;135                               ^136/sqlite/src/malloc.c:171:9: warning: Survived: Replaced != with == [cxx_ne_to_eq]137  if( rc!=SQLITE_OK ) memset(&mem0, 0, sizeof(mem0));138        ^139/sqlite/src/malloc.c:259:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]140  sqlite3StatusHighwater(SQLITE_STATUS_MALLOC_SIZE, n);141  ^142/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with >= [cxx_gt_to_ge]143  if( mem0.alarmThreshold>0 ){144                         ^145/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with <= [cxx_gt_to_le]146  if( mem0.alarmThreshold>0 ){147                         ^148/sqlite/src/malloc.c:285:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]149    nFull = sqlite3MallocSize(p);150          ^151/sqlite/src/malloc.c:285:13: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]152    nFull = sqlite3MallocSize(p);153            ^154/sqlite/src/malloc.c:286:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]155    sqlite3StatusUp(SQLITE_STATUS_MEMORY_USED, nFull);156    ^157/sqlite/src/malloc.c:287:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]158    sqlite3StatusUp(SQLITE_STATUS_MALLOC_COUNT, 1);159    ^160/sqlite/src/malloc.c:319:16: warning: Survived: Replaced > with >= [cxx_gt_to_ge]161  if( n==0 || n>SQLITE_MAX_ALLOCATION_SIZE ){162               ^163/sqlite/src/malloc.c:322:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]164    sqlite3_mutex_enter(mem0.mutex);165    ^166/sqlite/src/malloc.c:341:11: warning: Survived: Replaced <= with < [cxx_le_to_lt]167  return n<=0 ? 0 : sqlite3Malloc(n);168          ^169/sqlite/src/malloc.c:388:18: warning: Survived: Replaced < with >= [cxx_lt_to_ge]170    if( ((uptr)p)<(uptr)(db->lookaside.pTrueEnd) ){171                 ^172/sqlite/src/malloc.c:388:18: warning: Survived: Replaced < with <= [cxx_lt_to_le]173    if( ((uptr)p)<(uptr)(db->lookaside.pTrueEnd) ){174                 ^175/sqlite/src/malloc.c:390:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]176      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){177                   ^178/sqlite/src/malloc.c:390:20: warning: Survived: Replaced >= with < [cxx_ge_to_lt]179      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){180                   ^181/sqlite/src/malloc.c:395:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]182      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){183                   ^184/sqlite/src/malloc.c:395:20: warning: Survived: Replaced >= with < [cxx_ge_to_lt]185      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){186                   ^187/sqlite/src/malloc.c:417:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]188    sqlite3_mutex_enter(mem0.mutex);189    ^190/sqlite/src/malloc.c:418:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]191    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));192    ^193/sqlite/src/malloc.c:418:50: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]194    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));195                                                 ^196/sqlite/src/malloc.c:419:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]197    sqlite3StatusDown(SQLITE_STATUS_MALLOC_COUNT, 1);198    ^199/sqlite/src/malloc.c:444:18: warning: Survived: Replaced < with >= [cxx_lt_to_ge]200    if( ((uptr)p)<(uptr)(db->lookaside.pEnd) ){201                 ^202/sqlite/src/malloc.c:444:18: warning: Survived: Replaced < with <= [cxx_lt_to_le]203    if( ((uptr)p)<(uptr)(db->lookaside.pEnd) ){204                 ^205/sqlite/src/malloc.c:446:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]206      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){207                   ^208/sqlite/src/malloc.c:446:20: warning: Survived: Replaced >= with < [cxx_ge_to_lt]209      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){210                   ^211/sqlite/src/malloc.c:457:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]212      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){213                   ^214/sqlite/src/malloc.c:457:20: warning: Survived: Replaced >= with < [cxx_ge_to_lt]215      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){216                   ^217/sqlite/src/malloc.c:477:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]218  sqlite3_free(p);219  ^220/sqlite/src/malloc.c:483:16: warning: Survived: Replaced < with <= [cxx_lt_to_le]221  if( ((uptr)p)<(uptr)(db->lookaside.pEnd) ){222               ^223/sqlite/src/malloc.c:485:18: warning: Survived: Replaced >= with > [cxx_ge_to_gt]224    if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){225                 ^226/sqlite/src/malloc.c:496:18: warning: Survived: Replaced >= with > [cxx_ge_to_gt]227    if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){228                 ^229/sqlite/src/malloc.c:514:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]230  sqlite3_free(p);231  ^232/sqlite/src/malloc.c:518:11: warning: Survived: Removed the call to the function [cxx_remove_void_call]233  if( p ) sqlite3DbFreeNN(db, p);234          ^235/sqlite/src/malloc.c:671:8: warning: Survived: Replaced > with >= [cxx_gt_to_ge]236  if( n>db->lookaside.sz ){237       ^238/sqlite/src/malloc.c:673:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]239      db->lookaside.anStat[1]++;      240                             ^241/sqlite/src/malloc.c:680:8: warning: Survived: Replaced <= with > [cxx_le_to_gt]242  if( n<=LOOKASIDE_SMALL ){243       ^244/sqlite/src/malloc.c:680:8: warning: Survived: Replaced <= with < [cxx_le_to_lt]245  if( n<=LOOKASIDE_SMALL ){246       ^247/sqlite/src/malloc.c:683:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]248      db->lookaside.anStat[0]++;249                             ^250/sqlite/src/malloc.c:685:48: warning: Survived: Replaced != with == [cxx_ne_to_eq]251    }else if( (pBuf = db->lookaside.pSmallInit)!=0 ){252                                               ^253/sqlite/src/malloc.c:687:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]254      db->lookaside.anStat[0]++;255                             ^256/sqlite/src/malloc.c:694:28: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]257    db->lookaside.anStat[0]++;258                           ^259/sqlite/src/malloc.c:698:28: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]260    db->lookaside.anStat[0]++;261                           ^262/sqlite/src/malloc.c:789:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]263  n = strlen(z) + 1;264    ^265/sqlite/src/malloc.c:789:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]266  n = strlen(z) + 1;267      ^268/sqlite/src/malloc.c:789:17: warning: Survived: Replaced + with - [cxx_add_to_sub]269  n = strlen(z) + 1;270                ^271[info] Mutation score: 33%272[info] Total execution time: 3176ms273[info] Surviving mutants: 47274