PolygonBridgeExecutor actionSet("22": {"targets":null,"values":null,"signatures":null,"calldatas":null,"withDelegatecalls":null,"executionTime":null,"executed":true,"canceled":false})

Updated as of block 16875938 at 3/21/2023, 8:13:11 AM ET

Simulation: https://dashboard.tenderly.co/me/simulator/3347fedf-8ee6-4952-adce-73c018eacf86

Checks

Reports all state changes from the proposal ✅ Passed

Info:

State changes:

# InitializableImmutableAdminUpgradeabilityProxy at `0x794a61358D6845594F94dc1DB02A252b5b4814aD` with implementation Pool at `0xDF9e4ABdbd94107932265319479643D3B05809dc`
@@ `_reserves` key `0x3a58a54c066fdc0f2d55fc9c89f0415c92ebf3c4`.configuration.data @@
- 759706821101221219217111552990545551486530263192456
+ 759706821599681717636455005329473199091659479192456

# decoded configuration.data for key `0x3a58a54c066fdc0f2d55fc9c89f0415c92ebf3c4` (symbol: stMATIC)
@@ configuration.data.supplyCap @@
- 15000000
+ 21000000

@@ `_reserves` key `0xa3fa99a148fa48d14ed51d610c367c61876997f1`.configuration.data @@
- 1316403645856964833724355199455899323397484007289689409734837093315648844
+ 1316403645856964833724355199455990707822194945611443315247736190710848844

# decoded configuration.data for key `0xa3fa99a148fa48d14ed51d610c367c61876997f1` (symbol: miMATIC)
@@ configuration.data.borrowCap @@
- 600000
+ 1200000
@@ configuration.data.supplyCap @@
- 1100000
+ 2200000

# PolygonBridgeExecutor at `0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772`
@@ `_actionsSets` key `"22"`.executed @@
- false
+ true

@@ `_queuedActions` key `0x2626399d8e87c8d3bf36b8ef407c556d2ee3e5ff65a2f0b52a980d5a95b2b576` @@
- true
+ false

Check stack trace of the proposal ✅ Passed

Info:

There is no SELFDESTRUCT inside of delegated call

Reports all events emitted from the proposal ✅ Passed

Info:

Events Emitted:
- InitializableImmutableAdminUpgradeabilityProxy at 0x8145eddDf43f50276641b55bd3AD95944510021E with implementation PoolConfigurator at 0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade
  - SupplyCapChanged(asset: 0xa3fa99a148fa48d14ed51d610c367c61876997f1, oldSupplyCap: 1100000, newSupplyCap: 2200000)
  - BorrowCapChanged(asset: 0xa3fa99a148fa48d14ed51d610c367c61876997f1, oldBorrowCap: 600000, newBorrowCap: 1200000)
  - SupplyCapChanged(asset: 0x3a58a54c066fdc0f2d55fc9c89f0415c92ebf3c4, oldSupplyCap: 15000000, newSupplyCap: 21000000)
- PolygonBridgeExecutor at 0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772
  - Undecoded log: {"name":"","anonymous":false,"inputs":null,"raw":{"address":"0xdc9a35b16db4e126cfedc41322b3a36454b1f772","topics":["0xf5efc4bb09a12b6c9561a7e7ab02938a72a4351316b473d574fdaaa89c43eb9a","0x0000000000000000000000000000000000000000000000000000000000000016","0x000000000000000000000000d73a92be73efbfcf3854433a5fcbabf9c1316073"],"data":"0x0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000"}}

Check all targets are verified on Etherscan ✅ Passed

Info:

Targets:
- 0x2e2B1F112C4D79A9D22464F0D345dE9b792705f1: EOA (verification not applicable)
- 0x158a6bC04F0828318821baE797f50B0A1299d45b: EOA (verification not applicable)

Check all touched contracts are verified on Etherscan ✅ Passed

Info:

