{ "expected_set": { "kind": "peer-consensus-heuristic", "selectors": [ { "function_name": "testTransferWithinBalanceDoesNotRevert", "selector": "0x00a3c5d1", "signature": "testTransferWithinBalanceDoesNotRevert(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testMintBalance", "selector": "0x0a1fc5e7", "signature": "testMintBalance(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "getTotalBalance", "selector": "0x12b58349", "signature": "getTotalBalance()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "testBurnBalance", "selector": "0x13ffd369", "signature": "testBurnBalance(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testChangeSupply", "selector": "0x178e5c32", "signature": "testChangeSupply(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferSelf", "selector": "0x1e7cfc16", "signature": "testTransferSelf(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTotalNonRebasingSupplyLessThanTotalBalance", "selector": "0x1f3efb39", "signature": "testTotalNonRebasingSupplyLessThanTotalBalance()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testBurnAllBalanceToZero", "selector": "0x26610da8", "signature": "testBurnAllBalanceToZero(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferFromShouldRevert", "selector": "0x283775f7", "signature": "testTransferFromShouldRevert(uint8,uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testApprove", "selector": "0x324b65f5", "signature": "testApprove(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferBalanceReceivedLessRounding", "selector": "0x379db993", "signature": "testTransferBalanceReceivedLessRounding(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "changeSupply", "selector": "0x39a7919f", "signature": "changeSupply(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTotalSupplyLessThanTotalBalance", "selector": "0x3e1d09c5", "signature": "testTotalSupplyLessThanTotalBalance()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferBalanceSentLess", "selector": "0x43a45e75", "signature": "testTransferBalanceSentLess(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferExceedingBalanceReverts", "selector": "0x50c7ce5d", "signature": "testTransferExceedingBalanceReverts(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "debugOUSD", "selector": "0x54113357", "signature": "debugOUSD()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "burn", "selector": "0x59c4235c", "signature": "burn(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testAutoConvertBalance", "selector": "0x6396b18d", "signature": "testAutoConvertBalance(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testBalanceOfShouldNotRevert", "selector": "0x657808a3", "signature": "testBalanceOfShouldNotRevert(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "transfer", "selector": "0x6900d46e", "signature": "transfer(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testRebasingCreditsPerTokenAboveZero", "selector": "0x6a91b27a", "signature": "testRebasingCreditsPerTokenAboveZero()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testRebasingCreditsPerTokenNotIncreased", "selector": "0x6dcc9dcc", "signature": "testRebasingCreditsPerTokenNotIncreased()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "transferFrom", "selector": "0x72a96677", "signature": "transferFrom(uint8,uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testOptOutTotalSupply", "selector": "0x7fc05f0a", "signature": "testOptOutTotalSupply(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "optOut", "selector": "0x866ba8f7", "signature": "optOut(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferBalanceSentLessRounding", "selector": "0x8dcd3725", "signature": "testTransferBalanceSentLessRounding(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testBurnAllBalanceShouldNotRevert", "selector": "0x8f287234", "signature": "testBurnAllBalanceShouldNotRevert(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferBalanceSentMore", "selector": "0x9164cd26", "signature": "testTransferBalanceSentMore(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testOptInBalance", "selector": "0x9a92314c", "signature": "testOptInBalance(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testOptInBalanceRounding", "selector": "0x9de07e5a", "signature": "testOptInBalanceRounding(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferToZeroAddress", "selector": "0xa04961e8", "signature": "testTransferToZeroAddress(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testOptInTotalSupply", "selector": "0xa7847496", "signature": "testOptInTotalSupply(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testMintZeroBalance", "selector": "0xb1327fd9", "signature": "testMintZeroBalance(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testMintBalanceRounding", "selector": "0xbfb72b06", "signature": "testMintBalanceRounding(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testCreditsPerTokenVsBalance", "selector": "0xc6c7c2e5", "signature": "testCreditsPerTokenVsBalance(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferFromShouldNotRevert", "selector": "0xc7df1ada", "signature": "testTransferFromShouldNotRevert(uint8,uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testOptOutBalance", "selector": "0xcec05c0a", "signature": "testOptOutBalance(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "optIn", "selector": "0xd5afe6cd", "signature": "optIn(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testNonRebasingSupplyVsTotalSupply", "selector": "0xd89cecc4", "signature": "testNonRebasingSupplyVsTotalSupply()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "approve", "selector": "0xdad9f8f0", "signature": "approve(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "getTotalNonRebasingBalance", "selector": "0xdf4d5977", "signature": "getTotalNonRebasingBalance()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferBalanceReceivedLess", "selector": "0xe1bc5773", "signature": "testTransferBalanceReceivedLess(uint8,uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testTransferBalanceReceivedMore", "selector": "0xe4840d4f", "signature": "testTransferBalanceReceivedMore(uint8,uint8,uint256)", "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": "mint", "selector": "0xf26748e2", "signature": "mint(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "testBurnZeroBalance", "selector": "0xfbf4f900", "signature": "testBurnZeroBalance(uint8)", "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": "0x72a96677", "function_names": [ "transferFrom" ], "function_signatures": [ "transferFrom(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 165, "selector": "0x72a96677", "share": 0.027335984095 }, { "comparison_key": "0x0a1fc5e7", "function_names": [ "testMintBalance" ], "function_signatures": [ "testMintBalance(uint8,uint256)" ], "saved_corpus_calls": 156, "selector": "0x0a1fc5e7", "share": 0.025844930417 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 156, "selector": "0x1a042ae7", "share": 0.025844930417 }, { "comparison_key": "0xb1327fd9", "function_names": [ "testMintZeroBalance" ], "function_signatures": [ "testMintZeroBalance(uint8)" ], "saved_corpus_calls": 156, "selector": "0xb1327fd9", "share": 0.025844930417 }, { "comparison_key": "0x9164cd26", "function_names": [ "testTransferBalanceSentMore" ], "function_signatures": [ "testTransferBalanceSentMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 152, "selector": "0x9164cd26", "share": 0.025182239894 }, { "comparison_key": "0x866ba8f7", "function_names": [ "optOut" ], "function_signatures": [ "optOut(uint8)" ], "saved_corpus_calls": 149, "selector": "0x866ba8f7", "share": 0.024685222001 }, { "comparison_key": "0x39a7919f", "function_names": [ "changeSupply" ], "function_signatures": [ "changeSupply(uint256)" ], "saved_corpus_calls": 148, "selector": "0x39a7919f", "share": 0.02451954937 }, { "comparison_key": "0xc6c7c2e5", "function_names": [ "testCreditsPerTokenVsBalance" ], "function_signatures": [ "testCreditsPerTokenVsBalance(uint8)" ], "saved_corpus_calls": 146, "selector": "0xc6c7c2e5", "share": 0.024188204109 }, { "comparison_key": "0x00a3c5d1", "function_names": [ "testTransferWithinBalanceDoesNotRevert" ], "function_signatures": [ "testTransferWithinBalanceDoesNotRevert(uint8,uint8,uint256)" ], "saved_corpus_calls": 145, "selector": "0x00a3c5d1", "share": 0.024022531478 }, { "comparison_key": "0xc7df1ada", "function_names": [ "testTransferFromShouldNotRevert" ], "function_signatures": [ "testTransferFromShouldNotRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 145, "selector": "0xc7df1ada", "share": 0.024022531478 }, { "comparison_key": "0x59c4235c", "function_names": [ "burn" ], "function_signatures": [ "burn(uint8,uint256)" ], "saved_corpus_calls": 144, "selector": "0x59c4235c", "share": 0.023856858847 }, { "comparison_key": "0x6396b18d", "function_names": [ "testAutoConvertBalance" ], "function_signatures": [ "testAutoConvertBalance(uint8)" ], "saved_corpus_calls": 144, "selector": "0x6396b18d", "share": 0.023856858847 }, { "comparison_key": "0x9de07e5a", "function_names": [ "testOptInBalanceRounding" ], "function_signatures": [ "testOptInBalanceRounding(uint8)" ], "saved_corpus_calls": 143, "selector": "0x9de07e5a", "share": 0.023691186216 }, { "comparison_key": "0xd5afe6cd", "function_names": [ "optIn" ], "function_signatures": [ "optIn(uint8)" ], "saved_corpus_calls": 141, "selector": "0xd5afe6cd", "share": 0.023359840954 }, { "comparison_key": "0xe4840d4f", "function_names": [ "testTransferBalanceReceivedMore" ], "function_signatures": [ "testTransferBalanceReceivedMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 140, "selector": "0xe4840d4f", "share": 0.023194168323 }, { "comparison_key": "0x178e5c32", "function_names": [ "testChangeSupply" ], "function_signatures": [ "testChangeSupply(uint256)" ], "saved_corpus_calls": 138, "selector": "0x178e5c32", "share": 0.022862823062 }, { "comparison_key": "0x8f287234", "function_names": [ "testBurnAllBalanceShouldNotRevert" ], "function_signatures": [ "testBurnAllBalanceShouldNotRevert(uint8)" ], "saved_corpus_calls": 138, "selector": "0x8f287234", "share": 0.022862823062 }, { "comparison_key": "0x1f3efb39", "function_names": [ "testTotalNonRebasingSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalNonRebasingSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 137, "selector": "0x1f3efb39", "share": 0.022697150431 }, { "comparison_key": "0xbfb72b06", "function_names": [ "testMintBalanceRounding" ], "function_signatures": [ "testMintBalanceRounding(uint8,uint256)" ], "saved_corpus_calls": 137, "selector": "0xbfb72b06", "share": 0.022697150431 }, { "comparison_key": "0xa04961e8", "function_names": [ "testTransferToZeroAddress" ], "function_signatures": [ "testTransferToZeroAddress(uint8,uint256)" ], "saved_corpus_calls": 136, "selector": "0xa04961e8", "share": 0.0225314778 }, { "comparison_key": "0xa7847496", "function_names": [ "testOptInTotalSupply" ], "function_signatures": [ "testOptInTotalSupply(uint8)" ], "saved_corpus_calls": 135, "selector": "0xa7847496", "share": 0.022365805169 }, { "comparison_key": "0x13ffd369", "function_names": [ "testBurnBalance" ], "function_signatures": [ "testBurnBalance(uint8,uint256)" ], "saved_corpus_calls": 134, "selector": "0x13ffd369", "share": 0.022200132538 }, { "comparison_key": "0x3e1d09c5", "function_names": [ "testTotalSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 134, "selector": "0x3e1d09c5", "share": 0.022200132538 }, { "comparison_key": "0x1e7cfc16", "function_names": [ "testTransferSelf" ], "function_signatures": [ "testTransferSelf(uint8,uint256)" ], "saved_corpus_calls": 133, "selector": "0x1e7cfc16", "share": 0.022034459907 }, { "comparison_key": "0x6900d46e", "function_names": [ "transfer" ], "function_signatures": [ "transfer(uint8,uint8,uint256)" ], "saved_corpus_calls": 133, "selector": "0x6900d46e", "share": 0.022034459907 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 132, "selector": "0xf24a44c9", "share": 0.021868787276 }, { "comparison_key": "0xf26748e2", "function_names": [ "mint" ], "function_signatures": [ "mint(uint8,uint256)" ], "saved_corpus_calls": 132, "selector": "0xf26748e2", "share": 0.021868787276 }, { "comparison_key": "0xe1bc5773", "function_names": [ "testTransferBalanceReceivedLess" ], "function_signatures": [ "testTransferBalanceReceivedLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 131, "selector": "0xe1bc5773", "share": 0.021703114645 }, { "comparison_key": "0xfbf4f900", "function_names": [ "testBurnZeroBalance" ], "function_signatures": [ "testBurnZeroBalance(uint8)" ], "saved_corpus_calls": 130, "selector": "0xfbf4f900", "share": 0.021537442015 }, { "comparison_key": "0x26610da8", "function_names": [ "testBurnAllBalanceToZero" ], "function_signatures": [ "testBurnAllBalanceToZero(uint8)" ], "saved_corpus_calls": 129, "selector": "0x26610da8", "share": 0.021371769384 }, { "comparison_key": "0x379db993", "function_names": [ "testTransferBalanceReceivedLessRounding" ], "function_signatures": [ "testTransferBalanceReceivedLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 129, "selector": "0x379db993", "share": 0.021371769384 }, { "comparison_key": "0x50c7ce5d", "function_names": [ "testTransferExceedingBalanceReverts" ], "function_signatures": [ "testTransferExceedingBalanceReverts(uint8,uint8,uint256)" ], "saved_corpus_calls": 129, "selector": "0x50c7ce5d", "share": 0.021371769384 }, { "comparison_key": "0x7fc05f0a", "function_names": [ "testOptOutTotalSupply" ], "function_signatures": [ "testOptOutTotalSupply(uint8)" ], "saved_corpus_calls": 126, "selector": "0x7fc05f0a", "share": 0.020874751491 }, { "comparison_key": "0x8dcd3725", "function_names": [ "testTransferBalanceSentLessRounding" ], "function_signatures": [ "testTransferBalanceSentLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 126, "selector": "0x8dcd3725", "share": 0.020874751491 }, { "comparison_key": "0xdad9f8f0", "function_names": [ "approve" ], "function_signatures": [ "approve(uint8,uint8,uint256)" ], "saved_corpus_calls": 126, "selector": "0xdad9f8f0", "share": 0.020874751491 }, { "comparison_key": "0xdf4d5977", "function_names": [ "getTotalNonRebasingBalance" ], "function_signatures": [ "getTotalNonRebasingBalance()" ], "saved_corpus_calls": 126, "selector": "0xdf4d5977", "share": 0.020874751491 }, { "comparison_key": "0x6a91b27a", "function_names": [ "testRebasingCreditsPerTokenAboveZero" ], "function_signatures": [ "testRebasingCreditsPerTokenAboveZero()" ], "saved_corpus_calls": 124, "selector": "0x6a91b27a", "share": 0.020543406229 }, { "comparison_key": "0xd89cecc4", "function_names": [ "testNonRebasingSupplyVsTotalSupply" ], "function_signatures": [ "testNonRebasingSupplyVsTotalSupply()" ], "saved_corpus_calls": 122, "selector": "0xd89cecc4", "share": 0.020212060968 }, { "comparison_key": "0x324b65f5", "function_names": [ "testApprove" ], "function_signatures": [ "testApprove(uint8,uint8,uint256)" ], "saved_corpus_calls": 120, "selector": "0x324b65f5", "share": 0.019880715706 }, { "comparison_key": "0x657808a3", "function_names": [ "testBalanceOfShouldNotRevert" ], "function_signatures": [ "testBalanceOfShouldNotRevert(uint8)" ], "saved_corpus_calls": 115, "selector": "0x657808a3", "share": 0.019052352551 }, { "comparison_key": "0x6dcc9dcc", "function_names": [ "testRebasingCreditsPerTokenNotIncreased" ], "function_signatures": [ "testRebasingCreditsPerTokenNotIncreased()" ], "saved_corpus_calls": 115, "selector": "0x6dcc9dcc", "share": 0.019052352551 }, { "comparison_key": "0x9a92314c", "function_names": [ "testOptInBalance" ], "function_signatures": [ "testOptInBalance(uint8)" ], "saved_corpus_calls": 115, "selector": "0x9a92314c", "share": 0.019052352551 }, { "comparison_key": "0x283775f7", "function_names": [ "testTransferFromShouldRevert" ], "function_signatures": [ "testTransferFromShouldRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 113, "selector": "0x283775f7", "share": 0.01872100729 }, { "comparison_key": "0x43a45e75", "function_names": [ "testTransferBalanceSentLess" ], "function_signatures": [ "testTransferBalanceSentLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 109, "selector": "0x43a45e75", "share": 0.018058316766 }, { "comparison_key": "0xcec05c0a", "function_names": [ "testOptOutBalance" ], "function_signatures": [ "testOptOutBalance(uint8)" ], "saved_corpus_calls": 93, "selector": "0xcec05c0a", "share": 0.015407554672 }, { "comparison_key": "0x54113357", "function_names": [ "debugOUSD" ], "function_signatures": [ "debugOUSD()" ], "saved_corpus_calls": 5, "selector": "0x54113357", "share": 0.000828363154 }, { "comparison_key": "0x12b58349", "function_names": [ "getTotalBalance" ], "function_signatures": [ "getTotalBalance()" ], "saved_corpus_calls": 4, "selector": "0x12b58349", "share": 0.000662690524 } ], "fuzzer": "echidna", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 6036, "status": "available", "unavailable_instances": 0, "unique_call_identities": 47, "unique_selectors": 47 }, { "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": "0xdad9f8f0", "function_names": [ "approve" ], "function_signatures": [ "approve(uint8,uint8,uint256)" ], "saved_corpus_calls": 320, "selector": "0xdad9f8f0", "share": 0.036244195266 }, { "comparison_key": "0x1e7cfc16", "function_names": [ "testTransferSelf" ], "function_signatures": [ "testTransferSelf(uint8,uint256)" ], "saved_corpus_calls": 304, "selector": "0x1e7cfc16", "share": 0.034431985502 }, { "comparison_key": "0x8dcd3725", "function_names": [ "testTransferBalanceSentLessRounding" ], "function_signatures": [ "testTransferBalanceSentLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 262, "selector": "0x8dcd3725", "share": 0.029674934874 }, { "comparison_key": "0xfbf4f900", "function_names": [ "testBurnZeroBalance" ], "function_signatures": [ "testBurnZeroBalance(uint8)" ], "saved_corpus_calls": 258, "selector": "0xfbf4f900", "share": 0.029221882433 }, { "comparison_key": "0x0a1fc5e7", "function_names": [ "testMintBalance" ], "function_signatures": [ "testMintBalance(uint8,uint256)" ], "saved_corpus_calls": 247, "selector": "0x0a1fc5e7", "share": 0.027975988221 }, { "comparison_key": "0x13ffd369", "function_names": [ "testBurnBalance" ], "function_signatures": [ "testBurnBalance(uint8,uint256)" ], "saved_corpus_calls": 247, "selector": "0x13ffd369", "share": 0.027975988221 }, { "comparison_key": "0x43a45e75", "function_names": [ "testTransferBalanceSentLess" ], "function_signatures": [ "testTransferBalanceSentLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 246, "selector": "0x43a45e75", "share": 0.02786272511 }, { "comparison_key": "0x59c4235c", "function_names": [ "burn" ], "function_signatures": [ "burn(uint8,uint256)" ], "saved_corpus_calls": 244, "selector": "0x59c4235c", "share": 0.02763619889 }, { "comparison_key": "0x50c7ce5d", "function_names": [ "testTransferExceedingBalanceReverts" ], "function_signatures": [ "testTransferExceedingBalanceReverts(uint8,uint8,uint256)" ], "saved_corpus_calls": 231, "selector": "0x50c7ce5d", "share": 0.026163778457 }, { "comparison_key": "0x379db993", "function_names": [ "testTransferBalanceReceivedLessRounding" ], "function_signatures": [ "testTransferBalanceReceivedLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 222, "selector": "0x379db993", "share": 0.025144410466 }, { "comparison_key": "0xd5afe6cd", "function_names": [ "optIn" ], "function_signatures": [ "optIn(uint8)" ], "saved_corpus_calls": 217, "selector": "0xd5afe6cd", "share": 0.024578094914 }, { "comparison_key": "0xe4840d4f", "function_names": [ "testTransferBalanceReceivedMore" ], "function_signatures": [ "testTransferBalanceReceivedMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 207, "selector": "0xe4840d4f", "share": 0.023445463812 }, { "comparison_key": "0x283775f7", "function_names": [ "testTransferFromShouldRevert" ], "function_signatures": [ "testTransferFromShouldRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 205, "selector": "0x283775f7", "share": 0.023218937592 }, { "comparison_key": "0x39a7919f", "function_names": [ "changeSupply" ], "function_signatures": [ "changeSupply(uint256)" ], "saved_corpus_calls": 205, "selector": "0x39a7919f", "share": 0.023218937592 }, { "comparison_key": "0xe1bc5773", "function_names": [ "testTransferBalanceReceivedLess" ], "function_signatures": [ "testTransferBalanceReceivedLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 200, "selector": "0xe1bc5773", "share": 0.022652622041 }, { "comparison_key": "0x657808a3", "function_names": [ "testBalanceOfShouldNotRevert" ], "function_signatures": [ "testBalanceOfShouldNotRevert(uint8)" ], "saved_corpus_calls": 197, "selector": "0x657808a3", "share": 0.02231283271 }, { "comparison_key": "0xa04961e8", "function_names": [ "testTransferToZeroAddress" ], "function_signatures": [ "testTransferToZeroAddress(uint8,uint256)" ], "saved_corpus_calls": 197, "selector": "0xa04961e8", "share": 0.02231283271 }, { "comparison_key": "0x26610da8", "function_names": [ "testBurnAllBalanceToZero" ], "function_signatures": [ "testBurnAllBalanceToZero(uint8)" ], "saved_corpus_calls": 196, "selector": "0x26610da8", "share": 0.0221995696 }, { "comparison_key": "0x6396b18d", "function_names": [ "testAutoConvertBalance" ], "function_signatures": [ "testAutoConvertBalance(uint8)" ], "saved_corpus_calls": 196, "selector": "0x6396b18d", "share": 0.0221995696 }, { "comparison_key": "0x6dcc9dcc", "function_names": [ "testRebasingCreditsPerTokenNotIncreased" ], "function_signatures": [ "testRebasingCreditsPerTokenNotIncreased()" ], "saved_corpus_calls": 196, "selector": "0x6dcc9dcc", "share": 0.0221995696 }, { "comparison_key": "0xa7847496", "function_names": [ "testOptInTotalSupply" ], "function_signatures": [ "testOptInTotalSupply(uint8)" ], "saved_corpus_calls": 196, "selector": "0xa7847496", "share": 0.0221995696 }, { "comparison_key": "0x7fc05f0a", "function_names": [ "testOptOutTotalSupply" ], "function_signatures": [ "testOptOutTotalSupply(uint8)" ], "saved_corpus_calls": 195, "selector": "0x7fc05f0a", "share": 0.02208630649 }, { "comparison_key": "0x8f287234", "function_names": [ "testBurnAllBalanceShouldNotRevert" ], "function_signatures": [ "testBurnAllBalanceShouldNotRevert(uint8)" ], "saved_corpus_calls": 195, "selector": "0x8f287234", "share": 0.02208630649 }, { "comparison_key": "0xb1327fd9", "function_names": [ "testMintZeroBalance" ], "function_signatures": [ "testMintZeroBalance(uint8)" ], "saved_corpus_calls": 195, "selector": "0xb1327fd9", "share": 0.02208630649 }, { "comparison_key": "0x9de07e5a", "function_names": [ "testOptInBalanceRounding" ], "function_signatures": [ "testOptInBalanceRounding(uint8)" ], "saved_corpus_calls": 192, "selector": "0x9de07e5a", "share": 0.021746517159 }, { "comparison_key": "0xc7df1ada", "function_names": [ "testTransferFromShouldNotRevert" ], "function_signatures": [ "testTransferFromShouldNotRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 189, "selector": "0xc7df1ada", "share": 0.021406727829 }, { "comparison_key": "0x3e1d09c5", "function_names": [ "testTotalSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 186, "selector": "0x3e1d09c5", "share": 0.021066938498 }, { "comparison_key": "0x9164cd26", "function_names": [ "testTransferBalanceSentMore" ], "function_signatures": [ "testTransferBalanceSentMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 186, "selector": "0x9164cd26", "share": 0.021066938498 }, { "comparison_key": "0xbfb72b06", "function_names": [ "testMintBalanceRounding" ], "function_signatures": [ "testMintBalanceRounding(uint8,uint256)" ], "saved_corpus_calls": 185, "selector": "0xbfb72b06", "share": 0.020953675388 }, { "comparison_key": "0x00a3c5d1", "function_names": [ "testTransferWithinBalanceDoesNotRevert" ], "function_signatures": [ "testTransferWithinBalanceDoesNotRevert(uint8,uint8,uint256)" ], "saved_corpus_calls": 184, "selector": "0x00a3c5d1", "share": 0.020840412278 }, { "comparison_key": "0x178e5c32", "function_names": [ "testChangeSupply" ], "function_signatures": [ "testChangeSupply(uint256)" ], "saved_corpus_calls": 184, "selector": "0x178e5c32", "share": 0.020840412278 }, { "comparison_key": "0x6900d46e", "function_names": [ "transfer" ], "function_signatures": [ "transfer(uint8,uint8,uint256)" ], "saved_corpus_calls": 183, "selector": "0x6900d46e", "share": 0.020727149168 }, { "comparison_key": "0x72a96677", "function_names": [ "transferFrom" ], "function_signatures": [ "transferFrom(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 178, "selector": "0x72a96677", "share": 0.020160833616 }, { "comparison_key": "0xc6c7c2e5", "function_names": [ "testCreditsPerTokenVsBalance" ], "function_signatures": [ "testCreditsPerTokenVsBalance(uint8)" ], "saved_corpus_calls": 178, "selector": "0xc6c7c2e5", "share": 0.020160833616 }, { "comparison_key": "0x866ba8f7", "function_names": [ "optOut" ], "function_signatures": [ "optOut(uint8)" ], "saved_corpus_calls": 175, "selector": "0x866ba8f7", "share": 0.019821044286 }, { "comparison_key": "0xdf4d5977", "function_names": [ "getTotalNonRebasingBalance" ], "function_signatures": [ "getTotalNonRebasingBalance()" ], "saved_corpus_calls": 172, "selector": "0xdf4d5977", "share": 0.019481254955 }, { "comparison_key": "0xf26748e2", "function_names": [ "mint" ], "function_signatures": [ "mint(uint8,uint256)" ], "saved_corpus_calls": 169, "selector": "0xf26748e2", "share": 0.019141465625 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 167, "selector": "0xf24a44c9", "share": 0.018914939404 }, { "comparison_key": "0x324b65f5", "function_names": [ "testApprove" ], "function_signatures": [ "testApprove(uint8,uint8,uint256)" ], "saved_corpus_calls": 166, "selector": "0x324b65f5", "share": 0.018801676294 }, { "comparison_key": "0xcec05c0a", "function_names": [ "testOptOutBalance" ], "function_signatures": [ "testOptOutBalance(uint8)" ], "saved_corpus_calls": 162, "selector": "0xcec05c0a", "share": 0.018348623853 }, { "comparison_key": "0x1f3efb39", "function_names": [ "testTotalNonRebasingSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalNonRebasingSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 153, "selector": "0x1f3efb39", "share": 0.017329255861 }, { "comparison_key": "0x9a92314c", "function_names": [ "testOptInBalance" ], "function_signatures": [ "testOptInBalance(uint8)" ], "saved_corpus_calls": 152, "selector": "0x9a92314c", "share": 0.017215992751 }, { "comparison_key": "0xd89cecc4", "function_names": [ "testNonRebasingSupplyVsTotalSupply" ], "function_signatures": [ "testNonRebasingSupplyVsTotalSupply()" ], "saved_corpus_calls": 145, "selector": "0xd89cecc4", "share": 0.01642315098 }, { "comparison_key": "0x6a91b27a", "function_names": [ "testRebasingCreditsPerTokenAboveZero" ], "function_signatures": [ "testRebasingCreditsPerTokenAboveZero()" ], "saved_corpus_calls": 141, "selector": "0x6a91b27a", "share": 0.015970098539 }, { "comparison_key": "0x12b58349", "function_names": [ "getTotalBalance" ], "function_signatures": [ "getTotalBalance()" ], "saved_corpus_calls": 2, "selector": "0x12b58349", "share": 0.00022652622 }, { "comparison_key": "0x54113357", "function_names": [ "debugOUSD" ], "function_signatures": [ "debugOUSD()" ], "saved_corpus_calls": 2, "selector": "0x54113357", "share": 0.00022652622 } ], "fuzzer": "medusa", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 8829, "status": "available", "unavailable_instances": 0, "unique_call_identities": 46, "unique_selectors": 46 }, { "available_instances": 2, "distribution": [ { "comparison_key": "0x1e7cfc16", "function_names": [ "testTransferSelf" ], "function_signatures": [ "testTransferSelf(uint8,uint256)" ], "saved_corpus_calls": 174, "selector": "0x1e7cfc16", "share": 0.031932464672 }, { "comparison_key": "0x9a92314c", "function_names": [ "testOptInBalance" ], "function_signatures": [ "testOptInBalance(uint8)" ], "saved_corpus_calls": 158, "selector": "0x9a92314c", "share": 0.028996146082 }, { "comparison_key": "0xa7847496", "function_names": [ "testOptInTotalSupply" ], "function_signatures": [ "testOptInTotalSupply(uint8)" ], "saved_corpus_calls": 148, "selector": "0xa7847496", "share": 0.027160946963 }, { "comparison_key": "0x178e5c32", "function_names": [ "testChangeSupply" ], "function_signatures": [ "testChangeSupply(uint256)" ], "saved_corpus_calls": 143, "selector": "0x178e5c32", "share": 0.026243347403 }, { "comparison_key": "0x59c4235c", "function_names": [ "burn" ], "function_signatures": [ "burn(uint8,uint256)" ], "saved_corpus_calls": 139, "selector": "0x59c4235c", "share": 0.025509267756 }, { "comparison_key": "0xe4840d4f", "function_names": [ "testTransferBalanceReceivedMore" ], "function_signatures": [ "testTransferBalanceReceivedMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 139, "selector": "0xe4840d4f", "share": 0.025509267756 }, { "comparison_key": "0x3e1d09c5", "function_names": [ "testTotalSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 136, "selector": "0x3e1d09c5", "share": 0.02495870802 }, { "comparison_key": "0xd89cecc4", "function_names": [ "testNonRebasingSupplyVsTotalSupply" ], "function_signatures": [ "testNonRebasingSupplyVsTotalSupply()" ], "saved_corpus_calls": 134, "selector": "0xd89cecc4", "share": 0.024591668196 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 133, "selector": "0x1a042ae7", "share": 0.024408148284 }, { "comparison_key": "0x39a7919f", "function_names": [ "changeSupply" ], "function_signatures": [ "changeSupply(uint256)" ], "saved_corpus_calls": 133, "selector": "0x39a7919f", "share": 0.024408148284 }, { "comparison_key": "0xc7df1ada", "function_names": [ "testTransferFromShouldNotRevert" ], "function_signatures": [ "testTransferFromShouldNotRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 133, "selector": "0xc7df1ada", "share": 0.024408148284 }, { "comparison_key": "0x43a45e75", "function_names": [ "testTransferBalanceSentLess" ], "function_signatures": [ "testTransferBalanceSentLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 130, "selector": "0x43a45e75", "share": 0.023857588548 }, { "comparison_key": "0xf26748e2", "function_names": [ "mint" ], "function_signatures": [ "mint(uint8,uint256)" ], "saved_corpus_calls": 130, "selector": "0xf26748e2", "share": 0.023857588548 }, { "comparison_key": "0x13ffd369", "function_names": [ "testBurnBalance" ], "function_signatures": [ "testBurnBalance(uint8,uint256)" ], "saved_corpus_calls": 127, "selector": "0x13ffd369", "share": 0.023307028813 }, { "comparison_key": "0x00a3c5d1", "function_names": [ "testTransferWithinBalanceDoesNotRevert" ], "function_signatures": [ "testTransferWithinBalanceDoesNotRevert(uint8,uint8,uint256)" ], "saved_corpus_calls": 126, "selector": "0x00a3c5d1", "share": 0.023123508901 }, { "comparison_key": "0x9de07e5a", "function_names": [ "testOptInBalanceRounding" ], "function_signatures": [ "testOptInBalanceRounding(uint8)" ], "saved_corpus_calls": 126, "selector": "0x9de07e5a", "share": 0.023123508901 }, { "comparison_key": "0x283775f7", "function_names": [ "testTransferFromShouldRevert" ], "function_signatures": [ "testTransferFromShouldRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 125, "selector": "0x283775f7", "share": 0.022939988989 }, { "comparison_key": "0xcec05c0a", "function_names": [ "testOptOutBalance" ], "function_signatures": [ "testOptOutBalance(uint8)" ], "saved_corpus_calls": 125, "selector": "0xcec05c0a", "share": 0.022939988989 }, { "comparison_key": "0x50c7ce5d", "function_names": [ "testTransferExceedingBalanceReverts" ], "function_signatures": [ "testTransferExceedingBalanceReverts(uint8,uint8,uint256)" ], "saved_corpus_calls": 124, "selector": "0x50c7ce5d", "share": 0.022756469077 }, { "comparison_key": "0x324b65f5", "function_names": [ "testApprove" ], "function_signatures": [ "testApprove(uint8,uint8,uint256)" ], "saved_corpus_calls": 123, "selector": "0x324b65f5", "share": 0.022572949165 }, { "comparison_key": "0x6a91b27a", "function_names": [ "testRebasingCreditsPerTokenAboveZero" ], "function_signatures": [ "testRebasingCreditsPerTokenAboveZero()" ], "saved_corpus_calls": 123, "selector": "0x6a91b27a", "share": 0.022572949165 }, { "comparison_key": "0xa04961e8", "function_names": [ "testTransferToZeroAddress" ], "function_signatures": [ "testTransferToZeroAddress(uint8,uint256)" ], "saved_corpus_calls": 123, "selector": "0xa04961e8", "share": 0.022572949165 }, { "comparison_key": "0xdf4d5977", "function_names": [ "getTotalNonRebasingBalance" ], "function_signatures": [ "getTotalNonRebasingBalance()" ], "saved_corpus_calls": 123, "selector": "0xdf4d5977", "share": 0.022572949165 }, { "comparison_key": "0xbfb72b06", "function_names": [ "testMintBalanceRounding" ], "function_signatures": [ "testMintBalanceRounding(uint8,uint256)" ], "saved_corpus_calls": 122, "selector": "0xbfb72b06", "share": 0.022389429253 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 122, "selector": "0xf24a44c9", "share": 0.022389429253 }, { "comparison_key": "0x866ba8f7", "function_names": [ "optOut" ], "function_signatures": [ "optOut(uint8)" ], "saved_corpus_calls": 119, "selector": "0x866ba8f7", "share": 0.021838869517 }, { "comparison_key": "0x9164cd26", "function_names": [ "testTransferBalanceSentMore" ], "function_signatures": [ "testTransferBalanceSentMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 119, "selector": "0x9164cd26", "share": 0.021838869517 }, { "comparison_key": "0x8dcd3725", "function_names": [ "testTransferBalanceSentLessRounding" ], "function_signatures": [ "testTransferBalanceSentLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 117, "selector": "0x8dcd3725", "share": 0.021471829694 }, { "comparison_key": "0x6396b18d", "function_names": [ "testAutoConvertBalance" ], "function_signatures": [ "testAutoConvertBalance(uint8)" ], "saved_corpus_calls": 115, "selector": "0x6396b18d", "share": 0.02110478987 }, { "comparison_key": "0x6dcc9dcc", "function_names": [ "testRebasingCreditsPerTokenNotIncreased" ], "function_signatures": [ "testRebasingCreditsPerTokenNotIncreased()" ], "saved_corpus_calls": 115, "selector": "0x6dcc9dcc", "share": 0.02110478987 }, { "comparison_key": "0xdad9f8f0", "function_names": [ "approve" ], "function_signatures": [ "approve(uint8,uint8,uint256)" ], "saved_corpus_calls": 114, "selector": "0xdad9f8f0", "share": 0.020921269958 }, { "comparison_key": "0x1f3efb39", "function_names": [ "testTotalNonRebasingSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalNonRebasingSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 110, "selector": "0x1f3efb39", "share": 0.02018719031 }, { "comparison_key": "0xb1327fd9", "function_names": [ "testMintZeroBalance" ], "function_signatures": [ "testMintZeroBalance(uint8)" ], "saved_corpus_calls": 109, "selector": "0xb1327fd9", "share": 0.020003670398 }, { "comparison_key": "0xc6c7c2e5", "function_names": [ "testCreditsPerTokenVsBalance" ], "function_signatures": [ "testCreditsPerTokenVsBalance(uint8)" ], "saved_corpus_calls": 109, "selector": "0xc6c7c2e5", "share": 0.020003670398 }, { "comparison_key": "0x6900d46e", "function_names": [ "transfer" ], "function_signatures": [ "transfer(uint8,uint8,uint256)" ], "saved_corpus_calls": 106, "selector": "0x6900d46e", "share": 0.019453110663 }, { "comparison_key": "0x72a96677", "function_names": [ "transferFrom" ], "function_signatures": [ "transferFrom(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 106, "selector": "0x72a96677", "share": 0.019453110663 }, { "comparison_key": "0xd5afe6cd", "function_names": [ "optIn" ], "function_signatures": [ "optIn(uint8)" ], "saved_corpus_calls": 106, "selector": "0xd5afe6cd", "share": 0.019453110663 }, { "comparison_key": "0x8f287234", "function_names": [ "testBurnAllBalanceShouldNotRevert" ], "function_signatures": [ "testBurnAllBalanceShouldNotRevert(uint8)" ], "saved_corpus_calls": 105, "selector": "0x8f287234", "share": 0.019269590751 }, { "comparison_key": "0xe1bc5773", "function_names": [ "testTransferBalanceReceivedLess" ], "function_signatures": [ "testTransferBalanceReceivedLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 104, "selector": "0xe1bc5773", "share": 0.019086070839 }, { "comparison_key": "0xfbf4f900", "function_names": [ "testBurnZeroBalance" ], "function_signatures": [ "testBurnZeroBalance(uint8)" ], "saved_corpus_calls": 104, "selector": "0xfbf4f900", "share": 0.019086070839 }, { "comparison_key": "0x7fc05f0a", "function_names": [ "testOptOutTotalSupply" ], "function_signatures": [ "testOptOutTotalSupply(uint8)" ], "saved_corpus_calls": 99, "selector": "0x7fc05f0a", "share": 0.018168471279 }, { "comparison_key": "0x379db993", "function_names": [ "testTransferBalanceReceivedLessRounding" ], "function_signatures": [ "testTransferBalanceReceivedLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 96, "selector": "0x379db993", "share": 0.017617911543 }, { "comparison_key": "0x657808a3", "function_names": [ "testBalanceOfShouldNotRevert" ], "function_signatures": [ "testBalanceOfShouldNotRevert(uint8)" ], "saved_corpus_calls": 95, "selector": "0x657808a3", "share": 0.017434391631 }, { "comparison_key": "0x0a1fc5e7", "function_names": [ "testMintBalance" ], "function_signatures": [ "testMintBalance(uint8,uint256)" ], "saved_corpus_calls": 92, "selector": "0x0a1fc5e7", "share": 0.016883831896 }, { "comparison_key": "0x26610da8", "function_names": [ "testBurnAllBalanceToZero" ], "function_signatures": [ "testBurnAllBalanceToZero(uint8)" ], "saved_corpus_calls": 90, "selector": "0x26610da8", "share": 0.016516792072 } ], "fuzzer": "recon-fuzzer", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 5449, "status": "available", "unavailable_instances": 0, "unique_call_identities": 45, "unique_selectors": 45 } ], "health_findings": [ { "instance_label": "i-033759ad8f5c500dd-recon-v0.4.18", "kind": "peer_heuristic_gap", "message": "i-033759ad8f5c500dd-recon-v0.4.18: peer-heuristic gap (diagnostic, not ground truth): absent 2 selector(s): 0x12b58349, 0x54113357", "severity": "info" }, { "instance_label": "i-07121a2277201ef3d-recon-v0.4.18", "kind": "peer_heuristic_gap", "message": "i-07121a2277201ef3d-recon-v0.4.18: peer-heuristic gap (diagnostic, not ground truth): absent 2 selector(s): 0x12b58349, 0x54113357", "severity": "info" } ], "health_warnings": [], "instances": [ { "artifact_files": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-0142078d9e7b5f9c4", "instance_label": "i-0142078d9e7b5f9c4-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": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-02483c2597aee1f3a", "instance_label": "i-02483c2597aee1f3a-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": 31, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.2", "ignored_calls": 0, "instance_id": "i-03164966ee4fb891e", "instance_label": "i-03164966ee4fb891e-echidna-v2.3.2", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 31, "processed_artifact_bytes": 1815785, "saved_corpus_calls": 3100, "status": "available", "unique_call_identities": 47, "unique_selectors": 47, "warnings": [] }, { "artifact_files": 26, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.18", "ignored_calls": 0, "instance_id": "i-033759ad8f5c500dd", "instance_label": "i-033759ad8f5c500dd-recon-v0.4.18", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0x12b58349", "0x54113357" ], "parsed_sequences": 26, "processed_artifact_bytes": 1374810, "saved_corpus_calls": 2564, "status": "available", "unique_call_identities": 45, "unique_selectors": 45, "warnings": [ "peer-heuristic gap (diagnostic, not ground truth): absent 2 selector(s): 0x12b58349, 0x54113357" ] }, { "artifact_files": 205, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.5.1", "ignored_calls": 0, "instance_id": "i-062da01d07db7b2d2", "instance_label": "i-062da01d07db7b2d2-medusa-v1.5.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 205, "processed_artifact_bytes": 3222067, "saved_corpus_calls": 4488, "status": "available", "unique_call_identities": 46, "unique_selectors": 46, "warnings": [] }, { "artifact_files": 29, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.18", "ignored_calls": 0, "instance_id": "i-07121a2277201ef3d", "instance_label": "i-07121a2277201ef3d-recon-v0.4.18", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0x12b58349", "0x54113357" ], "parsed_sequences": 29, "processed_artifact_bytes": 1540868, "saved_corpus_calls": 2885, "status": "available", "unique_call_identities": 45, "unique_selectors": 45, "warnings": [ "peer-heuristic gap (diagnostic, not ground truth): absent 2 selector(s): 0x12b58349, 0x54113357" ] }, { "artifact_files": 30, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.2", "ignored_calls": 0, "instance_id": "i-0df8c5c93c1c4809e", "instance_label": "i-0df8c5c93c1c4809e-echidna-v2.3.2", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 30, "processed_artifact_bytes": 1723593, "saved_corpus_calls": 2936, "status": "available", "unique_call_identities": 47, "unique_selectors": 47, "warnings": [] }, { "artifact_files": 193, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.5.1", "ignored_calls": 0, "instance_id": "i-0fa5dbeef5c7d9b00", "instance_label": "i-0fa5dbeef5c7d9b00-medusa-v1.5.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 193, "processed_artifact_bytes": 3079823, "saved_corpus_calls": 4341, "status": "available", "unique_call_identities": 46, "unique_selectors": 46, "warnings": [] } ], "limitations": [ "i-0142078d9e7b5f9c4-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-02483c2597aee1f3a-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-30135103101-1", "schema_version": 1 }