-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathmythril_results.txt
42 lines (37 loc) · 2.02 KB
/
mythril_results.txt
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
Interstellar:Consensys-Bootcamp-Final-Project-researchDAO adr$ myth a -a 0x1C94a88286E7505e5d505AF8779F5BF87DBED9C1 --rpc ganache
==== Exception State ====
SWC ID: 110
Severity: Low
Contract: 0x1C94a88286E7505e5d505AF8779F5BF87DBED9C1
Function name: proposalsOfMembers(address,uint256)
PC address: 2469
Estimated Gas Usage: 736 - 1021
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.
--------------------
Transaction Sequence:
Caller: [CREATOR], data: [CONTRACT CREATION], value: 0x0
==== Exception State ====
SWC ID: 110
Severity: Low
Contract: 0x1C94a88286E7505e5d505AF8779F5BF87DBED9C1
Function name: proposalQueue(uint256)
PC address: 4864
Estimated Gas Usage: 794 - 889
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.
--------------------
Transaction Sequence:
Caller: [SOMEGUY], function: proposalQueue(uint256), txdata: 0x3b214a747474747474747474747474747474747474747474747474747474747474747474, value: 0x0
==== Exception State ====
SWC ID: 110
Severity: Low
Contract: 0x1C94a88286E7505e5d505AF8779F5BF87DBED9C1
Function name: memberArray(uint256)
PC address: 8687
Estimated Gas Usage: 1058 - 1153
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.
--------------------
Transaction Sequence:
Caller: [CREATOR], data: [CONTRACT CREATION], value: 0x0