{ "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": "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": 871, "selector": "0x20bea9dd", "share": 0.043020843623 }, { "comparison_key": "0x5c9d5cb7", "function_names": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS" ], "function_signatures": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)" ], "saved_corpus_calls": 815, "selector": "0x5c9d5cb7", "share": 0.040254865159 }, { "comparison_key": "0x5d55852e", "function_names": [ "iSpoke_addDynamicReserveConfig" ], "function_signatures": [ "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))" ], "saved_corpus_calls": 809, "selector": "0x5d55852e", "share": 0.039958510323 }, { "comparison_key": "0xbb1b32f0", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v1" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v1()" ], "saved_corpus_calls": 783, "selector": "0xbb1b32f0", "share": 0.038674306036 }, { "comparison_key": "0xca2664f9", "function_names": [ "iSpoke_setUsingAsCollateral" ], "function_signatures": [ "iSpoke_setUsingAsCollateral(uint256,bool)" ], "saved_corpus_calls": 733, "selector": "0xca2664f9", "share": 0.036204682406 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 721, "selector": "0x6801b82e", "share": 0.035611972735 }, { "comparison_key": "0x77494a8e", "function_names": [ "invariant_hubAddedSharesMatchesSpokeSum" ], "function_signatures": [ "invariant_hubAddedSharesMatchesSpokeSum()" ], "saved_corpus_calls": 679, "selector": "0x77494a8e", "share": 0.033537488887 }, { "comparison_key": "0x25a00713", "function_names": [ "invariant_shouldNotBecomeLiquidatable" ], "function_signatures": [ "invariant_shouldNotBecomeLiquidatable()" ], "saved_corpus_calls": 675, "selector": "0x25a00713", "share": 0.033339918996 }, { "comparison_key": "0x5b00e9f0", "function_names": [ "iSpoke_updateUserRiskPremium" ], "function_signatures": [ "iSpoke_updateUserRiskPremium()" ], "saved_corpus_calls": 675, "selector": "0x5b00e9f0", "share": 0.033339918996 }, { "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": 671, "selector": "0x27dd847c", "share": 0.033142349106 }, { "comparison_key": "0xae22f4b8", "function_names": [ "iAaveOracle_setPrice" ], "function_signatures": [ "iAaveOracle_setPrice(uint256,uint256)" ], "saved_corpus_calls": 656, "selector": "0xae22f4b8", "share": 0.032401462017 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 634, "selector": "0xf24a44c9", "share": 0.03131482762 }, { "comparison_key": "0xa89ef612", "function_names": [ "iSpoke_updateUserDynamicConfig" ], "function_signatures": [ "iSpoke_updateUserDynamicConfig()" ], "saved_corpus_calls": 625, "selector": "0xa89ef612", "share": 0.030870295367 }, { "comparison_key": "0xf9f2ec54", "function_names": [ "iSpoke_borrow" ], "function_signatures": [ "iSpoke_borrow(uint256,uint256)" ], "saved_corpus_calls": 622, "selector": "0xf9f2ec54", "share": 0.030722117949 }, { "comparison_key": "0x0a9254e4", "function_names": [ "setUp" ], "function_signatures": [ "setUp()" ], "saved_corpus_calls": 616, "selector": "0x0a9254e4", "share": 0.030425763114 }, { "comparison_key": "0x4b430dd2", "function_names": [ "iSpoke_updateDynamicReserveConfig" ], "function_signatures": [ "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))" ], "saved_corpus_calls": 609, "selector": "0x4b430dd2", "share": 0.030080015806 }, { "comparison_key": "0x8aa3bc37", "function_names": [ "switch_oracle" ], "function_signatures": [ "switch_oracle(uint256)" ], "saved_corpus_calls": 607, "selector": "0x8aa3bc37", "share": 0.02998123086 }, { "comparison_key": "0xdfbe4d80", "function_names": [ "iSpoke_repay_ASSERTION_REPAY_DOS" ], "function_signatures": [ "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)" ], "saved_corpus_calls": 600, "selector": "0xdfbe4d80", "share": 0.029635483552 }, { "comparison_key": "0x7b0155cc", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v2" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v2()" ], "saved_corpus_calls": 599, "selector": "0x7b0155cc", "share": 0.02958609108 }, { "comparison_key": "0x256aeede", "function_names": [ "iSpoke_updateLiquidationConfig" ], "function_signatures": [ "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))" ], "saved_corpus_calls": 594, "selector": "0x256aeede", "share": 0.029339128717 }, { "comparison_key": "0xd3fabfac", "function_names": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS" ], "function_signatures": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)" ], "saved_corpus_calls": 582, "selector": "0xd3fabfac", "share": 0.028746419046 }, { "comparison_key": "0xe6fb1960", "function_names": [ "iSpoke_updateReserveConfig" ], "function_signatures": [ "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))" ], "saved_corpus_calls": 580, "selector": "0xe6fb1960", "share": 0.028647634101 }, { "comparison_key": "0x44a0611b", "function_names": [ "iHub_setInterestRateData" ], "function_signatures": [ "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 579, "selector": "0x44a0611b", "share": 0.028598241628 }, { "comparison_key": "0x4b43b035", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v0" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v0()" ], "saved_corpus_calls": 573, "selector": "0x4b43b035", "share": 0.028301886792 }, { "comparison_key": "0x50fb9ec5", "function_names": [ "invariant_totalBorrowedSharesMatchesSpokeSum" ], "function_signatures": [ "invariant_totalBorrowedSharesMatchesSpokeSum()" ], "saved_corpus_calls": 572, "selector": "0x50fb9ec5", "share": 0.02825249432 }, { "comparison_key": "0xb722c6ed", "function_names": [ "iHub_updateAssetConfig" ], "function_signatures": [ "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 571, "selector": "0xb722c6ed", "share": 0.028203101847 }, { "comparison_key": "0x7aca1cb2", "function_names": [ "invariant_supplySharePriceAndDrawnIndexMonotonic" ], "function_signatures": [ "invariant_supplySharePriceAndDrawnIndexMonotonic()" ], "saved_corpus_calls": 561, "selector": "0x7aca1cb2", "share": 0.027709177121 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 551, "selector": "0x55ba98ff", "share": 0.027215252396 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 550, "selector": "0x1a042ae7", "share": 0.027165859923 }, { "comparison_key": "0xf7d31edc", "function_names": [ "invariant_hubAddedAssetsGreaterThanSpokeSum" ], "function_signatures": [ "invariant_hubAddedAssetsGreaterThanSpokeSum()" ], "saved_corpus_calls": 543, "selector": "0xf7d31edc", "share": 0.026820112615 }, { "comparison_key": "0x4896f9c3", "function_names": [ "iHub_updateSpokeConfig" ], "function_signatures": [ "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))" ], "saved_corpus_calls": 520, "selector": "0x4896f9c3", "share": 0.025684085745 }, { "comparison_key": "0x1be3427b", "function_names": [ "switch_spoke" ], "function_signatures": [ "switch_spoke(uint256)" ], "saved_corpus_calls": 437, "selector": "0x1be3427b", "share": 0.021584510521 }, { "comparison_key": "0x916a17c6", "function_names": [ "targetSelectors" ], "function_signatures": [ "targetSelectors()" ], "saved_corpus_calls": 6, "selector": "0x916a17c6", "share": 0.000296354836 }, { "comparison_key": "0xb5508aa9", "function_names": [ "excludeArtifacts" ], "function_signatures": [ "excludeArtifacts()" ], "saved_corpus_calls": 5, "selector": "0xb5508aa9", "share": 0.000246962363 }, { "comparison_key": "0x66d9a9a0", "function_names": [ "targetArtifactSelectors" ], "function_signatures": [ "targetArtifactSelectors()" ], "saved_corpus_calls": 3, "selector": "0x66d9a9a0", "share": 0.000148177418 }, { "comparison_key": "0xfa7626d4", "function_names": [ "IS_TEST" ], "function_signatures": [ "IS_TEST()" ], "saved_corpus_calls": 3, "selector": "0xfa7626d4", "share": 0.000148177418 }, { "comparison_key": "0x1ed7831c", "function_names": [ "excludeSenders" ], "function_signatures": [ "excludeSenders()" ], "saved_corpus_calls": 2, "selector": "0x1ed7831c", "share": 9.8784945e-05 }, { "comparison_key": "0x2ade3880", "function_names": [ "targetInterfaces" ], "function_signatures": [ "targetInterfaces()" ], "saved_corpus_calls": 2, "selector": "0x2ade3880", "share": 9.8784945e-05 }, { "comparison_key": "0x3e5e3c23", "function_names": [ "targetSenders" ], "function_signatures": [ "targetSenders()" ], "saved_corpus_calls": 2, "selector": "0x3e5e3c23", "share": 9.8784945e-05 }, { "comparison_key": "0x3f7286f4", "function_names": [ "targetContracts" ], "function_signatures": [ "targetContracts()" ], "saved_corpus_calls": 2, "selector": "0x3f7286f4", "share": 9.8784945e-05 }, { "comparison_key": "0x85226c81", "function_names": [ "targetArtifacts" ], "function_signatures": [ "targetArtifacts()" ], "saved_corpus_calls": 2, "selector": "0x85226c81", "share": 9.8784945e-05 }, { "comparison_key": "0xb0464fdc", "function_names": [ "excludeSelectors" ], "function_signatures": [ "excludeSelectors()" ], "saved_corpus_calls": 2, "selector": "0xb0464fdc", "share": 9.8784945e-05 }, { "comparison_key": "0xba414fa6", "function_names": [ "failed" ], "function_signatures": [ "failed()" ], "saved_corpus_calls": 2, "selector": "0xba414fa6", "share": 9.8784945e-05 }, { "comparison_key": "0xe20c9f71", "function_names": [ "excludeContracts" ], "function_signatures": [ "excludeContracts()" ], "saved_corpus_calls": 2, "selector": "0xe20c9f71", "share": 9.8784945e-05 } ], "fuzzer": "echidna", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 20246, "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": "0xb722c6ed", "function_names": [ "iHub_updateAssetConfig" ], "function_signatures": [ "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 1215, "selector": "0xb722c6ed", "share": 0.054774141196 }, { "comparison_key": "0x5d55852e", "function_names": [ "iSpoke_addDynamicReserveConfig" ], "function_signatures": [ "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))" ], "saved_corpus_calls": 1075, "selector": "0x5d55852e", "share": 0.048462717519 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 1052, "selector": "0xf24a44c9", "share": 0.047425840772 }, { "comparison_key": "0x5c9d5cb7", "function_names": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS" ], "function_signatures": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)" ], "saved_corpus_calls": 1020, "selector": "0x5c9d5cb7", "share": 0.045983229646 }, { "comparison_key": "0xca2664f9", "function_names": [ "iSpoke_setUsingAsCollateral" ], "function_signatures": [ "iSpoke_setUsingAsCollateral(uint256,bool)" ], "saved_corpus_calls": 1015, "selector": "0xca2664f9", "share": 0.045757821657 }, { "comparison_key": "0x4b430dd2", "function_names": [ "iSpoke_updateDynamicReserveConfig" ], "function_signatures": [ "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))" ], "saved_corpus_calls": 1010, "selector": "0x4b430dd2", "share": 0.045532413669 }, { "comparison_key": "0x1be3427b", "function_names": [ "switch_spoke" ], "function_signatures": [ "switch_spoke(uint256)" ], "saved_corpus_calls": 982, "selector": "0x1be3427b", "share": 0.044270128933 }, { "comparison_key": "0xdfbe4d80", "function_names": [ "iSpoke_repay_ASSERTION_REPAY_DOS" ], "function_signatures": [ "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)" ], "saved_corpus_calls": 974, "selector": "0xdfbe4d80", "share": 0.043909476152 }, { "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": 969, "selector": "0x20bea9dd", "share": 0.043684068163 }, { "comparison_key": "0xf9f2ec54", "function_names": [ "iSpoke_borrow" ], "function_signatures": [ "iSpoke_borrow(uint256,uint256)" ], "saved_corpus_calls": 961, "selector": "0xf9f2ec54", "share": 0.043323415382 }, { "comparison_key": "0xd3fabfac", "function_names": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS" ], "function_signatures": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)" ], "saved_corpus_calls": 953, "selector": "0xd3fabfac", "share": 0.0429627626 }, { "comparison_key": "0xe6fb1960", "function_names": [ "iSpoke_updateReserveConfig" ], "function_signatures": [ "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))" ], "saved_corpus_calls": 952, "selector": "0xe6fb1960", "share": 0.042917681003 }, { "comparison_key": "0xa89ef612", "function_names": [ "iSpoke_updateUserDynamicConfig" ], "function_signatures": [ "iSpoke_updateUserDynamicConfig()" ], "saved_corpus_calls": 944, "selector": "0xa89ef612", "share": 0.042557028221 }, { "comparison_key": "0x0a9254e4", "function_names": [ "setUp" ], "function_signatures": [ "setUp()" ], "saved_corpus_calls": 933, "selector": "0x0a9254e4", "share": 0.042061130646 }, { "comparison_key": "0x256aeede", "function_names": [ "iSpoke_updateLiquidationConfig" ], "function_signatures": [ "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))" ], "saved_corpus_calls": 932, "selector": "0x256aeede", "share": 0.042016049049 }, { "comparison_key": "0x4896f9c3", "function_names": [ "iHub_updateSpokeConfig" ], "function_signatures": [ "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))" ], "saved_corpus_calls": 930, "selector": "0x4896f9c3", "share": 0.041925885853 }, { "comparison_key": "0x44a0611b", "function_names": [ "iHub_setInterestRateData" ], "function_signatures": [ "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 928, "selector": "0x44a0611b", "share": 0.041835722658 }, { "comparison_key": "0x5b00e9f0", "function_names": [ "iSpoke_updateUserRiskPremium" ], "function_signatures": [ "iSpoke_updateUserRiskPremium()" ], "saved_corpus_calls": 888, "selector": "0x5b00e9f0", "share": 0.04003245875 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 879, "selector": "0x55ba98ff", "share": 0.039626724371 }, { "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": 868, "selector": "0x27dd847c", "share": 0.039130826797 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 862, "selector": "0x6801b82e", "share": 0.03886033721 }, { "comparison_key": "0xae22f4b8", "function_names": [ "iAaveOracle_setPrice" ], "function_signatures": [ "iAaveOracle_setPrice(uint256,uint256)" ], "saved_corpus_calls": 856, "selector": "0xae22f4b8", "share": 0.038589847624 }, { "comparison_key": "0x8aa3bc37", "function_names": [ "switch_oracle" ], "function_signatures": [ "switch_oracle(uint256)" ], "saved_corpus_calls": 849, "selector": "0x8aa3bc37", "share": 0.03827427644 }, { "comparison_key": "0xcaa139ee", "function_names": [ "USER_POSITION_UPDATER_ROLE" ], "function_signatures": [ "USER_POSITION_UPDATER_ROLE()" ], "saved_corpus_calls": 11, "selector": "0xcaa139ee", "share": 0.000495897575 }, { "comparison_key": "0x2ade3880", "function_names": [ "targetInterfaces" ], "function_signatures": [ "targetInterfaces()" ], "saved_corpus_calls": 10, "selector": "0x2ade3880", "share": 0.000450815977 }, { "comparison_key": "0x3f7286f4", "function_names": [ "targetContracts" ], "function_signatures": [ "targetContracts()" ], "saved_corpus_calls": 6, "selector": "0x3f7286f4", "share": 0.000270489586 }, { "comparison_key": "0x8719a4ed", "function_names": [ "MAX_ALLOWED_DYNAMIC_CONFIG_KEY" ], "function_signatures": [ "MAX_ALLOWED_DYNAMIC_CONFIG_KEY()" ], "saved_corpus_calls": 5, "selector": "0x8719a4ed", "share": 0.000225407988 }, { "comparison_key": "0xa0b3d9d8", "function_names": [ "MAX_ALLOWED_SPOKE_CAP" ], "function_signatures": [ "MAX_ALLOWED_SPOKE_CAP()" ], "saved_corpus_calls": 5, "selector": "0xa0b3d9d8", "share": 0.000225407988 }, { "comparison_key": "0xc3525c28", "function_names": [ "HEALTH_FACTOR_LIQUIDATION_THRESHOLD" ], "function_signatures": [ "HEALTH_FACTOR_LIQUIDATION_THRESHOLD()" ], "saved_corpus_calls": 5, "selector": "0xc3525c28", "share": 0.000225407988 }, { "comparison_key": "0x02deadd4", "function_names": [ "SET_USER_POSITION_MANAGER_TYPEHASH" ], "function_signatures": [ "SET_USER_POSITION_MANAGER_TYPEHASH()" ], "saved_corpus_calls": 4, "selector": "0x02deadd4", "share": 0.000180326391 }, { "comparison_key": "0x10332977", "function_names": [ "assertionError" ], "function_signatures": [ "assertionError()" ], "saved_corpus_calls": 4, "selector": "0x10332977", "share": 0.000180326391 }, { "comparison_key": "0x1ea15502", "function_names": [ "ORACLE_DECIMALS" ], "function_signatures": [ "ORACLE_DECIMALS()" ], "saved_corpus_calls": 4, "selector": "0x1ea15502", "share": 0.000180326391 }, { "comparison_key": "0x1ed5cbeb", "function_names": [ "SPOKE_ADMIN_ROLE" ], "function_signatures": [ "SPOKE_ADMIN_ROLE()" ], "saved_corpus_calls": 4, "selector": "0x1ed5cbeb", "share": 0.000180326391 }, { "comparison_key": "0x916a17c6", "function_names": [ "targetSelectors" ], "function_signatures": [ "targetSelectors()" ], "saved_corpus_calls": 4, "selector": "0x916a17c6", "share": 0.000180326391 }, { "comparison_key": "0xd173fe75", "function_names": [ "DUST_LIQUIDATION_THRESHOLD" ], "function_signatures": [ "DUST_LIQUIDATION_THRESHOLD()" ], "saved_corpus_calls": 4, "selector": "0xd173fe75", "share": 0.000180326391 }, { "comparison_key": "0x39190b35", "function_names": [ "SET_USING_AS_COLLATERAL_TYPEHASH" ], "function_signatures": [ "SET_USING_AS_COLLATERAL_TYPEHASH()" ], "saved_corpus_calls": 3, "selector": "0x39190b35", "share": 0.000135244793 }, { "comparison_key": "0x7ae9f6a3", "function_names": [ "UPDATE_USER_DYNAMIC_CONFIG_TYPEHASH" ], "function_signatures": [ "UPDATE_USER_DYNAMIC_CONFIG_TYPEHASH()" ], "saved_corpus_calls": 3, "selector": "0x7ae9f6a3", "share": 0.000135244793 }, { "comparison_key": "0x85226c81", "function_names": [ "targetArtifacts" ], "function_signatures": [ "targetArtifacts()" ], "saved_corpus_calls": 3, "selector": "0x85226c81", "share": 0.000135244793 }, { "comparison_key": "0xb5508aa9", "function_names": [ "excludeArtifacts" ], "function_signatures": [ "excludeArtifacts()" ], "saved_corpus_calls": 3, "selector": "0xb5508aa9", "share": 0.000135244793 }, { "comparison_key": "0xf8998605", "function_names": [ "MAX_ALLOWED_UNDERLYING_DECIMALS" ], "function_signatures": [ "MAX_ALLOWED_UNDERLYING_DECIMALS()" ], "saved_corpus_calls": 3, "selector": "0xf8998605", "share": 0.000135244793 }, { "comparison_key": "0xfa7626d4", "function_names": [ "IS_TEST" ], "function_signatures": [ "IS_TEST()" ], "saved_corpus_calls": 3, "selector": "0xfa7626d4", "share": 0.000135244793 }, { "comparison_key": "0xfa784a44", "function_names": [ "divisionError" ], "function_signatures": [ "divisionError()" ], "saved_corpus_calls": 3, "selector": "0xfa784a44", "share": 0.000135244793 }, { "comparison_key": "0x039cc723", "function_names": [ "HUB_ADMIN_ROLE" ], "function_signatures": [ "HUB_ADMIN_ROLE()" ], "saved_corpus_calls": 2, "selector": "0x039cc723", "share": 9.0163195e-05 }, { "comparison_key": "0x05ee8612", "function_names": [ "indexOOBError" ], "function_signatures": [ "indexOOBError()" ], "saved_corpus_calls": 2, "selector": "0x05ee8612", "share": 9.0163195e-05 }, { "comparison_key": "0x0bf9c2d6", "function_names": [ "SUPPLY_TYPEHASH" ], "function_signatures": [ "SUPPLY_TYPEHASH()" ], "saved_corpus_calls": 2, "selector": "0x0bf9c2d6", "share": 9.0163195e-05 }, { "comparison_key": "0x1de45560", "function_names": [ "enumConversionError" ], "function_signatures": [ "enumConversionError()" ], "saved_corpus_calls": 2, "selector": "0x1de45560", "share": 9.0163195e-05 }, { "comparison_key": "0x1ed7831c", "function_names": [ "excludeSenders" ], "function_signatures": [ "excludeSenders()" ], "saved_corpus_calls": 2, "selector": "0x1ed7831c", "share": 9.0163195e-05 }, { "comparison_key": "0x33697066", "function_names": [ "MAX_RISK_PREMIUM_THRESHOLD" ], "function_signatures": [ "MAX_RISK_PREMIUM_THRESHOLD()" ], "saved_corpus_calls": 2, "selector": "0x33697066", "share": 9.0163195e-05 }, { "comparison_key": "0x3e5e3c23", "function_names": [ "targetSenders" ], "function_signatures": [ "targetSenders()" ], "saved_corpus_calls": 2, "selector": "0x3e5e3c23", "share": 9.0163195e-05 }, { "comparison_key": "0x66d9a9a0", "function_names": [ "targetArtifactSelectors" ], "function_signatures": [ "targetArtifactSelectors()" ], "saved_corpus_calls": 2, "selector": "0x66d9a9a0", "share": 9.0163195e-05 }, { "comparison_key": "0x71810a15", "function_names": [ "MAX_ALLOWED_COLLATERAL_RISK" ], "function_signatures": [ "MAX_ALLOWED_COLLATERAL_RISK()" ], "saved_corpus_calls": 2, "selector": "0x71810a15", "share": 9.0163195e-05 }, { "comparison_key": "0x76c5d758", "function_names": [ "WITHDRAW_TYPEHASH" ], "function_signatures": [ "WITHDRAW_TYPEHASH()" ], "saved_corpus_calls": 2, "selector": "0x76c5d758", "share": 9.0163195e-05 }, { "comparison_key": "0x8995290f", "function_names": [ "arithmeticError" ], "function_signatures": [ "arithmeticError()" ], "saved_corpus_calls": 2, "selector": "0x8995290f", "share": 9.0163195e-05 }, { "comparison_key": "0x986c5f68", "function_names": [ "memOverflowError" ], "function_signatures": [ "memOverflowError()" ], "saved_corpus_calls": 2, "selector": "0x986c5f68", "share": 9.0163195e-05 }, { "comparison_key": "0x98c8ccb8", "function_names": [ "BORROW_TYPEHASH" ], "function_signatures": [ "BORROW_TYPEHASH()" ], "saved_corpus_calls": 2, "selector": "0x98c8ccb8", "share": 9.0163195e-05 }, { "comparison_key": "0xa217fddf", "function_names": [ "DEFAULT_ADMIN_ROLE" ], "function_signatures": [ "DEFAULT_ADMIN_ROLE()" ], "saved_corpus_calls": 2, "selector": "0xa217fddf", "share": 9.0163195e-05 }, { "comparison_key": "0xb0464fdc", "function_names": [ "excludeSelectors" ], "function_signatures": [ "excludeSelectors()" ], "saved_corpus_calls": 2, "selector": "0xb0464fdc", "share": 9.0163195e-05 }, { "comparison_key": "0xb22dc54d", "function_names": [ "popError" ], "function_signatures": [ "popError()" ], "saved_corpus_calls": 2, "selector": "0xb22dc54d", "share": 9.0163195e-05 }, { "comparison_key": "0xb67689da", "function_names": [ "zeroVarError" ], "function_signatures": [ "zeroVarError()" ], "saved_corpus_calls": 2, "selector": "0xb67689da", "share": 9.0163195e-05 }, { "comparison_key": "0xb6fdb629", "function_names": [ "MAX_ALLOWED_ASSET_ID" ], "function_signatures": [ "MAX_ALLOWED_ASSET_ID()" ], "saved_corpus_calls": 2, "selector": "0xb6fdb629", "share": 9.0163195e-05 }, { "comparison_key": "0xba414fa6", "function_names": [ "failed" ], "function_signatures": [ "failed()" ], "saved_corpus_calls": 2, "selector": "0xba414fa6", "share": 9.0163195e-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": 9.0163195e-05 }, { "comparison_key": "0xd160e4de", "function_names": [ "encodeStorageError" ], "function_signatures": [ "encodeStorageError()" ], "saved_corpus_calls": 2, "selector": "0xd160e4de", "share": 9.0163195e-05 }, { "comparison_key": "0xd4afeb4c", "function_names": [ "REPAY_TYPEHASH" ], "function_signatures": [ "REPAY_TYPEHASH()" ], "saved_corpus_calls": 2, "selector": "0xd4afeb4c", "share": 9.0163195e-05 }, { "comparison_key": "0xe20c9f71", "function_names": [ "excludeContracts" ], "function_signatures": [ "excludeContracts()" ], "saved_corpus_calls": 2, "selector": "0xe20c9f71", "share": 9.0163195e-05 }, { "comparison_key": "0xf91ebd52", "function_names": [ "MIN_ALLOWED_UNDERLYING_DECIMALS" ], "function_signatures": [ "MIN_ALLOWED_UNDERLYING_DECIMALS()" ], "saved_corpus_calls": 2, "selector": "0xf91ebd52", "share": 9.0163195e-05 } ], "fuzzer": "medusa", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 22182, "status": "available", "unavailable_instances": 0, "unique_call_identities": 66, "unique_selectors": 66 }, { "available_instances": 2, "distribution": [ { "comparison_key": "0xca2664f9", "function_names": [ "iSpoke_setUsingAsCollateral" ], "function_signatures": [ "iSpoke_setUsingAsCollateral(uint256,bool)" ], "saved_corpus_calls": 747, "selector": "0xca2664f9", "share": 0.040126772669 }, { "comparison_key": "0x8aa3bc37", "function_names": [ "switch_oracle" ], "function_signatures": [ "switch_oracle(uint256)" ], "saved_corpus_calls": 689, "selector": "0x8aa3bc37", "share": 0.037011173184 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 687, "selector": "0x6801b82e", "share": 0.036903738719 }, { "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": 670, "selector": "0x27dd847c", "share": 0.035990545767 }, { "comparison_key": "0x25a00713", "function_names": [ "invariant_shouldNotBecomeLiquidatable" ], "function_signatures": [ "invariant_shouldNotBecomeLiquidatable()" ], "saved_corpus_calls": 665, "selector": "0x25a00713", "share": 0.035721959605 }, { "comparison_key": "0xf9f2ec54", "function_names": [ "iSpoke_borrow" ], "function_signatures": [ "iSpoke_borrow(uint256,uint256)" ], "saved_corpus_calls": 665, "selector": "0xf9f2ec54", "share": 0.035721959605 }, { "comparison_key": "0x77494a8e", "function_names": [ "invariant_hubAddedSharesMatchesSpokeSum" ], "function_signatures": [ "invariant_hubAddedSharesMatchesSpokeSum()" ], "saved_corpus_calls": 645, "selector": "0x77494a8e", "share": 0.034647614955 }, { "comparison_key": "0xd3fabfac", "function_names": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS" ], "function_signatures": [ "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)" ], "saved_corpus_calls": 642, "selector": "0xd3fabfac", "share": 0.034486463257 }, { "comparison_key": "0x4896f9c3", "function_names": [ "iHub_updateSpokeConfig" ], "function_signatures": [ "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))" ], "saved_corpus_calls": 639, "selector": "0x4896f9c3", "share": 0.03432531156 }, { "comparison_key": "0x44a0611b", "function_names": [ "iHub_setInterestRateData" ], "function_signatures": [ "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 633, "selector": "0x44a0611b", "share": 0.034003008165 }, { "comparison_key": "0x5c9d5cb7", "function_names": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS" ], "function_signatures": [ "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)" ], "saved_corpus_calls": 628, "selector": "0x5c9d5cb7", "share": 0.033734422003 }, { "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": 622, "selector": "0x20bea9dd", "share": 0.033412118608 }, { "comparison_key": "0x66d9a9a0", "function_names": [ "targetArtifactSelectors" ], "function_signatures": [ "targetArtifactSelectors()" ], "saved_corpus_calls": 605, "selector": "0x66d9a9a0", "share": 0.032498925655 }, { "comparison_key": "0x4b43b035", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v0" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v0()" ], "saved_corpus_calls": 603, "selector": "0x4b43b035", "share": 0.03239149119 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 597, "selector": "0x1a042ae7", "share": 0.032069187795 }, { "comparison_key": "0x4b430dd2", "function_names": [ "iSpoke_updateDynamicReserveConfig" ], "function_signatures": [ "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))" ], "saved_corpus_calls": 596, "selector": "0x4b430dd2", "share": 0.032015470563 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 569, "selector": "0x55ba98ff", "share": 0.030565105286 }, { "comparison_key": "0xae22f4b8", "function_names": [ "iAaveOracle_setPrice" ], "function_signatures": [ "iAaveOracle_setPrice(uint256,uint256)" ], "saved_corpus_calls": 569, "selector": "0xae22f4b8", "share": 0.030565105286 }, { "comparison_key": "0xbb1b32f0", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v1" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v1()" ], "saved_corpus_calls": 569, "selector": "0xbb1b32f0", "share": 0.030565105286 }, { "comparison_key": "0x50fb9ec5", "function_names": [ "invariant_totalBorrowedSharesMatchesSpokeSum" ], "function_signatures": [ "invariant_totalBorrowedSharesMatchesSpokeSum()" ], "saved_corpus_calls": 559, "selector": "0x50fb9ec5", "share": 0.030027932961 }, { "comparison_key": "0x5b00e9f0", "function_names": [ "iSpoke_updateUserRiskPremium" ], "function_signatures": [ "iSpoke_updateUserRiskPremium()" ], "saved_corpus_calls": 549, "selector": "0x5b00e9f0", "share": 0.029490760636 }, { "comparison_key": "0xdfbe4d80", "function_names": [ "iSpoke_repay_ASSERTION_REPAY_DOS" ], "function_signatures": [ "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)" ], "saved_corpus_calls": 533, "selector": "0xdfbe4d80", "share": 0.028631284916 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 532, "selector": "0xf24a44c9", "share": 0.028577567684 }, { "comparison_key": "0x256aeede", "function_names": [ "iSpoke_updateLiquidationConfig" ], "function_signatures": [ "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))" ], "saved_corpus_calls": 530, "selector": "0x256aeede", "share": 0.028470133219 }, { "comparison_key": "0xa89ef612", "function_names": [ "iSpoke_updateUserDynamicConfig" ], "function_signatures": [ "iSpoke_updateUserDynamicConfig()" ], "saved_corpus_calls": 527, "selector": "0xa89ef612", "share": 0.028308981521 }, { "comparison_key": "0x7b0155cc", "function_names": [ "invariant_totalBorrowedLessThanSupplied_v2" ], "function_signatures": [ "invariant_totalBorrowedLessThanSupplied_v2()" ], "saved_corpus_calls": 520, "selector": "0x7b0155cc", "share": 0.027932960894 }, { "comparison_key": "0xe6fb1960", "function_names": [ "iSpoke_updateReserveConfig" ], "function_signatures": [ "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))" ], "saved_corpus_calls": 520, "selector": "0xe6fb1960", "share": 0.027932960894 }, { "comparison_key": "0xb722c6ed", "function_names": [ "iHub_updateAssetConfig" ], "function_signatures": [ "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))" ], "saved_corpus_calls": 516, "selector": "0xb722c6ed", "share": 0.027718091964 }, { "comparison_key": "0xf7d31edc", "function_names": [ "invariant_hubAddedAssetsGreaterThanSpokeSum" ], "function_signatures": [ "invariant_hubAddedAssetsGreaterThanSpokeSum()" ], "saved_corpus_calls": 472, "selector": "0xf7d31edc", "share": 0.025354533734 }, { "comparison_key": "0x5d55852e", "function_names": [ "iSpoke_addDynamicReserveConfig" ], "function_signatures": [ "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))" ], "saved_corpus_calls": 464, "selector": "0x5d55852e", "share": 0.024924795875 }, { "comparison_key": "0x7aca1cb2", "function_names": [ "invariant_supplySharePriceAndDrawnIndexMonotonic" ], "function_signatures": [ "invariant_supplySharePriceAndDrawnIndexMonotonic()" ], "saved_corpus_calls": 441, "selector": "0x7aca1cb2", "share": 0.023689299527 }, { "comparison_key": "0x1be3427b", "function_names": [ "switch_spoke" ], "function_signatures": [ "switch_spoke(uint256)" ], "saved_corpus_calls": 413, "selector": "0x1be3427b", "share": 0.022185217018 } ], "fuzzer": "recon-fuzzer", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 18616, "status": "available", "unavailable_instances": 0, "unique_call_identities": 32, "unique_selectors": 32 } ], "health_findings": [ { "instance_label": "i-034cb6720a6436703-recon-v0.4.18", "kind": "peer_heuristic_gap", "message": "i-034cb6720a6436703-recon-v0.4.18: peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0xb0464fdc", "severity": "info" }, { "instance_label": "i-0ed8d9bccde77b824-recon-v0.4.18", "kind": "peer_heuristic_gap", "message": "i-0ed8d9bccde77b824-recon-v0.4.18: peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0xb0464fdc", "severity": "info" } ], "health_warnings": [], "instances": [ { "artifact_files": 105, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.2", "ignored_calls": 0, "instance_id": "i-01c1f3bff75608e5e", "instance_label": "i-01c1f3bff75608e5e-echidna-v2.3.2", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 105, "processed_artifact_bytes": 6663157, "saved_corpus_calls": 10474, "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-01db3533f5c6c560f", "instance_label": "i-01db3533f5c6c560f-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": 98, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.2", "ignored_calls": 0, "instance_id": "i-024af362fccb49540", "instance_label": "i-024af362fccb49540-echidna-v2.3.2", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 98, "processed_artifact_bytes": 6266441, "saved_corpus_calls": 9772, "status": "available", "unique_call_identities": 44, "unique_selectors": 44, "warnings": [] }, { "artifact_files": 95, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.18", "ignored_calls": 0, "instance_id": "i-034cb6720a6436703", "instance_label": "i-034cb6720a6436703-recon-v0.4.18", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0xb0464fdc" ], "parsed_sequences": 95, "processed_artifact_bytes": 5715922, "saved_corpus_calls": 9479, "status": "available", "unique_call_identities": 32, "unique_selectors": 32, "warnings": [ "peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0xb0464fdc" ] }, { "artifact_files": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-0467b881cc0070621", "instance_label": "i-0467b881cc0070621-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": 233, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.5.1", "ignored_calls": 0, "instance_id": "i-05df0296ef97b51ba", "instance_label": "i-05df0296ef97b51ba-medusa-v1.5.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 233, "processed_artifact_bytes": 9525112, "saved_corpus_calls": 10762, "status": "available", "unique_call_identities": 66, "unique_selectors": 66, "warnings": [] }, { "artifact_files": 228, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.5.1", "ignored_calls": 0, "instance_id": "i-0ebbecf47656b1194", "instance_label": "i-0ebbecf47656b1194-medusa-v1.5.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 228, "processed_artifact_bytes": 10145904, "saved_corpus_calls": 11420, "status": "available", "unique_call_identities": 66, "unique_selectors": 66, "warnings": [] }, { "artifact_files": 92, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.18", "ignored_calls": 0, "instance_id": "i-0ed8d9bccde77b824", "instance_label": "i-0ed8d9bccde77b824-recon-v0.4.18", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0xb0464fdc" ], "parsed_sequences": 92, "processed_artifact_bytes": 5581994, "saved_corpus_calls": 9137, "status": "available", "unique_call_identities": 32, "unique_selectors": 32, "warnings": [ "peer-heuristic gap (diagnostic, not ground truth): absent 1 selector(s): 0xb0464fdc" ] } ], "limitations": [ "i-01db3533f5c6c560f-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-0467b881cc0070621-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-30059118265-1", "schema_version": 1 }