Skip to content
This repository has been archived by the owner on Feb 18, 2024. It is now read-only.

Latest commit

 

History

History
487 lines (393 loc) · 28 KB

File metadata and controls

487 lines (393 loc) · 28 KB

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

Updated as of block 16461341 at 1/22/2023, 4:06:59 AM ET

Checks

Reports all state changes from the proposal ✅ Passed

Info:

  • State changes:
# InitializableImmutableAdminUpgradeabilityProxy at `0x794a61358D6845594F94dc1DB02A252b5b4814aD` with implementation Pool at `0xDF9e4ABdbd94107932265319479643D3B05809dc`
@@ `_reserves` key `0xe0b52e49357fd4daf2c15e02058dce6bc0057db4`.configuration.data @@
- 379853409927534986584376461090060287079388591161344
+ 379853409927534986584376461090060431194576667017216

# decoded configuration.data for key `0xe0b52e49357fd4daf2c15e02058dce6bc0057db4` (symbol: agEUR)
@@ configuration.data.frozen @@
- false
+ true
# PolygonBridgeExecutor at `0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772`
@@ `_queuedActions` key `0xe3e1e9f3bb67cad072b0537fb2e1e8cf633ee0f5f903d5b413bb95bd4d67ce05` @@
- true
+ false

@@ `_actionsSets` key `"11"`.executed @@
- false
+ true

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
      • ReserveFrozen(asset: 0xe0b52e49357fd4daf2c15e02058dce6bc0057db4, frozen: true)
    • PolygonBridgeExecutor at 0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772
      • ActionsSetExecuted(id: 11, initiatorExecution: 0xd73a92be73efbfcf3854433a5fcbabf9c1316073, returnedData: 0x)

Check all targets are verified on Etherscan ✅ Passed

Info:

  • Targets:
    • 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)
    • 0x7b8Fa4540246554e77FCFf140f9114de00F8bB8D: Contract (verified) (AaveV3PolFreezeAGEUR)
    • 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 InitializableImmutableAdminUpgradeabilityProxy at `0x794a61358D6845594F94dc1DB02A252b5b4814aD` with implementation Pool at `0xDF9e4ABdbd94107932265319479643D3B05809dc`
