collect.json

{"original": "https://prover.certora.com/output/52567/3b30497edd66411e9bddc45f5060ceb1?anonymousKey=4278e879f2d5ddf6c682d50d537e8e43a282f6a6", "mutants": [{"gambit_mutant": {"filename": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/1.sol", "original_filename": "packages/contracts/contracts/ActivePool.sol", "directory": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool", "id": "m1", "diff": "107c107,111\n<             cachedSystemCollShares -= _shares; // Updating here avoids an SLOAD\n---\n>             // MUTATAION\n>             // cachedSystemCollShares -= _shares;\n>             // changed to\n>             // cachedSystemCollShares += _shares;\n>             cachedSystemCollShares += _shares; // Updating here avoids an SLOAD\n", "description": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/1.sol"}, "link": "https://prover.certora.com/jobStatus/52567/259c9491fdd7435f925e89de8cad6f87?anonymousKey=9cd0d57050d6c214615c3dd924079dbfc66ddf6f", "success": true, "run_directory": ".certora_internal/24_01_21_00_44_16_420/.certora_sources", "rule_report_link": "https://prover.certora.com/output/52567/259c9491fdd7435f925e89de8cad6f87?anonymousKey=9cd0d57050d6c214615c3dd924079dbfc66ddf6f"}, {"gambit_mutant": {"filename": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/3.sol", "original_filename": "packages/contracts/contracts/ActivePool.sol", "directory": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool", "id": "m2", "diff": "402a403,419\n> \n> /**************************** Diff Block Start ****************************\n> diff --git a/packages/contracts/contracts/ActivePool.sol b/packages/contracts/contracts/ActivePool.sol\n> index 40b6a1f..29a6b8c 100644\n> --- a/packages/contracts/contracts/ActivePool.sol\n> +++ b/packages/contracts/contracts/ActivePool.sol\n> @@ -404,7 +404,7 @@ contract ActivePool is IActivePool, ERC3156FlashLender, ReentrancyGuard, BaseMat\n>      function setFeeBps(uint256 _newFee) external requiresAuth {\n>          ICdpManagerData(cdpManagerAddress).syncGlobalAccountingAndGracePeriod(); // Accrue State First\n>  \n> -        require(_newFee <= MAX_FEE_BPS, \"ERC3156FlashLender: _newFee should <= MAX_FEE_BPS\");\n> +        require(_newFee >= MAX_FEE_BPS, \"ERC3156FlashLender: _newFee should <= MAX_FEE_BPS\");\n>  \n>          // set new flash fee\n>          uint256 _oldFee = feeBps;\n> **************************** Diff Block End *****************************/\n> \n407c424\n<         require(_newFee <= MAX_FEE_BPS, \"ERC3156FlashLender: _newFee should <= MAX_FEE_BPS\");\n---\n>         require(_newFee >= MAX_FEE_BPS, \"ERC3156FlashLender: _newFee should <= MAX_FEE_BPS\");\n", "description": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/3.sol"}, "link": "https://prover.certora.com/jobStatus/52567/bf275989e2b741d88adb1b2fd90abbd2?anonymousKey=946c7d3c342c86085272ec467a1c692aac3c317f", "success": true, "run_directory": ".certora_internal/24_01_21_00_44_16_143/.certora_sources", "rule_report_link": "https://prover.certora.com/output/52567/bf275989e2b741d88adb1b2fd90abbd2?anonymousKey=946c7d3c342c86085272ec467a1c692aac3c317f"}, {"gambit_mutant": {"filename": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/4.sol", "original_filename": "packages/contracts/contracts/ActivePool.sol", "directory": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool", "id": "m3", "diff": "178a179,195\n> \n> /**************************** Diff Block Start ****************************\n> diff --git a/packages/contracts/contracts/ActivePool.sol b/packages/contracts/contracts/ActivePool.sol\n> index 40b6a1f..6657d37 100644\n> --- a/packages/contracts/contracts/ActivePool.sol\n> +++ b/packages/contracts/contracts/ActivePool.sol\n> @@ -180,7 +180,7 @@ contract ActivePool is IActivePool, ERC3156FlashLender, ReentrancyGuard, BaseMat\n>  \n>      function _transferCollSharesWithContractHooks(address _account, uint256 _shares) internal {\n>          // NOTE: No need for safe transfer if the collateral asset is standard. Make sure this is the case!\n> -        collateral.transferShares(_account, _shares);\n> +        //collateral.transferShares(_account, _shares);\n>  \n>          if (_account == collSurplusPoolAddress) {\n>              ICollSurplusPool(_account).increaseTotalSurplusCollShares(_shares);\n> **************************** Diff Block End *****************************/\n> \n183c200\n<         collateral.transferShares(_account, _shares);\n---\n>         //collateral.transferShares(_account, _shares);\n", "description": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/4.sol"}, "link": "https://prover.certora.com/jobStatus/52567/71cf18670dad4cc4ae18b52cff502b99?anonymousKey=dcf0e800320ada18827a8f728b99a7090691f8fc", "success": true, "run_directory": ".certora_internal/24_01_21_00_44_16_901/.certora_sources", "rule_report_link": "https://prover.certora.com/output/52567/71cf18670dad4cc4ae18b52cff502b99?anonymousKey=dcf0e800320ada18827a8f728b99a7090691f8fc"}, {"gambit_mutant": {"filename": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/5.sol", "original_filename": "packages/contracts/contracts/ActivePool.sol", "directory": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool", "id": "m4", "diff": "341a342,358\n> \n> /**************************** Diff Block Start ****************************\n> diff --git a/packages/contracts/contracts/ActivePool.sol b/packages/contracts/contracts/ActivePool.sol\n> index 40b6a1f..f13a229 100644\n> --- a/packages/contracts/contracts/ActivePool.sol\n> +++ b/packages/contracts/contracts/ActivePool.sol\n> @@ -343,7 +343,7 @@ contract ActivePool is IActivePool, ERC3156FlashLender, ReentrancyGuard, BaseMat\n>      /// @dev Call permissinos are managed via authority for flexibility, rather than gating call to just feeRecipient.\n>      /// @dev Is likely safe as an open permission though caution should be taken.\n>      /// @param _shares The amount of shares to claim to feeRecipient\n> -    function claimFeeRecipientCollShares(uint256 _shares) external override requiresAuth {\n> +    function claimFeeRecipientCollShares(uint256 _shares) external override {\n>          ICdpManagerData(cdpManagerAddress).syncGlobalAccountingAndGracePeriod(); // Calling this increases shares so do it first\n>  \n>          uint256 cachedFeeRecipientCollShares = feeRecipientCollShares;\n> **************************** Diff Block End *****************************/\n> \n346c363\n<     function claimFeeRecipientCollShares(uint256 _shares) external override requiresAuth {\n---\n>     function claimFeeRecipientCollShares(uint256 _shares) external override {\n", "description": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/5.sol"}, "link": "https://prover.certora.com/jobStatus/52567/a04d7ec38b0843f5b0f1ec2d181688b4?anonymousKey=7774aaef2de6f21cb53b2287ef232179a9e8b433", "success": true, "run_directory": ".certora_internal/24_01_21_00_44_16_016/.certora_sources", "rule_report_link": "https://prover.certora.com/output/52567/a04d7ec38b0843f5b0f1ec2d181688b4?anonymousKey=7774aaef2de6f21cb53b2287ef232179a9e8b433"}, {"gambit_mutant": {"filename": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/2.sol", "original_filename": "packages/contracts/contracts/ActivePool.sol", "directory": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool", "id": "m5", "diff": "56a57,73\n> \n> /**************************** Diff Block Start ****************************\n> diff --git a/packages/contracts/contracts/ActivePool.sol b/packages/contracts/contracts/ActivePool.sol\n> index 40b6a1f..1859c0b 100644\n> --- a/packages/contracts/contracts/ActivePool.sol\n> +++ b/packages/contracts/contracts/ActivePool.sol\n> @@ -58,7 +58,7 @@ contract ActivePool is IActivePool, ERC3156FlashLender, ReentrancyGuard, BaseMat\n>  \n>          // TEMP: read authority to avoid signature change\n>          address _authorityAddress = address(AuthNoOwner(cdpManagerAddress).authority());\n> -        if (_authorityAddress != address(0)) {\n> +        if (true) {\n>              _initializeAuthority(_authorityAddress);\n>          }\n>  \n> **************************** Diff Block End *****************************/\n> \n61c78\n<         if (_authorityAddress != address(0)) {\n---\n>         if (true) {\n", "description": "/home/zoid/web3/audits/2023-10-badger-fv/certora/confs/gambit/../../mutations/ActivePool/2.sol"}, "link": "https://prover.certora.com/jobStatus/52567/649c2a5e46854038bb8eab969d4fd87d?anonymousKey=41b367f8db065f0e46325a5a7215350545d6303e", "success": true, "run_directory": ".certora_internal/24_01_21_00_44_16_884/.certora_sources", "rule_report_link": "https://prover.certora.com/output/52567/649c2a5e46854038bb8eab969d4fd87d?anonymousKey=41b367f8db065f0e46325a5a7215350545d6303e"}]}