CoolFace
Modelpublic

AryaWu/sqlite

sourceHugging Faceupdated 9mo agoView on Hugging Face
0likes
mull_json_jsonErrorFunc.out376 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 63ms11[info] Baseline run (threads: 1)12
       [################################] 1/1. Finished in 111ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/json.c:900:5 ExecutionResult: Passed15[debug] /sqlite/src/json.c:1147:8 ExecutionResult: Passed16[debug] /sqlite/src/json.c:1241:16 ExecutionResult: Passed17
       [--------------------------------] 3/11518[debug] /sqlite/src/json.c:1262:19 ExecutionResult: Passed19[debug] /sqlite/src/json.c:1215:3 ExecutionResult: Passed20
       [#-------------------------------] 5/11521[debug] /sqlite/src/json.c:4721:13 ExecutionResult: Failed22[debug] /sqlite/src/json.c:2046:5 ExecutionResult: Failed23
       [#-------------------------------] 7/11524[debug] /sqlite/src/json.c:4726:9 ExecutionResult: Failed25[debug] /sqlite/src/json.c:4741:14 ExecutionResult: Failed26
       [##------------------------------] 9/11527[debug] /sqlite/src/json.c:2163:8 ExecutionResult: Failed28[debug] /sqlite/src/json.c:3554:10 ExecutionResult: Failed29[debug] /sqlite/src/json.c:3551:15 ExecutionResult: Passed30[debug] /sqlite/src/json.c:4734:27 ExecutionResult: Passed31[debug] /sqlite/src/json.c:1316:14 ExecutionResult: Passed32
       [###-----------------------------] 14/11533[debug] /sqlite/src/json.c:1366:13 ExecutionResult: Failed34[debug] /sqlite/src/json.c:3558:12 ExecutionResult: Passed35[debug] /sqlite/src/json.c:2119:8 ExecutionResult: Failed36[debug] /sqlite/src/json.c:3556:11 ExecutionResult: Passed37
       [#####---------------------------] 18/11538[debug] /sqlite/src/json.c:902:19 ExecutionResult: Passed39[debug] /sqlite/src/json.c:1241:16 ExecutionResult: Passed40
       [#####---------------------------] 20/11541[debug] /sqlite/src/json.c:1149:11 ExecutionResult: Failed42[debug] /sqlite/src/json.c:1263:40 ExecutionResult: Passed43[debug] /sqlite/src/json.c:1235:20 ExecutionResult: Passed44
       [######--------------------------] 23/11545[debug] /sqlite/src/json.c:2067:13 ExecutionResult: Failed46
       [######--------------------------] 24/11547[debug] /sqlite/src/json.c:1283:12 ExecutionResult: Failed48
       [######--------------------------] 25/11549[debug] /sqlite/src/json.c:2046:7 ExecutionResult: Failed50[debug] /sqlite/src/json.c:4721:20 ExecutionResult: Failed51
       [#######-------------------------] 27/11552[debug] /sqlite/src/json.c:4733:14 ExecutionResult: Failed53[debug] /sqlite/src/json.c:3554:12 ExecutionResult: Failed54[debug] /sqlite/src/json.c:4741:14 ExecutionResult: Failed55
       [########------------------------] 30/11556[debug] /sqlite/src/json.c:3546:10 ExecutionResult: Passed57[debug] /sqlite/src/json.c:3551:15 ExecutionResult: Failed58[debug] /sqlite/src/json.c:2120:7 ExecutionResult: Failed59[debug] /sqlite/src/json.c:4734:34 ExecutionResult: Failed60[debug] /sqlite/src/json.c:1317:10 ExecutionResult: Passed61
       [#########-----------------------] 35/11562[debug] /sqlite/src/json.c:1367:6 ExecutionResult: Passed63[debug] /sqlite/src/json.c:3558:23 ExecutionResult: Passed64[debug] /sqlite/src/json.c:3556:18 ExecutionResult: Passed65
       [##########----------------------] 38/11566[debug] /sqlite/src/json.c:903:24 ExecutionResult: Passed67
       [##########----------------------] 39/11568[debug] /sqlite/src/json.c:1242:10 ExecutionResult: Passed69[debug] /sqlite/src/json.c:1152:22 ExecutionResult: Passed70
       [###########---------------------] 41/11571[debug] /sqlite/src/json.c:1235:30 ExecutionResult: Failed72[debug] /sqlite/src/json.c:2074:5 ExecutionResult: Passed73
       [###########---------------------] 43/11574[debug] /sqlite/src/json.c:1293:16 ExecutionResult: Passed75
       [############--------------------] 44/11576[debug] /sqlite/src/json.c:2048:8 ExecutionResult: Passed77
       [############--------------------] 45/11578[debug] /sqlite/src/json.c:4733:19 ExecutionResult: Failed79[debug] /sqlite/src/json.c:4744:5 ExecutionResult: Failed80[debug] /sqlite/src/json.c:3554:40 ExecutionResult: Passed81[debug] /sqlite/src/json.c:2157:13 ExecutionResult: Passed82[debug] /sqlite/src/json.c:3553:11 ExecutionResult: Passed83
       [#############-------------------] 50/11584[debug] /sqlite/src/json.c:4734:50 ExecutionResult: Failed85[debug] /sqlite/src/json.c:3548:7 ExecutionResult: Failed86[debug] /sqlite/src/json.c:1368:5 ExecutionResult: Failed87[debug] /sqlite/src/json.c:1317:18 ExecutionResult: Passed88[debug] /sqlite/src/json.c:3564:12 ExecutionResult: Passed89[debug] /sqlite/src/json.c:3556:18 ExecutionResult: Passed90
       [###############-----------------] 56/11591[debug] /sqlite/src/json.c:1281:10 ExecutionResult: Failed92
       [###############-----------------] 57/11593[debug] /sqlite/src/json.c:1142:25 ExecutionResult: Passed94[debug] /sqlite/src/json.c:4724:16 ExecutionResult: Failed95
       [################----------------] 59/11596[debug] /sqlite/src/json.c:1242:18 ExecutionResult: Passed97
       [################----------------] 60/11598[debug] /sqlite/src/json.c:1235:33 ExecutionResult: Passed99[debug] /sqlite/src/json.c:2117:5 ExecutionResult: Failed100
       [#################---------------] 62/115101[debug] /sqlite/src/json.c:1293:16 ExecutionResult: Passed102
       [#################---------------] 63/115103[debug] /sqlite/src/json.c:2048:8 ExecutionResult: Passed104
       [#################---------------] 64/115105[debug] /sqlite/src/json.c:4733:19 ExecutionResult: Failed106[debug] /sqlite/src/json.c:4749:5 ExecutionResult: Failed107
       [##################--------------] 66/115108[debug] /sqlite/src/json.c:2157:16 ExecutionResult: Passed109[debug] /sqlite/src/json.c:3554:40 ExecutionResult: Failed110[debug] /sqlite/src/json.c:3553:26 ExecutionResult: Failed111
       [###################-------------] 69/115112[debug] /sqlite/src/json.c:3548:31 ExecutionResult: Failed113[debug] /sqlite/src/json.c:1368:7 ExecutionResult: Failed114
       [###################-------------] 71/115115[debug] /sqlite/src/json.c:4713:7 ExecutionResult: Failed116[debug] /sqlite/src/json.c:1317:26 ExecutionResult: Passed117[debug] /sqlite/src/json.c:4736:16 ExecutionResult: Failed118[debug] /sqlite/src/json.c:3556:36 ExecutionResult: Failed119
       [####################------------] 75/115120[debug] /sqlite/src/json.c:1214:7 ExecutionResult: Failed121
       [#####################-----------] 76/115122[debug] /sqlite/src/json.c:1143:7 ExecutionResult: Passed123
       [#####################-----------] 77/115124[debug] /sqlite/src/json.c:4725:13 ExecutionResult: Passed125
       [#####################-----------] 78/115126[debug] /sqlite/src/json.c:1242:30 ExecutionResult: Passed127
       [#####################-----------] 79/115128[debug] /sqlite/src/json.c:2117:23 ExecutionResult: Passed129
       [######################----------] 80/115130[debug] /sqlite/src/json.c:1294:13 ExecutionResult: Passed131
       [######################----------] 81/115132[debug] /sqlite/src/json.c:2066:8 ExecutionResult: Failed133
       [######################----------] 82/115134[debug] /sqlite/src/json.c:4733:51 ExecutionResult: Failed135[debug] /sqlite/src/json.c:3553:33 ExecutionResult: Failed136
       [#######################---------] 84/115137[debug] /sqlite/src/json.c:1281:16 ExecutionResult: Failed138[debug] /sqlite/src/json.c:5582:3 ExecutionResult: Passed139[debug] /sqlite/src/json.c:2157:19 ExecutionResult: Passed140[debug] /sqlite/src/json.c:3555:9 ExecutionResult: Failed141[debug] /sqlite/src/json.c:1372:5 ExecutionResult: Failed142
       [########################--------] 89/115143[debug] /sqlite/src/json.c:3550:12 ExecutionResult: Failed144[debug] /sqlite/src/json.c:3557:10 ExecutionResult: Passed145
       [#########################-------] 91/115146[debug] /sqlite/src/json.c:1317:38 ExecutionResult: Passed147[debug] /sqlite/src/json.c:4740:3 ExecutionResult: Passed148
       [#########################-------] 93/115149[debug] /sqlite/src/json.c:1235:33 ExecutionResult: Failed150
       [##########################------] 94/115151[debug] /sqlite/src/json.c:1214:43 ExecutionResult: Passed152
       [##########################------] 95/115153[debug] /sqlite/src/json.c:1147:8 ExecutionResult: Passed154
       [##########################------] 96/115155[debug] /sqlite/src/json.c:2118:8 ExecutionResult: Failed156[debug] /sqlite/src/json.c:1372:12 ExecutionResult: Failed157
       [###########################-----] 98/115158[debug] /sqlite/src/json.c:4720:7 ExecutionResult: Failed159
       [###########################-----] 99/115160[debug] /sqlite/src/json.c:1302:9 ExecutionResult: Passed161
       [###########################-----] 100/115162[debug] /sqlite/src/json.c:4725:15 ExecutionResult: Passed163
       [############################----] 101/115164[debug] /sqlite/src/json.c:2066:8 ExecutionResult: Passed165[debug] /sqlite/src/json.c:3550:19 ExecutionResult: Failed166
       [############################----] 103/115167[debug] /sqlite/src/json.c:3553:33 ExecutionResult: Passed168
       [############################----] 104/115169[debug] /sqlite/src/json.c:2157:19 ExecutionResult: Passed170[debug] /sqlite/src/json.c:3555:11 ExecutionResult: Failed171
       [#############################---] 106/115172[debug] /sqlite/src/json.c:3557:10 ExecutionResult: Passed173[debug] /sqlite/src/json.c:1243:19 ExecutionResult: Failed174
       [##############################--] 108/115175[debug] /sqlite/src/json.c:1366:13 ExecutionResult: Passed176[debug] /sqlite/src/json.c:1214:53 ExecutionResult: Passed177
       [##############################--] 110/115178[debug] /sqlite/src/json.c:1282:13 ExecutionResult: Failed179
       [##############################--] 111/115180[debug] /sqlite/src/json.c:2118:8 ExecutionResult: Passed181
       [###############################-] 112/115182[debug] /sqlite/src/json.c:1302:19 ExecutionResult: Passed183
       [###############################-] 113/115184[debug] /sqlite/src/json.c:1236:5 ExecutionResult: Failed185
       [###############################-] 114/115186[debug] /sqlite/src/json.c:1282:13 ExecutionResult: Passed187
       [################################] 115/115. Finished in 1533ms188[debug] Done running mutants189[info] Survived mutants (61/115):190/sqlite/src/json.c:900:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]191    sqlite3DbFree(pParse->db, pParse->aBlob);192    ^193/sqlite/src/json.c:902:19: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]194    pParse->nBlob = 0;195                  ^196/sqlite/src/json.c:903:24: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]197    pParse->nBlobAlloc = 0;198                       ^199/sqlite/src/json.c:1142:25: warning: Survived: Replaced == with != [cxx_eq_to_ne]200  if( pParse->nBlobAlloc==0 ){201                        ^202/sqlite/src/json.c:1143:7: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]203    t = 100;204      ^205/sqlite/src/json.c:1147:8: warning: Survived: Replaced < with >= [cxx_lt_to_ge]206  if( t<N ) t = N+100;207       ^208/sqlite/src/json.c:1147:8: warning: Survived: Replaced < with <= [cxx_lt_to_le]209  if( t<N ) t = N+100;210       ^211/sqlite/src/json.c:1152:22: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]212  pParse->nBlobAlloc = (u32)t;213                     ^214/sqlite/src/json.c:1214:43: warning: Survived: Replaced + with - [cxx_add_to_sub]215  if( jsonBlobExpand(pParse, pParse->nBlob+szPayload+9) ) return;216                                          ^217/sqlite/src/json.c:1214:53: warning: Survived: Replaced + with - [cxx_add_to_sub]218  if( jsonBlobExpand(pParse, pParse->nBlob+szPayload+9) ) return;219                                                    ^220/sqlite/src/json.c:1215:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]221  jsonBlobAppendNode(pParse, eType, szPayload, aPayload);222  ^223/sqlite/src/json.c:1235:20: warning: Survived: Replaced + with - [cxx_add_to_sub]224  if( pParse->nBlob+szPayload+9 > pParse->nBlobAlloc ){225                   ^226/sqlite/src/json.c:1235:33: warning: Survived: Replaced > with >= [cxx_gt_to_ge]227  if( pParse->nBlob+szPayload+9 > pParse->nBlobAlloc ){228                                ^229/sqlite/src/json.c:1241:16: warning: Survived: Replaced <= with > [cxx_le_to_gt]230  if( szPayload<=11 ){231               ^232/sqlite/src/json.c:1241:16: warning: Survived: Replaced <= with < [cxx_le_to_lt]233  if( szPayload<=11 ){234               ^235/sqlite/src/json.c:1242:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]236    a[0] = eType | (szPayload<<4);237         ^238/sqlite/src/json.c:1242:18: warning: Survived: Replaced | with & [cxx_or_to_and]239    a[0] = eType | (szPayload<<4);240                 ^241/sqlite/src/json.c:1242:30: warning: Survived: Replaced << with >> [cxx_lshift_to_rshift]242    a[0] = eType | (szPayload<<4);243                             ^244/sqlite/src/json.c:1262:19: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]245    pParse->nBlob += szPayload;246                  ^247/sqlite/src/json.c:1263:40: warning: Survived: Replaced - with + [cxx_sub_to_add]248    memcpy(&pParse->aBlob[pParse->nBlob-szPayload], aPayload, szPayload);249                                       ^250/sqlite/src/json.c:1282:13: warning: Survived: Replaced <= with < [cxx_le_to_lt]251  if( szType<=11 ){252            ^253/sqlite/src/json.c:1293:16: warning: Survived: Replaced <= with > [cxx_le_to_gt]254  if( szPayload<=11 ){255               ^256/sqlite/src/json.c:1293:16: warning: Survived: Replaced <= with < [cxx_le_to_lt]257  if( szPayload<=11 ){258               ^259/sqlite/src/json.c:1294:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]260    nNeeded = 0;261            ^262/sqlite/src/json.c:1302:9: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]263  delta = nNeeded - nExtra;264        ^265/sqlite/src/json.c:1302:19: warning: Survived: Replaced - with + [cxx_sub_to_add]266  delta = nNeeded - nExtra;267                  ^268/sqlite/src/json.c:1316:14: warning: Survived: Replaced == with != [cxx_eq_to_ne]269  if( nNeeded==0 ){270             ^271/sqlite/src/json.c:1317:10: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]272    a[0] = (a[0] & 0x0f) | (szPayload<<4);273         ^274/sqlite/src/json.c:1317:18: warning: Survived: Replaced & with | [cxx_and_to_or]275    a[0] = (a[0] & 0x0f) | (szPayload<<4);276                 ^277/sqlite/src/json.c:1317:26: warning: Survived: Replaced | with & [cxx_or_to_and]278    a[0] = (a[0] & 0x0f) | (szPayload<<4);279                         ^280/sqlite/src/json.c:1317:38: warning: Survived: Replaced << with >> [cxx_lshift_to_rshift]281    a[0] = (a[0] & 0x0f) | (szPayload<<4);282                                     ^283/sqlite/src/json.c:1366:13: warning: Survived: Replaced > with >= [cxx_gt_to_ge]284  if( iDepth>JSON_MAX_DEPTH ) return i+1;285            ^286/sqlite/src/json.c:1367:6: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]287  sz = 0;288     ^289/sqlite/src/json.c:2048:8: warning: Survived: Replaced > with >= [cxx_gt_to_ge]290  if( i>0 ){291       ^292/sqlite/src/json.c:2048:8: warning: Survived: Replaced > with <= [cxx_gt_to_le]293  if( i>0 ){294       ^295/sqlite/src/json.c:2066:8: warning: Survived: Replaced <= with < [cxx_le_to_lt]296  if( i<=0 ){297       ^298/sqlite/src/json.c:2074:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]299    jsonParseReset(pParse);300    ^301/sqlite/src/json.c:2117:23: warning: Survived: Replaced >> with << [cxx_rshift_to_lshift]302  x = pParse->aBlob[i]>>4;303                      ^304/sqlite/src/json.c:2118:8: warning: Survived: Replaced <= with < [cxx_le_to_lt]305  if( x<=11 ){306       ^307/sqlite/src/json.c:2157:13: warning: Survived: Replaced + with - [cxx_add_to_sub]308  if( (i64)i+sz+n > pParse->nBlob309            ^310/sqlite/src/json.c:2157:16: warning: Survived: Replaced + with - [cxx_add_to_sub]311  if( (i64)i+sz+n > pParse->nBlob312               ^313/sqlite/src/json.c:2157:19: warning: Survived: Replaced > with >= [cxx_gt_to_ge]314  if( (i64)i+sz+n > pParse->nBlob315                  ^316/sqlite/src/json.c:2157:19: warning: Survived: Replaced > with <= [cxx_gt_to_le]317  if( (i64)i+sz+n > pParse->nBlob318                  ^319/sqlite/src/json.c:3546:10: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]320  u32 n, sz = 0;321         ^322/sqlite/src/json.c:3551:15: warning: Survived: Replaced > with >= [cxx_gt_to_ge]323  if( p->nBlob>0324              ^325/sqlite/src/json.c:3553:11: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]326   && ((c = p->aBlob[0]) & 0x0f)<=JSONB_OBJECT327          ^328/sqlite/src/json.c:3553:33: warning: Survived: Replaced <= with < [cxx_le_to_lt]329   && ((c = p->aBlob[0]) & 0x0f)<=JSONB_OBJECT330                                ^331/sqlite/src/json.c:3554:40: warning: Survived: Replaced > with >= [cxx_gt_to_ge]332   && (n = jsonbPayloadSize(p, 0, &sz))>0333                                       ^334/sqlite/src/json.c:3556:11: warning: Survived: Replaced & with | [cxx_and_to_or]335   && ((c & 0x0f)>JSONB_FALSE || sz==0)336          ^337/sqlite/src/json.c:3556:18: warning: Survived: Replaced > with >= [cxx_gt_to_ge]338   && ((c & 0x0f)>JSONB_FALSE || sz==0)339                 ^340/sqlite/src/json.c:3556:18: warning: Survived: Replaced > with <= [cxx_gt_to_le]341   && ((c & 0x0f)>JSONB_FALSE || sz==0)342                 ^343/sqlite/src/json.c:3557:10: warning: Survived: Replaced > with >= [cxx_gt_to_ge]344   && (sz>7 345         ^346/sqlite/src/json.c:3557:10: warning: Survived: Replaced > with <= [cxx_gt_to_le]347   && (sz>7 348         ^349/sqlite/src/json.c:3558:12: warning: Survived: Replaced != with == [cxx_ne_to_eq]350      || (c!=0x7b && c!=0x5b && !sqlite3Isdigit(c))351           ^352/sqlite/src/json.c:3558:23: warning: Survived: Replaced != with == [cxx_ne_to_eq]353      || (c!=0x7b && c!=0x5b && !sqlite3Isdigit(c))354                      ^355/sqlite/src/json.c:3564:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]356  p->nBlob = 0;357           ^358/sqlite/src/json.c:4725:13: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]359    s.nJson = sqlite3_value_bytes(argv[0]);360            ^361/sqlite/src/json.c:4725:15: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]362    s.nJson = sqlite3_value_bytes(argv[0]);363              ^364/sqlite/src/json.c:4734:27: warning: Survived: Replaced & with | [cxx_and_to_or]365          if( (s.zJson[k] & 0xc0)!=0x80 ) iErrPos++;366                          ^367/sqlite/src/json.c:4740:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]368  jsonParseReset(&s);369  ^370/sqlite/src/json.c:5582:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]371  sqlite3InsertBuiltinFuncs(aJsonFunc, ArraySize(aJsonFunc));372  ^373[info] Mutation score: 46%374[info] Total execution time: 1976ms375[info] Surviving mutants: 61376