Touched address:
- 0xD73a92Be73EfbFcF3854433A5FcbAbF9c1316073: EOA (verification not applicable)
- 0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772: Contract (verified) (PolygonBridgeExecutor)
- 0x656482165fDf78f3FdD31D4aD4b518350766f3D5: Contract (verified) (AaveV3PolCapsPayload)
- 0x8145eddDf43f50276641b55bd3AD95944510021E: Contract (verified) (InitializableImmutableAdminUpgradeabilityProxy)
- 0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade: Contract (verified) (PoolConfigurator)
- 0xa97684ead0e402dC232d5A977953DF7ECBaB3CDb: Contract (verified) (PoolAddressesProvider)
- 0xa72636CbcAa8F5FF95B2cc47F3CDEe83F3294a0B: Contract (verified) (ACLManager)
- 0x794a61358D6845594F94dc1DB02A252b5b4814aD: Contract (verified) (InitializableImmutableAdminUpgradeabilityProxy)
- 0xDF9e4ABdbd94107932265319479643D3B05809dc: Contract (verified) (Pool)

Runs solc against the verified contracts ✅ Passed

Info:

View Details

View warnings for AaveV3PolCapsPayload at `0x656482165fDf78f3FdD31D4aD4b518350766f3D5`

ERROR:CryticCompile:ParserError: ParserError: Source "aave-address-book/AaveV3Ethereum.sol" not found: File not found. Searched the following locations: "".
 --> contracts/mainnet/AaveV3EthLusdCapsPayload-Mar15.sol:4:1:
  |
4 | import {AaveV3Ethereum, AaveV3EthereumAssets} from 'aave-address-book/AaveV3Ethereum.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-address-book/AaveV3.sol" not found: File not found. Searched the following locations: "".
 --> contracts/mainnet/AaveV3EthLusdCapsPayload-Mar15.sol:5:1:
  |
5 | import {IPoolConfigurator} from 'aave-address-book/AaveV3.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-helpers/interfaces/IProposalGenericExecutor.sol" not found: File not found. Searched the following locations: "".
 --> contracts/mainnet/AaveV3EthLusdCapsPayload-Mar15.sol:6:1:
  |
6 | import {IProposalGenericExecutor} from 'aave-helpers/interfaces/IProposalGenericExecutor.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/protocol/libraries/types/DataTypes.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:4:1:
  |
4 | import {DataTypes} from 'aave-v3-core/contracts/protocol/libraries/types/DataTypes.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/protocol/libraries/types/ConfiguratorInputTypes.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:5:1:
  |
5 | import {ConfiguratorInputTypes} from 'aave-v3-core/contracts/protocol/libraries/types/ConfiguratorInputTypes.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolAddressesProvider.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:6:1:
  |
6 | import {IPoolAddressesProvider} from 'aave-v3-core/contracts/interfaces/IPoolAddressesProvider.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPool.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:7:1:
  |
7 | import {IPool} from 'aave-v3-core/contracts/interfaces/IPool.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolConfigurator.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:8:1:
  |
8 | import {IPoolConfigurator} from 'aave-v3-core/contracts/interfaces/IPoolConfigurator.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPriceOracleGetter.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:9:1:
  |
9 | import {IPriceOracleGetter} from 'aave-v3-core/contracts/interfaces/IPriceOracleGetter.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IAaveOracle.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:10:1:
   |
10 | import {IAaveOracle} from 'aave-v3-core/contracts/interfaces/IAaveOracle.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IACLManager.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:11:1:
   |
11 | import {IACLManager as BasicIACLManager} from 'aave-v3-core/contracts/interfaces/IACLManager.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolDataProvider.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:12:1:
   |
12 | import {IPoolDataProvider} from 'aave-v3-core/contracts/interfaces/IPoolDataProvider.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:13:1:
   |
13 | import {IDefaultInterestRateStrategy} from 'aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IReserveInterestRateStrategy.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:14:1:
   |
14 | import {IReserveInterestRateStrategy} from 'aave-v3-core/contracts/interfaces/IReserveInterestRateStrategy.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolDataProvider.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:15:1:
   |
15 | import {IPoolDataProvider as IAaveProtocolDataProvider} from 'aave-v3-core/contracts/interfaces/IPoolDataProvider.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

View warnings for InitializableImmutableAdminUpgradeabilityProxy at `0x794a61358D6845594F94dc1DB02A252b5b4814aD` with implementation Pool at `0xDF9e4ABdbd94107932265319479643D3B05809dc`

INFO:CryticCompile:Source code not available, try to fetch the bytecode only

View warnings for InitializableImmutableAdminUpgradeabilityProxy at `0x8145eddDf43f50276641b55bd3AD95944510021E` with implementation PoolConfigurator at `0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade`

INFO:CryticCompile:Source code not available, try to fetch the bytecode only

