019b3844-aace-70e9-b501-aa4834757ed4
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 |
|---|---|---|---|---|
| 17131 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 17132 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 60042 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 60043 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 60044 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 60045 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x00ec 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x95238177 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xecb7cb1b 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xecb7cb1b 0000002f: EQ 00000030: PUSH2 0x032d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xef5742bf 0000003a: EQ 0000003b: PUSH2 0x035a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x037a 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf6326fb3 00000050: EQ 00000051: PUSH2 0x039a 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x95238177 00000060: EQ 00000061: PUSH2 0x029a 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xd0dbcd24 0000006b: EQ 0000006c: PUSH2 0x02af 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd3335553 00000076: EQ 00000077: PUSH2 0x02e0 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdd6f66dc 00000081: EQ 00000082: PUSH2 0x0300 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x722713f7 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x722713f7 0000009c: EQ 0000009d: PUSH2 0x0215 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x792e219c 000000a7: EQ 000000a8: PUSH2 0x0228 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8da5cb5b 000000b2: EQ 000000b3: PUSH2 0x0248 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8f8982ab 000000bd: EQ 000000be: PUSH2 0x027a 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x0ba36dcd 000000cd: EQ 000000ce: PUSH2 0x019e 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x1b1a7cb2 000000d8: EQ 000000d9: PUSH2 0x01de 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x715018a6 000000e3: EQ 000000e4: PUSH2 0x0200 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: CALLDATASIZE 000000ee: PUSH2 0x0199 000000f1: JUMPI 000000f2: PUSH1 0x00 000000f4: CALLVALUE 000000f5: GT 000000f6: PUSH2 0x0146 000000f9: JUMPI 000000fa: PUSH1 0x40 000000fc: MLOAD 000000fd: PUSH3 0x461bcd 00000101: PUSH1 0xe5 00000103: SHL 00000104: DUP2 00000105: MSTORE 00000106: PUSH1 0x20 00000108: PUSH1 0x04 0000010a: DUP3 0000010b: ADD 0000010c: MSTORE 0000010d: PUSH1 0x1f 0000010f: PUSH1 0x24 00000111: DUP3 00000112: ADD 00000113: MSTORE 00000114: PUSH32 0x56616c7565206d7573742062652067726561746572207468616e207a65726f00 00000135: PUSH1 0x44 00000137: DUP3 00000138: ADD 00000139: MSTORE 0000013a: PUSH1 0x64 0000013c: ADD 0000013d: JUMPDEST 0000013e: PUSH1 0x40 00000140: MLOAD 00000141: DUP1 00000142: SWAP2 00000143: SUB 00000144: SWAP1 00000145: REVERT 00000146: JUMPDEST 00000147: CALLER 00000148: PUSH1 0x00 0000014a: SWAP1 0000014b: DUP2 0000014c: MSTORE 0000014d: PUSH1 0x03 0000014f: PUSH1 0x20 00000151: MSTORE 00000152: PUSH1 0x40 00000154: DUP2 00000155: KECCAK256 00000156: DUP1 00000157: SLOAD 00000158: CALLVALUE 00000159: SWAP3 0000015a: SWAP1 0000015b: PUSH2 0x0165 0000015e: SWAP1 0000015f: DUP5 00000160: SWAP1 00000161: PUSH2 0x0c41 00000164: JUMP 00000165: JUMPDEST 00000166: SWAP1 00000167: SWAP2 00000168: SSTORE 00000169: POP 0000016a: POP 0000016b: PUSH1 0x40 0000016d: MLOAD 0000016e: CALLVALUE 0000016f: SWAP1 00000170: CALLER 00000171: SWAP1 00000172: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000193: SWAP1 00000194: PUSH1 0x00 00000196: SWAP1 00000197: LOG3 00000198: STOP 00000199: JUMPDEST 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: REVERT 0000019e: JUMPDEST 0000019f: CALLVALUE 000001a0: DUP1 000001a1: ISZERO 000001a2: PUSH2 0x01aa 000001a5: JUMPI 000001a6: PUSH1 0x00 000001a8: DUP1 000001a9: REVERT 000001aa: JUMPDEST 000001ab: POP 000001ac: PUSH2 0x01cb 000001af: PUSH2 0x01b9 000001b2: CALLDATASIZE 000001b3: PUSH1 0x04 000001b5: PUSH2 0x0c70 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x03 000001bc: PUSH1 0x20 000001be: MSTORE 000001bf: PUSH1 0x00 000001c1: SWAP1 000001c2: DUP2 000001c3: MSTORE 000001c4: PUSH1 0x40 000001c6: SWAP1 000001c7: KECCAK256 000001c8: SLOAD 000001c9: DUP2 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: SWAP1 000001d0: DUP2 000001d1: MSTORE 000001d2: PUSH1 0x20 000001d4: ADD 000001d5: JUMPDEST 000001d6: PUSH1 0x40 000001d8: MLOAD 000001d9: DUP1 000001da: SWAP2 000001db: SUB 000001dc: SWAP1 000001dd: RETURN 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: POP 000001ec: PUSH2 0x01fe 000001ef: PUSH2 0x01f9 000001f2: CALLDATASIZE 000001f3: PUSH1 0x04 000001f5: PUSH2 0x0ca8 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH2 0x03a2 000001fd: JUMP 000001fe: JUMPDEST 000001ff: STOP 00000200: JUMPDEST 00000201: CALLVALUE 00000202: DUP1 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH2 0x01fe 00000211: PUSH2 0x050a 00000214: JUMP 00000215: JUMPDEST 00000216: CALLVALUE 00000217: DUP1 00000218: ISZERO 00000219: PUSH2 0x0221 0000021c: JUMPI 0000021d: PUSH1 0x00 0000021f: DUP1 00000220: REVERT 00000221: JUMPDEST 00000222: POP 00000223: SELFBALANCE 00000224: PUSH2 0x01cb 00000227: JUMP 00000228: JUMPDEST 00000229: CALLVALUE 0000022a: DUP1 0000022b: ISZERO 0000022c: PUSH2 0x0234 0000022f: JUMPI 00000230: PUSH1 0x00 00000232: DUP1 00000233: REVERT 00000234: JUMPDEST 00000235: POP 00000236: PUSH2 0x01fe 00000239: PUSH2 0x0243 0000023c: CALLDATASIZE 0000023d: PUSH1 0x04 0000023f: PUSH2 0x0d76 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH2 0x051e 00000247: JUMP 00000248: JUMPDEST 00000249: CALLVALUE 0000024a: DUP1 0000024b: ISZERO 0000024c: PUSH2 0x0254 0000024f: JUMPI 00000250: PUSH1 0x00 00000252: DUP1 00000253: REVERT 00000254: JUMPDEST 00000255: POP 00000256: PUSH1 0x00 00000258: SLOAD 00000259: PUSH1 0x01 0000025b: PUSH1 0x01 0000025d: PUSH1 0xa0 0000025f: SHL 00000260: SUB 00000261: AND 00000262: JUMPDEST 00000263: PUSH1 0x40 00000265: MLOAD 00000266: PUSH1 0x01 00000268: PUSH1 0x01 0000026a: PUSH1 0xa0 0000026c: SHL 0000026d: SUB 0000026e: SWAP1 0000026f: SWAP2 00000270: AND 00000271: DUP2 00000272: MSTORE 00000273: PUSH1 0x20 00000275: ADD 00000276: PUSH2 0x01d5 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x01fe 0000028b: PUSH2 0x0295 0000028e: CALLDATASIZE 0000028f: PUSH1 0x04 00000291: PUSH2 0x0c70 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH2 0x05b8 00000299: JUMP 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a6 000002a1: JUMPI 000002a2: PUSH1 0x00 000002a4: DUP1 000002a5: REVERT 000002a6: JUMPDEST 000002a7: POP 000002a8: PUSH2 0x01fe 000002ab: PUSH2 0x05ef 000002ae: JUMP 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: POP 000002bd: PUSH1 0x01 000002bf: SLOAD 000002c0: PUSH2 0x02d0 000002c3: SWAP1 000002c4: PUSH1 0x01 000002c6: PUSH1 0xa0 000002c8: SHL 000002c9: SWAP1 000002ca: DIV 000002cb: PUSH1 0xff 000002cd: AND 000002ce: DUP2 000002cf: JUMP 000002d0: JUMPDEST 000002d1: PUSH1 0x40 000002d3: MLOAD 000002d4: SWAP1 000002d5: ISZERO 000002d6: ISZERO 000002d7: DUP2 000002d8: MSTORE 000002d9: PUSH1 0x20 000002db: ADD 000002dc: PUSH2 0x01d5 000002df: JUMP 000002e0: JUMPDEST 000002e1: CALLVALUE 000002e2: DUP1 000002e3: ISZERO 000002e4: PUSH2 0x02ec 000002e7: JUMPI 000002e8: PUSH1 0x00 000002ea: DUP1 000002eb: REVERT 000002ec: JUMPDEST 000002ed: POP 000002ee: PUSH2 0x01fe 000002f1: PUSH2 0x02fb 000002f4: CALLDATASIZE 000002f5: PUSH1 0x04 000002f7: PUSH2 0x0da2 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH2 0x0633 000002ff: JUMP 00000300: JUMPDEST 00000301: CALLVALUE 00000302: DUP1 00000303: ISZERO 00000304: PUSH2 0x030c 00000307: JUMPI 00000308: PUSH1 0x00 0000030a: DUP1 0000030b: REVERT 0000030c: JUMPDEST 0000030d: POP 0000030e: PUSH2 0x01cb 00000311: PUSH2 0x031b 00000314: CALLDATASIZE 00000315: PUSH1 0x04 00000317: PUSH2 0x0c70 0000031a: JUMP 0000031b: JUMPDEST 0000031c: PUSH1 0x02 0000031e: PUSH1 0x20 00000320: MSTORE 00000321: PUSH1 0x00 00000323: SWAP1 00000324: DUP2 00000325: MSTORE 00000326: PUSH1 0x40 00000328: SWAP1 00000329: KECCAK256 0000032a: SLOAD 0000032b: DUP2 0000032c: JUMP 0000032d: JUMPDEST 0000032e: CALLVALUE 0000032f: DUP1 00000330: ISZERO 00000331: PUSH2 0x0339 00000334: JUMPI 00000335: PUSH1 0x00 00000337: DUP1 00000338: REVERT 00000339: JUMPDEST 0000033a: POP 0000033b: PUSH2 0x01cb 0000033e: PUSH2 0x0348 00000341: CALLDATASIZE 00000342: PUSH1 0x04 00000344: PUSH2 0x0c70 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH1 0x04 0000034b: PUSH1 0x20 0000034d: MSTORE 0000034e: PUSH1 0x00 00000350: SWAP1 00000351: DUP2 00000352: MSTORE 00000353: PUSH1 0x40 00000355: SWAP1 00000356: KECCAK256 00000357: SLOAD 00000358: DUP2 00000359: JUMP 0000035a: JUMPDEST 0000035b: CALLVALUE 0000035c: DUP1 0000035d: ISZERO 0000035e: PUSH2 0x0366 00000361: JUMPI 00000362: PUSH1 0x00 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: POP 00000368: PUSH1 0x01 0000036a: SLOAD 0000036b: PUSH2 0x0262 0000036e: SWAP1 0000036f: PUSH1 0x01 00000371: PUSH1 0x01 00000373: PUSH1 0xa0 00000375: SHL 00000376: SUB 00000377: AND 00000378: DUP2 00000379: JUMP 0000037a: JUMPDEST 0000037b: CALLVALUE 0000037c: DUP1 0000037d: ISZERO 0000037e: PUSH2 0x0386 00000381: JUMPI 00000382: PUSH1 0x00 00000384: DUP1 00000385: REVERT 00000386: JUMPDEST 00000387: POP 00000388: PUSH2 0x01fe 0000038b: PUSH2 0x0395 0000038e: CALLDATASIZE 0000038f: PUSH1 0x04 00000391: PUSH2 0x0c70 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH2 0x06db 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH2 0x01fe 0000039e: PUSH2 0x076b 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH1 0x01 000003a5: SLOAD 000003a6: PUSH1 0x01 000003a8: PUSH1 0xa0 000003aa: SHL 000003ab: SWAP1 000003ac: DIV 000003ad: PUSH1 0xff 000003af: AND 000003b0: PUSH2 0x03b8 000003b3: JUMPI 000003b4: PUSH1 0x00 000003b6: DUP1 000003b7: REVERT 000003b8: JUMPDEST 000003b9: CALLER 000003ba: PUSH1 0x00 000003bc: SWAP1 000003bd: DUP2 000003be: MSTORE 000003bf: PUSH1 0x02 000003c1: PUSH1 0x20 000003c3: MSTORE 000003c4: PUSH1 0x40 000003c6: SWAP1 000003c7: KECCAK256 000003c8: SLOAD 000003c9: DUP5 000003ca: EQ 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: DUP3 000003d5: TIMESTAMP 000003d6: LT 000003d7: PUSH2 0x03df 000003da: JUMPI 000003db: PUSH1 0x00 000003dd: DUP1 000003de: REVERT 000003df: JUMPDEST 000003e0: PUSH2 0x03eb 000003e3: DUP5 000003e4: DUP5 000003e5: DUP5 000003e6: DUP5 000003e7: PUSH2 0x080e 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH2 0x03f4 000003ef: JUMPI 000003f0: PUSH1 0x00 000003f2: DUP1 000003f3: REVERT 000003f4: JUMPDEST 000003f5: CALLER 000003f6: PUSH1 0x00 000003f8: SWAP1 000003f9: DUP2 000003fa: MSTORE 000003fb: PUSH1 0x02 000003fd: PUSH1 0x20 000003ff: MSTORE 00000400: PUSH1 0x40 00000402: DUP2 00000403: KECCAK256 00000404: DUP1 00000405: SLOAD 00000406: SWAP2 00000407: PUSH2 0x040f 0000040a: DUP4 0000040b: PUSH2 0x0dbb 0000040e: JUMP 0000040f: JUMPDEST 00000410: SWAP1 00000411: SWAP2 00000412: SSTORE 00000413: POP 00000414: POP 00000415: CALLER 00000416: PUSH1 0x00 00000418: SWAP1 00000419: DUP2 0000041a: MSTORE 0000041b: PUSH1 0x04 0000041d: PUSH1 0x20 0000041f: MSTORE 00000420: PUSH1 0x40 00000422: DUP2 00000423: KECCAK256 00000424: DUP1 00000425: SLOAD 00000426: DUP5 00000427: SWAP3 00000428: SWAP1 00000429: PUSH2 0x0433 0000042c: SWAP1 0000042d: DUP5 0000042e: SWAP1 0000042f: PUSH2 0x0c41 00000432: JUMP 00000433: JUMPDEST 00000434: SWAP1 00000435: SWAP2 00000436: SSTORE 00000437: POP 00000438: POP 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: PUSH1 0x00 0000043e: SWAP1 0000043f: DUP2 00000440: SWAP1 00000441: CALLER 00000442: SWAP1 00000443: DUP6 00000444: SWAP1 00000445: DUP4 00000446: DUP2 00000447: DUP2 00000448: DUP2 00000449: DUP6 0000044a: DUP8 0000044b: GAS 0000044c: CALL 0000044d: SWAP3 0000044e: POP 0000044f: POP 00000450: POP 00000451: RETURNDATASIZE 00000452: DUP1 00000453: PUSH1 0x00 00000455: DUP2 00000456: EQ 00000457: PUSH2 0x047c 0000045a: JUMPI 0000045b: PUSH1 0x40 0000045d: MLOAD 0000045e: SWAP2 0000045f: POP 00000460: PUSH1 0x1f 00000462: NOT 00000463: PUSH1 0x3f 00000465: RETURNDATASIZE 00000466: ADD 00000467: AND 00000468: DUP3 00000469: ADD 0000046a: PUSH1 0x40 0000046c: MSTORE 0000046d: RETURNDATASIZE 0000046e: DUP3 0000046f: MSTORE 00000470: RETURNDATASIZE 00000471: PUSH1 0x00 00000473: PUSH1 0x20 00000475: DUP5 00000476: ADD 00000477: RETURNDATACOPY 00000478: PUSH2 0x0481 0000047b: JUMP 0000047c: JUMPDEST 0000047d: PUSH1 0x60 0000047f: SWAP2 00000480: POP 00000481: JUMPDEST 00000482: POP 00000483: SWAP2 00000484: POP 00000485: SWAP2 00000486: POP 00000487: DUP2 00000488: PUSH2 0x04d3 0000048b: JUMPI 0000048c: PUSH1 0x40 0000048e: MLOAD 0000048f: PUSH3 0x461bcd 00000493: PUSH1 0xe5 00000495: SHL 00000496: DUP2 00000497: MSTORE 00000498: PUSH1 0x20 0000049a: PUSH1 0x04 0000049c: DUP3 0000049d: ADD 0000049e: MSTORE 0000049f: PUSH1 0x18 000004a1: PUSH1 0x24 000004a3: DUP3 000004a4: ADD 000004a5: MSTORE 000004a6: PUSH32 0x4661696c656420746f207472616e736665722065746865720000000000000000 000004c7: PUSH1 0x44 000004c9: DUP3 000004ca: ADD 000004cb: MSTORE 000004cc: PUSH1 0x64 000004ce: ADD 000004cf: PUSH2 0x013d 000004d2: JUMP 000004d3: JUMPDEST 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: DUP6 000004d8: SWAP1 000004d9: DUP6 000004da: SWAP1 000004db: CALLER 000004dc: SWAP1 000004dd: PUSH32 0xdf273cb619d95419a9cd0ec88123a0538c85064229baa6363788f743fff90deb 000004fe: SWAP1 000004ff: PUSH1 0x00 00000501: SWAP1 00000502: LOG4 00000503: POP 00000504: POP 00000505: POP 00000506: POP 00000507: POP 00000508: POP 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH2 0x0512 0000050e: PUSH2 0x08e0 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH2 0x051c 00000516: PUSH1 0x00 00000518: PUSH2 0x093a 0000051b: JUMP 0000051c: JUMPDEST 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH2 0x0526 00000522: PUSH2 0x08e0 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0x40 00000529: MLOAD 0000052a: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000054b: DUP2 0000054c: MSTORE 0000054d: CALLER 0000054e: PUSH1 0x04 00000550: DUP3 00000551: ADD 00000552: MSTORE 00000553: PUSH1 0x24 00000555: DUP2 00000556: ADD 00000557: DUP4 00000558: SWAP1 00000559: MSTORE 0000055a: DUP2 0000055b: SWAP1 0000055c: PUSH1 0x01 0000055e: PUSH1 0x01 00000560: PUSH1 0xa0 00000562: SHL 00000563: SUB 00000564: DUP3 00000565: AND 00000566: SWAP1 00000567: PUSH4 0xa9059cbb 0000056c: SWAP1 0000056d: PUSH1 0x44 0000056f: ADD 00000570: PUSH1 0x20 00000572: PUSH1 0x40 00000574: MLOAD 00000575: DUP1 00000576: DUP4 00000577: SUB 00000578: DUP2 00000579: PUSH1 0x00 0000057b: DUP8 0000057c: GAS 0000057d: CALL 0000057e: ISZERO 0000057f: DUP1 00000580: ISZERO 00000581: PUSH2 0x058e 00000584: JUMPI 00000585: RETURNDATASIZE 00000586: PUSH1 0x00 00000588: DUP1 00000589: RETURNDATACOPY 0000058a: RETURNDATASIZE 0000058b: PUSH1 0x00 0000058d: REVERT 0000058e: JUMPDEST 0000058f: POP 00000590: POP 00000591: POP 00000592: POP 00000593: PUSH1 0x40 00000595: MLOAD 00000596: RETURNDATASIZE 00000597: PUSH1 0x1f 00000599: NOT 0000059a: PUSH1 0x1f 0000059c: DUP3 0000059d: ADD 0000059e: AND 0000059f: DUP3 000005a0: ADD 000005a1: DUP1 000005a2: PUSH1 0x40 000005a4: MSTORE 000005a5: POP 000005a6: DUP2 000005a7: ADD 000005a8: SWAP1 000005a9: PUSH2 0x05b2 000005ac: SWAP2 000005ad: SWAP1 000005ae: PUSH2 0x0dd4 000005b1: JUMP 000005b2: JUMPDEST 000005b3: POP 000005b4: POP 000005b5: POP 000005b6: POP 000005b7: JUMP 000005b8: JUMPDEST 000005b9: PUSH2 0x05c0 000005bc: PUSH2 0x08e0 000005bf: JUMP 000005c0: JUMPDEST 000005c1: PUSH1 0x01 000005c3: DUP1 000005c4: SLOAD 000005c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005da: NOT 000005db: AND 000005dc: PUSH1 0x01 000005de: PUSH1 0x01 000005e0: PUSH1 0xa0 000005e2: SHL 000005e3: SUB 000005e4: SWAP3 000005e5: SWAP1 000005e6: SWAP3 000005e7: AND 000005e8: SWAP2 000005e9: SWAP1 000005ea: SWAP2 000005eb: OR 000005ec: SWAP1 000005ed: SSTORE 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH2 0x05f7 000005f3: PUSH2 0x08e0 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH1 0x01 000005fa: DUP1 000005fb: SLOAD 000005fc: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 0000061d: DUP2 0000061e: AND 0000061f: PUSH1 0x01 00000621: PUSH1 0xa0 00000623: SHL 00000624: SWAP2 00000625: DUP3 00000626: SWAP1 00000627: DIV 00000628: PUSH1 0xff 0000062a: AND 0000062b: ISZERO 0000062c: SWAP1 0000062d: SWAP2 0000062e: MUL 0000062f: OR 00000630: SWAP1 00000631: SSTORE 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH2 0x063b 00000637: PUSH2 0x08e0 0000063a: JUMP 0000063b: JUMPDEST 0000063c: PUSH1 0x40 0000063e: MLOAD 0000063f: PUSH1 0x00 00000641: SWAP1 00000642: DUP2 00000643: SWAP1 00000644: CALLER 00000645: SWAP1 00000646: DUP5 00000647: SWAP1 00000648: DUP4 00000649: DUP2 0000064a: DUP2 0000064b: DUP2 0000064c: DUP6 0000064d: DUP8 0000064e: GAS 0000064f: CALL 00000650: SWAP3 00000651: POP 00000652: POP 00000653: POP 00000654: RETURNDATASIZE 00000655: DUP1 00000656: PUSH1 0x00 00000658: DUP2 00000659: EQ 0000065a: PUSH2 0x067f 0000065d: JUMPI 0000065e: PUSH1 0x40 00000660: MLOAD 00000661: SWAP2 00000662: POP 00000663: PUSH1 0x1f 00000665: NOT 00000666: PUSH1 0x3f 00000668: RETURNDATASIZE 00000669: ADD 0000066a: AND 0000066b: DUP3 0000066c: ADD 0000066d: PUSH1 0x40 0000066f: MSTORE 00000670: RETURNDATASIZE 00000671: DUP3 00000672: MSTORE 00000673: RETURNDATASIZE 00000674: PUSH1 0x00 00000676: PUSH1 0x20 00000678: DUP5 00000679: ADD 0000067a: RETURNDATACOPY 0000067b: PUSH2 0x0684 0000067e: JUMP 0000067f: JUMPDEST 00000680: PUSH1 0x60 00000682: SWAP2 00000683: POP 00000684: JUMPDEST 00000685: POP 00000686: SWAP2 00000687: POP 00000688: SWAP2 00000689: POP 0000068a: DUP2 0000068b: PUSH2 0x06d6 0000068e: JUMPI 0000068f: PUSH1 0x40 00000691: MLOAD 00000692: PUSH3 0x461bcd 00000696: PUSH1 0xe5 00000698: SHL 00000699: DUP2 0000069a: MSTORE 0000069b: PUSH1 0x20 0000069d: PUSH1 0x04 0000069f: DUP3 000006a0: ADD 000006a1: MSTORE 000006a2: PUSH1 0x18 000006a4: PUSH1 0x24 000006a6: DUP3 000006a7: ADD 000006a8: MSTORE 000006a9: PUSH32 0x4661696c656420746f207472616e736665722065746865720000000000000000 000006ca: PUSH1 0x44 000006cc: DUP3 000006cd: ADD 000006ce: MSTORE 000006cf: PUSH1 0x64 000006d1: ADD 000006d2: PUSH2 0x013d 000006d5: JUMP 000006d6: JUMPDEST 000006d7: POP 000006d8: POP 000006d9: POP 000006da: JUMP 000006db: JUMPDEST 000006dc: PUSH2 0x06e3 000006df: PUSH2 0x08e0 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH1 0x01 000006e6: PUSH1 0x01 000006e8: PUSH1 0xa0 000006ea: SHL 000006eb: SUB 000006ec: DUP2 000006ed: AND 000006ee: PUSH2 0x075f 000006f1: JUMPI 000006f2: PUSH1 0x40 000006f4: MLOAD 000006f5: PUSH3 0x461bcd 000006f9: PUSH1 0xe5 000006fb: SHL 000006fc: DUP2 000006fd: MSTORE 000006fe: PUSH1 0x20 00000700: PUSH1 0x04 00000702: DUP3 00000703: ADD 00000704: MSTORE 00000705: PUSH1 0x26 00000707: PUSH1 0x24 00000709: DUP3 0000070a: ADD 0000070b: MSTORE 0000070c: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000072d: PUSH1 0x44 0000072f: DUP3 00000730: ADD 00000731: MSTORE 00000732: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000753: PUSH1 0x64 00000755: DUP3 00000756: ADD 00000757: MSTORE 00000758: PUSH1 0x84 0000075a: ADD 0000075b: PUSH2 0x013d 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH2 0x0768 00000763: DUP2 00000764: PUSH2 0x093a 00000767: JUMP 00000768: JUMPDEST 00000769: POP 0000076a: JUMP 0000076b: JUMPDEST 0000076c: PUSH1 0x00 0000076e: CALLVALUE 0000076f: GT 00000770: PUSH2 0x07bb 00000773: JUMPI 00000774: PUSH1 0x40 00000776: MLOAD 00000777: PUSH3 0x461bcd 0000077b: PUSH1 0xe5 0000077d: SHL 0000077e: DUP2 0000077f: MSTORE 00000780: PUSH1 0x20 00000782: PUSH1 0x04 00000784: DUP3 00000785: ADD 00000786: MSTORE 00000787: PUSH1 0x1f 00000789: PUSH1 0x24 0000078b: DUP3 0000078c: ADD 0000078d: MSTORE 0000078e: PUSH32 0x56616c7565206d7573742062652067726561746572207468616e207a65726f00 000007af: PUSH1 0x44 000007b1: DUP3 000007b2: ADD 000007b3: MSTORE 000007b4: PUSH1 0x64 000007b6: ADD 000007b7: PUSH2 0x013d 000007ba: JUMP 000007bb: JUMPDEST 000007bc: CALLER 000007bd: PUSH1 0x00 000007bf: SWAP1 000007c0: DUP2 000007c1: MSTORE 000007c2: PUSH1 0x03 000007c4: PUSH1 0x20 000007c6: MSTORE 000007c7: PUSH1 0x40 000007c9: DUP2 000007ca: KECCAK256 000007cb: DUP1 000007cc: SLOAD 000007cd: CALLVALUE 000007ce: SWAP3 000007cf: SWAP1 000007d0: PUSH2 0x07da 000007d3: SWAP1 000007d4: DUP5 000007d5: SWAP1 000007d6: PUSH2 0x0c41 000007d9: JUMP 000007da: JUMPDEST 000007db: SWAP1 000007dc: SWAP2 000007dd: SSTORE 000007de: POP 000007df: POP 000007e0: PUSH1 0x40 000007e2: MLOAD 000007e3: CALLVALUE 000007e4: SWAP1 000007e5: CALLER 000007e6: SWAP1 000007e7: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000808: SWAP1 00000809: PUSH1 0x00 0000080b: SWAP1 0000080c: LOG3 0000080d: JUMP 0000080e: JUMPDEST 0000080f: PUSH1 0x00 00000811: DUP1 00000812: DUP6 00000813: DUP6 00000814: CALLER 00000815: DUP7 00000816: PUSH1 0x40 00000818: MLOAD 00000819: PUSH1 0x20 0000081b: ADD 0000081c: PUSH2 0x0850 0000081f: SWAP5 00000820: SWAP4 00000821: SWAP3 00000822: SWAP2 00000823: SWAP1 00000824: SWAP4 00000825: DUP5 00000826: MSTORE 00000827: PUSH1 0x20 00000829: DUP5 0000082a: ADD 0000082b: SWAP3 0000082c: SWAP1 0000082d: SWAP3 0000082e: MSTORE 0000082f: PUSH1 0x60 00000831: SHL 00000832: PUSH12 0xffffffffffffffffffffffff 0000083f: NOT 00000840: AND 00000841: PUSH1 0x40 00000843: DUP4 00000844: ADD 00000845: MSTORE 00000846: PUSH1 0x54 00000848: DUP3 00000849: ADD 0000084a: MSTORE 0000084b: PUSH1 0x74 0000084d: ADD 0000084e: SWAP1 0000084f: JUMP 00000850: JUMPDEST 00000851: PUSH1 0x40 00000853: MLOAD 00000854: PUSH1 0x20 00000856: DUP2 00000857: DUP4 00000858: SUB 00000859: SUB 0000085a: DUP2 0000085b: MSTORE 0000085c: SWAP1 0000085d: PUSH1 0x40 0000085f: MSTORE 00000860: DUP1 00000861: MLOAD 00000862: SWAP1 00000863: PUSH1 0x20 00000865: ADD 00000866: KECCAK256 00000867: SWAP1 00000868: POP 00000869: PUSH1 0x00 0000086b: PUSH2 0x08a1 0000086e: DUP3 0000086f: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00000890: PUSH1 0x00 00000892: SWAP1 00000893: DUP2 00000894: MSTORE 00000895: PUSH1 0x1c 00000897: SWAP2 00000898: SWAP1 00000899: SWAP2 0000089a: MSTORE 0000089b: PUSH1 0x3c 0000089d: SWAP1 0000089e: KECCAK256 0000089f: SWAP1 000008a0: JUMP 000008a1: JUMPDEST 000008a2: SWAP1 000008a3: POP 000008a4: PUSH1 0x00 000008a6: PUSH2 0x08af 000008a9: DUP3 000008aa: DUP7 000008ab: PUSH2 0x0997 000008ae: JUMP 000008af: JUMPDEST 000008b0: SWAP1 000008b1: POP 000008b2: PUSH1 0x01 000008b4: PUSH1 0x01 000008b6: PUSH1 0xa0 000008b8: SHL 000008b9: SUB 000008ba: DUP2 000008bb: AND 000008bc: PUSH2 0x08c4 000008bf: JUMPI 000008c0: PUSH1 0x00 000008c2: DUP1 000008c3: REVERT 000008c4: JUMPDEST 000008c5: PUSH1 0x01 000008c7: SLOAD 000008c8: PUSH1 0x01 000008ca: PUSH1 0x01 000008cc: PUSH1 0xa0 000008ce: SHL 000008cf: SUB 000008d0: SWAP1 000008d1: DUP2 000008d2: AND 000008d3: SWAP2 000008d4: AND 000008d5: EQ 000008d6: SWAP8 000008d7: SWAP7 000008d8: POP 000008d9: POP 000008da: POP 000008db: POP 000008dc: POP 000008dd: POP 000008de: POP 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH1 0x00 000008e3: SLOAD 000008e4: PUSH1 0x01 000008e6: PUSH1 0x01 000008e8: PUSH1 0xa0 000008ea: SHL 000008eb: SUB 000008ec: AND 000008ed: CALLER 000008ee: EQ 000008ef: PUSH2 0x051c 000008f2: JUMPI 000008f3: PUSH1 0x40 000008f5: MLOAD 000008f6: PUSH3 0x461bcd 000008fa: PUSH1 0xe5 000008fc: SHL 000008fd: DUP2 000008fe: MSTORE 000008ff: PUSH1 0x20 00000901: PUSH1 0x04 00000903: DUP3 00000904: ADD 00000905: DUP2 00000906: SWAP1 00000907: MSTORE 00000908: PUSH1 0x24 0000090a: DUP3 0000090b: ADD 0000090c: MSTORE 0000090d: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000092e: PUSH1 0x44 00000930: DUP3 00000931: ADD 00000932: MSTORE 00000933: PUSH1 0x64 00000935: ADD 00000936: PUSH2 0x013d 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x00 0000093d: DUP1 0000093e: SLOAD 0000093f: PUSH1 0x01 00000941: PUSH1 0x01 00000943: PUSH1 0xa0 00000945: SHL 00000946: SUB 00000947: DUP4 00000948: DUP2 00000949: AND 0000094a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095f: NOT 00000960: DUP4 00000961: AND 00000962: DUP2 00000963: OR 00000964: DUP5 00000965: SSTORE 00000966: PUSH1 0x40 00000968: MLOAD 00000969: SWAP2 0000096a: SWAP1 0000096b: SWAP3 0000096c: AND 0000096d: SWAP3 0000096e: DUP4 0000096f: SWAP2 00000970: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000991: SWAP2 00000992: SWAP1 00000993: LOG3 00000994: POP 00000995: POP 00000996: JUMP 00000997: JUMPDEST 00000998: PUSH1 0x00 0000099a: DUP1 0000099b: PUSH1 0x00 0000099d: PUSH2 0x09a6 000009a0: DUP6 000009a1: DUP6 000009a2: PUSH2 0x09bd 000009a5: JUMP 000009a6: JUMPDEST 000009a7: SWAP2 000009a8: POP 000009a9: SWAP2 000009aa: POP 000009ab: PUSH2 0x09b3 000009ae: DUP2 000009af: PUSH2 0x0a02 000009b2: JUMP 000009b3: JUMPDEST 000009b4: POP 000009b5: SWAP1 000009b6: POP 000009b7: JUMPDEST 000009b8: SWAP3 000009b9: SWAP2 000009ba: POP 000009bb: POP 000009bc: JUMP 000009bd: JUMPDEST 000009be: PUSH1 0x00 000009c0: DUP1 000009c1: DUP3 000009c2: MLOAD 000009c3: PUSH1 0x41 000009c5: SUB 000009c6: PUSH2 0x09f3 000009c9: JUMPI 000009ca: PUSH1 0x20 000009cc: DUP4 000009cd: ADD 000009ce: MLOAD 000009cf: PUSH1 0x40 000009d1: DUP5 000009d2: ADD 000009d3: MLOAD 000009d4: PUSH1 0x60 000009d6: DUP6 000009d7: ADD 000009d8: MLOAD 000009d9: PUSH1 0x00 000009db: BYTE 000009dc: PUSH2 0x09e7 000009df: DUP8 000009e0: DUP3 000009e1: DUP6 000009e2: DUP6 000009e3: PUSH2 0x0b67 000009e6: JUMP 000009e7: JUMPDEST 000009e8: SWAP5 000009e9: POP 000009ea: SWAP5 000009eb: POP 000009ec: POP 000009ed: POP 000009ee: POP 000009ef: PUSH2 0x09fb 000009f2: JUMP 000009f3: JUMPDEST 000009f4: POP 000009f5: PUSH1 0x00 000009f7: SWAP1 000009f8: POP 000009f9: PUSH1 0x02 000009fb: JUMPDEST 000009fc: SWAP3 000009fd: POP 000009fe: SWAP3 000009ff: SWAP1 00000a00: POP 00000a01: JUMP 00000a02: JUMPDEST 00000a03: PUSH1 0x00 00000a05: DUP2 00000a06: PUSH1 0x04 00000a08: DUP2 00000a09: GT 00000a0a: ISZERO 00000a0b: PUSH2 0x0a16 00000a0e: JUMPI 00000a0f: PUSH2 0x0a16 00000a12: PUSH2 0x0df6 00000a15: JUMP 00000a16: JUMPDEST 00000a17: SUB 00000a18: PUSH2 0x0a1e 00000a1b: JUMPI 00000a1c: POP 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: PUSH1 0x01 00000a21: DUP2 00000a22: PUSH1 0x04 00000a24: DUP2 00000a25: GT 00000a26: ISZERO 00000a27: PUSH2 0x0a32 00000a2a: JUMPI 00000a2b: PUSH2 0x0a32 00000a2e: PUSH2 0x0df6 00000a31: JUMP 00000a32: JUMPDEST 00000a33: SUB 00000a34: PUSH2 0x0a7f 00000a37: JUMPI 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: PUSH3 0x461bcd 00000a3f: PUSH1 0xe5 00000a41: SHL 00000a42: DUP2 00000a43: MSTORE 00000a44: PUSH1 0x20 00000a46: PUSH1 0x04 00000a48: DUP3 00000a49: ADD 00000a4a: MSTORE 00000a4b: PUSH1 0x18 00000a4d: PUSH1 0x24 00000a4f: DUP3 00000a50: ADD 00000a51: MSTORE 00000a52: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000 00000a73: PUSH1 0x44 00000a75: DUP3 00000a76: ADD 00000a77: MSTORE 00000a78: PUSH1 0x64 00000a7a: ADD 00000a7b: PUSH2 0x013d 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: PUSH1 0x02 00000a82: DUP2 00000a83: PUSH1 0x04 00000a85: DUP2 00000a86: GT 00000a87: ISZERO 00000a88: PUSH2 0x0a93 00000a8b: JUMPI 00000a8c: PUSH2 0x0a93 00000a8f: PUSH2 0x0df6 00000a92: JUMP 00000a93: JUMPDEST 00000a94: SUB 00000a95: PUSH2 0x0ae0 00000a98: JUMPI 00000a99: PUSH1 0x40 00000a9b: MLOAD 00000a9c: PUSH3 0x461bcd 00000aa0: PUSH1 0xe5 00000aa2: SHL 00000aa3: DUP2 00000aa4: MSTORE 00000aa5: PUSH1 0x20 00000aa7: PUSH1 0x04 00000aa9: DUP3 00000aaa: ADD 00000aab: MSTORE 00000aac: PUSH1 0x1f 00000aae: PUSH1 0x24 00000ab0: DUP3 00000ab1: ADD 00000ab2: MSTORE 00000ab3: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 00000ad4: PUSH1 0x44 00000ad6: DUP3 00000ad7: ADD 00000ad8: MSTORE 00000ad9: PUSH1 0x64 00000adb: ADD 00000adc: PUSH2 0x013d 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: PUSH1 0x03 00000ae3: DUP2 00000ae4: PUSH1 0x04 00000ae6: DUP2 00000ae7: GT 00000ae8: ISZERO 00000ae9: PUSH2 0x0af4 00000aec: JUMPI 00000aed: PUSH2 0x0af4 00000af0: PUSH2 0x0df6 00000af3: JUMP 00000af4: JUMPDEST 00000af5: SUB 00000af6: PUSH2 0x0768 00000af9: JUMPI 00000afa: PUSH1 0x40 00000afc: MLOAD 00000afd: PUSH3 0x461bcd 00000b01: PUSH1 0xe5 00000b03: SHL 00000b04: DUP2 00000b05: MSTORE 00000b06: PUSH1 0x20 00000b08: PUSH1 0x04 00000b0a: DUP3 00000b0b: ADD 00000b0c: MSTORE 00000b0d: PUSH1 0x22 00000b0f: PUSH1 0x24 00000b11: DUP3 00000b12: ADD 00000b13: MSTORE 00000b14: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 00000b35: PUSH1 0x44 00000b37: DUP3 00000b38: ADD 00000b39: MSTORE 00000b3a: PUSH32 0x7565000000000000000000000000000000000000000000000000000000000000 00000b5b: PUSH1 0x64 00000b5d: DUP3 00000b5e: ADD 00000b5f: MSTORE 00000b60: PUSH1 0x84 00000b62: ADD 00000b63: PUSH2 0x013d 00000b66: JUMP 00000b67: JUMPDEST 00000b68: PUSH1 0x00 00000b6a: DUP1 00000b6b: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0 00000b8c: DUP4 00000b8d: GT 00000b8e: ISZERO 00000b8f: PUSH2 0x0b9e 00000b92: JUMPI 00000b93: POP 00000b94: PUSH1 0x00 00000b96: SWAP1 00000b97: POP 00000b98: PUSH1 0x03 00000b9a: PUSH2 0x0c22 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: PUSH1 0x40 00000ba1: DUP1 00000ba2: MLOAD 00000ba3: PUSH1 0x00 00000ba5: DUP1 00000ba6: DUP3 00000ba7: MSTORE 00000ba8: PUSH1 0x20 00000baa: DUP3 00000bab: ADD 00000bac: DUP1 00000bad: DUP5 00000bae: MSTORE 00000baf: DUP10 00000bb0: SWAP1 00000bb1: MSTORE 00000bb2: PUSH1 0xff 00000bb4: DUP9 00000bb5: AND 00000bb6: SWAP3 00000bb7: DUP3 00000bb8: ADD 00000bb9: SWAP3 00000bba: SWAP1 00000bbb: SWAP3 00000bbc: MSTORE 00000bbd: PUSH1 0x60 00000bbf: DUP2 00000bc0: ADD 00000bc1: DUP7 00000bc2: SWAP1 00000bc3: MSTORE 00000bc4: PUSH1 0x80 00000bc6: DUP2 00000bc7: ADD 00000bc8: DUP6 00000bc9: SWAP1 00000bca: MSTORE 00000bcb: PUSH1 0x01 00000bcd: SWAP1 00000bce: PUSH1 0xa0 00000bd0: ADD 00000bd1: PUSH1 0x20 00000bd3: PUSH1 0x40 00000bd5: MLOAD 00000bd6: PUSH1 0x20 00000bd8: DUP2 00000bd9: SUB 00000bda: SWAP1 00000bdb: DUP1 00000bdc: DUP5 00000bdd: SUB 00000bde: SWAP1 00000bdf: DUP6 00000be0: GAS 00000be1: STATICCALL 00000be2: ISZERO 00000be3: DUP1 00000be4: ISZERO 00000be5: PUSH2 0x0bf2 00000be8: JUMPI 00000be9: RETURNDATASIZE 00000bea: PUSH1 0x00 00000bec: DUP1 00000bed: RETURNDATACOPY 00000bee: RETURNDATASIZE 00000bef: PUSH1 0x00 00000bf1: REVERT 00000bf2: JUMPDEST 00000bf3: POP 00000bf4: POP 00000bf5: PUSH1 0x40 00000bf7: MLOAD 00000bf8: PUSH1 0x1f 00000bfa: NOT 00000bfb: ADD 00000bfc: MLOAD 00000bfd: SWAP2 00000bfe: POP 00000bff: POP 00000c00: PUSH1 0x01 00000c02: PUSH1 0x01 00000c04: PUSH1 0xa0 00000c06: SHL 00000c07: SUB 00000c08: DUP2 00000c09: AND 00000c0a: PUSH2 0x0c1b 00000c0d: JUMPI 00000c0e: PUSH1 0x00 00000c10: PUSH1 0x01 00000c12: SWAP3 00000c13: POP 00000c14: SWAP3 00000c15: POP 00000c16: POP 00000c17: PUSH2 0x0c22 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: SWAP2 00000c1d: POP 00000c1e: PUSH1 0x00 00000c20: SWAP1 00000c21: POP 00000c22: JUMPDEST 00000c23: SWAP5 00000c24: POP 00000c25: SWAP5 00000c26: SWAP3 00000c27: POP 00000c28: POP 00000c29: POP 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: PUSH4 0x4e487b71 00000c31: PUSH1 0xe0 00000c33: SHL 00000c34: PUSH1 0x00 00000c36: MSTORE 00000c37: PUSH1 0x11 00000c39: PUSH1 0x04 00000c3b: MSTORE 00000c3c: PUSH1 0x24 00000c3e: PUSH1 0x00 00000c40: REVERT 00000c41: JUMPDEST 00000c42: DUP1 00000c43: DUP3 00000c44: ADD 00000c45: DUP1 00000c46: DUP3 00000c47: GT 00000c48: ISZERO 00000c49: PUSH2 0x09b7 00000c4c: JUMPI 00000c4d: PUSH2 0x09b7 00000c50: PUSH2 0x0c2b 00000c53: JUMP 00000c54: JUMPDEST 00000c55: DUP1 00000c56: CALLDATALOAD 00000c57: PUSH1 0x01 00000c59: PUSH1 0x01 00000c5b: PUSH1 0xa0 00000c5d: SHL 00000c5e: SUB 00000c5f: DUP2 00000c60: AND 00000c61: DUP2 00000c62: EQ 00000c63: PUSH2 0x0c6b 00000c66: JUMPI 00000c67: PUSH1 0x00 00000c69: DUP1 00000c6a: REVERT 00000c6b: JUMPDEST 00000c6c: SWAP2 00000c6d: SWAP1 00000c6e: POP 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: PUSH1 0x00 00000c73: PUSH1 0x20 00000c75: DUP3 00000c76: DUP5 00000c77: SUB 00000c78: SLT 00000c79: ISZERO 00000c7a: PUSH2 0x0c82 00000c7d: JUMPI 00000c7e: PUSH1 0x00 00000c80: DUP1 00000c81: REVERT 00000c82: JUMPDEST 00000c83: PUSH2 0x0c8b 00000c86: DUP3 00000c87: PUSH2 0x0c54 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: SWAP4 00000c8d: SWAP3 00000c8e: POP 00000c8f: POP 00000c90: POP 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH4 0x4e487b71 00000c98: PUSH1 0xe0 00000c9a: SHL 00000c9b: PUSH1 0x00 00000c9d: MSTORE 00000c9e: PUSH1 0x41 00000ca0: PUSH1 0x04 00000ca2: MSTORE 00000ca3: PUSH1 0x24 00000ca5: PUSH1 0x00 00000ca7: REVERT 00000ca8: JUMPDEST 00000ca9: PUSH1 0x00 00000cab: DUP1 00000cac: PUSH1 0x00 00000cae: DUP1 00000caf: PUSH1 0x80 00000cb1: DUP6 00000cb2: DUP8 00000cb3: SUB 00000cb4: SLT 00000cb5: ISZERO 00000cb6: PUSH2 0x0cbe 00000cb9: JUMPI 00000cba: PUSH1 0x00 00000cbc: DUP1 00000cbd: REVERT 00000cbe: JUMPDEST 00000cbf: DUP5 00000cc0: CALLDATALOAD 00000cc1: SWAP4 00000cc2: POP 00000cc3: PUSH1 0x20 00000cc5: DUP6 00000cc6: ADD 00000cc7: CALLDATALOAD 00000cc8: SWAP3 00000cc9: POP 00000cca: PUSH1 0x40 00000ccc: DUP6 00000ccd: ADD 00000cce: CALLDATALOAD 00000ccf: SWAP2 00000cd0: POP 00000cd1: PUSH1 0x60 00000cd3: DUP6 00000cd4: ADD 00000cd5: CALLDATALOAD 00000cd6: PUSH8 0xffffffffffffffff 00000cdf: DUP1 00000ce0: DUP3 00000ce1: GT 00000ce2: ISZERO 00000ce3: PUSH2 0x0ceb 00000ce6: JUMPI 00000ce7: PUSH1 0x00 00000ce9: DUP1 00000cea: REVERT 00000ceb: JUMPDEST 00000cec: DUP2 00000ced: DUP8 00000cee: ADD 00000cef: SWAP2 00000cf0: POP 00000cf1: DUP8 00000cf2: PUSH1 0x1f 00000cf4: DUP4 00000cf5: ADD 00000cf6: SLT 00000cf7: PUSH2 0x0cff 00000cfa: JUMPI 00000cfb: PUSH1 0x00 00000cfd: DUP1 00000cfe: REVERT 00000cff: JUMPDEST 00000d00: DUP2 00000d01: CALLDATALOAD 00000d02: DUP2 00000d03: DUP2 00000d04: GT 00000d05: ISZERO 00000d06: PUSH2 0x0d11 00000d09: JUMPI 00000d0a: PUSH2 0x0d11 00000d0d: PUSH2 0x0c92 00000d10: JUMP 00000d11: JUMPDEST 00000d12: PUSH1 0x40 00000d14: MLOAD 00000d15: PUSH1 0x1f 00000d17: DUP3 00000d18: ADD 00000d19: PUSH1 0x1f 00000d1b: NOT 00000d1c: SWAP1 00000d1d: DUP2 00000d1e: AND 00000d1f: PUSH1 0x3f 00000d21: ADD 00000d22: AND 00000d23: DUP2 00000d24: ADD 00000d25: SWAP1 00000d26: DUP4 00000d27: DUP3 00000d28: GT 00000d29: DUP2 00000d2a: DUP4 00000d2b: LT 00000d2c: OR 00000d2d: ISZERO 00000d2e: PUSH2 0x0d39 00000d31: JUMPI 00000d32: PUSH2 0x0d39 00000d35: PUSH2 0x0c92 00000d38: JUMP 00000d39: JUMPDEST 00000d3a: DUP2 00000d3b: PUSH1 0x40 00000d3d: MSTORE 00000d3e: DUP3 00000d3f: DUP2 00000d40: MSTORE 00000d41: DUP11 00000d42: PUSH1 0x20 00000d44: DUP5 00000d45: DUP8 00000d46: ADD 00000d47: ADD 00000d48: GT 00000d49: ISZERO 00000d4a: PUSH2 0x0d52 00000d4d: JUMPI 00000d4e: PUSH1 0x00 00000d50: DUP1 00000d51: REVERT 00000d52: JUMPDEST 00000d53: DUP3 00000d54: PUSH1 0x20 00000d56: DUP7 00000d57: ADD 00000d58: PUSH1 0x20 00000d5a: DUP4 00000d5b: ADD 00000d5c: CALLDATACOPY 00000d5d: PUSH1 0x00 00000d5f: PUSH1 0x20 00000d61: DUP5 00000d62: DUP4 00000d63: ADD 00000d64: ADD 00000d65: MSTORE 00000d66: DUP1 00000d67: SWAP6 00000d68: POP 00000d69: POP 00000d6a: POP 00000d6b: POP 00000d6c: POP 00000d6d: POP 00000d6e: SWAP3 00000d6f: SWAP6 00000d70: SWAP2 00000d71: SWAP5 00000d72: POP 00000d73: SWAP3 00000d74: POP 00000d75: JUMP 00000d76: JUMPDEST 00000d77: PUSH1 0x00 00000d79: DUP1 00000d7a: PUSH1 0x40 00000d7c: DUP4 00000d7d: DUP6 00000d7e: SUB 00000d7f: SLT 00000d80: ISZERO 00000d81: PUSH2 0x0d89 00000d84: JUMPI 00000d85: PUSH1 0x00 00000d87: DUP1 00000d88: REVERT 00000d89: JUMPDEST 00000d8a: DUP3 00000d8b: CALLDATALOAD 00000d8c: SWAP2 00000d8d: POP 00000d8e: PUSH2 0x0d99 00000d91: PUSH1 0x20 00000d93: DUP5 00000d94: ADD 00000d95: PUSH2 0x0c54 00000d98: JUMP 00000d99: JUMPDEST 00000d9a: SWAP1 00000d9b: POP 00000d9c: SWAP3 00000d9d: POP 00000d9e: SWAP3 00000d9f: SWAP1 00000da0: POP 00000da1: JUMP 00000da2: JUMPDEST 00000da3: PUSH1 0x00 00000da5: PUSH1 0x20 00000da7: DUP3 00000da8: DUP5 00000da9: SUB 00000daa: SLT 00000dab: ISZERO 00000dac: PUSH2 0x0db4 00000daf: JUMPI 00000db0: PUSH1 0x00 00000db2: DUP1 00000db3: REVERT 00000db4: JUMPDEST 00000db5: POP 00000db6: CALLDATALOAD 00000db7: SWAP2 00000db8: SWAP1 00000db9: POP 00000dba: JUMP 00000dbb: JUMPDEST 00000dbc: PUSH1 0x00 00000dbe: PUSH1 0x01 00000dc0: DUP3 00000dc1: ADD 00000dc2: PUSH2 0x0dcd 00000dc5: JUMPI 00000dc6: PUSH2 0x0dcd 00000dc9: PUSH2 0x0c2b 00000dcc: JUMP 00000dcd: JUMPDEST 00000dce: POP 00000dcf: PUSH1 0x01 00000dd1: ADD 00000dd2: SWAP1 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: PUSH1 0x00 00000dd7: PUSH1 0x20 00000dd9: DUP3 00000dda: DUP5 00000ddb: SUB 00000ddc: SLT 00000ddd: ISZERO 00000dde: PUSH2 0x0de6 00000de1: JUMPI 00000de2: PUSH1 0x00 00000de4: DUP1 00000de5: REVERT 00000de6: JUMPDEST 00000de7: DUP2 00000de8: MLOAD 00000de9: DUP1 00000dea: ISZERO 00000deb: ISZERO 00000dec: DUP2 00000ded: EQ 00000dee: PUSH2 0x0c8b 00000df1: JUMPI 00000df2: PUSH1 0x00 00000df4: DUP1 00000df5: REVERT 00000df6: JUMPDEST 00000df7: PUSH4 0x4e487b71 00000dfc: PUSH1 0xe0 00000dfe: SHL 00000dff: PUSH1 0x00 00000e01: MSTORE 00000e02: PUSH1 0x21 00000e04: PUSH1 0x04 00000e06: MSTORE 00000e07: PUSH1 0x24 00000e09: PUSH1 0x00 00000e0b: REVERT 00000e0c: INVALID 00000e0d: LOG2 00000e0e: PUSH5 0x6970667358 00000e14: UNKNOWN(0x22) 00000e15: SLT 00000e16: KECCAK256 00000e17: UNKNOWN(0xE9) 00000e18: DUP1 00000e19: EXTCODESIZE 00000e1a: RETURNDATASIZE 00000e1b: DIFFICULTY 00000e1c: PUSH21 0x26ad3830f3c1ae94b2b4ae267bacd87548ed4601ed 00000e32: SWAP9 00000e33: DUP14 00000e34: UNKNOWN(0xB0) 00000e35: LOG3 00000e36: LOG2 00000e37: PUSH5 0x736f6c6343 00000e3d: STOP 00000e3e: ADDMOD 00000e3f: ISZERO 00000e40: STOP 00000e41: CALLER
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x52827e4edeea71c8dce74fd47ca76c7c9170522a5bb0cacb1f05b75b70136967
call_targets:
0x19450d2188c3eb6f493ee1d02208672eb317e07a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x52827e4edeea71c8dce74fd47ca76c7c9170522a5bb0cacb1f05b75b70136967",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x19450d2188c3eb6f493ee1d02208672eb317e07a"
],
"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": "0xecb7cb1b",
"selector": "0xecb7cb1b",
"calldata_variants": [
"0xecb7cb1b",
"0xecb7cb1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef5742bf",
"selector": "0xef5742bf",
"calldata_variants": [
"0xef5742bf",
"0xef5742bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6326fb3",
"selector": "0xf6326fb3",
"calldata_variants": [
"0xf6326fb3",
"0xf6326fb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95238177",
"selector": "0x95238177",
"calldata_variants": [
"0x95238177",
"0x952381770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0dbcd24",
"selector": "0xd0dbcd24",
"calldata_variants": [
"0xd0dbcd24",
"0xd0dbcd240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3335553",
"selector": "0xd3335553",
"calldata_variants": [
"0xd3335553",
"0xd33355530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd6f66dc",
"selector": "0xdd6f66dc",
"calldata_variants": [
"0xdd6f66dc",
"0xdd6f66dc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1100,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1405,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1615,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 970,
"type": "msg_sender_eq_storage"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x52827e4edeea71c8dce74fd47ca76c7c9170522a5bb0cacb1f05b75b70136967
call_targets:
0x19450d2188c3eb6f493ee1d02208672eb317e07a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x52827e4edeea71c8dce74fd47ca76c7c9170522a5bb0cacb1f05b75b70136967",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x19450d2188c3eb6f493ee1d02208672eb317e07a"
],
"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": "0xecb7cb1b",
"selector": "0xecb7cb1b",
"calldata_variants": [
"0xecb7cb1b",
"0xecb7cb1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xef5742bf",
"selector": "0xef5742bf",
"calldata_variants": [
"0xef5742bf",
"0xef5742bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf6326fb3",
"selector": "0xf6326fb3",
"calldata_variants": [
"0xf6326fb3",
"0xf6326fb30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95238177",
"selector": "0x95238177",
"calldata_variants": [
"0x95238177",
"0x952381770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0dbcd24",
"selector": "0xd0dbcd24",
"calldata_variants": [
"0xd0dbcd24",
"0xd0dbcd240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3335553",
"selector": "0xd3335553",
"calldata_variants": [
"0xd3335553",
"0xd33355530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd6f66dc",
"selector": "0xdd6f66dc",
"calldata_variants": [
"0xdd6f66dc",
"0xdd6f66dc0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1100,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1405,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1615,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 970,
"type": "msg_sender_eq_storage"
}
]
}
|