CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_malloc_sqlite3_memory_alarm.out229 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 106ms7[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 111ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/malloc.c:100:7 ExecutionResult: Failed15[debug] /sqlite/src/malloc.c:112:23 ExecutionResult: Failed16[debug] /sqlite/src/malloc.c:104:14 ExecutionResult: Failed17
       [#-------------------------------] 3/6018[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed19[debug] /sqlite/src/malloc.c:116:34 ExecutionResult: Passed20[debug] /sqlite/src/malloc.c:146:20 ExecutionResult: Failed21[debug] /sqlite/src/malloc.c:322:5 ExecutionResult: Passed22
       [###-----------------------------] 7/6023[debug] /sqlite/src/malloc.c:199:3 ExecutionResult: Passed24[debug] /sqlite/src/malloc.c:285:13 ExecutionResult: Passed25[debug] /sqlite/src/malloc.c:319:8 ExecutionResult: Failed26[debug] /sqlite/src/malloc.c:339:7 ExecutionResult: Failed27
       [#####---------------------------] 11/6028[debug] /sqlite/src/malloc.c:147:53 ExecutionResult: Passed29[debug] /sqlite/src/malloc.c:168:32 ExecutionResult: Passed30[debug] /sqlite/src/malloc.c:418:50 ExecutionResult: Passed31[debug] /sqlite/src/malloc.c:413:8 ExecutionResult: Passed32
       [########------------------------] 15/6033[debug] /sqlite/src/malloc.c:144:14 ExecutionResult: Passed34[debug] /sqlite/src/malloc.c:140:7 ExecutionResult: Passed35
       [#########-----------------------] 17/6036[debug] /sqlite/src/malloc.c:113:9 ExecutionResult: Passed37
       [#########-----------------------] 18/6038[debug] /sqlite/src/malloc.c:100:12 ExecutionResult: Failed39[debug] /sqlite/src/malloc.c:105:8 ExecutionResult: Failed40
       [##########----------------------] 20/6041[debug] /sqlite/src/malloc.c:147:10 ExecutionResult: Passed42
       [###########---------------------] 21/6043[debug] /sqlite/src/malloc.c:161:36 ExecutionResult: Failed44
       [###########---------------------] 22/6045[debug] /sqlite/src/malloc.c:260:26 ExecutionResult: Passed46
       [############--------------------] 23/6047[debug] /sqlite/src/malloc.c:419:5 ExecutionResult: Passed48
       [############--------------------] 24/6049[debug] /sqlite/src/malloc.c:117:13 ExecutionResult: Passed50[debug] /sqlite/src/malloc.c:257:9 ExecutionResult: Passed51
       [#############-------------------] 26/6052[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Passed53[debug] /sqlite/src/malloc.c:286:5 ExecutionResult: Passed54[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Failed55
       [###############-----------------] 29/6056[debug] /sqlite/src/malloc.c:148:27 ExecutionResult: Passed57[debug] /sqlite/src/malloc.c:170:6 ExecutionResult: Failed58[debug] /sqlite/src/malloc.c:417:5 ExecutionResult: Passed59
       [#################---------------] 32/6060[debug] /sqlite/src/malloc.c:145:8 ExecutionResult: Passed61[debug] /sqlite/src/malloc.c:140:12 ExecutionResult: Passed62
       [##################--------------] 34/6063[debug] /sqlite/src/malloc.c:113:11 ExecutionResult: Passed64
       [##################--------------] 35/6065[debug] /sqlite/src/malloc.c:105:8 ExecutionResult: Passed66
       [###################-------------] 36/6067[debug] /sqlite/src/malloc.c:103:3 ExecutionResult: Passed68
       [###################-------------] 37/6069[debug] /sqlite/src/malloc.c:323:5 ExecutionResult: Failed70[debug] /sqlite/src/malloc.c:147:10 ExecutionResult: Passed71
       [####################------------] 39/6072[debug] /sqlite/src/malloc.c:285:11 ExecutionResult: Passed73
       [#####################-----------] 40/6074[debug] /sqlite/src/malloc.c:117:13 ExecutionResult: Passed75[debug] /sqlite/src/malloc.c:145:8 ExecutionResult: Passed76[debug] /sqlite/src/malloc.c:259:3 ExecutionResult: Passed77
       [######################----------] 43/6078[debug] /sqlite/src/malloc.c:319:16 ExecutionResult: Failed79
       [#######################---------] 44/6080[debug] /sqlite/src/malloc.c:287:5 ExecutionResult: Passed81[debug] /sqlite/src/malloc.c:418:5 ExecutionResult: Passed82[debug] /sqlite/src/malloc.c:341:11 ExecutionResult: Passed83
       [#########################-------] 47/6084[debug] /sqlite/src/malloc.c:171:9 ExecutionResult: Passed85[debug] /sqlite/src/malloc.c:143:3 ExecutionResult: Passed86
       [##########################------] 49/6087[debug] /sqlite/src/malloc.c:162:5 ExecutionResult: Failed88
       [##########################------] 50/6089[debug] /sqlite/src/malloc.c:165:32 ExecutionResult: Passed90
       [###########################-----] 51/6091[debug] /sqlite/src/malloc.c:115:3 ExecutionResult: Timedout92
       [###########################-----] 52/6093[debug] /sqlite/src/malloc.c:106:5 ExecutionResult: Timedout94
       [############################----] 53/6095[debug] /sqlite/src/malloc.c:116:10 ExecutionResult: Passed96[debug] /sqlite/src/malloc.c:109:21 ExecutionResult: Failed97
       [#############################---] 55/6098[debug] /sqlite/src/malloc.c:116:12 ExecutionResult: Passed99[debug] /sqlite/src/malloc.c:109:21 ExecutionResult: Failed100
       [##############################--] 57/60101[debug] /sqlite/src/malloc.c:151:3 ExecutionResult: Timedout102
       [##############################--] 58/60103[debug] /sqlite/src/malloc.c:421:5 ExecutionResult: Timedout104
       [###############################-] 59/60105[debug] /sqlite/src/malloc.c:324:5 ExecutionResult: Timedout106
       [################################] 60/60. Finished in 2812ms107[debug] Done running mutants108[info] Survived mutants (39/60):109/sqlite/src/malloc.c:103:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]110  sqlite3_mutex_enter(mem0.mutex);111  ^112/sqlite/src/malloc.c:105:8: warning: Survived: Replaced < with <= [cxx_lt_to_le]113  if( n<0 ){114       ^115/sqlite/src/malloc.c:113:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]116  nUsed = sqlite3StatusValue(SQLITE_STATUS_MEMORY_USED);117        ^118/sqlite/src/malloc.c:113:11: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]119  nUsed = sqlite3StatusValue(SQLITE_STATUS_MEMORY_USED);120          ^121/sqlite/src/malloc.c:116:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]122  excess = sqlite3_memory_used() - n;123         ^124/sqlite/src/malloc.c:116:12: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]125  excess = sqlite3_memory_used() - n;126           ^127/sqlite/src/malloc.c:116:34: warning: Survived: Replaced - with + [cxx_sub_to_add]128  excess = sqlite3_memory_used() - n;129                                 ^130/sqlite/src/malloc.c:117:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]131  if( excess>0 ) sqlite3_release_memory((int)(excess & 0x7fffffff));132            ^133/sqlite/src/malloc.c:117:13: warning: Survived: Replaced > with <= [cxx_gt_to_le]134  if( excess>0 ) sqlite3_release_memory((int)(excess & 0x7fffffff));135            ^136/sqlite/src/malloc.c:140:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]137  int rc = sqlite3_initialize();138      ^139/sqlite/src/malloc.c:140:12: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]140  int rc = sqlite3_initialize();141           ^142/sqlite/src/malloc.c:143:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]143  sqlite3_mutex_enter(mem0.mutex);144  ^145/sqlite/src/malloc.c:144:14: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]146  priorLimit = mem0.hardLimit;147             ^148/sqlite/src/malloc.c:145:8: warning: Survived: Replaced >= with > [cxx_ge_to_gt]149  if( n>=0 ){150       ^151/sqlite/src/malloc.c:145:8: warning: Survived: Replaced >= with < [cxx_ge_to_lt]152  if( n>=0 ){153       ^154/sqlite/src/malloc.c:147:10: warning: Survived: Replaced < with >= [cxx_lt_to_ge]155    if( n<mem0.alarmThreshold || mem0.alarmThreshold==0 ){156         ^157/sqlite/src/malloc.c:147:10: warning: Survived: Replaced < with <= [cxx_lt_to_le]158    if( n<mem0.alarmThreshold || mem0.alarmThreshold==0 ){159         ^160/sqlite/src/malloc.c:147:53: warning: Survived: Replaced == with != [cxx_eq_to_ne]161    if( n<mem0.alarmThreshold || mem0.alarmThreshold==0 ){162                                                    ^163/sqlite/src/malloc.c:148:27: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]164      mem0.alarmThreshold = n;165                          ^166/sqlite/src/malloc.c:165:32: warning: Survived: Replaced == with != [cxx_eq_to_ne]167  if( sqlite3GlobalConfig.pPage==0 || sqlite3GlobalConfig.szPage<512168                               ^169/sqlite/src/malloc.c:168:32: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]170    sqlite3GlobalConfig.szPage = 0;171                               ^172/sqlite/src/malloc.c:171:9: warning: Survived: Replaced != with == [cxx_ne_to_eq]173  if( rc!=SQLITE_OK ) memset(&mem0, 0, sizeof(mem0));174        ^175/sqlite/src/malloc.c:199:3: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]176  sqlite3_status64(SQLITE_STATUS_MEMORY_USED, &res, &mx, 0);177  ^178/sqlite/src/malloc.c:257:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]179  nFull = sqlite3GlobalConfig.m.xRoundup(n);180        ^181/sqlite/src/malloc.c:259:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]182  sqlite3StatusHighwater(SQLITE_STATUS_MALLOC_SIZE, n);183  ^184/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with >= [cxx_gt_to_ge]185  if( mem0.alarmThreshold>0 ){186                         ^187/sqlite/src/malloc.c:260:26: warning: Survived: Replaced > with <= [cxx_gt_to_le]188  if( mem0.alarmThreshold>0 ){189                         ^190/sqlite/src/malloc.c:285:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]191    nFull = sqlite3MallocSize(p);192          ^193/sqlite/src/malloc.c:285:13: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]194    nFull = sqlite3MallocSize(p);195            ^196/sqlite/src/malloc.c:286:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]197    sqlite3StatusUp(SQLITE_STATUS_MEMORY_USED, nFull);198    ^199/sqlite/src/malloc.c:287:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]200    sqlite3StatusUp(SQLITE_STATUS_MALLOC_COUNT, 1);201    ^202/sqlite/src/malloc.c:319:16: warning: Survived: Replaced > with >= [cxx_gt_to_ge]203  if( n==0 || n>SQLITE_MAX_ALLOCATION_SIZE ){204               ^205/sqlite/src/malloc.c:322:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]206    sqlite3_mutex_enter(mem0.mutex);207    ^208/sqlite/src/malloc.c:341:11: warning: Survived: Replaced <= with < [cxx_le_to_lt]209  return n<=0 ? 0 : sqlite3Malloc(n);210          ^211/sqlite/src/malloc.c:413:8: warning: Survived: Replaced == with != [cxx_eq_to_ne]212  if( p==0 ) return;  /* IMP: R-49053-54554 */213       ^214/sqlite/src/malloc.c:417:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]215    sqlite3_mutex_enter(mem0.mutex);216    ^217/sqlite/src/malloc.c:418:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]218    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));219    ^220/sqlite/src/malloc.c:418:50: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]221    sqlite3StatusDown(SQLITE_STATUS_MEMORY_USED, sqlite3MallocSize(p));222                                                 ^223/sqlite/src/malloc.c:419:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]224    sqlite3StatusDown(SQLITE_STATUS_MALLOC_COUNT, 1);225    ^226[info] Mutation score: 35%227[info] Total execution time: 3129ms228[info] Surviving mutants: 39229