Skip to content

Commit 485c5de

Browse files
Merge pull request #70 from mojtaba-eshghie/feature_issue_69
Feature issue 69
2 parents d8d7e3d + b405e35 commit 485c5de

366 files changed

Lines changed: 549963 additions & 0 deletions

File tree

  • use-cases/upgraded-contract-invariant-subsumption-checking
    • datasets
      • require_replacements_SoliDiffy
        • 0x011ef047b99dc14862e279824fea36bac67c4074_contracts_OpenLevV1.sol___0xf580ff539cb2764dcc687f950478d9dadeb83502_contracts_OpenLevV1.sol
        • 0x02113b595af3bafd390bc4b0a44224c789de3824_contracts_MessageProxy.sol___0xf0551a55e73734751324bf8299f50c9229754c56_contracts_MessageProxy.sol
        • 0x0237b599fecc891e67dd249cbffb983fb5546abc_contracts_Auction.sol___0x3c4a8697b709efec5de059e31ad1aafe25ab366a_contracts_Auction.sol
        • 0x034031e261e00e1ae1f749724e4673ab30a7ca35_contracts_KubzTreasure.sol___0x8f401f32eeeede1f8465aed1d65daeab0ac3bba7_contracts_KubzTreasure.sol
        • 0x0c16b5f3238c306d0dddb38929d1e8a087cfd1c7_TokenTraxxNFT.sol___0x8684da16ba33a910c5145bc8295d12000580f5d3_TokenTraxxNFT.sol
        • 0x1302a7da9cfa2bef4d7d8985fa0b1a1729971527_contracts_protocol_WETHGateway.sol___0xe2b1fc3c7e218bfccbb249afc7df9da6ff9b9868_contracts_protocol_WETHGateway.sol
        • 0x18a8393e00da5f2ecd5a09fca853b9379f708733_contracts_controllers_BadgerBridgeZeroController.sol___0xd498688407066e56c5f6333cc8e8f4de55fd6ad8_contracts_controllers_BadgerBridgeZeroController.sol
        • 0x18a8393e00da5f2ecd5a09fca853b9379f708733_contracts_controllers_BadgerBridgeZeroControllerArb.sol___0xd498688407066e56c5f6333cc8e8f4de55fd6ad8_contracts_controllers_BadgerBridgeZeroControllerArb.sol
        • 0x18a8393e00da5f2ecd5a09fca853b9379f708733_contracts_controllers_BadgerBridgeZeroControllerAvax.sol___0xd498688407066e56c5f6333cc8e8f4de55fd6ad8_contracts_controllers_BadgerBridgeZeroControllerAvax.sol
        • 0x18a8393e00da5f2ecd5a09fca853b9379f708733_contracts_controllers_BadgerBridgeZeroControllerMatic.sol___0xd498688407066e56c5f6333cc8e8f4de55fd6ad8_contracts_controllers_BadgerBridgeZeroControllerMatic.sol
        • 0x18a8393e00da5f2ecd5a09fca853b9379f708733_contracts_controllers_BadgerBridgeZeroControllerOptimism.sol___0xd498688407066e56c5f6333cc8e8f4de55fd6ad8_contracts_controllers_BadgerBridgeZeroControllerOptimism.sol
        • 0x18a8393e00da5f2ecd5a09fca853b9379f708733_contracts_controllers_RenZECController.sol___0xd498688407066e56c5f6333cc8e8f4de55fd6ad8_contracts_controllers_RenZECController.sol
        • 0x1a2d1ab4875c5836ec6447d2a1cad5f2d26689c7_contracts_D4AProtocolWithPermission.sol___0x1ab866251a3f63014a2a70a1563bdd015d0d3ada_contracts_D4AProtocolWithPermission.sol
        • 0x1ab866251a3f63014a2a70a1563bdd015d0d3ada_contracts_D4AProtocol.sol___0xeecbbb2fb558bcf2dfd6473b45f3bdbadbbddb91_contracts_D4AProtocol.sol
        • 0x1ab866251a3f63014a2a70a1563bdd015d0d3ada_contracts_D4AProtocolWithPermission.sol___0xeecbbb2fb558bcf2dfd6473b45f3bdbadbbddb91_contracts_D4AProtocolWithPermission.sol
        • 0x1f3ce0baf7e55d6a922adc37a4523768a41c64d5_HedgeSwapWithdraw.sol___0xd49919efbc9134966a89f9a1b717e5ad1031c9fe_HedgeSwap.sol
        • 0x21bd30476ea9eb666be71c1341f325cad60f0789_contracts_protocol_BNFT.sol___0x98a3894af804d0da09bce3ccf92ba3cf841df581_contracts_protocol_BNFT.sol
        • 0x23dcc0cc5f08b9d85daf8d29490c7f74a655b359_OUSD.sol___0xfc9f0c869b63c9346dff4a3fc146e52791028d7d_OUSD.sol
        • 0x24abed1b1d122da203539d880ed20944a9bd1cd1_contracts_Vault.sol___0x4251a1bcf9d3d89a722133d5a90ddd6b6034698b_contracts_Vault.sol
        • 0x27665f1ccf0eabe2b085eee0784d3b47e351eef1_contracts_CryptoNijigenGirlsUpgradeable.sol___0x56eab68699f0459ddac040fb1378aa1aa88a8b24_contracts_CryptoNijigenGirlsUpgradeable.sol
        • 0x2946f6d458f8cf8723a1d9e95043831d3937461e_ForeignAMB.sol___0x54c6dfbb807be694841a0f1b84cbc49d8fc98ed7_ForeignAMB.sol
        • 0x298c61f176c96776d49c96fd1cf3b5000674513f_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol___0xe7cae30da8680625d9b8b84e4298c4b21f1d8aba_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol
        • 0x2a0b88f5e1fba2909843a46877a9369d8ae8b5b5_contracts_vaults_BaseVaults_RibbonThetaVault.sol___0xc51d4db54ee9b06fe173f701a69633a0b939253e_contracts_vaults_BaseVaults_RibbonThetaVault.sol
        • 0x2a1dbb1cde0790e8f2ca10ae1c16d49275e469f4_TokenTraxxMarketplace.sol___0xa15e3118ea3e8260d9041f09f77d712be3ac3608_TokenTraxxMarketplace.sol
        • 0x2b79e61b762698af9bc0249fc8354bef5c871220_contracts_ASTILO.sol___0x91164a971e136e5bd33d37af37e5c7a480b3adf8_contracts_ASTILO.sol
        • 0x2e8e3e55ce12f981ebf8e545cb263ab238e19715_contracts_tokenbridge_ethereum_gateway_L1GatewayRouter.sol___0x6d1c576fe3e54313990450f5fa322306b4ccb47b_contracts_tokenbridge_ethereum_gateway_L1GatewayRouter.sol
        • 0x2ef01ae8abd9a6af9ebd882c1021f445f87aecdf_contracts_ElmoSOLID.sol___0x68fd40fb0713a35627c98ba9549c7cced73827f9_contracts_ElmoSOLID.sol
        • 0x2fadfcb4ab510463ba8b1ae6f44fb0d55a79a6db_contracts_MessageProxy.sol___0x947cb65494903a53e55f7dfef949e66d43e076b3_contracts_MessageProxy.sol
        • 0x316f3b26730f541c018ca97e298354526fa581a2_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol___0xfca3ef1060784beba2126098af0d46c2cf82c2be_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol
        • 0x3363bae2fc44da742df13cd3ee94b6bb868ea376_contracts_CToken.sol___0xa1849880593e96d2f7df77d0d38a7f2372ae10e0_contracts_CToken.sol
        • 0x368e41a003249270ac26db71ee1535f679187b42_home_vadim_code_skale-manager_contracts_delegation_DelegationController.sol___0x5089d6bb87e87ee34b00a92ddb48d1dcdfd3cb3e_home_vadim_code_skale-manager_contracts_delegation_DelegationController.sol
        • 0x375d170b98da0e5394edf3ab2ba1e9360f9c29c6_IdleTokenGovernance.sol___0x2854a270fe9c839ffe453e9178d1cfef109d6b8e_IdleTokenGovernance.sol
        • 0x4827ece3114796c9c26459b35b6e23e2a952ae09_contracts_MessageProxy.sol___0xe8608987fee290114f99cc23c1eabd084c0176e9_contracts_MessageProxy.sol
        • 0x493a1d529b7ee59a395b3c8d1cc8b667ea5db185_contracts_BRLCTokenBridgeable.sol___0x366ab0376ff3712bf00bd4c2eff8097738cca82e_contracts_BRLCTokenBridgeable.sol
        • 0x49401ddc4e0a858b5b4cf3d6de38393b7fac7378_MainDispatcher.sol___0xb8563ad5af1f79dd04937be8b572318c8e6f43ac_MainDispatcher.sol
        • 0x49401ddc4e0a858b5b4cf3d6de38393b7fac7378_StarkExchange.sol___0xb8563ad5af1f79dd04937be8b572318c8e6f43ac_StarkExchange.sol
        • 0x4b2cf3be8677096310b32a648b0bdb8c5a8ddc94_contracts_tokenbridge_libraries_gateway_GatewayRouter.sol___0x555d10f9e4d1b60b9c3f87f4e835119b2c65c8b0_contracts_tokenbridge_libraries_gateway_GatewayRouter.sol
        • 0x4cb1b007369c976ba9a9196a5a18746bc4a4343c_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol___0x53ccffe7ae4e1fb235d695004a277ba878d24367_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol
        • 0x4efa1c944293aae01f7788aceff69a293f01b1db_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol___0x151311c2f693dc29bbd7eb6336971d0d637eaf7b_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol
        • 0x51576ed8a981976fbee2d8bb4130cc6f70daa1e0_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol___0x55720ba86e4c88db69c2109e954b221eeead8711_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol
        • 0x555b449e9aa5fc50826a2a1cb4ed6fec7b093cdc_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol___0xfbaea0017659abeeff6bc8c162bea9aa603c5cb7_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol
        • 0x5ddc4b822e897a44bd815379826bcd461fcedcd1_contracts_Plot.sol___0xd56e90b3f42db5a9e8b7cf3575e804ad38acd4f6_contracts_Plot.sol
        • 0x67db14e73c2dce786b5bbbfa4d010deab4bbfcf9_CToken.sol___0x02beff6668a0c8b7b16c978de8807527d9342ad4_CToken.sol
        • 0x67db14e73c2dce786b5bbbfa4d010deab4bbfcf9_CToken.sol___0x46f196f21f420e3ea159b706d249046e80f05f7e_CToken.sol
        • 0x6a6025c18f4b15385e8f65c67d759b53180bcd37_contracts_MarketRegistry.sol___0x54b1b79531c80da391638d040b58abdb193326f3_contracts_MarketRegistry.sol
        • 0x754a120c1ad4775db3f05c8720138766c2638c4c_contracts_vaults_NFTVault.sol___0x18c5f7536cb60d3b3fd14216142e8f7bba361895_contracts_vaults_NFTVault.sol
        • 0x75b3803ade7d1710328b85f28cc8543bb94647f2_contracts_TheRumClub.sol___0x4e3de613f7174c69c12ba47862c4601ef2b12603_contracts_TheRumClub.sol
        • 0x7c98fdbbe7c2b8503a049bcd8e6303a47ef4fbcd_contracts_registrar_Registrar.sol___0xfaabb9d5f21cadf017b73663ca69104b71bd00de_contracts_registrar_Registrar.sol
        • 0x7ffd2171b10c134ca9de94df09d4f9adfeb096f3_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol___0xc1ff360c1e8296012db2969d1ba6e1bf3069b33e_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol
        • 0x81897e86fe7818c4deab5f908ca495b5a9128e24_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol___0xe09dc3724cd5b566d64db4186fa8b4321071c28f_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol
        • 0x847e3e4d335f118c8aed9a09c15261581e1a01ad_AlkemiEarnVerified.sol___0x75031d152d6c0e44df5eeb8f3c08d48f59991a50_AlkemiEarnVerified.sol
        • 0x8f812a2871a1c19ecb93a80f77ffdacd3e5cf61a_contracts_LoanVault.sol___0x50d6149d0db21cd907579f6d3a11cf00d17a41de_contracts_LoanVault.sol
        • 0x9429952791a01c35e715826f34727e885a2b2f09_contracts_mainnet_MessageProxyForMainnet.sol___0xe8d18a64e5bd3c3e96e7c163dc67ff97296b6304_contracts_mainnet_MessageProxyForMainnet.sol
        • 0x956455d81d5dc0f4fbe666bffb278af292dfa4db_contracts_MessageProxy.sol___0x06fe670e7647a67f95f09ebc292a833d66ebb681_contracts_MessageProxy.sol
        • 0x9760e1f187970aa763ad10a3b122f02cec5b879b_NftyPlaySales.sol___0x850e14df012272cd5c3156187496cc57929eadca_NftyPlaySales.sol
        • 0x9a4098ea94efb736d564f9fdfab82d96e78e9f7e_contracts_core_aave_v2_main.sol___0x9b71ffd102be3837a3f611222bc20d2b1f6c28a3_contracts_core_aave_v2_main.sol
        • 0x9aaae29879c95ed732bababea4cae20a6d931dbb_ERC721Predicate.sol___0xf3f08b74b63d0c008cea903ee59b346bf1d5e4cd_ERC721Predicate.sol
        • 0xa5d39e71c716e3964ed9dfa23ec9266d306501eb_contracts_MarketplaceCore.sol___0x73f4877b7db9923cf42d7f579fe7bec360ffcd22_contracts_MarketplaceCore.sol
        • 0xa66b813b2e32eeb82d4dafb5e784471cdba452e8_contracts_mainnet_MessageProxyForMainnet.sol___0xad64712a9f3f7ca4e7064381135082aaa68f56d5_contracts_mainnet_MessageProxyForMainnet.sol
        • 0xa9610559f1e5bb0eab9a25e21137d39426fd477e_contracts_tokenbridge_ethereum_gateway_L1GatewayRouter.sol___0x6d1c576fe3e54313990450f5fa322306b4ccb47b_contracts_tokenbridge_ethereum_gateway_L1GatewayRouter.sol
        • 0xa99a7b8fbb46cbeb9bf8174b21964ba11399b272_contracts_MessageProxy.sol___0x573383db7d9b41e2a9aa180e305d958c0cf9a52e_contracts_MessageProxy.sol
        • 0xa9e739744a99a8497988b5891e53867e54a2fd26_OMNINFTLogic.sol___0xd3c3acadf4013fdf16a890d8dd94c01870c19dcf_OmniStake.sol
        • 0xab4cb335bc7ee587ebc07c2445dc2807bebe973e_StarkExchange.sol___0x63a995cfb3badabe007263917024369529baf26f_StarkExchange.sol
        • 0xac1861ed87595e0aff6c2bb9f8742d3308f48ba0_contracts_mainnet_MessageProxyForMainnet.sol___0xffc647d4cef8fb8b365e6b11a0156972e9343f6a_contracts_mainnet_MessageProxyForMainnet.sol
        • 0xbc1981c278cb088e6d4f6cff15a1562556285d88_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol___0x08194f4b1e04021c43544603761c50877d48bdc1_@openzeppelin_contracts-upgradeable_token_ERC721_ERC721Upgradeable.sol
        • 0xc1915f560ee4381b311d567047ce0a52762de926_contracts_BabylonCore.sol___0x139827bc5211113d99adc215312576d249943bb6_contracts_BabylonCore.sol
        • 0xc62e56e756a3d14fff838e820f38d845a16d49de_contracts_CelerIM_CrossChainAdapter.sol___0x4aa471ca56a6188d50d0b401b982ed286ac098d7_contracts_CelerIM_CrossChainAdapter.sol
        • 0xcf36bddda4a0660ec2223a88cc2995836f9be4bb_contracts_ApeMax_Production.sol___0x7b0131b516c9694983ba5ef9793ce65c6579d291_contracts_ApeMax_Production.sol
        • 0xd9a60945dd4b3a5ea91480e82da20d3acec5d857_NFTXLPStaking.sol___0x4f566a711901168804a74f252680d85c9246188e_NFTXLPStaking.sol
        • 0xdAC17F958D2ee523a2206206994597C13D831ec7_TetherToken.sol___0xfA6F8A7Dd8b842d6Cca9Dd060e571BC5996D20e4_Shapeshift.sol
        • 0xdeb5085b2192117d04f1cac5b4c1833dd72236d5_contracts_KeungzGenesis.sol___0x5729eba8b4aec53100187d6f58c711d1e976d940_contracts_KeungzGenesis.sol
        • 0xe2d8ada972aea3d9b2d9755324acb55a99b410cb_contracts_ChildRegistry.sol___0x952254ca7925abadd9e141aabccd6e1cf684147f_contracts_ChildRegistry.sol
        • 0xe2d8ada972aea3d9b2d9755324acb55a99b410cb_contracts_RootRegistry.sol___0x952254ca7925abadd9e141aabccd6e1cf684147f_contracts_RootRegistry.sol
        • 0xe5862651a033cddcb8f3b4af9c063db2baec39d0_LendingPair.sol___0xe5b0974a457698b171e5541378dbec55e0e2ee62_LendingPair.sol
        • 0xe6abfcabe24f06197a7a20dc9c81c251f2862430_LoopringAmmPool.sol___0xee017df188362f8620058e6cef56d0e65b872164_LoopringAmmPool.sol
        • 0xe9353f60013f2f243d9d58170a07e80ae59b5e28_contracts_libs_LibAtomic.sol___0x23221abb15082142838c925ea9930e7e35fdb8ce_contracts_libs_LibAtomic.sol
        • 0xe95236fe93cc33da0b37d57f1ad0dfbd441d6a22_contracts_ERC1155_BaseEnigmaNFT1155.sol___0x492e4b96f183ee1d4c78ef1470e222b79f8cc3d9_contracts_ERC1155_BaseEnigmaNFT1155.sol
        • 0xe99abed499b8576401c9487c4d8543f04266b91b_@openzeppelin_contracts-upgradeable_math_SafeMathUpgradeable.sol___0x27426391606d7d1043c74ac8427833e19ede87a3_@openzeppelin_contracts-upgradeable_math_SafeMathUpgradeable.sol
        • 0xe99abed499b8576401c9487c4d8543f04266b91b_@openzeppelin_contracts_math_SafeMath.sol___0x27426391606d7d1043c74ac8427833e19ede87a3_@openzeppelin_contracts_math_SafeMath.sol
        • 0xe99abed499b8576401c9487c4d8543f04266b91b_@openzeppelin_contracts_utils_Address.sol___0x27426391606d7d1043c74ac8427833e19ede87a3_@openzeppelin_contracts_utils_Address.sol
        • 0xec26cd6748d5ad5295e404717d3b8612f9f742b9_RewardsLogger.sol___0x96b3f82782a62e4dccb236f86665c550f6c0b6c0_RewardsLogger.sol
        • 0xed6eb2dfd0f0d0a98b0b8695a8e9056e55fefc85_contracts_MintingManager.sol___0xf51b669df92d68394a1ffbc6ae84bf016290687c_contracts_MintingManager.sol
        • 0xede996a9899b570de70eade06fa69621ce1470be_contracts_mainnet_MessageProxyForMainnet.sol___0x676fafce73f5a304988c519407aac06bd117cdd0_contracts_mainnet_MessageProxyForMainnet.sol
        • 0xf09343db701446df0ce6d3b63b6370a64e9ce238_contracts_BAGC.sol___0xcbb2058683d56cc3d512573bc564de69248c0fbd_contracts_BAGC.sol
        • 0xf58ec2f599ec32f2ae104984f41c1fb1377eceba_StakeManager.sol___0xb955ee20a7f1d6f9bd68805e6eefe2cbc5d8220d_StakeManager.sol
        • 0xf6b44397c8756ed95ff138554e5d6349c62bf885_@openzeppelin_contracts-upgradeable_math_SafeMathUpgradeable.sol___0xcc6a1a30b6df40153434b9754518ae85f4d1b440_@openzeppelin_contracts-upgradeable_math_SafeMathUpgradeable.sol
        • 0xf73dd070dcc247fef97efcf767c7e5fd621d895d_contracts_vaults_NFTVault.sol___0x18c5f7536cb60d3b3fd14216142e8f7bba361895_contracts_vaults_NFTVault.sol
        • 0xf9bd6943e1ba66dc5cec6f67359bfc63d3c0c39e_contracts_main_MasterWhitelist.sol___0x948ddfecd6ec588beab5a5aaa210504d2f6b14d8_contracts_main_MasterWhitelist.sol
        • 0xfb27de6ed15e20d84d9a6ec92e784e40587de768_contracts_modules_PropsERC721UConfigPools.sol___0xcc9f8a5af82949c122b461ad1dc6438e91ba880c_contracts_modules_PropsERC721UConfigPools.sol
        • 0xfc9f0c869b63c9346dff4a3fc146e52791028d7d_OUSD.sol___0xb248c975daeac47c4960ecbd10a79e486ebd1ca8_OUSDResolutionUpgrade.sol
        • 0xfe6fafac88150a23d946e53e9e2285aab98a0d90_contracts_mainnet_MessageProxyForMainnet.sol___0x2f90bed90fa0cc605b86b8623612a2638eb4019a_contracts_mainnet_MessageProxyForMainnet.sol

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

