This repository has been archived by the owner on Jul 20, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 3
/
GeneralPermissionManagerProxy.sol.mythril.out
68 lines (55 loc) · 2.7 KB
/
GeneralPermissionManagerProxy.sol.mythril.out
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
==== Exception State ====
SWC ID: 110
Severity: Low
Contract: GeneralPermissionManagerStorage
Function name: [allDelegates(uint256), allDelegates(uint256)] (ambiguous)
PC address: 474
Estimated Gas Usage: 645 - 740
A reachable exception has been detected.
It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking.
--------------------
In file: modules/GeneralPermissionManagerProxy.sol:372
address[] public allDelegates
--------------------
==== Delegatecall Proxy ====
SWC ID: 112
Severity: Low
Contract: OwnedUpgradeabilityProxy
Function name: fallback
PC address: 2172
Estimated Gas Usage: 714 - 3443
The contract implements a delegatecall proxy.
The smart contract forwards the received calldata via delegatecall. Note that callers can execute arbitrary functions in the callee contract and that the callee contract can access the storage of the calling contract. Make sure that the callee contract is audited properly.DELEGATECALL target: 0x0
--------------------
In file: modules/GeneralPermissionManagerProxy.sol:35
delegatecall(gas, implementation, 0, calldatasize, 0, 0)
--------------------
==== Exception State ====
SWC ID: 110
Severity: Low
Contract: GeneralPermissionManagerProxy
Function name: [allDelegates(uint256), allDelegates(uint256)] (ambiguous)
PC address: 2560
Estimated Gas Usage: 690 - 785
A reachable exception has been detected.
It is possible to trigger an exception (opcode 0xfe). Exceptions can be caused by type errors, division by zero, out-of-bounds array access, or assert violations. Note that explicit `assert()` should only be used to check invariants. Use `require()` for regular input checking.
--------------------
In file: modules/GeneralPermissionManagerProxy.sol:372
address[] public allDelegates
--------------------
==== Delegatecall Proxy ====
SWC ID: 112
Severity: Low
Contract: GeneralPermissionManagerProxy
Function name: fallback
PC address: 3433
Estimated Gas Usage: 726 - 3455
The contract implements a delegatecall proxy.
The smart contract forwards the received calldata via delegatecall. Note that callers can execute arbitrary functions in the callee contract and that the callee contract can access the storage of the calling contract. Make sure that the callee contract is audited properly.DELEGATECALL target: Concat(0,
Extract(159,
0,
3_code_224(GeneralPermissionManagerProxy)))
--------------------
In file: modules/GeneralPermissionManagerProxy.sol:35
delegatecall(gas, implementation, 0, calldatasize, 0, 0)
--------------------