CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_malloc_sqlite3_free.out103 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:170:6 ExecutionResult: Failed15[debug] /sqlite/src/malloc.c:165:32 ExecutionResult: Passed16[debug] /sqlite/src/malloc.c:199:3 ExecutionResult: Failed17
       [##------------------------------] 2/30
       [###-----------------------------] 3/3018[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed19[debug] /sqlite/src/malloc.c:285:13 ExecutionResult: Failed20
       [#####---------------------------] 5/3021[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Failed22[debug] /sqlite/src/malloc.c:418:5 ExecutionResult: Failed23
       [#######-------------------------] 7/3024[debug] /sqlite/src/malloc.c:418:50 ExecutionResult: Failed25[debug] /sqlite/src/malloc.c:259:3 ExecutionResult: Passed26[debug] /sqlite/src/malloc.c:339:7 ExecutionResult: Failed27
       [##########----------------------] 10/3028[debug] /sqlite/src/malloc.c:287:5 ExecutionResult: Passed29[debug] /sqlite/src/malloc.c:419:5 ExecutionResult: Passed30[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Passed31
       [#############-------------------] 13/3032[debug] /sqlite/src/malloc.c:417:5 ExecutionResult: Passed33[debug] /sqlite/src/malloc.c:322:5 ExecutionResult: Passed34
       [################----------------] 15/3035[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Passed36
       [#################---------------] 16/3037[debug] /sqlite/src/malloc.c:161:36 ExecutionResult: Failed38
       [##################--------------] 17/3039[debug] /sqlite/src/malloc.c:257:9 ExecutionResult: Failed40[debug] /sqlite/src/malloc.c:171:9 ExecutionResult: Passed41[debug] /sqlite/src/malloc.c:168:32 ExecutionResult: Passed42
       [#####################-----------] 20/3043[debug] /sqlite/src/malloc.c:413:8 ExecutionResult: Failed44[debug] /sqlite/src/malloc.c:285:11 ExecutionResult: Failed45
       [#######################---------] 22/3046[debug] /sqlite/src/malloc.c:286:5 ExecutionResult: Failed47
       [########################--------] 23/3048[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed49
       [#########################-------] 24/3050[debug] /sqlite/src/malloc.c:319:8 ExecutionResult: Failed51
       [##########################------] 25/3052[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Failed53
       [###########################-----] 26/3054[debug] /sqlite/src/malloc.c:323:5 ExecutionResult: Failed55
       [############################----] 27/3056[debug] /sqlite/src/malloc.c:162:5 ExecutionResult: Failed57
       [#############################---] 28/3058[debug] /sqlite/src/malloc.c:421:5 ExecutionResult: Timedout59
       [##############################--] 29/3060[debug] /sqlite/src/malloc.c:324:5 ExecutionResult: Timedout61
       [################################] 30/30. Finished in 2418ms62[debug] Done running mutants63[info] Survived mutants (12/30):64/sqlite/src/malloc.c:165:32: warning: Survived: Replaced == with != [cxx_eq_to_ne]65  if( sqlite3GlobalConfig.pPage==0 || sqlite3GlobalConfig.szPage<51266                               ^67/sqlite/src/malloc.c:168:32: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]68    sqlite3GlobalConfig.szPage = 0;69                               ^70/sqlite/src/malloc.c:171:9: warning: Survived: Replaced != with == [cxx_ne_to_eq]71  if( rc!=SQLITE_OK ) memset(&mem0, 0, sizeof(mem0));72        ^73/sqlite/src/malloc.c:259:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]74  sqlite3StatusHighwater(SQLITE_STATUS_MALLOC_SIZE, n);75  ^76/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with >= [cxx_gt_to_ge]77  if( mem0.alarmThreshold>0 ){78                         ^79/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with <= [cxx_gt_to_le]80  if( mem0.alarmThreshold>0 ){81                         ^82/sqlite/src/malloc.c:287:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]83    sqlite3StatusUp(SQLITE_STATUS_MALLOC_COUNT, 1);84    ^85/sqlite/src/malloc.c:319:16: warning: Survived: Replaced > with >= [cxx_gt_to_ge]86  if( n==0 || n>SQLITE_MAX_ALLOCATION_SIZE ){87               ^88/sqlite/src/malloc.c:322:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]89    sqlite3_mutex_enter(mem0.mutex);90    ^91/sqlite/src/malloc.c:341:11: warning: Survived: Replaced <= with < [cxx_le_to_lt]92  return n<=0 ? 0 : sqlite3Malloc(n);93          ^94/sqlite/src/malloc.c:417:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]95    sqlite3_mutex_enter(mem0.mutex);96    ^97/sqlite/src/malloc.c:419:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]98    sqlite3StatusDown(SQLITE_STATUS_MALLOC_COUNT, 1);99    ^100[info] Mutation score: 60%101[info] Total execution time: 2731ms102[info] Surviving mutants: 12103