use-cases/upgraded-contract-invariant-subsumption-checking/datasets/require_replacements_SoliDiffy/0x011ef047b99dc14862e279824fea36bac67c4074_contracts_OpenLevV1.sol___0xf580ff539cb2764dcc687f950478d9dadeb83502_contracts_OpenLevV1.sol/diff.log

Lines changed: 13750 additions & 0 deletions
Large diffs are not rendered by default.

use-cases/upgraded-contract-invariant-subsumption-checking/datasets/require_replacements_SoliDiffy/0x011ef047b99dc14862e279824fea36bac67c4074_contracts_OpenLevV1.sol___0xf580ff539cb2764dcc687f950478d9dadeb83502_contracts_OpenLevV1.sol/new.sol

Lines changed: 498 additions & 0 deletions
Large diffs are not rendered by default.

use-cases/upgraded-contract-invariant-subsumption-checking/datasets/require_replacements_SoliDiffy/0x011ef047b99dc14862e279824fea36bac67c4074_contracts_OpenLevV1.sol___0xf580ff539cb2764dcc687f950478d9dadeb83502_contracts_OpenLevV1.sol/old.sol

Lines changed: 618 additions & 0 deletions
Large diffs are not rendered by default.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
results/differencing_results/0x011ef047b99dc14862e279824fea36bac67c4074_contracts_OpenLevV1.sol___0xf580ff539cb2764dcc687f950478d9dadeb83502_contracts_OpenLevV1.sol.log:
2+
3667 identifier: require [12407,12414]
3+
3668: replace require by buySuccess
4+
3669
5+
6+
6078 identifier: require [28795,28802]
7+
6079: replace require by feesRate
8+
6080
9+

0 commit comments

Comments
 (0)