View warnings for ACLManager at `0xa72636CbcAa8F5FF95B2cc47F3CDEe83F3294a0B`

INFO:CryticCompile:Source code not available, try to fetch the bytecode only

View warnings for PoolAddressesProvider at `0xa97684ead0e402dC232d5A977953DF7ECBaB3CDb`

INFO:CryticCompile:Source code not available, try to fetch the bytecode only

View warnings for PoolConfigurator at `0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade`

INFO:CryticCompile:Source code not available, try to fetch the bytecode only

View warnings for PolygonBridgeExecutor at `0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772`

INFO:CryticCompile:Source code not available, try to fetch the bytecode only

View warnings for Pool at `0xDF9e4ABdbd94107932265319479643D3B05809dc`

INFO:CryticCompile:Source code not available, try to fetch the bytecode only

Runs slither against the verified contracts ✅ Passed

Info:

View Details

Slither report for AaveV3PolCapsPayload at `0x656482165fDf78f3FdD31D4aD4b518350766f3D5`

Traceback (most recent call last):
  File "/home/sakulstra/.local/lib/python3.10/site-packages/slither/__main__.py", line 744, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/sakulstra/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_all
    compilations = compile_all(target, **vars(args))
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/crytic_compile.py", line 637, in compile_all
    compilations.append(CryticCompile(target, **kwargs))
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/crytic_compile.py", line 117, in __init__
    self._compile(**kwargs)
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/crytic_compile.py", line 548, in _compile
    self._platform.compile(self, **kwargs)
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/platform/etherscan.py", line 331, in compile
    solc_standard_json.standalone_compile(filenames, compilation_unit, working_dir=working_dir)
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/platform/solc_standard_json.py", line 65, in standalone_compile
    targets_json = run_solc_standard_json(
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/platform/solc_standard_json.py", line 179, in run_solc_standard_json
    raise InvalidCompilation(solc_exception_str)
crytic_compile.platform.exceptions.InvalidCompilation: ParserError: ParserError: Source "aave-address-book/AaveV3Ethereum.sol" not found: File not found. Searched the following locations: "".
 --> contracts/mainnet/AaveV3EthLusdCapsPayload-Mar15.sol:4:1:
  |
4 | import {AaveV3Ethereum, AaveV3EthereumAssets} from 'aave-address-book/AaveV3Ethereum.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-address-book/AaveV3.sol" not found: File not found. Searched the following locations: "".
 --> contracts/mainnet/AaveV3EthLusdCapsPayload-Mar15.sol:5:1:
  |
5 | import {IPoolConfigurator} from 'aave-address-book/AaveV3.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-helpers/interfaces/IProposalGenericExecutor.sol" not found: File not found. Searched the following locations: "".
 --> contracts/mainnet/AaveV3EthLusdCapsPayload-Mar15.sol:6:1:
  |
6 | import {IProposalGenericExecutor} from 'aave-helpers/interfaces/IProposalGenericExecutor.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/protocol/libraries/types/DataTypes.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:4:1:
  |
4 | import {DataTypes} from 'aave-v3-core/contracts/protocol/libraries/types/DataTypes.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/protocol/libraries/types/ConfiguratorInputTypes.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:5:1:
  |
5 | import {ConfiguratorInputTypes} from 'aave-v3-core/contracts/protocol/libraries/types/ConfiguratorInputTypes.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolAddressesProvider.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:6:1:
  |
6 | import {IPoolAddressesProvider} from 'aave-v3-core/contracts/interfaces/IPoolAddressesProvider.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPool.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:7:1:
  |
7 | import {IPool} from 'aave-v3-core/contracts/interfaces/IPool.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolConfigurator.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:8:1:
  |
8 | import {IPoolConfigurator} from 'aave-v3-core/contracts/interfaces/IPoolConfigurator.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPriceOracleGetter.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:9:1:
  |
9 | import {IPriceOracleGetter} from 'aave-v3-core/contracts/interfaces/IPriceOracleGetter.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IAaveOracle.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:10:1:
   |
10 | import {IAaveOracle} from 'aave-v3-core/contracts/interfaces/IAaveOracle.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IACLManager.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:11:1:
   |
11 | import {IACLManager as BasicIACLManager} from 'aave-v3-core/contracts/interfaces/IACLManager.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolDataProvider.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:12:1:
   |
12 | import {IPoolDataProvider} from 'aave-v3-core/contracts/interfaces/IPoolDataProvider.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:13:1:
   |
13 | import {IDefaultInterestRateStrategy} from 'aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IReserveInterestRateStrategy.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:14:1:
   |
14 | import {IReserveInterestRateStrategy} from 'aave-v3-core/contracts/interfaces/IReserveInterestRateStrategy.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolDataProvider.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:15:1:
   |
15 | import {IPoolDataProvider as IAaveProtocolDataProvider} from 'aave-v3-core/contracts/interfaces/IPoolDataProvider.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^



None
Error in 0x656482165fDf78f3FdD31D4aD4b518350766f3D5
Traceback (most recent call last):
  File "/home/sakulstra/.local/lib/python3.10/site-packages/slither/__main__.py", line 744, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/sakulstra/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_all
    compilations = compile_all(target, **vars(args))
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/crytic_compile.py", line 637, in compile_all
    compilations.append(CryticCompile(target, **kwargs))
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/crytic_compile.py", line 117, in __init__
    self._compile(**kwargs)
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/crytic_compile.py", line 548, in _compile
    self._platform.compile(self, **kwargs)
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/platform/etherscan.py", line 331, in compile
    solc_standard_json.standalone_compile(filenames, compilation_unit, working_dir=working_dir)
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/platform/solc_standard_json.py", line 65, in standalone_compile
    targets_json = run_solc_standard_json(
  File "/home/sakulstra/.local/lib/python3.10/site-packages/crytic_compile/platform/solc_standard_json.py", line 179, in run_solc_standard_json
    raise InvalidCompilation(solc_exception_str)
crytic_compile.platform.exceptions.InvalidCompilation: ParserError: ParserError: Source "aave-address-book/AaveV3Ethereum.sol" not found: File not found. Searched the following locations: "".
 --> contracts/mainnet/AaveV3EthLusdCapsPayload-Mar15.sol:4:1:
  |
4 | import {AaveV3Ethereum, AaveV3EthereumAssets} from 'aave-address-book/AaveV3Ethereum.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-address-book/AaveV3.sol" not found: File not found. Searched the following locations: "".
 --> contracts/mainnet/AaveV3EthLusdCapsPayload-Mar15.sol:5:1:
  |
5 | import {IPoolConfigurator} from 'aave-address-book/AaveV3.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-helpers/interfaces/IProposalGenericExecutor.sol" not found: File not found. Searched the following locations: "".
 --> contracts/mainnet/AaveV3EthLusdCapsPayload-Mar15.sol:6:1:
  |
6 | import {IProposalGenericExecutor} from 'aave-helpers/interfaces/IProposalGenericExecutor.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/protocol/libraries/types/DataTypes.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:4:1:
  |
4 | import {DataTypes} from 'aave-v3-core/contracts/protocol/libraries/types/DataTypes.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/protocol/libraries/types/ConfiguratorInputTypes.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:5:1:
  |
5 | import {ConfiguratorInputTypes} from 'aave-v3-core/contracts/protocol/libraries/types/ConfiguratorInputTypes.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolAddressesProvider.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:6:1:
  |
6 | import {IPoolAddressesProvider} from 'aave-v3-core/contracts/interfaces/IPoolAddressesProvider.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPool.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:7:1:
  |
7 | import {IPool} from 'aave-v3-core/contracts/interfaces/IPool.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolConfigurator.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:8:1:
  |
8 | import {IPoolConfigurator} from 'aave-v3-core/contracts/interfaces/IPoolConfigurator.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPriceOracleGetter.sol" not found: File not found. Searched the following locations: "".
 --> lib/aave-address-book/src/AaveV3.sol:9:1:
  |
9 | import {IPriceOracleGetter} from 'aave-v3-core/contracts/interfaces/IPriceOracleGetter.sol';
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IAaveOracle.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:10:1:
   |
10 | import {IAaveOracle} from 'aave-v3-core/contracts/interfaces/IAaveOracle.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IACLManager.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:11:1:
   |
11 | import {IACLManager as BasicIACLManager} from 'aave-v3-core/contracts/interfaces/IACLManager.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolDataProvider.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:12:1:
   |
12 | import {IPoolDataProvider} from 'aave-v3-core/contracts/interfaces/IPoolDataProvider.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:13:1:
   |
13 | import {IDefaultInterestRateStrategy} from 'aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IReserveInterestRateStrategy.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:14:1:
   |
14 | import {IReserveInterestRateStrategy} from 'aave-v3-core/contracts/interfaces/IReserveInterestRateStrategy.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^


ParserError: ParserError: Source "aave-v3-core/contracts/interfaces/IPoolDataProvider.sol" not found: File not found. Searched the following locations: "".
  --> lib/aave-address-book/src/AaveV3.sol:15:1:
   |
15 | import {IPoolDataProvider as IAaveProtocolDataProvider} from 'aave-v3-core/contracts/interfaces/IPoolDataProvider.sol';
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Slither report for InitializableImmutableAdminUpgradeabilityProxy at `0x794a61358D6845594F94dc1DB02A252b5b4814aD` with implementation Pool at `0xDF9e4ABdbd94107932265319479643D3B05809dc`

Source code not available, try to fetch the bytecode only
No contract were found in None, check the correct compilation
No contract was analyzed
0x794a61358D6845594F94dc1DB02A252b5b4814aD analyzed (0 contracts with 72 detectors), 0 result(s) found

Slither report for InitializableImmutableAdminUpgradeabilityProxy at `0x8145eddDf43f50276641b55bd3AD95944510021E` with implementation PoolConfigurator at `0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade`

Source code not available, try to fetch the bytecode only
No contract were found in None, check the correct compilation
No contract was analyzed
0x8145eddDf43f50276641b55bd3AD95944510021E analyzed (0 contracts with 72 detectors), 0 result(s) found

Slither report for ACLManager at `0xa72636CbcAa8F5FF95B2cc47F3CDEe83F3294a0B`

Source code not available, try to fetch the bytecode only
No contract were found in None, check the correct compilation
No contract was analyzed
0xa72636CbcAa8F5FF95B2cc47F3CDEe83F3294a0B analyzed (0 contracts with 72 detectors), 0 result(s) found

Slither report for PoolAddressesProvider at `0xa97684ead0e402dC232d5A977953DF7ECBaB3CDb`

Source code not available, try to fetch the bytecode only
No contract were found in None, check the correct compilation
No contract was analyzed
0xa97684ead0e402dC232d5A977953DF7ECBaB3CDb analyzed (0 contracts with 72 detectors), 0 result(s) found

Slither report for PoolConfigurator at `0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade`

Source code not available, try to fetch the bytecode only
No contract were found in None, check the correct compilation
No contract was analyzed
0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade analyzed (0 contracts with 72 detectors), 0 result(s) found

Slither report for PolygonBridgeExecutor at `0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772`

Source code not available, try to fetch the bytecode only
No contract were found in None, check the correct compilation
No contract was analyzed
0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772 analyzed (0 contracts with 72 detectors), 0 result(s) found

Slither report for Pool at `0xDF9e4ABdbd94107932265319479643D3B05809dc`

Source code not available, try to fetch the bytecode only
No contract were found in None, check the correct compilation
No contract was analyzed
0xDF9e4ABdbd94107932265319479643D3B05809dc analyzed (0 contracts with 72 detectors), 0 result(s) found

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

186_fx_22_0.md

186_fx_22_0.md

PolygonBridgeExecutor actionSet("22": {"targets":null,"values":null,"signatures":null,"calldatas":null,"withDelegatecalls":null,"executionTime":null,"executed":true,"canceled":false})

Checks

Reports all state changes from the proposal ✅ Passed

Check stack trace of the proposal ✅ Passed

Reports all events emitted from the proposal ✅ Passed

Check all targets are verified on Etherscan ✅ Passed

Check all touched contracts are verified on Etherscan ✅ Passed

Runs solc against the verified contracts ✅ Passed

Runs slither against the verified contracts ✅ Passed

Files

186_fx_22_0.md

Latest commit

History

186_fx_22_0.md

File metadata and controls

PolygonBridgeExecutor actionSet("22": {"targets":null,"values":null,"signatures":null,"calldatas":null,"withDelegatecalls":null,"executionTime":null,"executed":true,"canceled":false})

Checks

Reports all state changes from the proposal ✅ Passed

Check stack trace of the proposal ✅ Passed

Reports all events emitted from the proposal ✅ Passed

Check all targets are verified on Etherscan ✅ Passed

Check all touched contracts are verified on Etherscan ✅ Passed

Runs solc against the verified contracts ✅ Passed

Runs slither against the verified contracts ✅ Passed