Bridge Audit - M8B
Bridge.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/Bridge.sol
Dependencies
Output
TL:DR;
mythril.analysis.security [INFO]: Starting analysis
mythril.mythril.mythril_analyzer [INFO]: Solver statistics:
Query count: 10414
Solver time: 2818.2891144752502
The analysis was completed successfully. No issues were detected.
mythril.laser.plugin.plugins.instruction_profiler [INFO]: Total: 312.8445451259613 s
[ADD ] 1.0387 %, nr 1391, total 3.2496 s, avg 0.0023 s, min 0.0011 s, max 0.2104 s
[ADDRESS ] 0.0006 %, nr 1, total 0.0017 s, avg 0.0017 s, min 0.0017 s, max 0.0017 s
[AND ] 0.8990 %, nr 952, total 2.8125 s, avg 0.0030 s, min 0.0012 s, max 0.9645 s
[CALLDATALOAD] 40.1942 %, nr 264, total 125.7455 s, avg 0.4763 s, min 0.4385 s, max 0.6875 s
[CALLDATASIZE] 0.1051 %, nr 144, total 0.3288 s, avg 0.0023 s, min 0.0015 s, max 0.0050 s
[CALLER ] 0.1386 %, nr 129, total 0.4337 s, avg 0.0034 s, min 0.0011 s, max 0.1857 s
[CALLVALUE ] 0.0056 %, nr 10, total 0.0175 s, avg 0.0017 s, min 0.0012 s, max 0.0020 s
[CHAINID ] 0.0005 %, nr 1, total 0.0017 s, avg 0.0017 s, min 0.0017 s, max 0.0017 s
[CODECOPY ] 1.7542 %, nr 2, total 5.4878 s, avg 2.7439 s, min 0.2916 s, max 5.1962 s
[CODESIZE ] 0.0005 %, nr 1, total 0.0017 s, avg 0.0017 s, min 0.0017 s, max 0.0017 s
[DIV ] 0.1438 %, nr 181, total 0.4497 s, avg 0.0025 s, min 0.0014 s, max 0.0054 s
[DUP1 ] 1.4150 %, nr 1456, total 4.4267 s, avg 0.0030 s, min 0.0010 s, max 0.9658 s
[DUP10 ] 0.0259 %, nr 39, total 0.0812 s, avg 0.0021 s, min 0.0015 s, max 0.0058 s
[DUP11 ] 0.0175 %, nr 30, total 0.0547 s, avg 0.0018 s, min 0.0015 s, max 0.0025 s
[DUP2 ] 1.9819 %, nr 2586, total 6.2004 s, avg 0.0024 s, min 0.0010 s, max 0.7693 s
[DUP3 ] 1.3827 %, nr 1712, total 4.3257 s, avg 0.0025 s, min 0.0010 s, max 0.8850 s
[DUP4 ] 0.3754 %, nr 592, total 1.1743 s, avg 0.0020 s, min 0.0011 s, max 0.0094 s
[DUP5 ] 0.2561 %, nr 418, total 0.8013 s, avg 0.0019 s, min 0.0011 s, max 0.0056 s
[DUP6 ] 0.2259 %, nr 358, total 0.7066 s, avg 0.0020 s, min 0.0011 s, max 0.0067 s
[DUP7 ] 0.1583 %, nr 243, total 0.4952 s, avg 0.0020 s, min 0.0010 s, max 0.0058 s
[DUP8 ] 0.0420 %, nr 69, total 0.1314 s, avg 0.0019 s, min 0.0012 s, max 0.0058 s
[DUP9 ] 0.0065 %, nr 10, total 0.0204 s, avg 0.0020 s, min 0.0017 s, max 0.0026 s
[EQ ] 0.4155 %, nr 598, total 1.3000 s, avg 0.0022 s, min 0.0013 s, max 0.0060 s
[EXP ] 0.1113 %, nr 138, total 0.3483 s, avg 0.0025 s, min 0.0016 s, max 0.0066 s
[GAS ] 0.0006 %, nr 1, total 0.0018 s, avg 0.0018 s, min 0.0018 s, max 0.0018 s
[GT ] 0.0604 %, nr 86, total 0.1888 s, avg 0.0022 s, min 0.0013 s, max 0.0043 s
[ISZERO ] 0.1845 %, nr 250, total 0.5772 s, avg 0.0023 s, min 0.0013 s, max 0.0066 s
[JUMP ] 8.3351 %, nr 4929, total 26.0758 s, avg 0.0053 s, min 0.0021 s, max 1.1960 s
[JUMPDEST ] 3.8169 %, nr 5893, total 11.9408 s, avg 0.0020 s, min 0.0010 s, max 0.6319 s
[JUMPI ] 4.4189 %, nr 1069, total 13.8244 s, avg 0.0129 s, min 0.0027 s, max 0.8092 s
[LOG3 ] 0.0180 %, nr 30, total 0.0563 s, avg 0.0019 s, min 0.0012 s, max 0.0026 s
[LOG4 ] 0.0012 %, nr 2, total 0.0036 s, avg 0.0018 s, min 0.0017 s, max 0.0019 s
[LT ] 0.0698 %, nr 87, total 0.2184 s, avg 0.0025 s, min 0.0016 s, max 0.0072 s
[MLOAD ] 4.0615 %, nr 536, total 12.7062 s, avg 0.0237 s, min 0.0193 s, max 0.5646 s
[MSTORE ] 4.9826 %, nr 715, total 15.5879 s, avg 0.0218 s, min 0.0123 s, max 0.6248 s
[MUL ] 0.0572 %, nr 85, total 0.1790 s, avg 0.0021 s, min 0.0013 s, max 0.0035 s
[NOT ] 0.0177 %, nr 30, total 0.0555 s, avg 0.0019 s, min 0.0012 s, max 0.0033 s
[OR ] 0.0169 %, nr 27, total 0.0530 s, avg 0.0020 s, min 0.0012 s, max 0.0033 s
[POP ] 4.4487 %, nr 5346, total 13.9177 s, avg 0.0026 s, min 0.0010 s, max 0.7737 s
[PUSH0 ] 2.4072 %, nr 3068, total 7.5306 s, avg 0.0025 s, min 0.0011 s, max 0.6384 s
[PUSH1 ] 1.4525 %, nr 2296, total 4.5439 s, avg 0.0020 s, min 0.0010 s, max 0.0063 s
[PUSH2 ] 4.8540 %, nr 6491, total 15.1854 s, avg 0.0023 s, min 0.0013 s, max 0.7974 s
[PUSH20 ] 0.7005 %, nr 859, total 2.1914 s, avg 0.0026 s, min 0.0012 s, max 0.0084 s
[PUSH3 ] 0.0325 %, nr 71, total 0.1016 s, avg 0.0014 s, min 0.0011 s, max 0.0029 s
[PUSH32 ] 0.1157 %, nr 128, total 0.3621 s, avg 0.0028 s, min 0.0012 s, max 0.0047 s
[PUSH4 ] 0.2415 %, nr 342, total 0.7557 s, avg 0.0022 s, min 0.0017 s, max 0.0051 s
[PUSH8 ] 0.0011 %, nr 2, total 0.0033 s, avg 0.0017 s, min 0.0014 s, max 0.0019 s
[SHA3 ] 1.6869 %, nr 124, total 5.2773 s, avg 0.0426 s, min 0.0378 s, max 0.0888 s
[SHL ] 0.0037 %, nr 6, total 0.0116 s, avg 0.0019 s, min 0.0013 s, max 0.0023 s
[SHR ] 0.0088 %, nr 14, total 0.0274 s, avg 0.0020 s, min 0.0012 s, max 0.0034 s
[SLOAD ] 0.4147 %, nr 332, total 1.2975 s, avg 0.0039 s, min 0.0017 s, max 0.4492 s
[SLT ] 0.1008 %, nr 136, total 0.3153 s, avg 0.0023 s, min 0.0014 s, max 0.0046 s
[SSTORE ] 0.1071 %, nr 65, total 0.3351 s, avg 0.0052 s, min 0.0013 s, max 0.1909 s
[STATICCALL ] 0.0339 %, nr 1, total 0.1060 s, avg 0.1060 s, min 0.1060 s, max 0.1060 s
[SUB ] 0.6073 %, nr 697, total 1.8999 s, avg 0.0027 s, min 0.0013 s, max 0.4260 s
[SWAP1 ] 3.2363 %, nr 3938, total 10.1245 s, avg 0.0026 s, min 0.0011 s, max 0.9098 s
[SWAP2 ] 2.0569 %, nr 2213, total 6.4350 s, avg 0.0029 s, min 0.0010 s, max 1.0495 s
[SWAP3 ] 0.6888 %, nr 837, total 2.1549 s, avg 0.0026 s, min 0.0010 s, max 0.6193 s
[SWAP4 ] 0.0360 %, nr 60, total 0.1127 s, avg 0.0019 s, min 0.0015 s, max 0.0029 s
[SWAP5 ] 0.0136 %, nr 21, total 0.0425 s, avg 0.0020 s, min 0.0016 s, max 0.0034 s
[SWAP6 ] 0.0089 %, nr 15, total 0.0278 s, avg 0.0019 s, min 0.0015 s, max 0.0024 s
[SWAP7 ] 0.0064 %, nr 10, total 0.0199 s, avg 0.0020 s, min 0.0016 s, max 0.0038 s
mythril.analysis.security [INFO]: Starting analysis
mythril.mythril.mythril_analyzer [INFO]: Solver statistics:
Query count: 10414
Solver time: 2818.2891144752502
The analysis was completed successfully. No issues were detected.