{ "expected_set": { "kind": "peer-consensus-heuristic", "selectors": [ { "function_name": "switch_spoke", "selector": "0x1be3427b", "signature": "switch_spoke(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE", "selector": "0x20bea9dd", "signature": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_updateLiquidationConfig", "selector": "0x256aeede", "signature": "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS", "selector": "0x27dd847c", "signature": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS(uint256,uint256,uint256,uint256,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iHub_setInterestRateData", "selector": "0x44a0611b", "signature": "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iHub_updateSpokeConfig", "selector": "0x4896f9c3", "signature": "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_updateDynamicReserveConfig", "selector": "0x4b430dd2", "signature": "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "switch_asset", "selector": "0x55ba98ff", "signature": "switch_asset(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_updateUserRiskPremium", "selector": "0x5b00e9f0", "signature": "iSpoke_updateUserRiskPremium()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_supply_ASSERTION_SUPPLY_DOS", "selector": "0x5c9d5cb7", "signature": "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_addDynamicReserveConfig", "selector": "0x5d55852e", "signature": "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "switchActor", "selector": "0x6801b82e", "signature": "switchActor(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "switch_oracle", "selector": "0x8aa3bc37", "signature": "switch_oracle(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_updateUserDynamicConfig", "selector": "0xa89ef612", "signature": "iSpoke_updateUserDynamicConfig()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iAaveOracle_setPrice", "selector": "0xae22f4b8", "signature": "iAaveOracle_setPrice(uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "excludeSelectors", "selector": "0xb0464fdc", "signature": "excludeSelectors()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "iHub_updateAssetConfig", "selector": "0xb722c6ed", "signature": "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_setUsingAsCollateral", "selector": "0xca2664f9", "signature": "iSpoke_setUsingAsCollateral(uint256,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS", "selector": "0xd3fabfac", "signature": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_repay_ASSERTION_REPAY_DOS", "selector": "0xdfbe4d80", "signature": "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_updateReserveConfig", "selector": "0xe6fb1960", "signature": "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "assert_canary_ASSERTION_CANARY", "selector": "0xf24a44c9", "signature": "assert_canary_ASSERTION_CANARY(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "iSpoke_borrow", "selector": "0xf9f2ec54", "signature": "iSpoke_borrow(uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] } ], "source": "peer-consensus heuristic: observed in every available corpus for at least two independent evidence families (Echidna and Recon count as one related typed-corpus family); not benchmark ground truth", "status": "available" }, "fuzzers": [ { "available_instances": 2, "distribution": [ { "comparison_key": "0xae22f4b8", "function_names": [ "iAaveOracle_setPrice" ], "function_signatures": [ "iAaveOracle_setPrice(uint256,uint256)" ], "saved_corpus_calls": 2028, "selector": "0xae22f4b8", "share": 0.039052570768 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 1821, "selector": "0xf24a44c9", "share": 0.035066435586 }, { "comparison_key": "0x5c9d5cb7", "function_names": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS" ], "function_signatures": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)" ], "saved_corpus_calls": 1751, "selector": "0x5c9d5cb7", "share": 0.033718467167 }, { "comparison_key": "0xe6fb1960", "function_names": [ "iSpoke_updateReserveConfig" ], "function_signatures": [ "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))" ], "saved_corpus_calls": 1738, "selector": "0xe6fb1960", "share": 0.033468130175 }, { "comparison_key": "0x4b43b035", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v0" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v0()" ], "saved_corpus_calls": 1698, "selector": "0x4b43b035", "share": 0.032697862507 }, { "comparison_key": "0xd3fabfac", "function_names": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS" ], "function_signatures": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)" ], "saved_corpus_calls": 1690, "selector": "0xd3fabfac", "share": 0.032543808974 }, { "comparison_key": "0xf9f2ec54", "function_names": [ "iSpoke_borrow" ], "function_signatures": [ "iSpoke_borrow(uint256,uint256)" ], "saved_corpus_calls": 1686, "selector": "0xf9f2ec54", "share": 0.032466782207 }, { "comparison_key": "0xf7d31edc", "function_names": [ "invariant_hubAddedAssetsGreaterThanSpokeSum" ], "function_signatures": [ "invariant_hubAddedAssetsGreaterThanSpokeSum()" ], "saved_corpus_calls": 1674, "selector": "0xf7d31edc", "share": 0.032235701906 }, { "comparison_key": "0x7aca1cb2", "function_names": [ "invariant_supplySharePriceAndDrawnIndexMonotonic" ], "function_signatures": [ "invariant_supplySharePriceAndDrawnIndexMonotonic()" ], "saved_corpus_calls": 1670, "selector": "0x7aca1cb2", "share": 0.03215867514 }, { "comparison_key": "0xb722c6ed", "function_names": [ "iHub_updateAssetConfig" ], "function_signatures": [ "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 1660, "selector": "0xb722c6ed", "share": 0.031966108223 }, { "comparison_key": "0x20bea9dd", "function_names": [ "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE" ], "function_signatures": [ "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE(uint256)" ], "saved_corpus_calls": 1651, "selector": "0x20bea9dd", "share": 0.031792797997 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 1643, "selector": "0x1a042ae7", "share": 0.031638744464 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 1619, "selector": "0x55ba98ff", "share": 0.031176583863 }, { "comparison_key": "0x8aa3bc37", "function_names": [ "switch_oracle" ], "function_signatures": [ "switch_oracle(uint256)" ], "saved_corpus_calls": 1610, "selector": "0x8aa3bc37", "share": 0.031003273638 }, { "comparison_key": "0x5b00e9f0", "function_names": [ "iSpoke_updateUserRiskPremium" ], "function_signatures": [ "iSpoke_updateUserRiskPremium()" ], "saved_corpus_calls": 1608, "selector": "0x5b00e9f0", "share": 0.030964760254 }, { "comparison_key": "0xdfbe4d80", "function_names": [ "iSpoke_repay_ASSERTION_REPAY_DOS" ], "function_signatures": [ "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)" ], "saved_corpus_calls": 1608, "selector": "0xdfbe4d80", "share": 0.030964760254 }, { "comparison_key": "0x4b430dd2", "function_names": [ "iSpoke_updateDynamicReserveConfig" ], "function_signatures": [ "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))" ], "saved_corpus_calls": 1604, "selector": "0x4b430dd2", "share": 0.030887733487 }, { "comparison_key": "0x5d55852e", "function_names": [ "iSpoke_addDynamicReserveConfig" ], "function_signatures": [ "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))" ], "saved_corpus_calls": 1603, "selector": "0x5d55852e", "share": 0.030868476796 }, { "comparison_key": "0xca2664f9", "function_names": [ "iSpoke_setUsingAsCollateral" ], "function_signatures": [ "iSpoke_setUsingAsCollateral(uint256,bool)" ], "saved_corpus_calls": 1584, "selector": "0xca2664f9", "share": 0.030502599653 }, { "comparison_key": "0x25a00713", "function_names": [ "invariant_shouldNotBecomeLiquidatable" ], "function_signatures": [ "invariant_shouldNotBecomeLiquidatable()" ], "saved_corpus_calls": 1575, "selector": "0x25a00713", "share": 0.030329289428 }, { "comparison_key": "0xbb1b32f0", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v1" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v1()" ], "saved_corpus_calls": 1571, "selector": "0xbb1b32f0", "share": 0.030252262661 }, { "comparison_key": "0x44a0611b", "function_names": [ "iHub_setInterestRateData" ], "function_signatures": [ "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 1566, "selector": "0x44a0611b", "share": 0.030155979203 }, { "comparison_key": "0x0a9254e4", "function_names": [ "setUp" ], "function_signatures": [ "setUp()" ], "saved_corpus_calls": 1564, "selector": "0x0a9254e4", "share": 0.030117465819 }, { "comparison_key": "0x27dd847c", "function_names": [ "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS" ], "function_signatures": [ "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS(uint256,uint256,uint256,uint256,bool)" ], "saved_corpus_calls": 1559, "selector": "0x27dd847c", "share": 0.030021182361 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 1551, "selector": "0x6801b82e", "share": 0.029867128827 }, { "comparison_key": "0x1be3427b", "function_names": [ "switch_spoke" ], "function_signatures": [ "switch_spoke(uint256)" ], "saved_corpus_calls": 1544, "selector": "0x1be3427b", "share": 0.029732331985 }, { "comparison_key": "0x77494a8e", "function_names": [ "invariant_hubAddedSharesMatchesSpokeSum" ], "function_signatures": [ "invariant_hubAddedSharesMatchesSpokeSum()" ], "saved_corpus_calls": 1529, "selector": "0x77494a8e", "share": 0.02944348161 }, { "comparison_key": "0x7b0155cc", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v2" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v2()" ], "saved_corpus_calls": 1509, "selector": "0x7b0155cc", "share": 0.029058347776 }, { "comparison_key": "0x256aeede", "function_names": [ "iSpoke_updateLiquidationConfig" ], "function_signatures": [ "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))" ], "saved_corpus_calls": 1499, "selector": "0x256aeede", "share": 0.028865780859 }, { "comparison_key": "0x50fb9ec5", "function_names": [ "invariant_totalBorrowedSharesMatchesSpokeSum" ], "function_signatures": [ "invariant_totalBorrowedSharesMatchesSpokeSum()" ], "saved_corpus_calls": 1492, "selector": "0x50fb9ec5", "share": 0.028730984017 }, { "comparison_key": "0x4896f9c3", "function_names": [ "iHub_updateSpokeConfig" ], "function_signatures": [ "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))" ], "saved_corpus_calls": 1491, "selector": "0x4896f9c3", "share": 0.028711727325 }, { "comparison_key": "0xa89ef612", "function_names": [ "iSpoke_updateUserDynamicConfig" ], "function_signatures": [ "iSpoke_updateUserDynamicConfig()" ], "saved_corpus_calls": 1447, "selector": "0xa89ef612", "share": 0.02786443289 }, { "comparison_key": "0x3e5e3c23", "function_names": [ "targetSenders" ], "function_signatures": [ "targetSenders()" ], "saved_corpus_calls": 15, "selector": "0x3e5e3c23", "share": 0.000288850376 }, { "comparison_key": "0xb5508aa9", "function_names": [ "excludeArtifacts" ], "function_signatures": [ "excludeArtifacts()" ], "saved_corpus_calls": 13, "selector": "0xb5508aa9", "share": 0.000250336992 }, { "comparison_key": "0xb0464fdc", "function_names": [ "excludeSelectors" ], "function_signatures": [ "excludeSelectors()" ], "saved_corpus_calls": 11, "selector": "0xb0464fdc", "share": 0.000211823609 }, { "comparison_key": "0xfa7626d4", "function_names": [ "IS_TEST" ], "function_signatures": [ "IS_TEST()" ], "saved_corpus_calls": 11, "selector": "0xfa7626d4", "share": 0.000211823609 }, { "comparison_key": "0xba414fa6", "function_names": [ "failed" ], "function_signatures": [ "failed()" ], "saved_corpus_calls": 9, "selector": "0xba414fa6", "share": 0.000173310225 }, { "comparison_key": "0x2ade3880", "function_names": [ "targetInterfaces" ], "function_signatures": [ "targetInterfaces()" ], "saved_corpus_calls": 6, "selector": "0x2ade3880", "share": 0.00011554015 }, { "comparison_key": "0x85226c81", "function_names": [ "targetArtifacts" ], "function_signatures": [ "targetArtifacts()" ], "saved_corpus_calls": 5, "selector": "0x85226c81", "share": 9.6283459e-05 }, { "comparison_key": "0x916a17c6", "function_names": [ "targetSelectors" ], "function_signatures": [ "targetSelectors()" ], "saved_corpus_calls": 5, "selector": "0x916a17c6", "share": 9.6283459e-05 }, { "comparison_key": "0x3f7286f4", "function_names": [ "targetContracts" ], "function_signatures": [ "targetContracts()" ], "saved_corpus_calls": 4, "selector": "0x3f7286f4", "share": 7.7026767e-05 }, { "comparison_key": "0x66d9a9a0", "function_names": [ "targetArtifactSelectors" ], "function_signatures": [ "targetArtifactSelectors()" ], "saved_corpus_calls": 3, "selector": "0x66d9a9a0", "share": 5.7770075e-05 }, { "comparison_key": "0xe20c9f71", "function_names": [ "excludeContracts" ], "function_signatures": [ "excludeContracts()" ], "saved_corpus_calls": 3, "selector": "0xe20c9f71", "share": 5.7770075e-05 }, { "comparison_key": "0x1ed7831c", "function_names": [ "excludeSenders" ], "function_signatures": [ "excludeSenders()" ], "saved_corpus_calls": 2, "selector": "0x1ed7831c", "share": 3.8513383e-05 } ], "fuzzer": "echidna", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 51930, "status": "available", "unavailable_instances": 0, "unique_call_identities": 44, "unique_selectors": 44 }, { "available_instances": 0, "distribution": [], "fuzzer": "foundry", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 0, "status": "unavailable", "unavailable_instances": 2, "unique_call_identities": 0, "unique_selectors": 0 }, { "available_instances": 2, "distribution": [ { "comparison_key": "0x5c9d5cb7", "function_names": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS" ], "function_signatures": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)" ], "saved_corpus_calls": 1199, "selector": "0x5c9d5cb7", "share": 0.051060386679 }, { "comparison_key": "0xa89ef612", "function_names": [ "iSpoke_updateUserDynamicConfig" ], "function_signatures": [ "iSpoke_updateUserDynamicConfig()" ], "saved_corpus_calls": 1189, "selector": "0xa89ef612", "share": 0.050634528575 }, { "comparison_key": "0xb722c6ed", "function_names": [ "iHub_updateAssetConfig" ], "function_signatures": [ "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 1137, "selector": "0xb722c6ed", "share": 0.048420066434 }, { "comparison_key": "0xdfbe4d80", "function_names": [ "iSpoke_repay_ASSERTION_REPAY_DOS" ], "function_signatures": [ "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)" ], "saved_corpus_calls": 1125, "selector": "0xdfbe4d80", "share": 0.047909036709 }, { "comparison_key": "0x5d55852e", "function_names": [ "iSpoke_addDynamicReserveConfig" ], "function_signatures": [ "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))" ], "saved_corpus_calls": 1099, "selector": "0x5d55852e", "share": 0.046801805638 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 1092, "selector": "0x6801b82e", "share": 0.046503704966 }, { "comparison_key": "0xae22f4b8", "function_names": [ "iAaveOracle_setPrice" ], "function_signatures": [ "iAaveOracle_setPrice(uint256,uint256)" ], "saved_corpus_calls": 1084, "selector": "0xae22f4b8", "share": 0.046163018482 }, { "comparison_key": "0x20bea9dd", "function_names": [ "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE" ], "function_signatures": [ "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE(uint256)" ], "saved_corpus_calls": 1073, "selector": "0x20bea9dd", "share": 0.045694574568 }, { "comparison_key": "0x8aa3bc37", "function_names": [ "switch_oracle" ], "function_signatures": [ "switch_oracle(uint256)" ], "saved_corpus_calls": 1029, "selector": "0x8aa3bc37", "share": 0.04382079891 }, { "comparison_key": "0x256aeede", "function_names": [ "iSpoke_updateLiquidationConfig" ], "function_signatures": [ "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))" ], "saved_corpus_calls": 1018, "selector": "0x256aeede", "share": 0.043352354995 }, { "comparison_key": "0x27dd847c", "function_names": [ "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS" ], "function_signatures": [ "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS(uint256,uint256,uint256,uint256,bool)" ], "saved_corpus_calls": 1015, "selector": "0x27dd847c", "share": 0.043224597564 }, { "comparison_key": "0x4b430dd2", "function_names": [ "iSpoke_updateDynamicReserveConfig" ], "function_signatures": [ "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))" ], "saved_corpus_calls": 1008, "selector": "0x4b430dd2", "share": 0.042926496891 }, { "comparison_key": "0xd3fabfac", "function_names": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS" ], "function_signatures": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)" ], "saved_corpus_calls": 995, "selector": "0xd3fabfac", "share": 0.042372881356 }, { "comparison_key": "0xe6fb1960", "function_names": [ "iSpoke_updateReserveConfig" ], "function_signatures": [ "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))" ], "saved_corpus_calls": 975, "selector": "0xe6fb1960", "share": 0.041521165148 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 968, "selector": "0x55ba98ff", "share": 0.041223064475 }, { "comparison_key": "0x4896f9c3", "function_names": [ "iHub_updateSpokeConfig" ], "function_signatures": [ "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))" ], "saved_corpus_calls": 958, "selector": "0x4896f9c3", "share": 0.040797206371 }, { "comparison_key": "0x1be3427b", "function_names": [ "switch_spoke" ], "function_signatures": [ "switch_spoke(uint256)" ], "saved_corpus_calls": 945, "selector": "0x1be3427b", "share": 0.040243590836 }, { "comparison_key": "0xca2664f9", "function_names": [ "iSpoke_setUsingAsCollateral" ], "function_signatures": [ "iSpoke_setUsingAsCollateral(uint256,bool)" ], "saved_corpus_calls": 945, "selector": "0xca2664f9", "share": 0.040243590836 }, { "comparison_key": "0x44a0611b", "function_names": [ "iHub_setInterestRateData" ], "function_signatures": [ "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 929, "selector": "0x44a0611b", "share": 0.039562217869 }, { "comparison_key": "0x0a9254e4", "function_names": [ "setUp" ], "function_signatures": [ "setUp()" ], "saved_corpus_calls": 903, "selector": "0x0a9254e4", "share": 0.038454986798 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 899, "selector": "0xf24a44c9", "share": 0.038284643557 }, { "comparison_key": "0x5b00e9f0", "function_names": [ "iSpoke_updateUserRiskPremium" ], "function_signatures": [ "iSpoke_updateUserRiskPremium()" ], "saved_corpus_calls": 891, "selector": "0x5b00e9f0", "share": 0.037943957074 }, { "comparison_key": "0xf9f2ec54", "function_names": [ "iSpoke_borrow" ], "function_signatures": [ "iSpoke_borrow(uint256,uint256)" ], "saved_corpus_calls": 871, "selector": "0xf9f2ec54", "share": 0.037092240865 }, { "comparison_key": "0xd4afeb4c", "function_names": [ "REPAY_TYPEHASH" ], "function_signatures": [ "REPAY_TYPEHASH()" ], "saved_corpus_calls": 16, "selector": "0xd4afeb4c", "share": 0.000681372967 }, { "comparison_key": "0xd173fe75", "function_names": [ "DUST_LIQUIDATION_THRESHOLD" ], "function_signatures": [ "DUST_LIQUIDATION_THRESHOLD()" ], "saved_corpus_calls": 8, "selector": "0xd173fe75", "share": 0.000340686483 }, { "comparison_key": "0x85226c81", "function_names": [ "targetArtifacts" ], "function_signatures": [ "targetArtifacts()" ], "saved_corpus_calls": 6, "selector": "0x85226c81", "share": 0.000255514862 }, { "comparison_key": "0xa0b3d9d8", "function_names": [ "MAX_ALLOWED_SPOKE_CAP" ], "function_signatures": [ "MAX_ALLOWED_SPOKE_CAP()" ], "saved_corpus_calls": 6, "selector": "0xa0b3d9d8", "share": 0.000255514862 }, { "comparison_key": "0x0bf9c2d6", "function_names": [ "SUPPLY_TYPEHASH" ], "function_signatures": [ "SUPPLY_TYPEHASH()" ], "saved_corpus_calls": 5, "selector": "0x0bf9c2d6", "share": 0.000212929052 }, { "comparison_key": "0x71810a15", "function_names": [ "MAX_ALLOWED_COLLATERAL_RISK" ], "function_signatures": [ "MAX_ALLOWED_COLLATERAL_RISK()" ], "saved_corpus_calls": 5, "selector": "0x71810a15", "share": 0.000212929052 }, { "comparison_key": "0xb0464fdc", "function_names": [ "excludeSelectors" ], "function_signatures": [ "excludeSelectors()" ], "saved_corpus_calls": 5, "selector": "0xb0464fdc", "share": 0.000212929052 }, { "comparison_key": "0x10332977", "function_names": [ "assertionError" ], "function_signatures": [ "assertionError()" ], "saved_corpus_calls": 4, "selector": "0x10332977", "share": 0.000170343242 }, { "comparison_key": "0x33697066", "function_names": [ "MAX_RISK_PREMIUM_THRESHOLD" ], "function_signatures": [ "MAX_RISK_PREMIUM_THRESHOLD()" ], "saved_corpus_calls": 4, "selector": "0x33697066", "share": 0.000170343242 }, { "comparison_key": "0x3e5e3c23", "function_names": [ "targetSenders" ], "function_signatures": [ "targetSenders()" ], "saved_corpus_calls": 4, "selector": "0x3e5e3c23", "share": 0.000170343242 }, { "comparison_key": "0x66d9a9a0", "function_names": [ "targetArtifactSelectors" ], "function_signatures": [ "targetArtifactSelectors()" ], "saved_corpus_calls": 4, "selector": "0x66d9a9a0", "share": 0.000170343242 }, { "comparison_key": "0xc3525c28", "function_names": [ "HEALTH_FACTOR_LIQUIDATION_THRESHOLD" ], "function_signatures": [ "HEALTH_FACTOR_LIQUIDATION_THRESHOLD()" ], "saved_corpus_calls": 4, "selector": "0xc3525c28", "share": 0.000170343242 }, { "comparison_key": "0xfa784a44", "function_names": [ "divisionError" ], "function_signatures": [ "divisionError()" ], "saved_corpus_calls": 4, "selector": "0xfa784a44", "share": 0.000170343242 }, { "comparison_key": "0x02deadd4", "function_names": [ "SET_USER_POSITION_MANAGER_TYPEHASH" ], "function_signatures": [ "SET_USER_POSITION_MANAGER_TYPEHASH()" ], "saved_corpus_calls": 3, "selector": "0x02deadd4", "share": 0.000127757431 }, { "comparison_key": "0x8719a4ed", "function_names": [ "MAX_ALLOWED_DYNAMIC_CONFIG_KEY" ], "function_signatures": [ "MAX_ALLOWED_DYNAMIC_CONFIG_KEY()" ], "saved_corpus_calls": 3, "selector": "0x8719a4ed", "share": 0.000127757431 }, { "comparison_key": "0x986c5f68", "function_names": [ "memOverflowError" ], "function_signatures": [ "memOverflowError()" ], "saved_corpus_calls": 3, "selector": "0x986c5f68", "share": 0.000127757431 }, { "comparison_key": "0xb22dc54d", "function_names": [ "popError" ], "function_signatures": [ "popError()" ], "saved_corpus_calls": 3, "selector": "0xb22dc54d", "share": 0.000127757431 }, { "comparison_key": "0xb6fdb629", "function_names": [ "MAX_ALLOWED_ASSET_ID" ], "function_signatures": [ "MAX_ALLOWED_ASSET_ID()" ], "saved_corpus_calls": 3, "selector": "0xb6fdb629", "share": 0.000127757431 }, { "comparison_key": "0xba414fa6", "function_names": [ "failed" ], "function_signatures": [ "failed()" ], "saved_corpus_calls": 3, "selector": "0xba414fa6", "share": 0.000127757431 }, { "comparison_key": "0xd160e4de", "function_names": [ "encodeStorageError" ], "function_signatures": [ "encodeStorageError()" ], "saved_corpus_calls": 3, "selector": "0xd160e4de", "share": 0.000127757431 }, { "comparison_key": "0x05ee8612", "function_names": [ "indexOOBError" ], "function_signatures": [ "indexOOBError()" ], "saved_corpus_calls": 2, "selector": "0x05ee8612", "share": 8.5171621e-05 }, { "comparison_key": "0x1de45560", "function_names": [ "enumConversionError" ], "function_signatures": [ "enumConversionError()" ], "saved_corpus_calls": 2, "selector": "0x1de45560", "share": 8.5171621e-05 }, { "comparison_key": "0x1ea15502", "function_names": [ "ORACLE_DECIMALS" ], "function_signatures": [ "ORACLE_DECIMALS()" ], "saved_corpus_calls": 2, "selector": "0x1ea15502", "share": 8.5171621e-05 }, { "comparison_key": "0x1ed7831c", "function_names": [ "excludeSenders" ], "function_signatures": [ "excludeSenders()" ], "saved_corpus_calls": 2, "selector": "0x1ed7831c", "share": 8.5171621e-05 }, { "comparison_key": "0x2ade3880", "function_names": [ "targetInterfaces" ], "function_signatures": [ "targetInterfaces()" ], "saved_corpus_calls": 2, "selector": "0x2ade3880", "share": 8.5171621e-05 }, { "comparison_key": "0x39190b35", "function_names": [ "SET_USING_AS_COLLATERAL_TYPEHASH" ], "function_signatures": [ "SET_USING_AS_COLLATERAL_TYPEHASH()" ], "saved_corpus_calls": 2, "selector": "0x39190b35", "share": 8.5171621e-05 }, { "comparison_key": "0x3f7286f4", "function_names": [ "targetContracts" ], "function_signatures": [ "targetContracts()" ], "saved_corpus_calls": 2, "selector": "0x3f7286f4", "share": 8.5171621e-05 }, { "comparison_key": "0x76c5d758", "function_names": [ "WITHDRAW_TYPEHASH" ], "function_signatures": [ "WITHDRAW_TYPEHASH()" ], "saved_corpus_calls": 2, "selector": "0x76c5d758", "share": 8.5171621e-05 }, { "comparison_key": "0x7ae9f6a3", "function_names": [ "UPDATE_USER_DYNAMIC_CONFIG_TYPEHASH" ], "function_signatures": [ "UPDATE_USER_DYNAMIC_CONFIG_TYPEHASH()" ], "saved_corpus_calls": 2, "selector": "0x7ae9f6a3", "share": 8.5171621e-05 }, { "comparison_key": "0x8995290f", "function_names": [ "arithmeticError" ], "function_signatures": [ "arithmeticError()" ], "saved_corpus_calls": 2, "selector": "0x8995290f", "share": 8.5171621e-05 }, { "comparison_key": "0x916a17c6", "function_names": [ "targetSelectors" ], "function_signatures": [ "targetSelectors()" ], "saved_corpus_calls": 2, "selector": "0x916a17c6", "share": 8.5171621e-05 }, { "comparison_key": "0x98c8ccb8", "function_names": [ "BORROW_TYPEHASH" ], "function_signatures": [ "BORROW_TYPEHASH()" ], "saved_corpus_calls": 2, "selector": "0x98c8ccb8", "share": 8.5171621e-05 }, { "comparison_key": "0xb5508aa9", "function_names": [ "excludeArtifacts" ], "function_signatures": [ "excludeArtifacts()" ], "saved_corpus_calls": 2, "selector": "0xb5508aa9", "share": 8.5171621e-05 }, { "comparison_key": "0xb67689da", "function_names": [ "zeroVarError" ], "function_signatures": [ "zeroVarError()" ], "saved_corpus_calls": 2, "selector": "0xb67689da", "share": 8.5171621e-05 }, { "comparison_key": "0xbe9c7c1f", "function_names": [ "UPDATE_USER_RISK_PREMIUM_TYPEHASH" ], "function_signatures": [ "UPDATE_USER_RISK_PREMIUM_TYPEHASH()" ], "saved_corpus_calls": 2, "selector": "0xbe9c7c1f", "share": 8.5171621e-05 }, { "comparison_key": "0xe20c9f71", "function_names": [ "excludeContracts" ], "function_signatures": [ "excludeContracts()" ], "saved_corpus_calls": 2, "selector": "0xe20c9f71", "share": 8.5171621e-05 }, { "comparison_key": "0xf8998605", "function_names": [ "MAX_ALLOWED_UNDERLYING_DECIMALS" ], "function_signatures": [ "MAX_ALLOWED_UNDERLYING_DECIMALS()" ], "saved_corpus_calls": 2, "selector": "0xf8998605", "share": 8.5171621e-05 }, { "comparison_key": "0xf91ebd52", "function_names": [ "MIN_ALLOWED_UNDERLYING_DECIMALS" ], "function_signatures": [ "MIN_ALLOWED_UNDERLYING_DECIMALS()" ], "saved_corpus_calls": 2, "selector": "0xf91ebd52", "share": 8.5171621e-05 }, { "comparison_key": "0xfa7626d4", "function_names": [ "IS_TEST" ], "function_signatures": [ "IS_TEST()" ], "saved_corpus_calls": 2, "selector": "0xfa7626d4", "share": 8.5171621e-05 }, { "comparison_key": "0x039cc723", "function_names": [ "HUB_ADMIN_ROLE" ], "function_signatures": [ "HUB_ADMIN_ROLE()" ], "saved_corpus_calls": 1, "selector": "0x039cc723", "share": 4.258581e-05 } ], "fuzzer": "medusa", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 23482, "status": "available", "unavailable_instances": 0, "unique_call_identities": 63, "unique_selectors": 63 }, { "available_instances": 2, "distribution": [ { "comparison_key": "0x27dd847c", "function_names": [ "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS" ], "function_signatures": [ "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS(uint256,uint256,uint256,uint256,bool)" ], "saved_corpus_calls": 699, "selector": "0x27dd847c", "share": 0.042528595765 }, { "comparison_key": "0x4896f9c3", "function_names": [ "iHub_updateSpokeConfig" ], "function_signatures": [ "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))" ], "saved_corpus_calls": 663, "selector": "0x4896f9c3", "share": 0.04033828182 }, { "comparison_key": "0x7aca1cb2", "function_names": [ "invariant_supplySharePriceAndDrawnIndexMonotonic" ], "function_signatures": [ "invariant_supplySharePriceAndDrawnIndexMonotonic()" ], "saved_corpus_calls": 648, "selector": "0x7aca1cb2", "share": 0.03942565101 }, { "comparison_key": "0x256aeede", "function_names": [ "iSpoke_updateLiquidationConfig" ], "function_signatures": [ "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))" ], "saved_corpus_calls": 630, "selector": "0x256aeede", "share": 0.038330494037 }, { "comparison_key": "0xca2664f9", "function_names": [ "iSpoke_setUsingAsCollateral" ], "function_signatures": [ "iSpoke_setUsingAsCollateral(uint256,bool)" ], "saved_corpus_calls": 605, "selector": "0xca2664f9", "share": 0.036809442687 }, { "comparison_key": "0x5d55852e", "function_names": [ "iSpoke_addDynamicReserveConfig" ], "function_signatures": [ "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))" ], "saved_corpus_calls": 597, "selector": "0x5d55852e", "share": 0.036322706255 }, { "comparison_key": "0x66d9a9a0", "function_names": [ "targetArtifactSelectors" ], "function_signatures": [ "targetArtifactSelectors()" ], "saved_corpus_calls": 577, "selector": "0x66d9a9a0", "share": 0.035105865174 }, { "comparison_key": "0x44a0611b", "function_names": [ "iHub_setInterestRateData" ], "function_signatures": [ "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 574, "selector": "0x44a0611b", "share": 0.034923339012 }, { "comparison_key": "0x77494a8e", "function_names": [ "invariant_hubAddedSharesMatchesSpokeSum" ], "function_signatures": [ "invariant_hubAddedSharesMatchesSpokeSum()" ], "saved_corpus_calls": 573, "selector": "0x77494a8e", "share": 0.034862496958 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 570, "selector": "0x6801b82e", "share": 0.034679970796 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 567, "selector": "0x55ba98ff", "share": 0.034497444634 }, { "comparison_key": "0xf9f2ec54", "function_names": [ "iSpoke_borrow" ], "function_signatures": [ "iSpoke_borrow(uint256,uint256)" ], "saved_corpus_calls": 567, "selector": "0xf9f2ec54", "share": 0.034497444634 }, { "comparison_key": "0x5c9d5cb7", "function_names": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS" ], "function_signatures": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)" ], "saved_corpus_calls": 546, "selector": "0x5c9d5cb7", "share": 0.033219761499 }, { "comparison_key": "0x4b430dd2", "function_names": [ "iSpoke_updateDynamicReserveConfig" ], "function_signatures": [ "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))" ], "saved_corpus_calls": 530, "selector": "0x4b430dd2", "share": 0.032246288635 }, { "comparison_key": "0xd3fabfac", "function_names": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS" ], "function_signatures": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)" ], "saved_corpus_calls": 519, "selector": "0xd3fabfac", "share": 0.03157702604 }, { "comparison_key": "0xbb1b32f0", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v1" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v1()" ], "saved_corpus_calls": 518, "selector": "0xbb1b32f0", "share": 0.031516183986 }, { "comparison_key": "0x20bea9dd", "function_names": [ "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE" ], "function_signatures": [ "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE(uint256)" ], "saved_corpus_calls": 495, "selector": "0x20bea9dd", "share": 0.030116816744 }, { "comparison_key": "0xe6fb1960", "function_names": [ "iSpoke_updateReserveConfig" ], "function_signatures": [ "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))" ], "saved_corpus_calls": 483, "selector": "0xe6fb1960", "share": 0.029386712095 }, { "comparison_key": "0xae22f4b8", "function_names": [ "iAaveOracle_setPrice" ], "function_signatures": [ "iAaveOracle_setPrice(uint256,uint256)" ], "saved_corpus_calls": 477, "selector": "0xae22f4b8", "share": 0.029021659771 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 470, "selector": "0x1a042ae7", "share": 0.028595765393 }, { "comparison_key": "0x50fb9ec5", "function_names": [ "invariant_totalBorrowedSharesMatchesSpokeSum" ], "function_signatures": [ "invariant_totalBorrowedSharesMatchesSpokeSum()" ], "saved_corpus_calls": 463, "selector": "0x50fb9ec5", "share": 0.028169871015 }, { "comparison_key": "0x7b0155cc", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v2" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v2()" ], "saved_corpus_calls": 445, "selector": "0x7b0155cc", "share": 0.027074714042 }, { "comparison_key": "0x8aa3bc37", "function_names": [ "switch_oracle" ], "function_signatures": [ "switch_oracle(uint256)" ], "saved_corpus_calls": 444, "selector": "0x8aa3bc37", "share": 0.027013871988 }, { "comparison_key": "0x5b00e9f0", "function_names": [ "iSpoke_updateUserRiskPremium" ], "function_signatures": [ "iSpoke_updateUserRiskPremium()" ], "saved_corpus_calls": 441, "selector": "0x5b00e9f0", "share": 0.026831345826 }, { "comparison_key": "0xf7d31edc", "function_names": [ "invariant_hubAddedAssetsGreaterThanSpokeSum" ], "function_signatures": [ "invariant_hubAddedAssetsGreaterThanSpokeSum()" ], "saved_corpus_calls": 441, "selector": "0xf7d31edc", "share": 0.026831345826 }, { "comparison_key": "0x25a00713", "function_names": [ "invariant_shouldNotBecomeLiquidatable" ], "function_signatures": [ "invariant_shouldNotBecomeLiquidatable()" ], "saved_corpus_calls": 439, "selector": "0x25a00713", "share": 0.026709661718 }, { "comparison_key": "0xdfbe4d80", "function_names": [ "iSpoke_repay_ASSERTION_REPAY_DOS" ], "function_signatures": [ "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)" ], "saved_corpus_calls": 424, "selector": "0xdfbe4d80", "share": 0.025797030908 }, { "comparison_key": "0xb722c6ed", "function_names": [ "iHub_updateAssetConfig" ], "function_signatures": [ "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 417, "selector": "0xb722c6ed", "share": 0.02537113653 }, { "comparison_key": "0x4b43b035", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v0" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v0()" ], "saved_corpus_calls": 415, "selector": "0x4b43b035", "share": 0.025249452422 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 412, "selector": "0xf24a44c9", "share": 0.025066926259 }, { "comparison_key": "0xa89ef612", "function_names": [ "iSpoke_updateUserDynamicConfig" ], "function_signatures": [ "iSpoke_updateUserDynamicConfig()" ], "saved_corpus_calls": 403, "selector": "0xa89ef612", "share": 0.024519347773 }, { "comparison_key": "0x1be3427b", "function_names": [ "switch_spoke" ], "function_signatures": [ "switch_spoke(uint256)" ], "saved_corpus_calls": 384, "selector": "0x1be3427b", "share": 0.023363348747 } ], "fuzzer": "recon-fuzzer", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 16436, "status": "available", "unavailable_instances": 0, "unique_call_identities": 32, "unique_selectors": 32 } ], "health_findings": [ { "instance_label": "i-05e6717728e1919df-recon-v0.4.6", "kind": "peer_heuristic_gap", "message": "i-05e6717728e1919df-recon-v0.4.6: peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0xb0464fdc", "severity": "info" }, { "instance_label": "i-0e67ab59a18b228f6-recon-v0.4.6", "kind": "peer_heuristic_gap", "message": "i-0e67ab59a18b228f6-recon-v0.4.6: peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0xb0464fdc", "severity": "info" } ], "health_warnings": [], "instances": [ { "artifact_files": 88, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.6", "ignored_calls": 0, "instance_id": "i-05e6717728e1919df", "instance_label": "i-05e6717728e1919df-recon-v0.4.6", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0xb0464fdc" ], "parsed_sequences": 88, "processed_artifact_bytes": 5295754, "saved_corpus_calls": 8776, "status": "available", "unique_call_identities": 32, "unique_selectors": 32, "warnings": [ "peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0xb0464fdc" ] }, { "artifact_files": 229, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.4.1", "ignored_calls": 0, "instance_id": "i-073d0d97b602f0292", "instance_label": "i-073d0d97b602f0292-medusa-v1.4.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 229, "processed_artifact_bytes": 9992507, "saved_corpus_calls": 11338, "status": "available", "unique_call_identities": 63, "unique_selectors": 63, "warnings": [] }, { "artifact_files": 325, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.1", "ignored_calls": 0, "instance_id": "i-07bcdb0ec5e6923ae", "instance_label": "i-07bcdb0ec5e6923ae-echidna-v2.3.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 325, "processed_artifact_bytes": 20303661, "saved_corpus_calls": 31951, "status": "available", "unique_call_identities": 44, "unique_selectors": 44, "warnings": [] }, { "artifact_files": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-0a9505372fea882f4", "instance_label": "i-0a9505372fea882f4-foundry-git-02c05d9", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 0, "processed_artifact_bytes": 0, "saved_corpus_calls": 0, "status": "unavailable", "unique_call_identities": 0, "unique_selectors": 0, "warnings": [] }, { "artifact_files": 228, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.4.1", "ignored_calls": 0, "instance_id": "i-0a98815a185f5f4b5", "instance_label": "i-0a98815a185f5f4b5-medusa-v1.4.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 228, "processed_artifact_bytes": 10656724, "saved_corpus_calls": 12144, "status": "available", "unique_call_identities": 62, "unique_selectors": 62, "warnings": [] }, { "artifact_files": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-0cc6af8d1beaaef2e", "instance_label": "i-0cc6af8d1beaaef2e-foundry-git-02c05d9", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 0, "processed_artifact_bytes": 0, "saved_corpus_calls": 0, "status": "unavailable", "unique_call_identities": 0, "unique_selectors": 0, "warnings": [] }, { "artifact_files": 78, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.6", "ignored_calls": 0, "instance_id": "i-0e67ab59a18b228f6", "instance_label": "i-0e67ab59a18b228f6-recon-v0.4.6", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0xb0464fdc" ], "parsed_sequences": 78, "processed_artifact_bytes": 4896962, "saved_corpus_calls": 7660, "status": "available", "unique_call_identities": 32, "unique_selectors": 32, "warnings": [ "peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0xb0464fdc" ] }, { "artifact_files": 202, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.1", "ignored_calls": 0, "instance_id": "i-0f43de17950e8eb72", "instance_label": "i-0f43de17950e8eb72-echidna-v2.3.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 202, "processed_artifact_bytes": 12685836, "saved_corpus_calls": 19979, "status": "available", "unique_call_identities": 44, "unique_selectors": 44, "warnings": [] } ], "limitations": [ "i-0a9505372fea882f4-foundry-git-02c05d9: Foundry selector distribution is unavailable because no persisted corpus was present; failure-event selectors are intentionally not used as a distribution", "i-0cc6af8d1beaaef2e-foundry-git-02c05d9: Foundry selector distribution is unavailable because no persisted corpus was present; failure-event selectors are intentionally not used as a distribution" ], "measurement": "Counts are occurrences in unique saved corpus sequences, not runtime execution frequencies", "run_id": "gh-29739216061-1", "schema_version": 1 }