CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_malloc_sqlite3DbFreeNN.out231 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 105ms7[info] Extracting coverage information (threads: 1)8
       [################################] 1/1. Finished in 4ms9[info] Filter mutants (threads: 1)10
       [################################] 1/1. Finished in 1ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 110ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/malloc.c:170:6 ExecutionResult: Failed15[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed16
       [#-------------------------------] 2/6217[debug] /sqlite/src/malloc.c:322:5 ExecutionResult: Passed18[debug] /sqlite/src/malloc.c:285:13 ExecutionResult: Passed19
       [##------------------------------] 4/6220[debug] /sqlite/src/malloc.c:319:8 ExecutionResult: Failed21
       [##------------------------------] 5/6222[debug] /sqlite/src/malloc.c:789:5 ExecutionResult: Passed23[debug] /sqlite/src/malloc.c:446:20 ExecutionResult: Failed24
       [###-----------------------------] 7/6225[debug] /sqlite/src/malloc.c:395:20 ExecutionResult: Passed26[debug] /sqlite/src/malloc.c:680:8 ExecutionResult: Passed27[debug] /sqlite/src/malloc.c:671:8 ExecutionResult: Passed28
       [#####---------------------------] 10/6229[debug] /sqlite/src/malloc.c:418:5 ExecutionResult: Passed30[debug] /sqlite/src/malloc.c:469:7 ExecutionResult: Failed31[debug] /sqlite/src/malloc.c:339:7 ExecutionResult: Failed32[debug] /sqlite/src/malloc.c:696:41 ExecutionResult: Failed33
       [#######-------------------------] 14/6234[debug] /sqlite/src/malloc.c:345:7 ExecutionResult: Failed35[debug] /sqlite/src/malloc.c:390:20 ExecutionResult: Passed36
       [########------------------------] 16/6237[debug] /sqlite/src/malloc.c:161:36 ExecutionResult: Failed38
       [########------------------------] 17/6239[debug] /sqlite/src/malloc.c:444:18 ExecutionResult: Failed40
       [#########-----------------------] 18/6241[debug] /sqlite/src/malloc.c:685:48 ExecutionResult: Failed42
       [#########-----------------------] 19/6243[debug] /sqlite/src/malloc.c:171:9 ExecutionResult: Passed44[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed45
       [##########----------------------] 21/6246[debug] /sqlite/src/malloc.c:286:5 ExecutionResult: Passed47
       [###########---------------------] 22/6248[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Passed49
       [###########---------------------] 23/6250[debug] /sqlite/src/malloc.c:789:7 ExecutionResult: Passed51[debug] /sqlite/src/malloc.c:671:8 ExecutionResult: Failed52
       [############--------------------] 25/6253[debug] /sqlite/src/malloc.c:457:20 ExecutionResult: Passed54[debug] /sqlite/src/malloc.c:418:50 ExecutionResult: Passed55[debug] /sqlite/src/malloc.c:680:8 ExecutionResult: Passed56
       [##############------------------] 28/6257[debug] /sqlite/src/malloc.c:477:3 ExecutionResult: Passed58[debug] /sqlite/src/malloc.c:388:18 ExecutionResult: Passed59
       [###############-----------------] 30/6260[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Failed61[debug] /sqlite/src/malloc.c:698:28 ExecutionResult: Passed62[debug] /sqlite/src/malloc.c:390:20 ExecutionResult: Passed63
       [#################---------------] 33/6264[debug] /sqlite/src/malloc.c:323:5 ExecutionResult: Failed65
       [#################---------------] 34/6266[debug] /sqlite/src/malloc.c:444:18 ExecutionResult: Passed67
       [##################--------------] 35/6268[debug] /sqlite/src/malloc.c:413:8 ExecutionResult: Failed69
       [##################--------------] 36/6270[debug] /sqlite/src/malloc.c:285:11 ExecutionResult: Passed71[debug] /sqlite/src/malloc.c:287:5 ExecutionResult: Passed72
       [###################-------------] 38/6273[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Failed74
       [####################------------] 39/6275[debug] /sqlite/src/malloc.c:518:11 ExecutionResult: Passed76[debug] /sqlite/src/malloc.c:789:17 ExecutionResult: Passed77
       [#####################-----------] 41/6278[debug] /sqlite/src/malloc.c:673:30 ExecutionResult: Passed79[debug] /sqlite/src/malloc.c:419:5 ExecutionResult: Passed80
       [######################----------] 43/6281[debug] /sqlite/src/malloc.c:388:18 ExecutionResult: Passed82[debug] /sqlite/src/malloc.c:162:5 ExecutionResult: Failed83[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Passed84[debug] /sqlite/src/malloc.c:786:8 ExecutionResult: Failed85
       [########################--------] 47/6286[debug] /sqlite/src/malloc.c:395:20 ExecutionResult: Passed87
       [########################--------] 48/6288[debug] /sqlite/src/malloc.c:692:35 ExecutionResult: Failed89
       [#########################-------] 49/6290[debug] /sqlite/src/malloc.c:257:9 ExecutionResult: Failed91
       [#########################-------] 50/6292[debug] /sqlite/src/malloc.c:446:20 ExecutionResult: Passed93
       [##########################------] 51/6294[debug] /sqlite/src/malloc.c:681:42 ExecutionResult: Failed95[debug] /sqlite/src/malloc.c:417:5 ExecutionResult: Passed96
       [###########################-----] 53/6297[debug] /sqlite/src/malloc.c:457:20 ExecutionResult: Failed98
       [###########################-----] 54/6299[debug] /sqlite/src/malloc.c:165:32 ExecutionResult: Passed100
       [############################----] 55/62101[debug] /sqlite/src/malloc.c:694:28 ExecutionResult: Passed102
       [############################----] 56/62103[debug] /sqlite/src/malloc.c:259:3 ExecutionResult: Passed104
       [#############################---] 57/62105[debug] /sqlite/src/malloc.c:168:32 ExecutionResult: Passed106
       [#############################---] 58/62107[debug] /sqlite/src/malloc.c:421:5 ExecutionResult: Timedout108
       [##############################--] 59/62109[debug] /sqlite/src/malloc.c:432:21 ExecutionResult: Failed110
       [##############################--] 60/62111[debug] /sqlite/src/malloc.c:432:24 ExecutionResult: Failed112
       [###############################-] 61/62113[debug] /sqlite/src/malloc.c:324:5 ExecutionResult: Timedout114
       [################################] 62/62. Finished in 2796ms115[debug] Done running mutants116[info] Survived mutants (37/62):117/sqlite/src/malloc.c:165:32: warning: Survived: Replaced == with != [cxx_eq_to_ne]118  if( sqlite3GlobalConfig.pPage==0 || sqlite3GlobalConfig.szPage<512119                               ^120/sqlite/src/malloc.c:168:32: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]121    sqlite3GlobalConfig.szPage = 0;122                               ^123/sqlite/src/malloc.c:171:9: warning: Survived: Replaced != with == [cxx_ne_to_eq]124  if( rc!=SQLITE_OK ) memset(&mem0, 0, sizeof(mem0));125        ^126/sqlite/src/malloc.c:259:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]127  sqlite3StatusHighwater(SQLITE_STATUS_MALLOC_SIZE, n);128  ^129/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with >= [cxx_gt_to_ge]130  if( mem0.alarmThreshold>0 ){131                         ^132/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with <= [cxx_gt_to_le]133  if( mem0.alarmThreshold>0 ){134                         ^135/sqlite/src/malloc.c:285:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]136    nFull = sqlite3MallocSize(p);137          ^138/sqlite/src/malloc.c:285:13: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]139    nFull = sqlite3MallocSize(p);140            ^141/sqlite/src/malloc.c:286:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]142    sqlite3StatusUp(SQLITE_STATUS_MEMORY_USED, nFull);143    ^144/sqlite/src/malloc.c:287:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]145    sqlite3StatusUp(SQLITE_STATUS_MALLOC_COUNT, 1);146    ^147/sqlite/src/malloc.c:319:16: warning: Survived: Replaced > with >= [cxx_gt_to_ge]148  if( n==0 || n>SQLITE_MAX_ALLOCATION_SIZE ){149               ^150/sqlite/src/malloc.c:322:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]151    sqlite3_mutex_enter(mem0.mutex);152    ^153/sqlite/src/malloc.c:341:11: warning: Survived: Replaced <= with < [cxx_le_to_lt]154  return n<=0 ? 0 : sqlite3Malloc(n);155          ^156/sqlite/src/malloc.c:388:18: warning: Survived: Replaced < with >= [cxx_lt_to_ge]157    if( ((uptr)p)<(uptr)(db->lookaside.pTrueEnd) ){158                 ^159/sqlite/src/malloc.c:388:18: warning: Survived: Replaced < with <= [cxx_lt_to_le]160    if( ((uptr)p)<(uptr)(db->lookaside.pTrueEnd) ){161                 ^162/sqlite/src/malloc.c:390:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]163      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){164                   ^165/sqlite/src/malloc.c:390:20: warning: Survived: Replaced >= with < [cxx_ge_to_lt]166      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){167                   ^168/sqlite/src/malloc.c:395:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]169      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){170                   ^171/sqlite/src/malloc.c:395:20: warning: Survived: Replaced >= with < [cxx_ge_to_lt]172      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){173                   ^174/sqlite/src/malloc.c:417:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]175    sqlite3_mutex_enter(mem0.mutex);176    ^177/sqlite/src/malloc.c:418:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]178    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));179    ^180/sqlite/src/malloc.c:418:50: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]181    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));182                                                 ^183/sqlite/src/malloc.c:419:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]184    sqlite3StatusDown(SQLITE_STATUS_MALLOC_COUNT, 1);185    ^186/sqlite/src/malloc.c:444:18: warning: Survived: Replaced < with <= [cxx_lt_to_le]187    if( ((uptr)p)<(uptr)(db->lookaside.pEnd) ){188                 ^189/sqlite/src/malloc.c:446:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]190      if( ((uptr)p)>=(uptr)(db->lookaside.pMiddle) ){191                   ^192/sqlite/src/malloc.c:457:20: warning: Survived: Replaced >= with > [cxx_ge_to_gt]193      if( ((uptr)p)>=(uptr)(db->lookaside.pStart) ){194                   ^195/sqlite/src/malloc.c:477:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]196  sqlite3_free(p);197  ^198/sqlite/src/malloc.c:518:11: warning: Survived: Removed the call to the function [cxx_remove_void_call]199  if( p ) sqlite3DbFreeNN(db, p);200          ^201/sqlite/src/malloc.c:671:8: warning: Survived: Replaced > with >= [cxx_gt_to_ge]202  if( n>db->lookaside.sz ){203       ^204/sqlite/src/malloc.c:673:30: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]205      db->lookaside.anStat[1]++;      206                             ^207/sqlite/src/malloc.c:680:8: warning: Survived: Replaced <= with > [cxx_le_to_gt]208  if( n<=LOOKASIDE_SMALL ){209       ^210/sqlite/src/malloc.c:680:8: warning: Survived: Replaced <= with < [cxx_le_to_lt]211  if( n<=LOOKASIDE_SMALL ){212       ^213/sqlite/src/malloc.c:694:28: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]214    db->lookaside.anStat[0]++;215                           ^216/sqlite/src/malloc.c:698:28: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]217    db->lookaside.anStat[0]++;218                           ^219/sqlite/src/malloc.c:789:5: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]220  n = strlen(z) + 1;221    ^222/sqlite/src/malloc.c:789:7: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]223  n = strlen(z) + 1;224      ^225/sqlite/src/malloc.c:789:17: warning: Survived: Replaced + with - [cxx_add_to_sub]226  n = strlen(z) + 1;227                ^228[info] Mutation score: 40%229[info] Total execution time: 3120ms230[info] Surviving mutants: 37231