INFO:CryticCompile:Source code not available, try to fetch the bytecode only
View warnings for AaveV3PolFreezeAGEUR at `0x7b8Fa4540246554e77FCFf140f9114de00F8bB8D`
ERROR:CryticCompile:Invalid solc compilation Traceback (most recent call last):
  File "/home/runner/.local/bin/solc", line 8, in <module>
    sys.exit(solc())
  File "/home/runner/.local/lib/python3.10/site-packages/solc_select/__main__.py", line 88, in solc
    process = subprocess.run(
  File "/usr/lib/python3.10/subprocess.py", line 501, in run
    with Popen(*popenargs, **kwargs) as process:
  File "/usr/lib/python3.10/subprocess.py", line 969, in __init__
    self._execute_child(args, executable, preexec_fn, close_fds,
  File "/usr/lib/python3.10/subprocess.py", line 1845, in _execute_child
    raise child_exception_type(errno_num, err_msg, err_filename)
PermissionError: [Errno 13] Permission denied: '/home/runner/.solc-select/artifacts/solc-0.8.17/solc-0.8.17'

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 InitializableImmutableAdminUpgradeabilityProxy at `0x794a61358D6845594F94dc1DB02A252b5b4814aD` with implementation Pool at `0xDF9e4ABdbd94107932265319479643D3B05809dc`
Source code not available, try to fetch the bytecode only
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'
Error in 0x794a61358D6845594F94dc1DB02A252b5b4814aD
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'

Slither report for AaveV3PolFreezeAGEUR at `0x7b8Fa4540246554e77FCFf140f9114de00F8bB8D`

DefaultReserveInterestRateStrategy.calculateInterestRates(DataTypes.CalculateInterestRatesParams).vars (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#168) is a local variable never initialized
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-local-variables

PercentageMath.percentMul(uint256,uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/PercentageMath.sol#25-39) uses assembly
	- INLINE ASM (lib/aave-v3-core/contracts/protocol/libraries/math/PercentageMath.sol#27-38)
PercentageMath.percentDiv(uint256,uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/PercentageMath.sol#48-60) uses assembly
	- INLINE ASM (lib/aave-v3-core/contracts/protocol/libraries/math/PercentageMath.sol#50-59)
WadRayMath.wadMul(uint256,uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#29-38) uses assembly
	- INLINE ASM (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#31-37)
WadRayMath.wadDiv(uint256,uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#47-56) uses assembly
	- INLINE ASM (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#49-55)
WadRayMath.rayMul(uint256,uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#65-74) uses assembly
	- INLINE ASM (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#67-73)
WadRayMath.rayDiv(uint256,uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#83-92) uses assembly
	- INLINE ASM (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#85-91)
WadRayMath.rayToWad(uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#100-108) uses assembly
	- INLINE ASM (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#101-107)
WadRayMath.wadToRay(uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#116-125) uses assembly
	- INLINE ASM (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#118-124)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#assembly-usage

PercentageMath.percentDiv(uint256,uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/PercentageMath.sol#48-60) is never used and should be removed
WadRayMath.rayToWad(uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#100-108) is never used and should be removed
WadRayMath.wadDiv(uint256,uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#47-56) is never used and should be removed
WadRayMath.wadMul(uint256,uint256) (lib/aave-v3-core/contracts/protocol/libraries/math/WadRayMath.sol#29-38) is never used and should be removed
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#dead-code

Function IDefaultInterestRateStrategy.OPTIMAL_USAGE_RATIO() (lib/aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol#17) is not in mixedCase
Function IDefaultInterestRateStrategy.OPTIMAL_STABLE_TO_TOTAL_DEBT_RATIO() (lib/aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol#23) is not in mixedCase
Function IDefaultInterestRateStrategy.MAX_EXCESS_USAGE_RATIO() (lib/aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol#30) is not in mixedCase
Function IDefaultInterestRateStrategy.MAX_EXCESS_STABLE_TO_TOTAL_DEBT_RATIO() (lib/aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol#37) is not in mixedCase
Function IDefaultInterestRateStrategy.ADDRESSES_PROVIDER() (lib/aave-v3-core/contracts/interfaces/IDefaultInterestRateStrategy.sol#43) is not in mixedCase
Variable DefaultReserveInterestRateStrategy.OPTIMAL_USAGE_RATIO (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#27) is not in mixedCase
Variable DefaultReserveInterestRateStrategy.OPTIMAL_STABLE_TO_TOTAL_DEBT_RATIO (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#30) is not in mixedCase
Variable DefaultReserveInterestRateStrategy.MAX_EXCESS_USAGE_RATIO (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#33) is not in mixedCase
Variable DefaultReserveInterestRateStrategy.MAX_EXCESS_STABLE_TO_TOTAL_DEBT_RATIO (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#36) is not in mixedCase
Variable DefaultReserveInterestRateStrategy.ADDRESSES_PROVIDER (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#38) is not in mixedCase
Variable DefaultReserveInterestRateStrategy._baseVariableBorrowRate (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#41) is not in mixedCase
Variable DefaultReserveInterestRateStrategy._variableRateSlope1 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#44) is not in mixedCase
Variable DefaultReserveInterestRateStrategy._variableRateSlope2 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#47) is not in mixedCase
Variable DefaultReserveInterestRateStrategy._stableRateSlope1 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#50) is not in mixedCase
Variable DefaultReserveInterestRateStrategy._stableRateSlope2 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#53) is not in mixedCase
Variable DefaultReserveInterestRateStrategy._baseStableRateOffset (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#56) is not in mixedCase
Variable DefaultReserveInterestRateStrategy._stableRateExcessOffset (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#59) is not in mixedCase
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#conformance-to-solidity-naming-conventions

Variable DefaultReserveInterestRateStrategy._stableRateSlope1 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#50) is too similar to DefaultReserveInterestRateStrategy._stableRateSlope2 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#53)
Variable DefaultReserveInterestRateStrategy._variableRateSlope1 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#44) is too similar to DefaultReserveInterestRateStrategy._variableRateSlope2 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#47)
Variable DefaultReserveInterestRateStrategy.constructor(IPoolAddressesProvider,uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256).stableRateSlope1 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#80) is too similar to DefaultReserveInterestRateStrategy.constructor(IPoolAddressesProvider,uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256).stableRateSlope2 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#81)
Variable DefaultReserveInterestRateStrategy.constructor(IPoolAddressesProvider,uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256).variableRateSlope1 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#78) is too similar to DefaultReserveInterestRateStrategy.constructor(IPoolAddressesProvider,uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256).variableRateSlope2 (lib/aave-v3-core/contracts/protocol/pool/DefaultReserveInterestRateStrategy.sol#79)
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#variable-names-too-similar
0x7b8Fa4540246554e77FCFf140f9114de00F8bB8D analyzed (9 contracts with 78 detectors), 34 result(s) found
Slither report for InitializableImmutableAdminUpgradeabilityProxy at `0x8145eddDf43f50276641b55bd3AD95944510021E` with implementation PoolConfigurator at `0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade`
Source code not available, try to fetch the bytecode only
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'
Error in 0x8145eddDf43f50276641b55bd3AD95944510021E
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'

Slither report for ACLManager at `0xa72636CbcAa8F5FF95B2cc47F3CDEe83F3294a0B`
Source code not available, try to fetch the bytecode only
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'
Error in 0xa72636CbcAa8F5FF95B2cc47F3CDEe83F3294a0B
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'

Slither report for PoolAddressesProvider at `0xa97684ead0e402dC232d5A977953DF7ECBaB3CDb`
Source code not available, try to fetch the bytecode only
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'
Error in 0xa97684ead0e402dC232d5A977953DF7ECBaB3CDb
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'

Slither report for PoolConfigurator at `0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade`
Source code not available, try to fetch the bytecode only
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'
Error in 0xD6FA681E22306b0F4E605B979b7c9a1dFa865ade
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'

Slither report for PolygonBridgeExecutor at `0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772`
Source code not available, try to fetch the bytecode only
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'
Error in 0xdc9A35B16DB4e126cFeDC41322b3a36454B1F772
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'

Slither report for Pool at `0xDF9e4ABdbd94107932265319479643D3B05809dc`
Source code not available, try to fetch the bytecode only
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'
Error in 0xDF9e4ABdbd94107932265319479643D3B05809dc
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 834, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 98, in process_all
    ) = process_single(compilation, args, detector_classes, printer_classes)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/__main__.py", line 76, in process_single
    slither = Slither(target, ast_format=ast, **vars(args))
  File "/home/runner/.local/lib/python3.10/site-packages/slither/slither.py", line 112, in __init__
    parser.parse_top_level_from_loaded_json(ast, path)
  File "/home/runner/.local/lib/python3.10/site-packages/slither/solc_parsing/slither_compilation_unit_solc.py", line 206, in parse_top_level_from_loaded_json
    if data_loaded[self.get_key()] == "root":
KeyError: 'name'