WLYX Audit - M8B
wLYX.sol
Setup
Commit
c493d815763b546dd6cb6af720c6ea00553daf96
Version
solidity version 0.8.20
Command
myth -v 4 analyze --solv 0.8.20 --solc-json /myth/myth-solc.json /myth/contracts/wLYX.sol
Dependencies
Output
TL:DR;
mythril.analysis.security [INFO]: Starting analysis
mythril.mythril.mythril_analyzer [INFO]: Solver statistics:
Query count: 8286
Solver time: 2380.3691534996033
The analysis was completed successfully. No issues were detected.
[ADD ] 0.9386 %, nr 1399, total 3.0280 s, avg 0.0022 s, min 0.0013 s, max 0.0057 s
[ADDRESS ] 0.0005 %, nr 1, total 0.0017 s, avg 0.0017 s, min 0.0017 s, max 0.0017 s
[AND ] 1.4253 %, nr 952, total 4.5982 s, avg 0.0048 s, min 0.0013 s, max 2.6324 s
[CALLDATALOAD] 42.9974 %, nr 264, total 138.7131 s, avg 0.5254 s, min 0.4405 s, max 0.6374 s
[CALLDATASIZE] 0.1009 %, nr 144, total 0.3256 s, avg 0.0023 s, min 0.0016 s, max 0.0038 s
[CALLER ] 0.0833 %, nr 129, total 0.2687 s, avg 0.0021 s, min 0.0012 s, max 0.0041 s
[CALLVALUE ] 0.0057 %, nr 10, total 0.0183 s, avg 0.0018 s, min 0.0013 s, max 0.0021 s
[CHAINID ] 0.0005 %, nr 1, total 0.0018 s, avg 0.0018 s, min 0.0018 s, max 0.0018 s
[CODECOPY ] 1.5957 %, nr 2, total 5.1480 s, avg 2.5740 s, min 0.2741 s, max 4.8739 s
[CODESIZE ] 0.0005 %, nr 1, total 0.0015 s, avg 0.0015 s, min 0.0015 s, max 0.0015 s
[DIV ] 0.1453 %, nr 181, total 0.4688 s, avg 0.0026 s, min 0.0016 s, max 0.0058 s
[DUP1 ] 0.9771 %, nr 1446, total 3.1523 s, avg 0.0022 s, min 0.0012 s, max 0.1837 s
[DUP10 ] 0.0246 %, nr 39, total 0.0795 s, avg 0.0020 s, min 0.0017 s, max 0.0028 s
[DUP11 ] 0.0197 %, nr 30, total 0.0635 s, avg 0.0021 s, min 0.0017 s, max 0.0033 s
[DUP2 ] 1.6939 %, nr 2590, total 5.4646 s, avg 0.0021 s, min 0.0012 s, max 0.2988 s
[DUP3 ] 1.0752 %, nr 1730, total 3.4686 s, avg 0.0020 s, min 0.0012 s, max 0.0056 s
[DUP4 ] 0.3844 %, nr 598, total 1.2402 s, avg 0.0021 s, min 0.0013 s, max 0.0047 s
[DUP5 ] 0.2644 %, nr 418, total 0.8530 s, avg 0.0020 s, min 0.0012 s, max 0.0044 s
[DUP6 ] 0.2310 %, nr 358, total 0.7452 s, avg 0.0021 s, min 0.0012 s, max 0.0042 s
[DUP7 ] 0.1578 %, nr 243, total 0.5091 s, avg 0.0021 s, min 0.0013 s, max 0.0051 s
[DUP8 ] 0.0422 %, nr 69, total 0.1361 s, avg 0.0020 s, min 0.0013 s, max 0.0025 s
[DUP9 ] 0.0065 %, nr 10, total 0.0209 s, avg 0.0021 s, min 0.0018 s, max 0.0027 s
[EQ ] 0.4213 %, nr 598, total 1.3592 s, avg 0.0023 s, min 0.0015 s, max 0.0041 s
[EXP ] 0.1166 %, nr 138, total 0.3763 s, avg 0.0027 s, min 0.0018 s, max 0.0055 s
[GAS ] 0.0006 %, nr 1, total 0.0019 s, avg 0.0019 s, min 0.0019 s, max 0.0019 s
[GT ] 0.0614 %, nr 86, total 0.1982 s, avg 0.0023 s, min 0.0015 s, max 0.0041 s
[ISZERO ] 0.1788 %, nr 250, total 0.5769 s, avg 0.0023 s, min 0.0014 s, max 0.0037 s
[JUMP ] 6.6472 %, nr 4939, total 21.4445 s, avg 0.0043 s, min 0.0022 s, max 0.0111 s
[JUMPDEST ] 4.6682 %, nr 5895, total 15.0601 s, avg 0.0026 s, min 0.0011 s, max 2.0147 s
[JUMPI ] 3.3268 %, nr 1069, total 10.7325 s, avg 0.0100 s, min 0.0030 s, max 0.0205 s
[LOG3 ] 0.0155 %, nr 25, total 0.0499 s, avg 0.0020 s, min 0.0013 s, max 0.0030 s
[LOG4 ] 0.0013 %, nr 2, total 0.0042 s, avg 0.0021 s, min 0.0020 s, max 0.0022 s
[LT ] 0.0686 %, nr 87, total 0.2213 s, avg 0.0025 s, min 0.0015 s, max 0.0048 s
[MLOAD ] 3.8898 %, nr 533, total 12.5488 s, avg 0.0235 s, min 0.0196 s, max 0.0596 s
[MSTORE ] 4.7862 %, nr 716, total 15.4408 s, avg 0.0216 s, min 0.0127 s, max 0.0505 s
[MUL ] 0.0586 %, nr 85, total 0.1891 s, avg 0.0022 s, min 0.0014 s, max 0.0058 s
[NOT ] 0.0171 %, nr 30, total 0.0551 s, avg 0.0018 s, min 0.0014 s, max 0.0023 s
[OR ] 0.0169 %, nr 27, total 0.0545 s, avg 0.0020 s, min 0.0014 s, max 0.0033 s
[POP ] 4.7049 %, nr 5329, total 15.1784 s, avg 0.0028 s, min 0.0012 s, max 4.3926 s
[PUSH0 ] 2.3681 %, nr 3075, total 7.6396 s, avg 0.0025 s, min 0.0012 s, max 1.2981 s
[PUSH1 ] 1.8662 %, nr 2304, total 6.0204 s, avg 0.0026 s, min 0.0013 s, max 0.7094 s
[PUSH2 ] 4.3915 %, nr 6515, total 14.1675 s, avg 0.0022 s, min 0.0013 s, max 0.0052 s
[PUSH20 ] 1.2261 %, nr 859, total 3.9555 s, avg 0.0046 s, min 0.0013 s, max 1.6308 s
[PUSH3 ] 0.0322 %, nr 71, total 0.1039 s, avg 0.0015 s, min 0.0012 s, max 0.0037 s
[PUSH32 ] 0.1277 %, nr 137, total 0.4119 s, avg 0.0030 s, min 0.0013 s, max 0.0049 s
[PUSH4 ] 0.2488 %, nr 342, total 0.8026 s, avg 0.0023 s, min 0.0018 s, max 0.0048 s
[PUSH8 ] 0.0009 %, nr 2, total 0.0030 s, avg 0.0015 s, min 0.0015 s, max 0.0015 s
[SHA3 ] 1.6386 %, nr 121, total 5.2864 s, avg 0.0437 s, min 0.0393 s, max 0.0949 s
[SHL ] 0.0038 %, nr 6, total 0.0122 s, avg 0.0020 s, min 0.0015 s, max 0.0025 s
[SHR ] 0.0083 %, nr 14, total 0.0267 s, avg 0.0019 s, min 0.0014 s, max 0.0023 s
[SLOAD ] 0.2718 %, nr 332, total 0.8768 s, avg 0.0026 s, min 0.0014 s, max 0.0060 s
[SLT ] 0.1027 %, nr 136, total 0.3312 s, avg 0.0024 s, min 0.0015 s, max 0.0047 s
[SSTORE ] 0.0457 %, nr 65, total 0.1474 s, avg 0.0023 s, min 0.0014 s, max 0.0044 s
[STATICCALL ] 0.0333 %, nr 1, total 0.1075 s, avg 0.1075 s, min 0.1075 s, max 0.1075 s
[SUB ] 0.8386 %, nr 690, total 2.7054 s, avg 0.0039 s, min 0.0013 s, max 1.1696 s
[SWAP1 ] 3.4349 %, nr 3941, total 11.0814 s, avg 0.0028 s, min 0.0012 s, max 3.1568 s
[SWAP2 ] 1.6263 %, nr 2215, total 5.2464 s, avg 0.0024 s, min 0.0012 s, max 0.4901 s
[SWAP3 ] 0.5187 %, nr 840, total 1.6735 s, avg 0.0020 s, min 0.0011 s, max 0.0048 s
[SWAP4 ] 0.0381 %, nr 60, total 0.1231 s, avg 0.0021 s, min 0.0017 s, max 0.0038 s
[SWAP5 ] 0.0115 %, nr 18, total 0.0370 s, avg 0.0021 s, min 0.0018 s, max 0.0032 s
[SWAP6 ] 0.0093 %, nr 15, total 0.0300 s, avg 0.0020 s, min 0.0017 s, max 0.0026 s
[SWAP7 ] 0.0063 %, nr 10, total 0.0203 s, avg 0.0020 s, min 0.0018 s, max 0.0029 s
mythril.analysis.security [INFO]: Starting analysis
mythril.mythril.mythril_analyzer [INFO]: Solver statistics:
Query count: 8286
Solver time: 2380.3691534996033
The analysis was completed successfully. No issues were detected.