{ "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": "0xd5afe6cd", "function_names": [ "optIn" ], "function_signatures": [ "optIn(uint8)" ], "saved_corpus_calls": 168, "selector": "0xd5afe6cd", "share": 0.031764038571 }, { "comparison_key": "0xd89cecc4", "function_names": [ "testNonRebasingSupplyVsTotalSupply" ], "function_signatures": [ "testNonRebasingSupplyVsTotalSupply()" ], "saved_corpus_calls": 157, "selector": "0xd89cecc4", "share": 0.029684250331 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 145, "selector": "0xf24a44c9", "share": 0.027415390433 }, { "comparison_key": "0xdad9f8f0", "function_names": [ "approve" ], "function_signatures": [ "approve(uint8,uint8,uint256)" ], "saved_corpus_calls": 140, "selector": "0xdad9f8f0", "share": 0.026470032142 }, { "comparison_key": "0x0a1fc5e7", "function_names": [ "testMintBalance" ], "function_signatures": [ "testMintBalance(uint8,uint256)" ], "saved_corpus_calls": 139, "selector": "0x0a1fc5e7", "share": 0.026280960484 }, { "comparison_key": "0x43a45e75", "function_names": [ "testTransferBalanceSentLess" ], "function_signatures": [ "testTransferBalanceSentLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 138, "selector": "0x43a45e75", "share": 0.026091888826 }, { "comparison_key": "0x6900d46e", "function_names": [ "transfer" ], "function_signatures": [ "transfer(uint8,uint8,uint256)" ], "saved_corpus_calls": 137, "selector": "0x6900d46e", "share": 0.025902817168 }, { "comparison_key": "0xc7df1ada", "function_names": [ "testTransferFromShouldNotRevert" ], "function_signatures": [ "testTransferFromShouldNotRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 135, "selector": "0xc7df1ada", "share": 0.025524673851 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 132, "selector": "0x1a042ae7", "share": 0.024957458877 }, { "comparison_key": "0x178e5c32", "function_names": [ "testChangeSupply" ], "function_signatures": [ "testChangeSupply(uint256)" ], "saved_corpus_calls": 130, "selector": "0x178e5c32", "share": 0.024579315561 }, { "comparison_key": "0x26610da8", "function_names": [ "testBurnAllBalanceToZero" ], "function_signatures": [ "testBurnAllBalanceToZero(uint8)" ], "saved_corpus_calls": 127, "selector": "0x26610da8", "share": 0.024012100586 }, { "comparison_key": "0x9de07e5a", "function_names": [ "testOptInBalanceRounding" ], "function_signatures": [ "testOptInBalanceRounding(uint8)" ], "saved_corpus_calls": 127, "selector": "0x9de07e5a", "share": 0.024012100586 }, { "comparison_key": "0xf26748e2", "function_names": [ "mint" ], "function_signatures": [ "mint(uint8,uint256)" ], "saved_corpus_calls": 126, "selector": "0xf26748e2", "share": 0.023823028928 }, { "comparison_key": "0x13ffd369", "function_names": [ "testBurnBalance" ], "function_signatures": [ "testBurnBalance(uint8,uint256)" ], "saved_corpus_calls": 125, "selector": "0x13ffd369", "share": 0.02363395727 }, { "comparison_key": "0x324b65f5", "function_names": [ "testApprove" ], "function_signatures": [ "testApprove(uint8,uint8,uint256)" ], "saved_corpus_calls": 125, "selector": "0x324b65f5", "share": 0.02363395727 }, { "comparison_key": "0x50c7ce5d", "function_names": [ "testTransferExceedingBalanceReverts" ], "function_signatures": [ "testTransferExceedingBalanceReverts(uint8,uint8,uint256)" ], "saved_corpus_calls": 125, "selector": "0x50c7ce5d", "share": 0.02363395727 }, { "comparison_key": "0x59c4235c", "function_names": [ "burn" ], "function_signatures": [ "burn(uint8,uint256)" ], "saved_corpus_calls": 123, "selector": "0x59c4235c", "share": 0.023255813953 }, { "comparison_key": "0x72a96677", "function_names": [ "transferFrom" ], "function_signatures": [ "transferFrom(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 123, "selector": "0x72a96677", "share": 0.023255813953 }, { "comparison_key": "0xc6c7c2e5", "function_names": [ "testCreditsPerTokenVsBalance" ], "function_signatures": [ "testCreditsPerTokenVsBalance(uint8)" ], "saved_corpus_calls": 121, "selector": "0xc6c7c2e5", "share": 0.022877670637 }, { "comparison_key": "0x6dcc9dcc", "function_names": [ "testRebasingCreditsPerTokenNotIncreased" ], "function_signatures": [ "testRebasingCreditsPerTokenNotIncreased()" ], "saved_corpus_calls": 120, "selector": "0x6dcc9dcc", "share": 0.022688598979 }, { "comparison_key": "0x1f3efb39", "function_names": [ "testTotalNonRebasingSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalNonRebasingSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 118, "selector": "0x1f3efb39", "share": 0.022310455663 }, { "comparison_key": "0x3e1d09c5", "function_names": [ "testTotalSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 117, "selector": "0x3e1d09c5", "share": 0.022121384005 }, { "comparison_key": "0xe1bc5773", "function_names": [ "testTransferBalanceReceivedLess" ], "function_signatures": [ "testTransferBalanceReceivedLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 115, "selector": "0xe1bc5773", "share": 0.021743240688 }, { "comparison_key": "0x39a7919f", "function_names": [ "changeSupply" ], "function_signatures": [ "changeSupply(uint256)" ], "saved_corpus_calls": 114, "selector": "0x39a7919f", "share": 0.02155416903 }, { "comparison_key": "0x866ba8f7", "function_names": [ "optOut" ], "function_signatures": [ "optOut(uint8)" ], "saved_corpus_calls": 113, "selector": "0x866ba8f7", "share": 0.021365097372 }, { "comparison_key": "0xcec05c0a", "function_names": [ "testOptOutBalance" ], "function_signatures": [ "testOptOutBalance(uint8)" ], "saved_corpus_calls": 110, "selector": "0xcec05c0a", "share": 0.020797882397 }, { "comparison_key": "0x1e7cfc16", "function_names": [ "testTransferSelf" ], "function_signatures": [ "testTransferSelf(uint8,uint256)" ], "saved_corpus_calls": 108, "selector": "0x1e7cfc16", "share": 0.020419739081 }, { "comparison_key": "0x6a91b27a", "function_names": [ "testRebasingCreditsPerTokenAboveZero" ], "function_signatures": [ "testRebasingCreditsPerTokenAboveZero()" ], "saved_corpus_calls": 108, "selector": "0x6a91b27a", "share": 0.020419739081 }, { "comparison_key": "0xdf4d5977", "function_names": [ "getTotalNonRebasingBalance" ], "function_signatures": [ "getTotalNonRebasingBalance()" ], "saved_corpus_calls": 107, "selector": "0xdf4d5977", "share": 0.020230667423 }, { "comparison_key": "0xa04961e8", "function_names": [ "testTransferToZeroAddress" ], "function_signatures": [ "testTransferToZeroAddress(uint8,uint256)" ], "saved_corpus_calls": 106, "selector": "0xa04961e8", "share": 0.020041595765 }, { "comparison_key": "0x6396b18d", "function_names": [ "testAutoConvertBalance" ], "function_signatures": [ "testAutoConvertBalance(uint8)" ], "saved_corpus_calls": 105, "selector": "0x6396b18d", "share": 0.019852524107 }, { "comparison_key": "0xa7847496", "function_names": [ "testOptInTotalSupply" ], "function_signatures": [ "testOptInTotalSupply(uint8)" ], "saved_corpus_calls": 105, "selector": "0xa7847496", "share": 0.019852524107 }, { "comparison_key": "0x283775f7", "function_names": [ "testTransferFromShouldRevert" ], "function_signatures": [ "testTransferFromShouldRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 104, "selector": "0x283775f7", "share": 0.019663452448 }, { "comparison_key": "0x379db993", "function_names": [ "testTransferBalanceReceivedLessRounding" ], "function_signatures": [ "testTransferBalanceReceivedLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 104, "selector": "0x379db993", "share": 0.019663452448 }, { "comparison_key": "0x7fc05f0a", "function_names": [ "testOptOutTotalSupply" ], "function_signatures": [ "testOptOutTotalSupply(uint8)" ], "saved_corpus_calls": 104, "selector": "0x7fc05f0a", "share": 0.019663452448 }, { "comparison_key": "0xe4840d4f", "function_names": [ "testTransferBalanceReceivedMore" ], "function_signatures": [ "testTransferBalanceReceivedMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 102, "selector": "0xe4840d4f", "share": 0.019285309132 }, { "comparison_key": "0x8dcd3725", "function_names": [ "testTransferBalanceSentLessRounding" ], "function_signatures": [ "testTransferBalanceSentLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 101, "selector": "0x8dcd3725", "share": 0.019096237474 }, { "comparison_key": "0xbfb72b06", "function_names": [ "testMintBalanceRounding" ], "function_signatures": [ "testMintBalanceRounding(uint8,uint256)" ], "saved_corpus_calls": 101, "selector": "0xbfb72b06", "share": 0.019096237474 }, { "comparison_key": "0x00a3c5d1", "function_names": [ "testTransferWithinBalanceDoesNotRevert" ], "function_signatures": [ "testTransferWithinBalanceDoesNotRevert(uint8,uint8,uint256)" ], "saved_corpus_calls": 99, "selector": "0x00a3c5d1", "share": 0.018718094158 }, { "comparison_key": "0xb1327fd9", "function_names": [ "testMintZeroBalance" ], "function_signatures": [ "testMintZeroBalance(uint8)" ], "saved_corpus_calls": 99, "selector": "0xb1327fd9", "share": 0.018718094158 }, { "comparison_key": "0x9164cd26", "function_names": [ "testTransferBalanceSentMore" ], "function_signatures": [ "testTransferBalanceSentMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 97, "selector": "0x9164cd26", "share": 0.018339950841 }, { "comparison_key": "0x657808a3", "function_names": [ "testBalanceOfShouldNotRevert" ], "function_signatures": [ "testBalanceOfShouldNotRevert(uint8)" ], "saved_corpus_calls": 96, "selector": "0x657808a3", "share": 0.018150879183 }, { "comparison_key": "0x8f287234", "function_names": [ "testBurnAllBalanceShouldNotRevert" ], "function_signatures": [ "testBurnAllBalanceShouldNotRevert(uint8)" ], "saved_corpus_calls": 96, "selector": "0x8f287234", "share": 0.018150879183 }, { "comparison_key": "0xfbf4f900", "function_names": [ "testBurnZeroBalance" ], "function_signatures": [ "testBurnZeroBalance(uint8)" ], "saved_corpus_calls": 96, "selector": "0xfbf4f900", "share": 0.018150879183 }, { "comparison_key": "0x9a92314c", "function_names": [ "testOptInBalance" ], "function_signatures": [ "testOptInBalance(uint8)" ], "saved_corpus_calls": 86, "selector": "0x9a92314c", "share": 0.016260162602 }, { "comparison_key": "0x54113357", "function_names": [ "debugOUSD" ], "function_signatures": [ "debugOUSD()" ], "saved_corpus_calls": 11, "selector": "0x54113357", "share": 0.00207978824 }, { "comparison_key": "0x12b58349", "function_names": [ "getTotalBalance" ], "function_signatures": [ "getTotalBalance()" ], "saved_corpus_calls": 4, "selector": "0x12b58349", "share": 0.000756286633 } ], "fuzzer": "echidna", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 5289, "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": "0x00a3c5d1", "function_names": [ "testTransferWithinBalanceDoesNotRevert" ], "function_signatures": [ "testTransferWithinBalanceDoesNotRevert(uint8,uint8,uint256)" ], "saved_corpus_calls": 415, "selector": "0x00a3c5d1", "share": 0.035754286207 }, { "comparison_key": "0x9164cd26", "function_names": [ "testTransferBalanceSentMore" ], "function_signatures": [ "testTransferBalanceSentMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 405, "selector": "0x9164cd26", "share": 0.034892737141 }, { "comparison_key": "0x657808a3", "function_names": [ "testBalanceOfShouldNotRevert" ], "function_signatures": [ "testBalanceOfShouldNotRevert(uint8)" ], "saved_corpus_calls": 404, "selector": "0x657808a3", "share": 0.034806582235 }, { "comparison_key": "0x379db993", "function_names": [ "testTransferBalanceReceivedLessRounding" ], "function_signatures": [ "testTransferBalanceReceivedLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 364, "selector": "0x379db993", "share": 0.031360385974 }, { "comparison_key": "0xc7df1ada", "function_names": [ "testTransferFromShouldNotRevert" ], "function_signatures": [ "testTransferFromShouldNotRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 358, "selector": "0xc7df1ada", "share": 0.030843456535 }, { "comparison_key": "0x324b65f5", "function_names": [ "testApprove" ], "function_signatures": [ "testApprove(uint8,uint8,uint256)" ], "saved_corpus_calls": 350, "selector": "0x324b65f5", "share": 0.030154217283 }, { "comparison_key": "0x43a45e75", "function_names": [ "testTransferBalanceSentLess" ], "function_signatures": [ "testTransferBalanceSentLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 324, "selector": "0x43a45e75", "share": 0.027914189713 }, { "comparison_key": "0x9de07e5a", "function_names": [ "testOptInBalanceRounding" ], "function_signatures": [ "testOptInBalanceRounding(uint8)" ], "saved_corpus_calls": 322, "selector": "0x9de07e5a", "share": 0.0277418799 }, { "comparison_key": "0x7fc05f0a", "function_names": [ "testOptOutTotalSupply" ], "function_signatures": [ "testOptOutTotalSupply(uint8)" ], "saved_corpus_calls": 309, "selector": "0x7fc05f0a", "share": 0.026621866115 }, { "comparison_key": "0x6dcc9dcc", "function_names": [ "testRebasingCreditsPerTokenNotIncreased" ], "function_signatures": [ "testRebasingCreditsPerTokenNotIncreased()" ], "saved_corpus_calls": 301, "selector": "0x6dcc9dcc", "share": 0.025932626863 }, { "comparison_key": "0x26610da8", "function_names": [ "testBurnAllBalanceToZero" ], "function_signatures": [ "testBurnAllBalanceToZero(uint8)" ], "saved_corpus_calls": 296, "selector": "0x26610da8", "share": 0.02550185233 }, { "comparison_key": "0xcec05c0a", "function_names": [ "testOptOutBalance" ], "function_signatures": [ "testOptOutBalance(uint8)" ], "saved_corpus_calls": 294, "selector": "0xcec05c0a", "share": 0.025329542517 }, { "comparison_key": "0xfbf4f900", "function_names": [ "testBurnZeroBalance" ], "function_signatures": [ "testBurnZeroBalance(uint8)" ], "saved_corpus_calls": 294, "selector": "0xfbf4f900", "share": 0.025329542517 }, { "comparison_key": "0xd89cecc4", "function_names": [ "testNonRebasingSupplyVsTotalSupply" ], "function_signatures": [ "testNonRebasingSupplyVsTotalSupply()" ], "saved_corpus_calls": 291, "selector": "0xd89cecc4", "share": 0.025071077798 }, { "comparison_key": "0x1f3efb39", "function_names": [ "testTotalNonRebasingSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalNonRebasingSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 285, "selector": "0x1f3efb39", "share": 0.024554148359 }, { "comparison_key": "0xbfb72b06", "function_names": [ "testMintBalanceRounding" ], "function_signatures": [ "testMintBalanceRounding(uint8,uint256)" ], "saved_corpus_calls": 283, "selector": "0xbfb72b06", "share": 0.024381838546 }, { "comparison_key": "0xdf4d5977", "function_names": [ "getTotalNonRebasingBalance" ], "function_signatures": [ "getTotalNonRebasingBalance()" ], "saved_corpus_calls": 283, "selector": "0xdf4d5977", "share": 0.024381838546 }, { "comparison_key": "0x1e7cfc16", "function_names": [ "testTransferSelf" ], "function_signatures": [ "testTransferSelf(uint8,uint256)" ], "saved_corpus_calls": 282, "selector": "0x1e7cfc16", "share": 0.024295683639 }, { "comparison_key": "0x13ffd369", "function_names": [ "testBurnBalance" ], "function_signatures": [ "testBurnBalance(uint8,uint256)" ], "saved_corpus_calls": 273, "selector": "0x13ffd369", "share": 0.02352028948 }, { "comparison_key": "0xd5afe6cd", "function_names": [ "optIn" ], "function_signatures": [ "optIn(uint8)" ], "saved_corpus_calls": 265, "selector": "0xd5afe6cd", "share": 0.022831050228 }, { "comparison_key": "0x39a7919f", "function_names": [ "changeSupply" ], "function_signatures": [ "changeSupply(uint256)" ], "saved_corpus_calls": 264, "selector": "0x39a7919f", "share": 0.022744895322 }, { "comparison_key": "0xe1bc5773", "function_names": [ "testTransferBalanceReceivedLess" ], "function_signatures": [ "testTransferBalanceReceivedLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 262, "selector": "0xe1bc5773", "share": 0.022572585509 }, { "comparison_key": "0x178e5c32", "function_names": [ "testChangeSupply" ], "function_signatures": [ "testChangeSupply(uint256)" ], "saved_corpus_calls": 259, "selector": "0x178e5c32", "share": 0.022314120789 }, { "comparison_key": "0x50c7ce5d", "function_names": [ "testTransferExceedingBalanceReverts" ], "function_signatures": [ "testTransferExceedingBalanceReverts(uint8,uint8,uint256)" ], "saved_corpus_calls": 250, "selector": "0x50c7ce5d", "share": 0.02153872663 }, { "comparison_key": "0x8f287234", "function_names": [ "testBurnAllBalanceShouldNotRevert" ], "function_signatures": [ "testBurnAllBalanceShouldNotRevert(uint8)" ], "saved_corpus_calls": 246, "selector": "0x8f287234", "share": 0.021194107004 }, { "comparison_key": "0xb1327fd9", "function_names": [ "testMintZeroBalance" ], "function_signatures": [ "testMintZeroBalance(uint8)" ], "saved_corpus_calls": 246, "selector": "0xb1327fd9", "share": 0.021194107004 }, { "comparison_key": "0x72a96677", "function_names": [ "transferFrom" ], "function_signatures": [ "transferFrom(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 244, "selector": "0x72a96677", "share": 0.021021797191 }, { "comparison_key": "0x6a91b27a", "function_names": [ "testRebasingCreditsPerTokenAboveZero" ], "function_signatures": [ "testRebasingCreditsPerTokenAboveZero()" ], "saved_corpus_calls": 240, "selector": "0x6a91b27a", "share": 0.020677177565 }, { "comparison_key": "0x866ba8f7", "function_names": [ "optOut" ], "function_signatures": [ "optOut(uint8)" ], "saved_corpus_calls": 234, "selector": "0x866ba8f7", "share": 0.020160248126 }, { "comparison_key": "0xdad9f8f0", "function_names": [ "approve" ], "function_signatures": [ "approve(uint8,uint8,uint256)" ], "saved_corpus_calls": 230, "selector": "0xdad9f8f0", "share": 0.0198156285 }, { "comparison_key": "0x6396b18d", "function_names": [ "testAutoConvertBalance" ], "function_signatures": [ "testAutoConvertBalance(uint8)" ], "saved_corpus_calls": 229, "selector": "0x6396b18d", "share": 0.019729473594 }, { "comparison_key": "0xf26748e2", "function_names": [ "mint" ], "function_signatures": [ "mint(uint8,uint256)" ], "saved_corpus_calls": 224, "selector": "0xf26748e2", "share": 0.019298699061 }, { "comparison_key": "0x9a92314c", "function_names": [ "testOptInBalance" ], "function_signatures": [ "testOptInBalance(uint8)" ], "saved_corpus_calls": 223, "selector": "0x9a92314c", "share": 0.019212544154 }, { "comparison_key": "0x59c4235c", "function_names": [ "burn" ], "function_signatures": [ "burn(uint8,uint256)" ], "saved_corpus_calls": 209, "selector": "0x59c4235c", "share": 0.018006375463 }, { "comparison_key": "0xc6c7c2e5", "function_names": [ "testCreditsPerTokenVsBalance" ], "function_signatures": [ "testCreditsPerTokenVsBalance(uint8)" ], "saved_corpus_calls": 207, "selector": "0xc6c7c2e5", "share": 0.01783406565 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 199, "selector": "0xf24a44c9", "share": 0.017144826398 }, { "comparison_key": "0x3e1d09c5", "function_names": [ "testTotalSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 197, "selector": "0x3e1d09c5", "share": 0.016972516585 }, { "comparison_key": "0x8dcd3725", "function_names": [ "testTransferBalanceSentLessRounding" ], "function_signatures": [ "testTransferBalanceSentLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 194, "selector": "0x8dcd3725", "share": 0.016714051865 }, { "comparison_key": "0x283775f7", "function_names": [ "testTransferFromShouldRevert" ], "function_signatures": [ "testTransferFromShouldRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 191, "selector": "0x283775f7", "share": 0.016455587146 }, { "comparison_key": "0x6900d46e", "function_names": [ "transfer" ], "function_signatures": [ "transfer(uint8,uint8,uint256)" ], "saved_corpus_calls": 180, "selector": "0x6900d46e", "share": 0.015507883174 }, { "comparison_key": "0xe4840d4f", "function_names": [ "testTransferBalanceReceivedMore" ], "function_signatures": [ "testTransferBalanceReceivedMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 179, "selector": "0xe4840d4f", "share": 0.015421728267 }, { "comparison_key": "0xa7847496", "function_names": [ "testOptInTotalSupply" ], "function_signatures": [ "testOptInTotalSupply(uint8)" ], "saved_corpus_calls": 169, "selector": "0xa7847496", "share": 0.014560179202 }, { "comparison_key": "0xa04961e8", "function_names": [ "testTransferToZeroAddress" ], "function_signatures": [ "testTransferToZeroAddress(uint8,uint256)" ], "saved_corpus_calls": 164, "selector": "0xa04961e8", "share": 0.01412940467 }, { "comparison_key": "0x0a1fc5e7", "function_names": [ "testMintBalance" ], "function_signatures": [ "testMintBalance(uint8,uint256)" ], "saved_corpus_calls": 146, "selector": "0x0a1fc5e7", "share": 0.012578616352 }, { "comparison_key": "0x54113357", "function_names": [ "debugOUSD" ], "function_signatures": [ "debugOUSD()" ], "saved_corpus_calls": 21, "selector": "0x54113357", "share": 0.001809253037 }, { "comparison_key": "0x12b58349", "function_names": [ "getTotalBalance" ], "function_signatures": [ "getTotalBalance()" ], "saved_corpus_calls": 2, "selector": "0x12b58349", "share": 0.000172309813 } ], "fuzzer": "medusa", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 11607, "status": "available", "unavailable_instances": 0, "unique_call_identities": 46, "unique_selectors": 46 }, { "available_instances": 2, "distribution": [ { "comparison_key": "0x13ffd369", "function_names": [ "testBurnBalance" ], "function_signatures": [ "testBurnBalance(uint8,uint256)" ], "saved_corpus_calls": 169, "selector": "0x13ffd369", "share": 0.040066382172 }, { "comparison_key": "0x0a1fc5e7", "function_names": [ "testMintBalance" ], "function_signatures": [ "testMintBalance(uint8,uint256)" ], "saved_corpus_calls": 137, "selector": "0x0a1fc5e7", "share": 0.032479848269 }, { "comparison_key": "0xe4840d4f", "function_names": [ "testTransferBalanceReceivedMore" ], "function_signatures": [ "testTransferBalanceReceivedMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 128, "selector": "0xe4840d4f", "share": 0.030346135609 }, { "comparison_key": "0x43a45e75", "function_names": [ "testTransferBalanceSentLess" ], "function_signatures": [ "testTransferBalanceSentLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 127, "selector": "0x43a45e75", "share": 0.030109056425 }, { "comparison_key": "0x178e5c32", "function_names": [ "testChangeSupply" ], "function_signatures": [ "testChangeSupply(uint256)" ], "saved_corpus_calls": 123, "selector": "0x178e5c32", "share": 0.029160739687 }, { "comparison_key": "0x72a96677", "function_names": [ "transferFrom" ], "function_signatures": [ "transferFrom(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 123, "selector": "0x72a96677", "share": 0.029160739687 }, { "comparison_key": "0x8f287234", "function_names": [ "testBurnAllBalanceShouldNotRevert" ], "function_signatures": [ "testBurnAllBalanceShouldNotRevert(uint8)" ], "saved_corpus_calls": 108, "selector": "0x8f287234", "share": 0.02560455192 }, { "comparison_key": "0xd89cecc4", "function_names": [ "testNonRebasingSupplyVsTotalSupply" ], "function_signatures": [ "testNonRebasingSupplyVsTotalSupply()" ], "saved_corpus_calls": 107, "selector": "0xd89cecc4", "share": 0.025367472736 }, { "comparison_key": "0x379db993", "function_names": [ "testTransferBalanceReceivedLessRounding" ], "function_signatures": [ "testTransferBalanceReceivedLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 103, "selector": "0x379db993", "share": 0.024419155998 }, { "comparison_key": "0x7fc05f0a", "function_names": [ "testOptOutTotalSupply" ], "function_signatures": [ "testOptOutTotalSupply(uint8)" ], "saved_corpus_calls": 103, "selector": "0x7fc05f0a", "share": 0.024419155998 }, { "comparison_key": "0x00a3c5d1", "function_names": [ "testTransferWithinBalanceDoesNotRevert" ], "function_signatures": [ "testTransferWithinBalanceDoesNotRevert(uint8,uint8,uint256)" ], "saved_corpus_calls": 102, "selector": "0x00a3c5d1", "share": 0.024182076814 }, { "comparison_key": "0x6900d46e", "function_names": [ "transfer" ], "function_signatures": [ "transfer(uint8,uint8,uint256)" ], "saved_corpus_calls": 102, "selector": "0x6900d46e", "share": 0.024182076814 }, { "comparison_key": "0xb1327fd9", "function_names": [ "testMintZeroBalance" ], "function_signatures": [ "testMintZeroBalance(uint8)" ], "saved_corpus_calls": 102, "selector": "0xb1327fd9", "share": 0.024182076814 }, { "comparison_key": "0x3e1d09c5", "function_names": [ "testTotalSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 101, "selector": "0x3e1d09c5", "share": 0.023944997629 }, { "comparison_key": "0xe1bc5773", "function_names": [ "testTransferBalanceReceivedLess" ], "function_signatures": [ "testTransferBalanceReceivedLess(uint8,uint8,uint256)" ], "saved_corpus_calls": 101, "selector": "0xe1bc5773", "share": 0.023944997629 }, { "comparison_key": "0xd5afe6cd", "function_names": [ "optIn" ], "function_signatures": [ "optIn(uint8)" ], "saved_corpus_calls": 99, "selector": "0xd5afe6cd", "share": 0.02347083926 }, { "comparison_key": "0x26610da8", "function_names": [ "testBurnAllBalanceToZero" ], "function_signatures": [ "testBurnAllBalanceToZero(uint8)" ], "saved_corpus_calls": 98, "selector": "0x26610da8", "share": 0.023233760076 }, { "comparison_key": "0x657808a3", "function_names": [ "testBalanceOfShouldNotRevert" ], "function_signatures": [ "testBalanceOfShouldNotRevert(uint8)" ], "saved_corpus_calls": 97, "selector": "0x657808a3", "share": 0.022996680891 }, { "comparison_key": "0xa7847496", "function_names": [ "testOptInTotalSupply" ], "function_signatures": [ "testOptInTotalSupply(uint8)" ], "saved_corpus_calls": 97, "selector": "0xa7847496", "share": 0.022996680891 }, { "comparison_key": "0x6dcc9dcc", "function_names": [ "testRebasingCreditsPerTokenNotIncreased" ], "function_signatures": [ "testRebasingCreditsPerTokenNotIncreased()" ], "saved_corpus_calls": 95, "selector": "0x6dcc9dcc", "share": 0.022522522523 }, { "comparison_key": "0xf26748e2", "function_names": [ "mint" ], "function_signatures": [ "mint(uint8,uint256)" ], "saved_corpus_calls": 94, "selector": "0xf26748e2", "share": 0.022285443338 }, { "comparison_key": "0xdad9f8f0", "function_names": [ "approve" ], "function_signatures": [ "approve(uint8,uint8,uint256)" ], "saved_corpus_calls": 90, "selector": "0xdad9f8f0", "share": 0.0213371266 }, { "comparison_key": "0x6396b18d", "function_names": [ "testAutoConvertBalance" ], "function_signatures": [ "testAutoConvertBalance(uint8)" ], "saved_corpus_calls": 88, "selector": "0x6396b18d", "share": 0.020862968231 }, { "comparison_key": "0xbfb72b06", "function_names": [ "testMintBalanceRounding" ], "function_signatures": [ "testMintBalanceRounding(uint8,uint256)" ], "saved_corpus_calls": 88, "selector": "0xbfb72b06", "share": 0.020862968231 }, { "comparison_key": "0x1e7cfc16", "function_names": [ "testTransferSelf" ], "function_signatures": [ "testTransferSelf(uint8,uint256)" ], "saved_corpus_calls": 86, "selector": "0x1e7cfc16", "share": 0.020388809862 }, { "comparison_key": "0x1f3efb39", "function_names": [ "testTotalNonRebasingSupplyLessThanTotalBalance" ], "function_signatures": [ "testTotalNonRebasingSupplyLessThanTotalBalance()" ], "saved_corpus_calls": 86, "selector": "0x1f3efb39", "share": 0.020388809862 }, { "comparison_key": "0x324b65f5", "function_names": [ "testApprove" ], "function_signatures": [ "testApprove(uint8,uint8,uint256)" ], "saved_corpus_calls": 86, "selector": "0x324b65f5", "share": 0.020388809862 }, { "comparison_key": "0x866ba8f7", "function_names": [ "optOut" ], "function_signatures": [ "optOut(uint8)" ], "saved_corpus_calls": 84, "selector": "0x866ba8f7", "share": 0.019914651494 }, { "comparison_key": "0xc6c7c2e5", "function_names": [ "testCreditsPerTokenVsBalance" ], "function_signatures": [ "testCreditsPerTokenVsBalance(uint8)" ], "saved_corpus_calls": 83, "selector": "0xc6c7c2e5", "share": 0.019677572309 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 83, "selector": "0xf24a44c9", "share": 0.019677572309 }, { "comparison_key": "0x8dcd3725", "function_names": [ "testTransferBalanceSentLessRounding" ], "function_signatures": [ "testTransferBalanceSentLessRounding(uint8,uint8,uint256)" ], "saved_corpus_calls": 82, "selector": "0x8dcd3725", "share": 0.019440493125 }, { "comparison_key": "0x9a92314c", "function_names": [ "testOptInBalance" ], "function_signatures": [ "testOptInBalance(uint8)" ], "saved_corpus_calls": 82, "selector": "0x9a92314c", "share": 0.019440493125 }, { "comparison_key": "0xdf4d5977", "function_names": [ "getTotalNonRebasingBalance" ], "function_signatures": [ "getTotalNonRebasingBalance()" ], "saved_corpus_calls": 81, "selector": "0xdf4d5977", "share": 0.01920341394 }, { "comparison_key": "0x6a91b27a", "function_names": [ "testRebasingCreditsPerTokenAboveZero" ], "function_signatures": [ "testRebasingCreditsPerTokenAboveZero()" ], "saved_corpus_calls": 79, "selector": "0x6a91b27a", "share": 0.018729255571 }, { "comparison_key": "0x9de07e5a", "function_names": [ "testOptInBalanceRounding" ], "function_signatures": [ "testOptInBalanceRounding(uint8)" ], "saved_corpus_calls": 78, "selector": "0x9de07e5a", "share": 0.018492176387 }, { "comparison_key": "0xc7df1ada", "function_names": [ "testTransferFromShouldNotRevert" ], "function_signatures": [ "testTransferFromShouldNotRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 78, "selector": "0xc7df1ada", "share": 0.018492176387 }, { "comparison_key": "0xcec05c0a", "function_names": [ "testOptOutBalance" ], "function_signatures": [ "testOptOutBalance(uint8)" ], "saved_corpus_calls": 78, "selector": "0xcec05c0a", "share": 0.018492176387 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 76, "selector": "0x1a042ae7", "share": 0.018018018018 }, { "comparison_key": "0xa04961e8", "function_names": [ "testTransferToZeroAddress" ], "function_signatures": [ "testTransferToZeroAddress(uint8,uint256)" ], "saved_corpus_calls": 76, "selector": "0xa04961e8", "share": 0.018018018018 }, { "comparison_key": "0x283775f7", "function_names": [ "testTransferFromShouldRevert" ], "function_signatures": [ "testTransferFromShouldRevert(uint8,uint8,uint8,uint256)" ], "saved_corpus_calls": 74, "selector": "0x283775f7", "share": 0.017543859649 }, { "comparison_key": "0x9164cd26", "function_names": [ "testTransferBalanceSentMore" ], "function_signatures": [ "testTransferBalanceSentMore(uint8,uint8,uint256)" ], "saved_corpus_calls": 71, "selector": "0x9164cd26", "share": 0.016832622096 }, { "comparison_key": "0x39a7919f", "function_names": [ "changeSupply" ], "function_signatures": [ "changeSupply(uint256)" ], "saved_corpus_calls": 69, "selector": "0x39a7919f", "share": 0.016358463727 }, { "comparison_key": "0x50c7ce5d", "function_names": [ "testTransferExceedingBalanceReverts" ], "function_signatures": [ "testTransferExceedingBalanceReverts(uint8,uint8,uint256)" ], "saved_corpus_calls": 68, "selector": "0x50c7ce5d", "share": 0.016121384542 }, { "comparison_key": "0x59c4235c", "function_names": [ "burn" ], "function_signatures": [ "burn(uint8,uint256)" ], "saved_corpus_calls": 68, "selector": "0x59c4235c", "share": 0.016121384542 }, { "comparison_key": "0xfbf4f900", "function_names": [ "testBurnZeroBalance" ], "function_signatures": [ "testBurnZeroBalance(uint8)" ], "saved_corpus_calls": 68, "selector": "0xfbf4f900", "share": 0.016121384542 } ], "fuzzer": "recon-fuzzer", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 4218, "status": "available", "unavailable_instances": 0, "unique_call_identities": 45, "unique_selectors": 45 } ], "health_findings": [ { "instance_label": "i-00286b19f02049aa2-recon-v0.4.6", "kind": "peer_heuristic_gap", "message": "i-00286b19f02049aa2-recon-v0.4.6: peer-heuristic gap (diagnostic, not ground truth): absent 2 selector(s): 0x12b58349, 0x54113357", "severity": "info" }, { "instance_label": "i-0922c2f8649781881-recon-v0.4.6", "kind": "peer_heuristic_gap", "message": "i-0922c2f8649781881-recon-v0.4.6: peer-heuristic gap (diagnostic, not ground truth): absent 2 selector(s): 0x12b58349, 0x54113357", "severity": "info" } ], "health_warnings": [], "instances": [ { "artifact_files": 23, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.6", "ignored_calls": 0, "instance_id": "i-00286b19f02049aa2", "instance_label": "i-00286b19f02049aa2-recon-v0.4.6", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0x12b58349", "0x54113357" ], "parsed_sequences": 23, "processed_artifact_bytes": 1178451, "saved_corpus_calls": 2196, "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": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-024a9959ae72deb9f", "instance_label": "i-024a9959ae72deb9f-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": 211, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.4.1", "ignored_calls": 0, "instance_id": "i-04249f4c316c1db9e", "instance_label": "i-04249f4c316c1db9e-medusa-v1.4.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 211, "processed_artifact_bytes": 3891188, "saved_corpus_calls": 5538, "status": "available", "unique_call_identities": 46, "unique_selectors": 46, "warnings": [] }, { "artifact_files": 26, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.1", "ignored_calls": 0, "instance_id": "i-0497450927a2a89a9", "instance_label": "i-0497450927a2a89a9-echidna-v2.3.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 26, "processed_artifact_bytes": 1509707, "saved_corpus_calls": 2589, "status": "available", "unique_call_identities": 47, "unique_selectors": 47, "warnings": [] }, { "artifact_files": 27, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.1", "ignored_calls": 0, "instance_id": "i-06b518158d3ba6fa8", "instance_label": "i-06b518158d3ba6fa8-echidna-v2.3.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 27, "processed_artifact_bytes": 1578381, "saved_corpus_calls": 2700, "status": "available", "unique_call_identities": 47, "unique_selectors": 47, "warnings": [] }, { "artifact_files": 21, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.6", "ignored_calls": 0, "instance_id": "i-0922c2f8649781881", "instance_label": "i-0922c2f8649781881-recon-v0.4.6", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [ "0x12b58349", "0x54113357" ], "parsed_sequences": 21, "processed_artifact_bytes": 1083111, "saved_corpus_calls": 2022, "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": 202, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.4.1", "ignored_calls": 0, "instance_id": "i-0c374946c09e28ebd", "instance_label": "i-0c374946c09e28ebd-medusa-v1.4.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 202, "processed_artifact_bytes": 4299578, "saved_corpus_calls": 6069, "status": "available", "unique_call_identities": 46, "unique_selectors": 46, "warnings": [] }, { "artifact_files": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-0eb2f56ba7c7e57aa", "instance_label": "i-0eb2f56ba7c7e57aa-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": [] } ], "limitations": [ "i-024a9959ae72deb9f-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-0eb2f56ba7c7e57aa-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-29759131085-1", "schema_version": 1 }