019b3844-b23d-72be-a411-0d06e60d14aa
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 18493 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 18494 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 61970 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 61971 | capability.graph | complete | 1 / 3 | 1 week ago |
| 61972 | detector.run | complete | 1 / 3 | 1 week ago |
| 61973 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0118 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa3e56fa8 00000019: GT 0000001a: PUSH2 0x00a0 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc31c9c07 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc31c9c07 0000002f: EQ 00000030: PUSH2 0x0353 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xce3f865f 0000003a: EQ 0000003b: PUSH2 0x0387 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xddca3f43 00000045: EQ 00000046: PUSH2 0x03a7 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe78a432f 00000050: EQ 00000051: PUSH2 0x03ef 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x040f 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xa3e56fa8 0000006b: EQ 0000006c: PUSH2 0x0277 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xad5c4648 00000076: EQ 00000077: PUSH2 0x02ab 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xb3ab15fb 00000081: EQ 00000082: PUSH2 0x02df 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xb44a2722 0000008c: EQ 0000008d: PUSH2 0x02ff 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xc1060653 00000097: EQ 00000098: PUSH2 0x0333 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: DUP1 000000a2: PUSH4 0x57396373 000000a7: GT 000000a8: PUSH2 0x00e7 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x57396373 000000b2: EQ 000000b3: PUSH2 0x01d0 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x715018a6 000000bd: EQ 000000be: PUSH2 0x0204 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x72c41cf3 000000c8: EQ 000000c9: PUSH2 0x0219 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x771a6d41 000000d3: EQ 000000d4: PUSH2 0x0239 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x8da5cb5b 000000de: EQ 000000df: PUSH2 0x0259 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: DUP1 000000e9: PUSH4 0x09c1ba2e 000000ee: EQ 000000ef: PUSH2 0x0124 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x17d70f7c 000000f9: EQ 000000fa: PUSH2 0x014d 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x1fbe1979 00000104: EQ 00000105: PUSH2 0x0181 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x570ca735 0000010f: EQ 00000110: PUSH2 0x0198 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: CALLDATASIZE 0000011a: PUSH2 0x011f 0000011d: JUMPI 0000011e: STOP 0000011f: JUMPDEST 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: CALLVALUE 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: POP 00000132: PUSH2 0x013a 00000135: PUSH1 0x01 00000137: SLOAD 00000138: DUP2 00000139: JUMP 0000013a: JUMPDEST 0000013b: PUSH1 0x40 0000013d: MLOAD 0000013e: SWAP1 0000013f: DUP2 00000140: MSTORE 00000141: PUSH1 0x20 00000143: ADD 00000144: JUMPDEST 00000145: PUSH1 0x40 00000147: MLOAD 00000148: DUP1 00000149: SWAP2 0000014a: SUB 0000014b: SWAP1 0000014c: RETURN 0000014d: JUMPDEST 0000014e: CALLVALUE 0000014f: DUP1 00000150: ISZERO 00000151: PUSH2 0x0159 00000154: JUMPI 00000155: PUSH1 0x00 00000157: DUP1 00000158: REVERT 00000159: JUMPDEST 0000015a: POP 0000015b: PUSH2 0x013a 0000015e: PUSH32 0x00000000000000000000000000000000000000000000000000000000000ce9f0 0000017f: DUP2 00000180: JUMP 00000181: JUMPDEST 00000182: CALLVALUE 00000183: DUP1 00000184: ISZERO 00000185: PUSH2 0x018d 00000188: JUMPI 00000189: PUSH1 0x00 0000018b: DUP1 0000018c: REVERT 0000018d: JUMPDEST 0000018e: POP 0000018f: PUSH2 0x0196 00000192: PUSH2 0x042f 00000195: JUMP 00000196: JUMPDEST 00000197: STOP 00000198: JUMPDEST 00000199: CALLVALUE 0000019a: DUP1 0000019b: ISZERO 0000019c: PUSH2 0x01a4 0000019f: JUMPI 000001a0: PUSH1 0x00 000001a2: DUP1 000001a3: REVERT 000001a4: JUMPDEST 000001a5: POP 000001a6: PUSH1 0x02 000001a8: SLOAD 000001a9: PUSH2 0x01b8 000001ac: SWAP1 000001ad: PUSH1 0x01 000001af: PUSH1 0x01 000001b1: PUSH1 0xa0 000001b3: SHL 000001b4: SUB 000001b5: AND 000001b6: DUP2 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x40 000001bb: MLOAD 000001bc: PUSH1 0x01 000001be: PUSH1 0x01 000001c0: PUSH1 0xa0 000001c2: SHL 000001c3: SUB 000001c4: SWAP1 000001c5: SWAP2 000001c6: AND 000001c7: DUP2 000001c8: MSTORE 000001c9: PUSH1 0x20 000001cb: ADD 000001cc: PUSH2 0x0144 000001cf: JUMP 000001d0: JUMPDEST 000001d1: CALLVALUE 000001d2: DUP1 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: POP 000001de: PUSH2 0x01b8 000001e1: PUSH32 0x000000000000000000000000e957ea0b072910f508dd2009f4acb7238c308e29 00000202: DUP2 00000203: JUMP 00000204: JUMPDEST 00000205: CALLVALUE 00000206: DUP1 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: POP 00000212: PUSH2 0x0196 00000215: PUSH2 0x0474 00000218: JUMP 00000219: JUMPDEST 0000021a: CALLVALUE 0000021b: DUP1 0000021c: ISZERO 0000021d: PUSH2 0x0225 00000220: JUMPI 00000221: PUSH1 0x00 00000223: DUP1 00000224: REVERT 00000225: JUMPDEST 00000226: POP 00000227: PUSH2 0x013a 0000022a: PUSH2 0x0234 0000022d: CALLDATASIZE 0000022e: PUSH1 0x04 00000230: PUSH2 0x0be3 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH2 0x0488 00000238: JUMP 00000239: JUMPDEST 0000023a: CALLVALUE 0000023b: DUP1 0000023c: ISZERO 0000023d: PUSH2 0x0245 00000240: JUMPI 00000241: PUSH1 0x00 00000243: DUP1 00000244: REVERT 00000245: JUMPDEST 00000246: POP 00000247: PUSH2 0x0196 0000024a: PUSH2 0x0254 0000024d: CALLDATASIZE 0000024e: PUSH1 0x04 00000250: PUSH2 0x0c05 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH2 0x063c 00000258: JUMP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: DUP1 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: PUSH1 0x00 00000269: SLOAD 0000026a: PUSH1 0x01 0000026c: PUSH1 0x01 0000026e: PUSH1 0xa0 00000270: SHL 00000271: SUB 00000272: AND 00000273: PUSH2 0x01b8 00000276: JUMP 00000277: JUMPDEST 00000278: CALLVALUE 00000279: DUP1 0000027a: ISZERO 0000027b: PUSH2 0x0283 0000027e: JUMPI 0000027f: PUSH1 0x00 00000281: DUP1 00000282: REVERT 00000283: JUMPDEST 00000284: POP 00000285: PUSH2 0x01b8 00000288: PUSH32 0x000000000000000000000000d7f86b4b8cae7d942340ff628f82735b7a20893a 000002a9: DUP2 000002aa: JUMP 000002ab: JUMPDEST 000002ac: CALLVALUE 000002ad: DUP1 000002ae: ISZERO 000002af: PUSH2 0x02b7 000002b2: JUMPI 000002b3: PUSH1 0x00 000002b5: DUP1 000002b6: REVERT 000002b7: JUMPDEST 000002b8: POP 000002b9: PUSH2 0x01b8 000002bc: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000002dd: DUP2 000002de: JUMP 000002df: JUMPDEST 000002e0: CALLVALUE 000002e1: DUP1 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: POP 000002ed: PUSH2 0x0196 000002f0: PUSH2 0x02fa 000002f3: CALLDATASIZE 000002f4: PUSH1 0x04 000002f6: PUSH2 0x0c1e 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH2 0x0805 000002fe: JUMP 000002ff: JUMPDEST 00000300: CALLVALUE 00000301: DUP1 00000302: ISZERO 00000303: PUSH2 0x030b 00000306: JUMPI 00000307: PUSH1 0x00 00000309: DUP1 0000030a: REVERT 0000030b: JUMPDEST 0000030c: POP 0000030d: PUSH2 0x01b8 00000310: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88 00000331: DUP2 00000332: JUMP 00000333: JUMPDEST 00000334: CALLVALUE 00000335: DUP1 00000336: ISZERO 00000337: PUSH2 0x033f 0000033a: JUMPI 0000033b: PUSH1 0x00 0000033d: DUP1 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: PUSH2 0x0196 00000344: PUSH2 0x034e 00000347: CALLDATASIZE 00000348: PUSH1 0x04 0000034a: PUSH2 0x0c05 0000034d: JUMP 0000034e: JUMPDEST 0000034f: PUSH2 0x082f 00000352: JUMP 00000353: JUMPDEST 00000354: CALLVALUE 00000355: DUP1 00000356: ISZERO 00000357: PUSH2 0x035f 0000035a: JUMPI 0000035b: PUSH1 0x00 0000035d: DUP1 0000035e: REVERT 0000035f: JUMPDEST 00000360: POP 00000361: PUSH2 0x01b8 00000364: PUSH32 0x000000000000000000000000e592427a0aece92de3edee1f18e0157c05861564 00000385: DUP2 00000386: JUMP 00000387: JUMPDEST 00000388: CALLVALUE 00000389: DUP1 0000038a: ISZERO 0000038b: PUSH2 0x0393 0000038e: JUMPI 0000038f: PUSH1 0x00 00000391: DUP1 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: PUSH2 0x0196 00000398: PUSH2 0x03a2 0000039b: CALLDATASIZE 0000039c: PUSH1 0x04 0000039e: PUSH2 0x0c05 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH2 0x08e1 000003a6: JUMP 000003a7: JUMPDEST 000003a8: CALLVALUE 000003a9: DUP1 000003aa: ISZERO 000003ab: PUSH2 0x03b3 000003ae: JUMPI 000003af: PUSH1 0x00 000003b1: DUP1 000003b2: REVERT 000003b3: JUMPDEST 000003b4: POP 000003b5: PUSH2 0x03db 000003b8: PUSH32 0x0000000000000000000000000000000000000000000000000000000000002710 000003d9: DUP2 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH1 0x40 000003de: MLOAD 000003df: PUSH3 0xffffff 000003e3: SWAP1 000003e4: SWAP2 000003e5: AND 000003e6: DUP2 000003e7: MSTORE 000003e8: PUSH1 0x20 000003ea: ADD 000003eb: PUSH2 0x0144 000003ee: JUMP 000003ef: JUMPDEST 000003f0: CALLVALUE 000003f1: DUP1 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: POP 000003fd: PUSH2 0x0196 00000400: PUSH2 0x040a 00000403: CALLDATASIZE 00000404: PUSH1 0x04 00000406: PUSH2 0x0c47 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH2 0x0988 0000040e: JUMP 0000040f: JUMPDEST 00000410: CALLVALUE 00000411: DUP1 00000412: ISZERO 00000413: PUSH2 0x041b 00000416: JUMPI 00000417: PUSH1 0x00 00000419: DUP1 0000041a: REVERT 0000041b: JUMPDEST 0000041c: POP 0000041d: PUSH2 0x0196 00000420: PUSH2 0x042a 00000423: CALLDATASIZE 00000424: PUSH1 0x04 00000426: PUSH2 0x0c1e 00000429: JUMP 0000042a: JUMPDEST 0000042b: PUSH2 0x0b2b 0000042e: JUMP 0000042f: JUMPDEST 00000430: PUSH2 0x0437 00000433: PUSH2 0x0b66 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: SLOAD 0000043c: PUSH1 0x40 0000043e: MLOAD 0000043f: PUSH1 0x01 00000441: PUSH1 0x01 00000443: PUSH1 0xa0 00000445: SHL 00000446: SUB 00000447: SWAP1 00000448: SWAP2 00000449: AND 0000044a: SWAP2 0000044b: SELFBALANCE 0000044c: DUP1 0000044d: ISZERO 0000044e: PUSH2 0x08fc 00000451: MUL 00000452: SWAP3 00000453: SWAP1 00000454: SWAP2 00000455: DUP2 00000456: DUP2 00000457: DUP2 00000458: DUP6 00000459: DUP9 0000045a: DUP9 0000045b: CALL 0000045c: SWAP4 0000045d: POP 0000045e: POP 0000045f: POP 00000460: POP 00000461: ISZERO 00000462: DUP1 00000463: ISZERO 00000464: PUSH2 0x0471 00000467: JUMPI 00000468: RETURNDATASIZE 00000469: PUSH1 0x00 0000046b: DUP1 0000046c: RETURNDATACOPY 0000046d: RETURNDATASIZE 0000046e: PUSH1 0x00 00000470: REVERT 00000471: JUMPDEST 00000472: POP 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH2 0x047c 00000478: PUSH2 0x0b66 0000047b: JUMP 0000047c: JUMPDEST 0000047d: PUSH2 0x0486 00000480: PUSH1 0x00 00000482: PUSH2 0x0b93 00000485: JUMP 00000486: JUMPDEST 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x02 0000048b: SLOAD 0000048c: PUSH1 0x00 0000048e: SWAP1 0000048f: PUSH1 0x01 00000491: PUSH1 0x01 00000493: PUSH1 0xa0 00000495: SHL 00000496: SUB 00000497: AND 00000498: CALLER 00000499: EQ 0000049a: PUSH2 0x04be 0000049d: JUMPI 0000049e: PUSH1 0x40 000004a0: MLOAD 000004a1: PUSH3 0x461bcd 000004a5: PUSH1 0xe5 000004a7: SHL 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH1 0x04 000004ac: ADD 000004ad: PUSH2 0x04b5 000004b0: SWAP1 000004b1: PUSH2 0x0c79 000004b4: JUMP 000004b5: JUMPDEST 000004b6: PUSH1 0x40 000004b8: MLOAD 000004b9: DUP1 000004ba: SWAP2 000004bb: SUB 000004bc: SWAP1 000004bd: REVERT 000004be: JUMPDEST 000004bf: PUSH1 0x40 000004c1: DUP1 000004c2: MLOAD 000004c3: PUSH2 0x0100 000004c6: DUP2 000004c7: ADD 000004c8: DUP3 000004c9: MSTORE 000004ca: PUSH1 0x01 000004cc: PUSH1 0x01 000004ce: PUSH1 0xa0 000004d0: SHL 000004d1: SUB 000004d2: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000004f3: DUP2 000004f4: AND 000004f5: DUP3 000004f6: MSTORE 000004f7: PUSH32 0x000000000000000000000000e957ea0b072910f508dd2009f4acb7238c308e29 00000518: DUP2 00000519: AND 0000051a: PUSH1 0x20 0000051c: DUP4 0000051d: ADD 0000051e: SWAP1 0000051f: DUP2 00000520: MSTORE 00000521: PUSH32 0x0000000000000000000000000000000000000000000000000000000000002710 00000542: PUSH3 0xffffff 00000546: SWAP1 00000547: DUP2 00000548: AND 00000549: DUP5 0000054a: DUP7 0000054b: ADD 0000054c: SWAP1 0000054d: DUP2 0000054e: MSTORE 0000054f: ADDRESS 00000550: PUSH1 0x60 00000552: DUP7 00000553: ADD 00000554: SWAP1 00000555: DUP2 00000556: MSTORE 00000557: TIMESTAMP 00000558: PUSH1 0x80 0000055a: DUP8 0000055b: ADD 0000055c: SWAP1 0000055d: DUP2 0000055e: MSTORE 0000055f: PUSH1 0xa0 00000561: DUP8 00000562: ADD 00000563: DUP12 00000564: DUP2 00000565: MSTORE 00000566: PUSH1 0xc0 00000568: DUP9 00000569: ADD 0000056a: DUP12 0000056b: DUP2 0000056c: MSTORE 0000056d: PUSH1 0x00 0000056f: PUSH1 0xe0 00000571: DUP11 00000572: ADD 00000573: SWAP1 00000574: DUP2 00000575: MSTORE 00000576: SWAP10 00000577: MLOAD 00000578: PUSH4 0x414bf389 0000057d: PUSH1 0xe0 0000057f: SHL 00000580: DUP2 00000581: MSTORE 00000582: SWAP9 00000583: MLOAD 00000584: DUP9 00000585: AND 00000586: PUSH1 0x04 00000588: DUP11 00000589: ADD 0000058a: MSTORE 0000058b: SWAP6 0000058c: MLOAD 0000058d: DUP8 0000058e: AND 0000058f: PUSH1 0x24 00000591: DUP10 00000592: ADD 00000593: MSTORE 00000594: SWAP3 00000595: MLOAD 00000596: SWAP1 00000597: SWAP4 00000598: AND 00000599: PUSH1 0x44 0000059b: DUP8 0000059c: ADD 0000059d: MSTORE 0000059e: MLOAD 0000059f: DUP5 000005a0: AND 000005a1: PUSH1 0x64 000005a3: DUP7 000005a4: ADD 000005a5: MSTORE 000005a6: SWAP1 000005a7: MLOAD 000005a8: PUSH1 0x84 000005aa: DUP6 000005ab: ADD 000005ac: MSTORE 000005ad: MLOAD 000005ae: PUSH1 0xa4 000005b0: DUP5 000005b1: ADD 000005b2: MSTORE 000005b3: MLOAD 000005b4: PUSH1 0xc4 000005b6: DUP4 000005b7: ADD 000005b8: MSTORE 000005b9: SWAP2 000005ba: MLOAD 000005bb: DUP3 000005bc: AND 000005bd: PUSH1 0xe4 000005bf: DUP3 000005c0: ADD 000005c1: MSTORE 000005c2: PUSH32 0x000000000000000000000000e592427a0aece92de3edee1f18e0157c05861564 000005e3: SWAP1 000005e4: SWAP2 000005e5: AND 000005e6: SWAP1 000005e7: PUSH4 0x414bf389 000005ec: SWAP1 000005ed: DUP6 000005ee: SWAP1 000005ef: PUSH2 0x0104 000005f2: ADD 000005f3: PUSH1 0x20 000005f5: PUSH1 0x40 000005f7: MLOAD 000005f8: DUP1 000005f9: DUP4 000005fa: SUB 000005fb: DUP2 000005fc: DUP6 000005fd: DUP9 000005fe: GAS 000005ff: CALL 00000600: ISZERO 00000601: DUP1 00000602: ISZERO 00000603: PUSH2 0x0610 00000606: JUMPI 00000607: RETURNDATASIZE 00000608: PUSH1 0x00 0000060a: DUP1 0000060b: RETURNDATACOPY 0000060c: RETURNDATASIZE 0000060d: PUSH1 0x00 0000060f: REVERT 00000610: JUMPDEST 00000611: POP 00000612: POP 00000613: POP 00000614: POP 00000615: POP 00000616: PUSH1 0x40 00000618: MLOAD 00000619: RETURNDATASIZE 0000061a: PUSH1 0x1f 0000061c: NOT 0000061d: PUSH1 0x1f 0000061f: DUP3 00000620: ADD 00000621: AND 00000622: DUP3 00000623: ADD 00000624: DUP1 00000625: PUSH1 0x40 00000627: MSTORE 00000628: POP 00000629: DUP2 0000062a: ADD 0000062b: SWAP1 0000062c: PUSH2 0x0635 0000062f: SWAP2 00000630: SWAP1 00000631: PUSH2 0x0cb0 00000634: JUMP 00000635: JUMPDEST 00000636: SWAP4 00000637: SWAP3 00000638: POP 00000639: POP 0000063a: POP 0000063b: JUMP 0000063c: JUMPDEST 0000063d: PUSH1 0x02 0000063f: SLOAD 00000640: PUSH1 0x01 00000642: PUSH1 0x01 00000644: PUSH1 0xa0 00000646: SHL 00000647: SUB 00000648: AND 00000649: CALLER 0000064a: EQ 0000064b: PUSH2 0x0666 0000064e: JUMPI 0000064f: PUSH1 0x40 00000651: MLOAD 00000652: PUSH3 0x461bcd 00000656: PUSH1 0xe5 00000658: SHL 00000659: DUP2 0000065a: MSTORE 0000065b: PUSH1 0x04 0000065d: ADD 0000065e: PUSH2 0x04b5 00000661: SWAP1 00000662: PUSH2 0x0c79 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH1 0x40 00000669: MLOAD 0000066a: PUSH4 0x70a08231 0000066f: PUSH1 0xe0 00000671: SHL 00000672: DUP2 00000673: MSTORE 00000674: ADDRESS 00000675: PUSH1 0x04 00000677: DUP3 00000678: ADD 00000679: MSTORE 0000067a: PUSH1 0x00 0000067c: SWAP1 0000067d: PUSH32 0x000000000000000000000000e957ea0b072910f508dd2009f4acb7238c308e29 0000069e: PUSH1 0x01 000006a0: PUSH1 0x01 000006a2: PUSH1 0xa0 000006a4: SHL 000006a5: SUB 000006a6: AND 000006a7: SWAP1 000006a8: PUSH4 0x70a08231 000006ad: SWAP1 000006ae: PUSH1 0x24 000006b0: ADD 000006b1: PUSH1 0x20 000006b3: PUSH1 0x40 000006b5: MLOAD 000006b6: DUP1 000006b7: DUP4 000006b8: SUB 000006b9: DUP2 000006ba: DUP7 000006bb: GAS 000006bc: STATICCALL 000006bd: ISZERO 000006be: DUP1 000006bf: ISZERO 000006c0: PUSH2 0x06cd 000006c3: JUMPI 000006c4: RETURNDATASIZE 000006c5: PUSH1 0x00 000006c7: DUP1 000006c8: RETURNDATACOPY 000006c9: RETURNDATASIZE 000006ca: PUSH1 0x00 000006cc: REVERT 000006cd: JUMPDEST 000006ce: POP 000006cf: POP 000006d0: POP 000006d1: POP 000006d2: PUSH1 0x40 000006d4: MLOAD 000006d5: RETURNDATASIZE 000006d6: PUSH1 0x1f 000006d8: NOT 000006d9: PUSH1 0x1f 000006db: DUP3 000006dc: ADD 000006dd: AND 000006de: DUP3 000006df: ADD 000006e0: DUP1 000006e1: PUSH1 0x40 000006e3: MSTORE 000006e4: POP 000006e5: DUP2 000006e6: ADD 000006e7: SWAP1 000006e8: PUSH2 0x06f1 000006eb: SWAP2 000006ec: SWAP1 000006ed: PUSH2 0x0cb0 000006f0: JUMP 000006f1: JUMPDEST 000006f2: SWAP1 000006f3: POP 000006f4: DUP2 000006f5: DUP2 000006f6: LT 000006f7: ISZERO 000006f8: PUSH2 0x074e 000006fb: JUMPI 000006fc: PUSH1 0x40 000006fe: MLOAD 000006ff: PUSH3 0x461bcd 00000703: PUSH1 0xe5 00000705: SHL 00000706: DUP2 00000707: MSTORE 00000708: PUSH1 0x20 0000070a: PUSH1 0x04 0000070c: DUP3 0000070d: ADD 0000070e: MSTORE 0000070f: PUSH1 0x22 00000711: PUSH1 0x24 00000713: DUP3 00000714: ADD 00000715: MSTORE 00000716: PUSH32 0x466565436f6c6c6563746f723a20696e73756666696369656e742062616c616e 00000737: PUSH1 0x44 00000739: DUP3 0000073a: ADD 0000073b: MSTORE 0000073c: PUSH2 0x6365 0000073f: PUSH1 0xf0 00000741: SHL 00000742: PUSH1 0x64 00000744: DUP3 00000745: ADD 00000746: MSTORE 00000747: PUSH1 0x84 00000749: ADD 0000074a: PUSH2 0x04b5 0000074d: JUMP 0000074e: JUMPDEST 0000074f: PUSH32 0x000000000000000000000000e957ea0b072910f508dd2009f4acb7238c308e29 00000770: PUSH1 0x01 00000772: PUSH1 0x01 00000774: PUSH1 0xa0 00000776: SHL 00000777: SUB 00000778: AND 00000779: PUSH4 0xa9059cbb 0000077e: PUSH2 0x078f 00000781: PUSH1 0x00 00000783: SLOAD 00000784: PUSH1 0x01 00000786: PUSH1 0x01 00000788: PUSH1 0xa0 0000078a: SHL 0000078b: SUB 0000078c: AND 0000078d: SWAP1 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH1 0x40 00000792: MLOAD 00000793: PUSH1 0x01 00000795: PUSH1 0x01 00000797: PUSH1 0xe0 00000799: SHL 0000079a: SUB 0000079b: NOT 0000079c: PUSH1 0xe0 0000079e: DUP5 0000079f: SWAP1 000007a0: SHL 000007a1: AND 000007a2: DUP2 000007a3: MSTORE 000007a4: PUSH1 0x01 000007a6: PUSH1 0x01 000007a8: PUSH1 0xa0 000007aa: SHL 000007ab: SUB 000007ac: SWAP1 000007ad: SWAP2 000007ae: AND 000007af: PUSH1 0x04 000007b1: DUP3 000007b2: ADD 000007b3: MSTORE 000007b4: PUSH1 0x24 000007b6: DUP2 000007b7: ADD 000007b8: DUP6 000007b9: SWAP1 000007ba: MSTORE 000007bb: PUSH1 0x44 000007bd: ADD 000007be: PUSH1 0x20 000007c0: PUSH1 0x40 000007c2: MLOAD 000007c3: DUP1 000007c4: DUP4 000007c5: SUB 000007c6: DUP2 000007c7: PUSH1 0x00 000007c9: DUP8 000007ca: GAS 000007cb: CALL 000007cc: ISZERO 000007cd: DUP1 000007ce: ISZERO 000007cf: PUSH2 0x07dc 000007d2: JUMPI 000007d3: RETURNDATASIZE 000007d4: PUSH1 0x00 000007d6: DUP1 000007d7: RETURNDATACOPY 000007d8: RETURNDATASIZE 000007d9: PUSH1 0x00 000007db: REVERT 000007dc: JUMPDEST 000007dd: POP 000007de: POP 000007df: POP 000007e0: POP 000007e1: PUSH1 0x40 000007e3: MLOAD 000007e4: RETURNDATASIZE 000007e5: PUSH1 0x1f 000007e7: NOT 000007e8: PUSH1 0x1f 000007ea: DUP3 000007eb: ADD 000007ec: AND 000007ed: DUP3 000007ee: ADD 000007ef: DUP1 000007f0: PUSH1 0x40 000007f2: MSTORE 000007f3: POP 000007f4: DUP2 000007f5: ADD 000007f6: SWAP1 000007f7: PUSH2 0x0800 000007fa: SWAP2 000007fb: SWAP1 000007fc: PUSH2 0x0cc9 000007ff: JUMP 00000800: JUMPDEST 00000801: POP 00000802: POP 00000803: POP 00000804: JUMP 00000805: JUMPDEST 00000806: PUSH2 0x080d 00000809: PUSH2 0x0b66 0000080c: JUMP 0000080d: JUMPDEST 0000080e: PUSH1 0x02 00000810: DUP1 00000811: SLOAD 00000812: PUSH1 0x01 00000814: PUSH1 0x01 00000816: PUSH1 0xa0 00000818: SHL 00000819: SUB 0000081a: NOT 0000081b: AND 0000081c: PUSH1 0x01 0000081e: PUSH1 0x01 00000820: PUSH1 0xa0 00000822: SHL 00000823: SUB 00000824: SWAP3 00000825: SWAP1 00000826: SWAP3 00000827: AND 00000828: SWAP2 00000829: SWAP1 0000082a: SWAP2 0000082b: OR 0000082c: SWAP1 0000082d: SSTORE 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH1 0x02 00000832: SLOAD 00000833: PUSH1 0x01 00000835: PUSH1 0x01 00000837: PUSH1 0xa0 00000839: SHL 0000083a: SUB 0000083b: AND 0000083c: CALLER 0000083d: EQ 0000083e: PUSH2 0x0859 00000841: JUMPI 00000842: PUSH1 0x40 00000844: MLOAD 00000845: PUSH3 0x461bcd 00000849: PUSH1 0xe5 0000084b: SHL 0000084c: DUP2 0000084d: MSTORE 0000084e: PUSH1 0x04 00000850: ADD 00000851: PUSH2 0x04b5 00000854: SWAP1 00000855: PUSH2 0x0c79 00000858: JUMP 00000859: JUMPDEST 0000085a: PUSH1 0x01 0000085c: SLOAD 0000085d: PUSH1 0x40 0000085f: MLOAD 00000860: PUSH4 0x256d573f 00000865: PUSH1 0xe2 00000867: SHL 00000868: DUP2 00000869: MSTORE 0000086a: PUSH1 0x01 0000086c: PUSH1 0x01 0000086e: PUSH1 0xa0 00000870: SHL 00000871: SUB 00000872: PUSH32 0x000000000000000000000000d7f86b4b8cae7d942340ff628f82735b7a20893a 00000893: AND 00000894: SWAP2 00000895: PUSH4 0x95b55cfc 0000089a: SWAP2 0000089b: DUP5 0000089c: SWAP2 0000089d: PUSH2 0x08ac 000008a0: SWAP2 000008a1: PUSH1 0x04 000008a3: ADD 000008a4: SWAP1 000008a5: DUP2 000008a6: MSTORE 000008a7: PUSH1 0x20 000008a9: ADD 000008aa: SWAP1 000008ab: JUMP 000008ac: JUMPDEST 000008ad: PUSH1 0x00 000008af: PUSH1 0x40 000008b1: MLOAD 000008b2: DUP1 000008b3: DUP4 000008b4: SUB 000008b5: DUP2 000008b6: DUP6 000008b7: DUP9 000008b8: DUP1 000008b9: EXTCODESIZE 000008ba: ISZERO 000008bb: DUP1 000008bc: ISZERO 000008bd: PUSH2 0x08c5 000008c0: JUMPI 000008c1: PUSH1 0x00 000008c3: DUP1 000008c4: REVERT 000008c5: JUMPDEST 000008c6: POP 000008c7: GAS 000008c8: CALL 000008c9: ISZERO 000008ca: DUP1 000008cb: ISZERO 000008cc: PUSH2 0x08d9 000008cf: JUMPI 000008d0: RETURNDATASIZE 000008d1: PUSH1 0x00 000008d3: DUP1 000008d4: RETURNDATACOPY 000008d5: RETURNDATASIZE 000008d6: PUSH1 0x00 000008d8: REVERT 000008d9: JUMPDEST 000008da: POP 000008db: POP 000008dc: POP 000008dd: POP 000008de: POP 000008df: POP 000008e0: JUMP 000008e1: JUMPDEST 000008e2: PUSH1 0x02 000008e4: SLOAD 000008e5: PUSH1 0x01 000008e7: PUSH1 0x01 000008e9: PUSH1 0xa0 000008eb: SHL 000008ec: SUB 000008ed: AND 000008ee: CALLER 000008ef: EQ 000008f0: PUSH2 0x090b 000008f3: JUMPI 000008f4: PUSH1 0x40 000008f6: MLOAD 000008f7: PUSH3 0x461bcd 000008fb: PUSH1 0xe5 000008fd: SHL 000008fe: DUP2 000008ff: MSTORE 00000900: PUSH1 0x04 00000902: ADD 00000903: PUSH2 0x04b5 00000906: SWAP1 00000907: PUSH2 0x0c79 0000090a: JUMP 0000090b: JUMPDEST 0000090c: PUSH1 0x40 0000090e: MLOAD 0000090f: PUSH4 0xce3f865f 00000914: PUSH1 0xe0 00000916: SHL 00000917: DUP2 00000918: MSTORE 00000919: PUSH1 0x04 0000091b: DUP2 0000091c: ADD 0000091d: DUP3 0000091e: SWAP1 0000091f: MSTORE 00000920: PUSH32 0x000000000000000000000000e957ea0b072910f508dd2009f4acb7238c308e29 00000941: PUSH1 0x01 00000943: PUSH1 0x01 00000945: PUSH1 0xa0 00000947: SHL 00000948: SUB 00000949: AND 0000094a: SWAP1 0000094b: PUSH4 0xce3f865f 00000950: SWAP1 00000951: PUSH1 0x24 00000953: ADD 00000954: PUSH1 0x00 00000956: PUSH1 0x40 00000958: MLOAD 00000959: DUP1 0000095a: DUP4 0000095b: SUB 0000095c: DUP2 0000095d: PUSH1 0x00 0000095f: DUP8 00000960: DUP1 00000961: EXTCODESIZE 00000962: ISZERO 00000963: DUP1 00000964: ISZERO 00000965: PUSH2 0x096d 00000968: JUMPI 00000969: PUSH1 0x00 0000096b: DUP1 0000096c: REVERT 0000096d: JUMPDEST 0000096e: POP 0000096f: GAS 00000970: CALL 00000971: ISZERO 00000972: DUP1 00000973: ISZERO 00000974: PUSH2 0x0981 00000977: JUMPI 00000978: RETURNDATASIZE 00000979: PUSH1 0x00 0000097b: DUP1 0000097c: RETURNDATACOPY 0000097d: RETURNDATASIZE 0000097e: PUSH1 0x00 00000980: REVERT 00000981: JUMPDEST 00000982: POP 00000983: POP 00000984: POP 00000985: POP 00000986: POP 00000987: JUMP 00000988: JUMPDEST 00000989: PUSH1 0x02 0000098b: SLOAD 0000098c: PUSH1 0x01 0000098e: PUSH1 0x01 00000990: PUSH1 0xa0 00000992: SHL 00000993: SUB 00000994: AND 00000995: CALLER 00000996: EQ 00000997: PUSH2 0x09b2 0000099a: JUMPI 0000099b: PUSH1 0x40 0000099d: MLOAD 0000099e: PUSH3 0x461bcd 000009a2: PUSH1 0xe5 000009a4: SHL 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x04 000009a9: ADD 000009aa: PUSH2 0x04b5 000009ad: SWAP1 000009ae: PUSH2 0x0c79 000009b1: JUMP 000009b2: JUMPDEST 000009b3: PUSH1 0x40 000009b5: DUP1 000009b6: MLOAD 000009b7: PUSH1 0xc0 000009b9: DUP2 000009ba: ADD 000009bb: DUP3 000009bc: MSTORE 000009bd: PUSH32 0x00000000000000000000000000000000000000000000000000000000000ce9f0 000009de: DUP2 000009df: MSTORE 000009e0: PUSH1 0x20 000009e2: DUP2 000009e3: ADD 000009e4: DUP6 000009e5: DUP2 000009e6: MSTORE 000009e7: DUP2 000009e8: DUP4 000009e9: ADD 000009ea: DUP8 000009eb: DUP2 000009ec: MSTORE 000009ed: PUSH1 0x60 000009ef: DUP4 000009f0: ADD 000009f1: DUP6 000009f2: DUP2 000009f3: MSTORE 000009f4: PUSH1 0x80 000009f6: DUP5 000009f7: ADD 000009f8: DUP8 000009f9: DUP2 000009fa: MSTORE 000009fb: TIMESTAMP 000009fc: PUSH1 0xa0 000009fe: DUP7 000009ff: ADD 00000a00: SWAP1 00000a01: DUP2 00000a02: MSTORE 00000a03: SWAP6 00000a04: MLOAD 00000a05: PUSH4 0x219f5d17 00000a0a: PUSH1 0xe0 00000a0c: SHL 00000a0d: DUP2 00000a0e: MSTORE 00000a0f: SWAP5 00000a10: MLOAD 00000a11: PUSH1 0x04 00000a13: DUP7 00000a14: ADD 00000a15: MSTORE 00000a16: SWAP3 00000a17: MLOAD 00000a18: PUSH1 0x24 00000a1a: DUP6 00000a1b: ADD 00000a1c: MSTORE 00000a1d: SWAP1 00000a1e: MLOAD 00000a1f: PUSH1 0x44 00000a21: DUP5 00000a22: ADD 00000a23: MSTORE 00000a24: MLOAD 00000a25: PUSH1 0x64 00000a27: DUP4 00000a28: ADD 00000a29: MSTORE 00000a2a: MLOAD 00000a2b: PUSH1 0x84 00000a2d: DUP3 00000a2e: ADD 00000a2f: MSTORE 00000a30: SWAP1 00000a31: MLOAD 00000a32: PUSH1 0xa4 00000a34: DUP3 00000a35: ADD 00000a36: MSTORE 00000a37: PUSH1 0x01 00000a39: PUSH1 0x01 00000a3b: PUSH1 0xa0 00000a3d: SHL 00000a3e: SUB 00000a3f: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88 00000a60: AND 00000a61: SWAP1 00000a62: PUSH4 0x219f5d17 00000a67: SWAP1 00000a68: SELFBALANCE 00000a69: SWAP1 00000a6a: PUSH1 0xc4 00000a6c: ADD 00000a6d: PUSH1 0x60 00000a6f: PUSH1 0x40 00000a71: MLOAD 00000a72: DUP1 00000a73: DUP4 00000a74: SUB 00000a75: DUP2 00000a76: DUP6 00000a77: DUP9 00000a78: GAS 00000a79: CALL 00000a7a: ISZERO 00000a7b: DUP1 00000a7c: ISZERO 00000a7d: PUSH2 0x0a8a 00000a80: JUMPI 00000a81: RETURNDATASIZE 00000a82: PUSH1 0x00 00000a84: DUP1 00000a85: RETURNDATACOPY 00000a86: RETURNDATASIZE 00000a87: PUSH1 0x00 00000a89: REVERT 00000a8a: JUMPDEST 00000a8b: POP 00000a8c: POP 00000a8d: POP 00000a8e: POP 00000a8f: POP 00000a90: PUSH1 0x40 00000a92: MLOAD 00000a93: RETURNDATASIZE 00000a94: PUSH1 0x1f 00000a96: NOT 00000a97: PUSH1 0x1f 00000a99: DUP3 00000a9a: ADD 00000a9b: AND 00000a9c: DUP3 00000a9d: ADD 00000a9e: DUP1 00000a9f: PUSH1 0x40 00000aa1: MSTORE 00000aa2: POP 00000aa3: DUP2 00000aa4: ADD 00000aa5: SWAP1 00000aa6: PUSH2 0x0aaf 00000aa9: SWAP2 00000aaa: SWAP1 00000aab: PUSH2 0x0ceb 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: POP 00000ab1: POP 00000ab2: POP 00000ab3: PUSH32 0x000000000000000000000000c36442b4a4522e871399cd717abdd847ab11fe88 00000ad4: PUSH1 0x01 00000ad6: PUSH1 0x01 00000ad8: PUSH1 0xa0 00000ada: SHL 00000adb: SUB 00000adc: AND 00000add: PUSH4 0x12210e8a 00000ae2: PUSH1 0x40 00000ae4: MLOAD 00000ae5: DUP2 00000ae6: PUSH4 0xffffffff 00000aeb: AND 00000aec: PUSH1 0xe0 00000aee: SHL 00000aef: DUP2 00000af0: MSTORE 00000af1: PUSH1 0x04 00000af3: ADD 00000af4: PUSH1 0x00 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: DUP1 00000afa: DUP4 00000afb: SUB 00000afc: DUP2 00000afd: PUSH1 0x00 00000aff: DUP8 00000b00: DUP1 00000b01: EXTCODESIZE 00000b02: ISZERO 00000b03: DUP1 00000b04: ISZERO 00000b05: PUSH2 0x0b0d 00000b08: JUMPI 00000b09: PUSH1 0x00 00000b0b: DUP1 00000b0c: REVERT 00000b0d: JUMPDEST 00000b0e: POP 00000b0f: GAS 00000b10: CALL 00000b11: ISZERO 00000b12: DUP1 00000b13: ISZERO 00000b14: PUSH2 0x0b21 00000b17: JUMPI 00000b18: RETURNDATASIZE 00000b19: PUSH1 0x00 00000b1b: DUP1 00000b1c: RETURNDATACOPY 00000b1d: RETURNDATASIZE 00000b1e: PUSH1 0x00 00000b20: REVERT 00000b21: JUMPDEST 00000b22: POP 00000b23: POP 00000b24: POP 00000b25: POP 00000b26: POP 00000b27: POP 00000b28: POP 00000b29: POP 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: PUSH2 0x0b33 00000b2f: PUSH2 0x0b66 00000b32: JUMP 00000b33: JUMPDEST 00000b34: PUSH1 0x01 00000b36: PUSH1 0x01 00000b38: PUSH1 0xa0 00000b3a: SHL 00000b3b: SUB 00000b3c: DUP2 00000b3d: AND 00000b3e: PUSH2 0x0b5d 00000b41: JUMPI 00000b42: PUSH1 0x40 00000b44: MLOAD 00000b45: PUSH4 0x1e4fbdf7 00000b4a: PUSH1 0xe0 00000b4c: SHL 00000b4d: DUP2 00000b4e: MSTORE 00000b4f: PUSH1 0x00 00000b51: PUSH1 0x04 00000b53: DUP3 00000b54: ADD 00000b55: MSTORE 00000b56: PUSH1 0x24 00000b58: ADD 00000b59: PUSH2 0x04b5 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH2 0x0471 00000b61: DUP2 00000b62: PUSH2 0x0b93 00000b65: JUMP 00000b66: JUMPDEST 00000b67: PUSH1 0x00 00000b69: SLOAD 00000b6a: PUSH1 0x01 00000b6c: PUSH1 0x01 00000b6e: PUSH1 0xa0 00000b70: SHL 00000b71: SUB 00000b72: AND 00000b73: CALLER 00000b74: EQ 00000b75: PUSH2 0x0486 00000b78: JUMPI 00000b79: PUSH1 0x40 00000b7b: MLOAD 00000b7c: PUSH4 0x118cdaa7 00000b81: PUSH1 0xe0 00000b83: SHL 00000b84: DUP2 00000b85: MSTORE 00000b86: CALLER 00000b87: PUSH1 0x04 00000b89: DUP3 00000b8a: ADD 00000b8b: MSTORE 00000b8c: PUSH1 0x24 00000b8e: ADD 00000b8f: PUSH2 0x04b5 00000b92: JUMP 00000b93: JUMPDEST 00000b94: PUSH1 0x00 00000b96: DUP1 00000b97: SLOAD 00000b98: PUSH1 0x01 00000b9a: PUSH1 0x01 00000b9c: PUSH1 0xa0 00000b9e: SHL 00000b9f: SUB 00000ba0: DUP4 00000ba1: DUP2 00000ba2: AND 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0x01 00000ba7: PUSH1 0xa0 00000ba9: SHL 00000baa: SUB 00000bab: NOT 00000bac: DUP4 00000bad: AND 00000bae: DUP2 00000baf: OR 00000bb0: DUP5 00000bb1: SSTORE 00000bb2: PUSH1 0x40 00000bb4: MLOAD 00000bb5: SWAP2 00000bb6: SWAP1 00000bb7: SWAP3 00000bb8: AND 00000bb9: SWAP3 00000bba: DUP4 00000bbb: SWAP2 00000bbc: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000bdd: SWAP2 00000bde: SWAP1 00000bdf: LOG3 00000be0: POP 00000be1: POP 00000be2: JUMP 00000be3: JUMPDEST 00000be4: PUSH1 0x00 00000be6: DUP1 00000be7: PUSH1 0x40 00000be9: DUP4 00000bea: DUP6 00000beb: SUB 00000bec: SLT 00000bed: ISZERO 00000bee: PUSH2 0x0bf6 00000bf1: JUMPI 00000bf2: PUSH1 0x00 00000bf4: DUP1 00000bf5: REVERT 00000bf6: JUMPDEST 00000bf7: POP 00000bf8: POP 00000bf9: DUP1 00000bfa: CALLDATALOAD 00000bfb: SWAP3 00000bfc: PUSH1 0x20 00000bfe: SWAP1 00000bff: SWAP2 00000c00: ADD 00000c01: CALLDATALOAD 00000c02: SWAP2 00000c03: POP 00000c04: JUMP 00000c05: JUMPDEST 00000c06: PUSH1 0x00 00000c08: PUSH1 0x20 00000c0a: DUP3 00000c0b: DUP5 00000c0c: SUB 00000c0d: SLT 00000c0e: ISZERO 00000c0f: PUSH2 0x0c17 00000c12: JUMPI 00000c13: PUSH1 0x00 00000c15: DUP1 00000c16: REVERT 00000c17: JUMPDEST 00000c18: POP 00000c19: CALLDATALOAD 00000c1a: SWAP2 00000c1b: SWAP1 00000c1c: POP 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: PUSH1 0x00 00000c21: PUSH1 0x20 00000c23: DUP3 00000c24: DUP5 00000c25: SUB 00000c26: SLT 00000c27: ISZERO 00000c28: PUSH2 0x0c30 00000c2b: JUMPI 00000c2c: PUSH1 0x00 00000c2e: DUP1 00000c2f: REVERT 00000c30: JUMPDEST 00000c31: DUP2 00000c32: CALLDATALOAD 00000c33: PUSH1 0x01 00000c35: PUSH1 0x01 00000c37: PUSH1 0xa0 00000c39: SHL 00000c3a: SUB 00000c3b: DUP2 00000c3c: AND 00000c3d: DUP2 00000c3e: EQ 00000c3f: PUSH2 0x0635 00000c42: JUMPI 00000c43: PUSH1 0x00 00000c45: DUP1 00000c46: REVERT 00000c47: JUMPDEST 00000c48: PUSH1 0x00 00000c4a: DUP1 00000c4b: PUSH1 0x00 00000c4d: DUP1 00000c4e: PUSH1 0x80 00000c50: DUP6 00000c51: DUP8 00000c52: SUB 00000c53: SLT 00000c54: ISZERO 00000c55: PUSH2 0x0c5d 00000c58: JUMPI 00000c59: PUSH1 0x00 00000c5b: DUP1 00000c5c: REVERT 00000c5d: JUMPDEST 00000c5e: POP 00000c5f: POP 00000c60: DUP3 00000c61: CALLDATALOAD 00000c62: SWAP5 00000c63: PUSH1 0x20 00000c65: DUP5 00000c66: ADD 00000c67: CALLDATALOAD 00000c68: SWAP5 00000c69: POP 00000c6a: PUSH1 0x40 00000c6c: DUP5 00000c6d: ADD 00000c6e: CALLDATALOAD 00000c6f: SWAP4 00000c70: PUSH1 0x60 00000c72: ADD 00000c73: CALLDATALOAD 00000c74: SWAP3 00000c75: POP 00000c76: SWAP1 00000c77: POP 00000c78: JUMP 00000c79: JUMPDEST 00000c7a: PUSH1 0x20 00000c7c: DUP1 00000c7d: DUP3 00000c7e: MSTORE 00000c7f: PUSH1 0x1a 00000c81: SWAP1 00000c82: DUP3 00000c83: ADD 00000c84: MSTORE 00000c85: PUSH32 0x466565436f6c6c6563746f723a206e6f74206f70657261746f72000000000000 00000ca6: PUSH1 0x40 00000ca8: DUP3 00000ca9: ADD 00000caa: MSTORE 00000cab: PUSH1 0x60 00000cad: ADD 00000cae: SWAP1 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x00 00000cb3: PUSH1 0x20 00000cb5: DUP3 00000cb6: DUP5 00000cb7: SUB 00000cb8: SLT 00000cb9: ISZERO 00000cba: PUSH2 0x0cc2 00000cbd: JUMPI 00000cbe: PUSH1 0x00 00000cc0: DUP1 00000cc1: REVERT 00000cc2: JUMPDEST 00000cc3: POP 00000cc4: MLOAD 00000cc5: SWAP2 00000cc6: SWAP1 00000cc7: POP 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: PUSH1 0x00 00000ccc: PUSH1 0x20 00000cce: DUP3 00000ccf: DUP5 00000cd0: SUB 00000cd1: SLT 00000cd2: ISZERO 00000cd3: PUSH2 0x0cdb 00000cd6: JUMPI 00000cd7: PUSH1 0x00 00000cd9: DUP1 00000cda: REVERT 00000cdb: JUMPDEST 00000cdc: DUP2 00000cdd: MLOAD 00000cde: DUP1 00000cdf: ISZERO 00000ce0: ISZERO 00000ce1: DUP2 00000ce2: EQ 00000ce3: PUSH2 0x0635 00000ce6: JUMPI 00000ce7: PUSH1 0x00 00000ce9: DUP1 00000cea: REVERT 00000ceb: JUMPDEST 00000cec: PUSH1 0x00 00000cee: DUP1 00000cef: PUSH1 0x00 00000cf1: PUSH1 0x60 00000cf3: DUP5 00000cf4: DUP7 00000cf5: SUB 00000cf6: SLT 00000cf7: ISZERO 00000cf8: PUSH2 0x0d00 00000cfb: JUMPI 00000cfc: PUSH1 0x00 00000cfe: DUP1 00000cff: REVERT 00000d00: JUMPDEST 00000d01: DUP4 00000d02: MLOAD 00000d03: PUSH16 0xffffffffffffffffffffffffffffffff 00000d14: DUP2 00000d15: AND 00000d16: DUP2 00000d17: EQ 00000d18: PUSH2 0x0d20 00000d1b: JUMPI 00000d1c: PUSH1 0x00 00000d1e: DUP1 00000d1f: REVERT 00000d20: JUMPDEST 00000d21: PUSH1 0x20 00000d23: DUP6 00000d24: ADD 00000d25: MLOAD 00000d26: PUSH1 0x40 00000d28: SWAP1 00000d29: SWAP6 00000d2a: ADD 00000d2b: MLOAD 00000d2c: SWAP1 00000d2d: SWAP7 00000d2e: SWAP5 00000d2f: SWAP6 00000d30: POP 00000d31: SWAP4 00000d32: SWAP3 00000d33: POP 00000d34: POP 00000d35: POP 00000d36: JUMP 00000d37: INVALID 00000d38: LOG2 00000d39: PUSH5 0x6970667358 00000d3f: UNKNOWN(0x22) 00000d40: SLT 00000d41: KECCAK256 00000d42: UNKNOWN(0xF9) 00000d43: UNKNOWN(0xE1) 00000d44: UNKNOWN(0xEA) 00000d45: SIGNEXTEND 00000d46: UNKNOWN(0xB4) 00000d47: UNKNOWN(0xAB) 00000d48: DUP14 00000d49: PUSH25 0x21def51a1f56f5abbfe6d5af4756da4f1b0423f93f2ab3dc64 00000d63: PUSH20
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9ea6b79cb3e0f85343a1fcf97f91f8d2831176e6d2020bca2b0fbfce889228a1
call_targets:
0x0af4e50da3f4e3072a43326f4d70b7ab32819cdd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9ea6b79cb3e0f85343a1fcf97f91f8d2831176e6d2020bca2b0fbfce889228a1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0af4e50da3f4e3072a43326f4d70b7ab32819cdd"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xc31c9c07",
"selector": "0xc31c9c07",
"calldata_variants": [
"0xc31c9c07",
"0xc31c9c070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce3f865f",
"selector": "0xce3f865f",
"calldata_variants": [
"0xce3f865f",
"0xce3f865f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xddca3f43",
"selector": "0xddca3f43",
"calldata_variants": [
"0xddca3f43",
"0xddca3f430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe78a432f",
"selector": "0xe78a432f",
"calldata_variants": [
"0xe78a432f",
"0xe78a432f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3e56fa8",
"selector": "0xa3e56fa8",
"calldata_variants": [
"0xa3e56fa8",
"0xa3e56fa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb3ab15fb",
"selector": "0xb3ab15fb",
"calldata_variants": [
"0xb3ab15fb",
"0xb3ab15fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1115,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1535,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1995,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x9ea6b79cb3e0f85343a1fcf97f91f8d2831176e6d2020bca2b0fbfce889228a1
call_targets:
0x0af4e50da3f4e3072a43326f4d70b7ab32819cdd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9ea6b79cb3e0f85343a1fcf97f91f8d2831176e6d2020bca2b0fbfce889228a1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0af4e50da3f4e3072a43326f4d70b7ab32819cdd"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xc31c9c07",
"selector": "0xc31c9c07",
"calldata_variants": [
"0xc31c9c07",
"0xc31c9c070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce3f865f",
"selector": "0xce3f865f",
"calldata_variants": [
"0xce3f865f",
"0xce3f865f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xddca3f43",
"selector": "0xddca3f43",
"calldata_variants": [
"0xddca3f43",
"0xddca3f430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe78a432f",
"selector": "0xe78a432f",
"calldata_variants": [
"0xe78a432f",
"0xe78a432f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3e56fa8",
"selector": "0xa3e56fa8",
"calldata_variants": [
"0xa3e56fa8",
"0xa3e56fa80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb3ab15fb",
"selector": "0xb3ab15fb",
"calldata_variants": [
"0xb3ab15fb",
"0xb3ab15fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1115,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1535,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1995,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|