019b477e-b48a-70e7-9cfd-0c01f8df3ae4
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 |
|---|---|---|---|---|
| 22753 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 22754 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 89457 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89458 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89459 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89460 | 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 0x0099 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x25e16063 0000003c: EQ 0000003d: PUSH2 0x01d8 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x2ca9cbe8 00000047: EQ 00000048: PUSH2 0x021b 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x4b0bddd2 00000052: EQ 00000053: PUSH2 0x0268 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x79ba5097 0000005d: EQ 0000005e: PUSH2 0x02b7 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x89476069 00000068: EQ 00000069: PUSH2 0x02ce 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x8da5cb5b 00000073: EQ 00000074: PUSH2 0x0311 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xb2e01e49 0000007e: EQ 0000007f: PUSH2 0x0368 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xb99be506 00000089: EQ 0000008a: PUSH2 0x03b5 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xf2fde38b 00000094: EQ 00000095: PUSH2 0x040c 00000098: JUMPI 00000099: JUMPDEST 0000009a: PUSH1 0x00 0000009c: CALLVALUE 0000009d: GT 0000009e: ISZERO 0000009f: ISZERO 000000a0: PUSH2 0x0137 000000a3: JUMPI 000000a4: PUSH1 0x40 000000a6: MLOAD 000000a7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000000c8: DUP2 000000c9: MSTORE 000000ca: PUSH1 0x04 000000cc: ADD 000000cd: DUP1 000000ce: DUP1 000000cf: PUSH1 0x20 000000d1: ADD 000000d2: DUP3 000000d3: DUP2 000000d4: SUB 000000d5: DUP3 000000d6: MSTORE 000000d7: PUSH1 0x25 000000d9: DUP2 000000da: MSTORE 000000db: PUSH1 0x20 000000dd: ADD 000000de: DUP1 000000df: PUSH32 0x4d757374207472616e7366657220616e2061637475616c20616d6f756e74206f 00000100: DUP2 00000101: MSTORE 00000102: PUSH1 0x20 00000104: ADD 00000105: PUSH32 0x6620455448000000000000000000000000000000000000000000000000000000 00000126: DUP2 00000127: MSTORE 00000128: POP 00000129: PUSH1 0x40 0000012b: ADD 0000012c: SWAP2 0000012d: POP 0000012e: POP 0000012f: PUSH1 0x40 00000131: MLOAD 00000132: DUP1 00000133: SWAP2 00000134: SUB 00000135: SWAP1 00000136: REVERT 00000137: JUMPDEST 00000138: PUSH32 0x99e4f29c395cb2ca12353383be46b7d2738a0d7563b2519eecee1b51036fe232 00000159: CALLER 0000015a: ADDRESS 0000015b: CALLVALUE 0000015c: PUSH1 0x40 0000015e: MLOAD 0000015f: DUP1 00000160: DUP5 00000161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000176: AND 00000177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018c: AND 0000018d: DUP2 0000018e: MSTORE 0000018f: PUSH1 0x20 00000191: ADD 00000192: DUP4 00000193: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a8: AND 000001a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001be: AND 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x20 000001c3: ADD 000001c4: DUP3 000001c5: DUP2 000001c6: MSTORE 000001c7: PUSH1 0x20 000001c9: ADD 000001ca: SWAP4 000001cb: POP 000001cc: POP 000001cd: POP 000001ce: POP 000001cf: PUSH1 0x40 000001d1: MLOAD 000001d2: DUP1 000001d3: SWAP2 000001d4: SUB 000001d5: SWAP1 000001d6: LOG1 000001d7: STOP 000001d8: JUMPDEST 000001d9: CALLVALUE 000001da: DUP1 000001db: ISZERO 000001dc: PUSH2 0x01e4 000001df: JUMPI 000001e0: PUSH1 0x00 000001e2: DUP1 000001e3: REVERT 000001e4: JUMPDEST 000001e5: POP 000001e6: PUSH2 0x0219 000001e9: PUSH1 0x04 000001eb: DUP1 000001ec: CALLDATASIZE 000001ed: SUB 000001ee: DUP2 000001ef: ADD 000001f0: SWAP1 000001f1: DUP1 000001f2: DUP1 000001f3: CALLDATALOAD 000001f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000209: AND 0000020a: SWAP1 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: SWAP1 0000020f: SWAP3 00000210: SWAP2 00000211: SWAP1 00000212: POP 00000213: POP 00000214: POP 00000215: PUSH2 0x044f 00000218: JUMP 00000219: JUMPDEST 0000021a: STOP 0000021b: JUMPDEST 0000021c: CALLVALUE 0000021d: DUP1 0000021e: ISZERO 0000021f: PUSH2 0x0227 00000222: JUMPI 00000223: PUSH1 0x00 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: POP 00000229: PUSH2 0x0266 0000022c: PUSH1 0x04 0000022e: DUP1 0000022f: CALLDATASIZE 00000230: SUB 00000231: DUP2 00000232: ADD 00000233: SWAP1 00000234: DUP1 00000235: DUP1 00000236: CALLDATALOAD 00000237: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024c: AND 0000024d: SWAP1 0000024e: PUSH1 0x20 00000250: ADD 00000251: SWAP1 00000252: SWAP3 00000253: SWAP2 00000254: SWAP1 00000255: DUP1 00000256: CALLDATALOAD 00000257: SWAP1 00000258: PUSH1 0x20 0000025a: ADD 0000025b: SWAP1 0000025c: SWAP3 0000025d: SWAP2 0000025e: SWAP1 0000025f: POP 00000260: POP 00000261: POP 00000262: PUSH2 0x05e5 00000265: JUMP 00000266: JUMPDEST 00000267: STOP 00000268: JUMPDEST 00000269: CALLVALUE 0000026a: DUP1 0000026b: ISZERO 0000026c: PUSH2 0x0274 0000026f: JUMPI 00000270: PUSH1 0x00 00000272: DUP1 00000273: REVERT 00000274: JUMPDEST 00000275: POP 00000276: PUSH2 0x02b5 00000279: PUSH1 0x04 0000027b: DUP1 0000027c: CALLDATASIZE 0000027d: SUB 0000027e: DUP2 0000027f: ADD 00000280: SWAP1 00000281: DUP1 00000282: DUP1 00000283: CALLDATALOAD 00000284: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000299: AND 0000029a: SWAP1 0000029b: PUSH1 0x20 0000029d: ADD 0000029e: SWAP1 0000029f: SWAP3 000002a0: SWAP2 000002a1: SWAP1 000002a2: DUP1 000002a3: CALLDATALOAD 000002a4: ISZERO 000002a5: ISZERO 000002a6: SWAP1 000002a7: PUSH1 0x20 000002a9: ADD 000002aa: SWAP1 000002ab: SWAP3 000002ac: SWAP2 000002ad: SWAP1 000002ae: POP 000002af: POP 000002b0: POP 000002b1: PUSH2 0x0a52 000002b4: JUMP 000002b5: JUMPDEST 000002b6: STOP 000002b7: JUMPDEST 000002b8: CALLVALUE 000002b9: DUP1 000002ba: ISZERO 000002bb: PUSH2 0x02c3 000002be: JUMPI 000002bf: PUSH1 0x00 000002c1: DUP1 000002c2: REVERT 000002c3: JUMPDEST 000002c4: POP 000002c5: PUSH2 0x02cc 000002c8: PUSH2 0x0b71 000002cb: JUMP 000002cc: JUMPDEST 000002cd: STOP 000002ce: JUMPDEST 000002cf: CALLVALUE 000002d0: DUP1 000002d1: ISZERO 000002d2: PUSH2 0x02da 000002d5: JUMPI 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: REVERT 000002da: JUMPDEST 000002db: POP 000002dc: PUSH2 0x030f 000002df: PUSH1 0x04 000002e1: DUP1 000002e2: CALLDATASIZE 000002e3: SUB 000002e4: DUP2 000002e5: ADD 000002e6: SWAP1 000002e7: DUP1 000002e8: DUP1 000002e9: CALLDATALOAD 000002ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ff: AND 00000300: SWAP1 00000301: PUSH1 0x20 00000303: ADD 00000304: SWAP1 00000305: SWAP3 00000306: SWAP2 00000307: SWAP1 00000308: POP 00000309: POP 0000030a: POP 0000030b: PUSH2 0x0c2c 0000030e: JUMP 0000030f: JUMPDEST 00000310: STOP 00000311: JUMPDEST 00000312: CALLVALUE 00000313: DUP1 00000314: ISZERO 00000315: PUSH2 0x031d 00000318: JUMPI 00000319: PUSH1 0x00 0000031b: DUP1 0000031c: REVERT 0000031d: JUMPDEST 0000031e: POP 0000031f: PUSH2 0x0326 00000322: PUSH2 0x0fcf 00000325: JUMP 00000326: JUMPDEST 00000327: PUSH1 0x40 00000329: MLOAD 0000032a: DUP1 0000032b: DUP3 0000032c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000341: AND 00000342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000357: AND 00000358: DUP2 00000359: MSTORE 0000035a: PUSH1 0x20 0000035c: ADD 0000035d: SWAP2 0000035e: POP 0000035f: POP 00000360: PUSH1 0x40 00000362: MLOAD 00000363: DUP1 00000364: SWAP2 00000365: SUB 00000366: SWAP1 00000367: RETURN 00000368: JUMPDEST 00000369: CALLVALUE 0000036a: DUP1 0000036b: ISZERO 0000036c: PUSH2 0x0374 0000036f: JUMPI 00000370: PUSH1 0x00 00000372: DUP1 00000373: REVERT 00000374: JUMPDEST 00000375: POP 00000376: PUSH2 0x03b3 00000379: PUSH1 0x04 0000037b: DUP1 0000037c: CALLDATASIZE 0000037d: SUB 0000037e: DUP2 0000037f: ADD 00000380: SWAP1 00000381: DUP1 00000382: DUP1 00000383: CALLDATALOAD 00000384: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000399: AND 0000039a: SWAP1 0000039b: PUSH1 0x20 0000039d: ADD 0000039e: SWAP1 0000039f: SWAP3 000003a0: SWAP2 000003a1: SWAP1 000003a2: DUP1 000003a3: CALLDATALOAD 000003a4: SWAP1 000003a5: PUSH1 0x20 000003a7: ADD 000003a8: SWAP1 000003a9: SWAP3 000003aa: SWAP2 000003ab: SWAP1 000003ac: POP 000003ad: POP 000003ae: POP 000003af: PUSH2 0x0ff4 000003b2: JUMP 000003b3: JUMPDEST 000003b4: STOP 000003b5: JUMPDEST 000003b6: CALLVALUE 000003b7: DUP1 000003b8: ISZERO 000003b9: PUSH2 0x03c1 000003bc: JUMPI 000003bd: PUSH1 0x00 000003bf: DUP1 000003c0: REVERT 000003c1: JUMPDEST 000003c2: POP 000003c3: PUSH2 0x040a 000003c6: PUSH1 0x04 000003c8: DUP1 000003c9: CALLDATASIZE 000003ca: SUB 000003cb: DUP2 000003cc: ADD 000003cd: SWAP1 000003ce: DUP1 000003cf: DUP1 000003d0: CALLDATALOAD 000003d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e6: AND 000003e7: SWAP1 000003e8: PUSH1 0x20 000003ea: ADD 000003eb: SWAP1 000003ec: SWAP3 000003ed: SWAP2 000003ee: SWAP1 000003ef: DUP1 000003f0: CALLDATALOAD 000003f1: SWAP1 000003f2: PUSH1 0x20 000003f4: ADD 000003f5: SWAP1 000003f6: SWAP3 000003f7: SWAP2 000003f8: SWAP1 000003f9: DUP1 000003fa: CALLDATALOAD 000003fb: SWAP1 000003fc: PUSH1 0x20 000003fe: ADD 000003ff: SWAP1 00000400: SWAP3 00000401: SWAP2 00000402: SWAP1 00000403: POP 00000404: POP 00000405: POP 00000406: PUSH2 0x1254 00000409: JUMP 0000040a: JUMPDEST 0000040b: STOP 0000040c: JUMPDEST 0000040d: CALLVALUE 0000040e: DUP1 0000040f: ISZERO 00000410: PUSH2 0x0418 00000413: JUMPI 00000414: PUSH1 0x00 00000416: DUP1 00000417: REVERT 00000418: JUMPDEST 00000419: POP 0000041a: PUSH2 0x044d 0000041d: PUSH1 0x04 0000041f: DUP1 00000420: CALLDATASIZE 00000421: SUB 00000422: DUP2 00000423: ADD 00000424: SWAP1 00000425: DUP1 00000426: DUP1 00000427: CALLDATALOAD 00000428: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043d: AND 0000043e: SWAP1 0000043f: PUSH1 0x20 00000441: ADD 00000442: SWAP1 00000443: SWAP3 00000444: SWAP2 00000445: SWAP1 00000446: POP 00000447: POP 00000448: POP 00000449: PUSH2 0x132e 0000044c: JUMP 0000044d: JUMPDEST 0000044e: STOP 0000044f: JUMPDEST 00000450: PUSH1 0x00 00000452: DUP1 00000453: PUSH1 0x00 00000455: SWAP1 00000456: SLOAD 00000457: SWAP1 00000458: PUSH2 0x0100 0000045b: EXP 0000045c: SWAP1 0000045d: DIV 0000045e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000473: AND 00000474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000489: AND 0000048a: CALLER 0000048b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a0: AND 000004a1: EQ 000004a2: ISZERO 000004a3: ISZERO 000004a4: PUSH2 0x0515 000004a7: JUMPI 000004a8: PUSH1 0x40 000004aa: MLOAD 000004ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004cc: DUP2 000004cd: MSTORE 000004ce: PUSH1 0x04 000004d0: ADD 000004d1: DUP1 000004d2: DUP1 000004d3: PUSH1 0x20 000004d5: ADD 000004d6: DUP3 000004d7: DUP2 000004d8: SUB 000004d9: DUP3 000004da: MSTORE 000004db: PUSH1 0x13 000004dd: DUP2 000004de: MSTORE 000004df: PUSH1 0x20 000004e1: ADD 000004e2: DUP1 000004e3: PUSH32 0x53656e646572206973206e6f74206f776e657200000000000000000000000000 00000504: DUP2 00000505: MSTORE 00000506: POP 00000507: PUSH1 0x20 00000509: ADD 0000050a: SWAP2 0000050b: POP 0000050c: POP 0000050d: PUSH1 0x40 0000050f: MLOAD 00000510: DUP1 00000511: SWAP2 00000512: SUB 00000513: SWAP1 00000514: REVERT 00000515: JUMPDEST 00000516: ADDRESS 00000517: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052c: AND 0000052d: BALANCE 0000052e: SWAP1 0000052f: POP 00000530: DUP2 00000531: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000546: AND 00000547: PUSH2 0x08fc 0000054a: DUP3 0000054b: SWAP1 0000054c: DUP2 0000054d: ISZERO 0000054e: MUL 0000054f: SWAP1 00000550: PUSH1 0x40 00000552: MLOAD 00000553: PUSH1 0x00 00000555: PUSH1 0x40 00000557: MLOAD 00000558: DUP1 00000559: DUP4 0000055a: SUB 0000055b: DUP2 0000055c: DUP6 0000055d: DUP9 0000055e: DUP9 0000055f: CALL 00000560: SWAP4 00000561: POP 00000562: POP 00000563: POP 00000564: POP 00000565: ISZERO 00000566: DUP1 00000567: ISZERO 00000568: PUSH2 0x0575 0000056b: JUMPI 0000056c: RETURNDATASIZE 0000056d: PUSH1 0x00 0000056f: DUP1 00000570: RETURNDATACOPY 00000571: RETURNDATASIZE 00000572: PUSH1 0x00 00000574: REVERT 00000575: JUMPDEST 00000576: POP 00000577: PUSH32 0x5eb8f9de6d9d9ca0ffeb144214114bb8432c7591688225b81c63334726529a10 00000598: DUP3 00000599: DUP3 0000059a: PUSH1 0x40 0000059c: MLOAD 0000059d: DUP1 0000059e: DUP4 0000059f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b4: AND 000005b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ca: AND 000005cb: DUP2 000005cc: MSTORE 000005cd: PUSH1 0x20 000005cf: ADD 000005d0: DUP3 000005d1: DUP2 000005d2: MSTORE 000005d3: PUSH1 0x20 000005d5: ADD 000005d6: SWAP3 000005d7: POP 000005d8: POP 000005d9: POP 000005da: PUSH1 0x40 000005dc: MLOAD 000005dd: DUP1 000005de: SWAP2 000005df: SUB 000005e0: SWAP1 000005e1: LOG1 000005e2: POP 000005e3: POP 000005e4: JUMP 000005e5: JUMPDEST 000005e6: PUSH1 0x01 000005e8: PUSH1 0x00 000005ea: CALLER 000005eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000600: AND 00000601: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000616: AND 00000617: DUP2 00000618: MSTORE 00000619: PUSH1 0x20 0000061b: ADD 0000061c: SWAP1 0000061d: DUP2 0000061e: MSTORE 0000061f: PUSH1 0x20 00000621: ADD 00000622: PUSH1 0x00 00000624: KECCAK256 00000625: PUSH1 0x00 00000627: SWAP1 00000628: SLOAD 00000629: SWAP1 0000062a: PUSH2 0x0100 0000062d: EXP 0000062e: SWAP1 0000062f: DIV 00000630: PUSH1 0xff 00000632: AND 00000633: ISZERO 00000634: ISZERO 00000635: PUSH2 0x06a6 00000638: JUMPI 00000639: PUSH1 0x40 0000063b: MLOAD 0000063c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000065d: DUP2 0000065e: MSTORE 0000065f: PUSH1 0x04 00000661: ADD 00000662: DUP1 00000663: DUP1 00000664: PUSH1 0x20 00000666: ADD 00000667: DUP3 00000668: DUP2 00000669: SUB 0000066a: DUP3 0000066b: MSTORE 0000066c: PUSH1 0x16 0000066e: DUP2 0000066f: MSTORE 00000670: PUSH1 0x20 00000672: ADD 00000673: DUP1 00000674: PUSH32 0x53656e646572206973206e6f7420616e2061646d696e00000000000000000000 00000695: DUP2 00000696: MSTORE 00000697: POP 00000698: PUSH1 0x20 0000069a: ADD 0000069b: SWAP2 0000069c: POP 0000069d: POP 0000069e: PUSH1 0x40 000006a0: MLOAD 000006a1: DUP1 000006a2: SWAP2 000006a3: SUB 000006a4: SWAP1 000006a5: REVERT 000006a6: JUMPDEST 000006a7: PUSH1 0x03 000006a9: PUSH1 0x00 000006ab: SWAP1 000006ac: SLOAD 000006ad: SWAP1 000006ae: PUSH2 0x0100 000006b1: EXP 000006b2: SWAP1 000006b3: DIV 000006b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c9: AND 000006ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006df: AND 000006e0: PUSH4 0x70a08231 000006e5: ADDRESS 000006e6: PUSH1 0x40 000006e8: MLOAD 000006e9: DUP3 000006ea: PUSH4 0xffffffff 000006ef: AND 000006f0: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000070e: MUL 0000070f: DUP2 00000710: MSTORE 00000711: PUSH1 0x04 00000713: ADD 00000714: DUP1 00000715: DUP3 00000716: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072b: AND 0000072c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000741: AND 00000742: DUP2 00000743: MSTORE 00000744: PUSH1 0x20 00000746: ADD 00000747: SWAP2 00000748: POP 00000749: POP 0000074a: PUSH1 0x20 0000074c: PUSH1 0x40 0000074e: MLOAD 0000074f: DUP1 00000750: DUP4 00000751: SUB 00000752: DUP2 00000753: PUSH1 0x00 00000755: DUP8 00000756: DUP1 00000757: EXTCODESIZE 00000758: ISZERO 00000759: DUP1 0000075a: ISZERO 0000075b: PUSH2 0x0763 0000075e: JUMPI 0000075f: PUSH1 0x00 00000761: DUP1 00000762: REVERT 00000763: JUMPDEST 00000764: POP 00000765: GAS 00000766: CALL 00000767: ISZERO 00000768: DUP1 00000769: ISZERO 0000076a: PUSH2 0x0777 0000076d: JUMPI 0000076e: RETURNDATASIZE 0000076f: PUSH1 0x00 00000771: DUP1 00000772: RETURNDATACOPY 00000773: RETURNDATASIZE 00000774: PUSH1 0x00 00000776: REVERT 00000777: JUMPDEST 00000778: POP 00000779: POP 0000077a: POP 0000077b: POP 0000077c: PUSH1 0x40 0000077e: MLOAD 0000077f: RETURNDATASIZE 00000780: PUSH1 0x20 00000782: DUP2 00000783: LT 00000784: ISZERO 00000785: PUSH2 0x078d 00000788: JUMPI 00000789: PUSH1 0x00 0000078b: DUP1 0000078c: REVERT 0000078d: JUMPDEST 0000078e: DUP2 0000078f: ADD 00000790: SWAP1 00000791: DUP1 00000792: DUP1 00000793: MLOAD 00000794: SWAP1 00000795: PUSH1 0x20 00000797: ADD 00000798: SWAP1 00000799: SWAP3 0000079a: SWAP2 0000079b: SWAP1 0000079c: POP 0000079d: POP 0000079e: POP 0000079f: DUP2 000007a0: GT 000007a1: ISZERO 000007a2: ISZERO 000007a3: ISZERO 000007a4: PUSH2 0x083b 000007a7: JUMPI 000007a8: PUSH1 0x40 000007aa: MLOAD 000007ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007cc: DUP2 000007cd: MSTORE 000007ce: PUSH1 0x04 000007d0: ADD 000007d1: DUP1 000007d2: DUP1 000007d3: PUSH1 0x20 000007d5: ADD 000007d6: DUP3 000007d7: DUP2 000007d8: SUB 000007d9: DUP3 000007da: MSTORE 000007db: PUSH1 0x2a 000007dd: DUP2 000007de: MSTORE 000007df: PUSH1 0x20 000007e1: ADD 000007e2: DUP1 000007e3: PUSH32 0x43616e2774207769746864726177206d6f726520746f6b656e73207468616e20 00000804: DUP2 00000805: MSTORE 00000806: PUSH1 0x20 00000808: ADD 00000809: PUSH32 0x6661756365742068617300000000000000000000000000000000000000000000 0000082a: DUP2 0000082b: MSTORE 0000082c: POP 0000082d: PUSH1 0x40 0000082f: ADD 00000830: SWAP2 00000831: POP 00000832: POP 00000833: PUSH1 0x40 00000835: MLOAD 00000836: DUP1 00000837: SWAP2 00000838: SUB 00000839: SWAP1 0000083a: REVERT 0000083b: JUMPDEST 0000083c: PUSH1 0x03 0000083e: PUSH1 0x00 00000840: SWAP1 00000841: SLOAD 00000842: SWAP1 00000843: PUSH2 0x0100 00000846: EXP 00000847: SWAP1 00000848: DIV 00000849: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085e: AND 0000085f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000874: AND 00000875: PUSH4 0xa9059cbb 0000087a: DUP4 0000087b: DUP4 0000087c: PUSH1 0x40 0000087e: MLOAD 0000087f: DUP4 00000880: PUSH4 0xffffffff 00000885: AND 00000886: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000008a4: MUL 000008a5: DUP2 000008a6: MSTORE 000008a7: PUSH1 0x04 000008a9: ADD 000008aa: DUP1 000008ab: DUP4 000008ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c1: AND 000008c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d7: AND 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x20 000008dc: ADD 000008dd: DUP3 000008de: DUP2 000008df: MSTORE 000008e0: PUSH1 0x20 000008e2: ADD 000008e3: SWAP3 000008e4: POP 000008e5: POP 000008e6: POP 000008e7: PUSH1 0x20 000008e9: PUSH1 0x40 000008eb: MLOAD 000008ec: DUP1 000008ed: DUP4 000008ee: SUB 000008ef: DUP2 000008f0: PUSH1 0x00 000008f2: DUP8 000008f3: DUP1 000008f4: EXTCODESIZE 000008f5: ISZERO 000008f6: DUP1 000008f7: ISZERO 000008f8: PUSH2 0x0900 000008fb: JUMPI 000008fc: PUSH1 0x00 000008fe: DUP1 000008ff: REVERT 00000900: JUMPDEST 00000901: POP 00000902: GAS 00000903: CALL 00000904: ISZERO 00000905: DUP1 00000906: ISZERO 00000907: PUSH2 0x0914 0000090a: JUMPI 0000090b: RETURNDATASIZE 0000090c: PUSH1 0x00 0000090e: DUP1 0000090f: RETURNDATACOPY 00000910: RETURNDATASIZE 00000911: PUSH1 0x00 00000913: REVERT 00000914: JUMPDEST 00000915: POP 00000916: POP 00000917: POP 00000918: POP 00000919: PUSH1 0x40 0000091b: MLOAD 0000091c: RETURNDATASIZE 0000091d: PUSH1 0x20 0000091f: DUP2 00000920: LT 00000921: ISZERO 00000922: PUSH2 0x092a 00000925: JUMPI 00000926: PUSH1 0x00 00000928: DUP1 00000929: REVERT 0000092a: JUMPDEST 0000092b: DUP2 0000092c: ADD 0000092d: SWAP1 0000092e: DUP1 0000092f: DUP1 00000930: MLOAD 00000931: SWAP1 00000932: PUSH1 0x20 00000934: ADD 00000935: SWAP1 00000936: SWAP3 00000937: SWAP2 00000938: SWAP1 00000939: POP 0000093a: POP 0000093b: POP 0000093c: ISZERO 0000093d: ISZERO 0000093e: PUSH2 0x09af 00000941: JUMPI 00000942: PUSH1 0x40 00000944: MLOAD 00000945: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000966: DUP2 00000967: MSTORE 00000968: PUSH1 0x04 0000096a: ADD 0000096b: DUP1 0000096c: DUP1 0000096d: PUSH1 0x20 0000096f: ADD 00000970: DUP3 00000971: DUP2 00000972: SUB 00000973: DUP3 00000974: MSTORE 00000975: PUSH1 0x1a 00000977: DUP2 00000978: MSTORE 00000979: PUSH1 0x20 0000097b: ADD 0000097c: DUP1 0000097d: PUSH32 0x4661696c656420746f206469737472696275746520746f6b656e000000000000 0000099e: DUP2 0000099f: MSTORE 000009a0: POP 000009a1: PUSH1 0x20 000009a3: ADD 000009a4: SWAP2 000009a5: POP 000009a6: POP 000009a7: PUSH1 0x40 000009a9: MLOAD 000009aa: DUP1 000009ab: SWAP2 000009ac: SUB 000009ad: SWAP1 000009ae: REVERT 000009af: JUMPDEST 000009b0: PUSH32 0xec8a926ea18363663a5a548a7025fce5cbebf4ed0f1ec215a0324f77094d52c5 000009d1: ADDRESS 000009d2: DUP4 000009d3: DUP4 000009d4: PUSH1 0x40 000009d6: MLOAD 000009d7: DUP1 000009d8: DUP5 000009d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ee: AND 000009ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a04: AND 00000a05: DUP2 00000a06: MSTORE 00000a07: PUSH1 0x20 00000a09: ADD 00000a0a: DUP4 00000a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a20: AND 00000a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a36: AND 00000a37: DUP2 00000a38: MSTORE 00000a39: PUSH1 0x20 00000a3b: ADD 00000a3c: DUP3 00000a3d: DUP2 00000a3e: MSTORE 00000a3f: PUSH1 0x20 00000a41: ADD 00000a42: SWAP4 00000a43: POP 00000a44: POP 00000a45: POP 00000a46: POP 00000a47: PUSH1 0x40 00000a49: MLOAD 00000a4a: DUP1 00000a4b: SWAP2 00000a4c: SUB 00000a4d: SWAP1 00000a4e: LOG1 00000a4f: POP 00000a50: POP 00000a51: JUMP 00000a52: JUMPDEST 00000a53: PUSH1 0x00 00000a55: DUP1 00000a56: SWAP1 00000a57: SLOAD 00000a58: SWAP1 00000a59: PUSH2 0x0100 00000a5c: EXP 00000a5d: SWAP1 00000a5e: DIV 00000a5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a74: AND 00000a75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8a: AND 00000a8b: CALLER 00000a8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa1: AND 00000aa2: EQ 00000aa3: ISZERO 00000aa4: ISZERO 00000aa5: PUSH2 0x0b16 00000aa8: JUMPI 00000aa9: PUSH1 0x40 00000aab: MLOAD 00000aac: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000acd: DUP2 00000ace: MSTORE 00000acf: PUSH1 0x04 00000ad1: ADD 00000ad2: DUP1 00000ad3: DUP1 00000ad4: PUSH1 0x20 00000ad6: ADD 00000ad7: DUP3 00000ad8: DUP2 00000ad9: SUB 00000ada: DUP3 00000adb: MSTORE 00000adc: PUSH1 0x13 00000ade: DUP2 00000adf: MSTORE 00000ae0: PUSH1 0x20 00000ae2: ADD 00000ae3: DUP1 00000ae4: PUSH32 0x53656e646572206973206e6f74206f776e657200000000000000000000000000 00000b05: DUP2 00000b06: MSTORE 00000b07: POP 00000b08: PUSH1 0x20 00000b0a: ADD 00000b0b: SWAP2 00000b0c: POP 00000b0d: POP 00000b0e: PUSH1 0x40 00000b10: MLOAD 00000b11: DUP1 00000b12: SWAP2 00000b13: SUB 00000b14: SWAP1 00000b15: REVERT 00000b16: JUMPDEST 00000b17: DUP1 00000b18: PUSH1 0x01 00000b1a: PUSH1 0x00 00000b1c: DUP5 00000b1d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b32: AND 00000b33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b48: AND 00000b49: DUP2 00000b4a: MSTORE 00000b4b: PUSH1 0x20 00000b4d: ADD 00000b4e: SWAP1 00000b4f: DUP2 00000b50: MSTORE 00000b51: PUSH1 0x20 00000b53: ADD 00000b54: PUSH1 0x00 00000b56: KECCAK256 00000b57: PUSH1 0x00 00000b59: PUSH2 0x0100 00000b5c: EXP 00000b5d: DUP2 00000b5e: SLOAD 00000b5f: DUP2 00000b60: PUSH1 0xff 00000b62: MUL 00000b63: NOT 00000b64: AND 00000b65: SWAP1 00000b66: DUP4 00000b67: ISZERO 00000b68: ISZERO 00000b69: MUL 00000b6a: OR 00000b6b: SWAP1 00000b6c: SSTORE 00000b6d: POP 00000b6e: POP 00000b6f: POP 00000b70: JUMP 00000b71: JUMPDEST 00000b72: PUSH1 0x02 00000b74: PUSH1 0x00 00000b76: SWAP1 00000b77: SLOAD 00000b78: SWAP1 00000b79: PUSH2 0x0100 00000b7c: EXP 00000b7d: SWAP1 00000b7e: DIV 00000b7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b94: AND 00000b95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000baa: AND 00000bab: CALLER 00000bac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc1: AND 00000bc2: EQ 00000bc3: ISZERO 00000bc4: PUSH2 0x0c2a 00000bc7: JUMPI 00000bc8: PUSH1 0x02 00000bca: PUSH1 0x00 00000bcc: SWAP1 00000bcd: SLOAD 00000bce: SWAP1 00000bcf: PUSH2 0x0100 00000bd2: EXP 00000bd3: SWAP1 00000bd4: DIV 00000bd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bea: AND 00000beb: PUSH1 0x00 00000bed: DUP1 00000bee: PUSH2 0x0100 00000bf1: EXP 00000bf2: DUP2 00000bf3: SLOAD 00000bf4: DUP2 00000bf5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0a: MUL 00000c0b: NOT 00000c0c: AND 00000c0d: SWAP1 00000c0e: DUP4 00000c0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c24: AND 00000c25: MUL 00000c26: OR 00000c27: SWAP1 00000c28: SSTORE 00000c29: POP 00000c2a: JUMPDEST 00000c2b: JUMP 00000c2c: JUMPDEST 00000c2d: PUSH1 0x00 00000c2f: DUP1 00000c30: PUSH1 0x00 00000c32: SWAP1 00000c33: SLOAD 00000c34: SWAP1 00000c35: PUSH2 0x0100 00000c38: EXP 00000c39: SWAP1 00000c3a: DIV 00000c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c50: AND 00000c51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c66: AND 00000c67: CALLER 00000c68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7d: AND 00000c7e: EQ 00000c7f: ISZERO 00000c80: ISZERO 00000c81: PUSH2 0x0cf2 00000c84: JUMPI 00000c85: PUSH1 0x40 00000c87: MLOAD 00000c88: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ca9: DUP2 00000caa: MSTORE 00000cab: PUSH1 0x04 00000cad: ADD 00000cae: DUP1 00000caf: DUP1 00000cb0: PUSH1 0x20 00000cb2: ADD 00000cb3: DUP3 00000cb4: DUP2 00000cb5: SUB 00000cb6: DUP3 00000cb7: MSTORE 00000cb8: PUSH1 0x13 00000cba: DUP2 00000cbb: MSTORE 00000cbc: PUSH1 0x20 00000cbe: ADD 00000cbf: DUP1 00000cc0: PUSH32 0x53656e646572206973206e6f74206f776e657200000000000000000000000000 00000ce1: DUP2 00000ce2: MSTORE 00000ce3: POP 00000ce4: PUSH1 0x20 00000ce6: ADD 00000ce7: SWAP2 00000ce8: POP 00000ce9: POP 00000cea: PUSH1 0x40 00000cec: MLOAD 00000ced: DUP1 00000cee: SWAP2 00000cef: SUB 00000cf0: SWAP1 00000cf1: REVERT 00000cf2: JUMPDEST 00000cf3: PUSH1 0x03 00000cf5: PUSH1 0x00 00000cf7: SWAP1 00000cf8: SLOAD 00000cf9: SWAP1 00000cfa: PUSH2 0x0100 00000cfd: EXP 00000cfe: SWAP1 00000cff: DIV 00000d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d15: AND 00000d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2b: AND 00000d2c: PUSH4 0x70a08231 00000d31: ADDRESS 00000d32: PUSH1 0x40 00000d34: MLOAD 00000d35: DUP3 00000d36: PUSH4 0xffffffff 00000d3b: AND 00000d3c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000d5a: MUL 00000d5b: DUP2 00000d5c: MSTORE 00000d5d: PUSH1 0x04 00000d5f: ADD 00000d60: DUP1 00000d61: DUP3 00000d62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d77: AND 00000d78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8d: AND 00000d8e: DUP2 00000d8f: MSTORE 00000d90: PUSH1 0x20 00000d92: ADD 00000d93: SWAP2 00000d94: POP 00000d95: POP 00000d96: PUSH1 0x20 00000d98: PUSH1 0x40 00000d9a: MLOAD 00000d9b: DUP1 00000d9c: DUP4 00000d9d: SUB 00000d9e: DUP2 00000d9f: PUSH1 0x00 00000da1: DUP8 00000da2: DUP1 00000da3: EXTCODESIZE 00000da4: ISZERO 00000da5: DUP1 00000da6: ISZERO 00000da7: PUSH2 0x0daf 00000daa: JUMPI 00000dab: PUSH1 0x00 00000dad: DUP1 00000dae: REVERT 00000daf: JUMPDEST 00000db0: POP 00000db1: GAS 00000db2: CALL 00000db3: ISZERO 00000db4: DUP1 00000db5: ISZERO 00000db6: PUSH2 0x0dc3 00000db9: JUMPI 00000dba: RETURNDATASIZE 00000dbb: PUSH1 0x00 00000dbd: DUP1 00000dbe: RETURNDATACOPY 00000dbf: RETURNDATASIZE 00000dc0: PUSH1 0x00 00000dc2: REVERT 00000dc3: JUMPDEST 00000dc4: POP 00000dc5: POP 00000dc6: POP 00000dc7: POP 00000dc8: PUSH1 0x40 00000dca: MLOAD 00000dcb: RETURNDATASIZE 00000dcc: PUSH1 0x20 00000dce: DUP2 00000dcf: LT 00000dd0: ISZERO 00000dd1: PUSH2 0x0dd9 00000dd4: JUMPI 00000dd5: PUSH1 0x00 00000dd7: DUP1 00000dd8: REVERT 00000dd9: JUMPDEST 00000dda: DUP2 00000ddb: ADD 00000ddc: SWAP1 00000ddd: DUP1 00000dde: DUP1 00000ddf: MLOAD 00000de0: SWAP1 00000de1: PUSH1 0x20 00000de3: ADD 00000de4: SWAP1 00000de5: SWAP3 00000de6: SWAP2 00000de7: SWAP1 00000de8: POP 00000de9: POP 00000dea: POP 00000deb: SWAP1 00000dec: POP 00000ded: PUSH1 0x03 00000def: PUSH1 0x00 00000df1: SWAP1 00000df2: SLOAD 00000df3: SWAP1 00000df4: PUSH2 0x0100 00000df7: EXP 00000df8: SWAP1 00000df9: DIV 00000dfa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e0f: AND 00000e10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e25: AND 00000e26: PUSH4 0xa9059cbb 00000e2b: DUP4 00000e2c: DUP4 00000e2d: PUSH1 0x40 00000e2f: MLOAD 00000e30: DUP4 00000e31: PUSH4 0xffffffff 00000e36: AND 00000e37: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000e55: MUL 00000e56: DUP2 00000e57: MSTORE 00000e58: PUSH1 0x04 00000e5a: ADD 00000e5b: DUP1 00000e5c: DUP4 00000e5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e72: AND 00000e73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e88: AND 00000e89: DUP2 00000e8a: MSTORE 00000e8b: PUSH1 0x20 00000e8d: ADD 00000e8e: DUP3 00000e8f: DUP2 00000e90: MSTORE 00000e91: PUSH1 0x20 00000e93: ADD 00000e94: SWAP3 00000e95: POP 00000e96: POP 00000e97: POP 00000e98: PUSH1 0x20 00000e9a: PUSH1 0x40 00000e9c: MLOAD 00000e9d: DUP1 00000e9e: DUP4 00000e9f: SUB 00000ea0: DUP2 00000ea1: PUSH1 0x00 00000ea3: DUP8 00000ea4: DUP1 00000ea5: EXTCODESIZE 00000ea6: ISZERO 00000ea7: DUP1 00000ea8: ISZERO 00000ea9: PUSH2 0x0eb1 00000eac: JUMPI 00000ead: PUSH1 0x00 00000eaf: DUP1 00000eb0: REVERT 00000eb1: JUMPDEST 00000eb2: POP 00000eb3: GAS 00000eb4: CALL 00000eb5: ISZERO 00000eb6: DUP1 00000eb7: ISZERO 00000eb8: PUSH2 0x0ec5 00000ebb: JUMPI 00000ebc: RETURNDATASIZE 00000ebd: PUSH1 0x00 00000ebf: DUP1 00000ec0: RETURNDATACOPY 00000ec1: RETURNDATASIZE 00000ec2: PUSH1 0x00 00000ec4: REVERT 00000ec5: JUMPDEST 00000ec6: POP 00000ec7: POP 00000ec8: POP 00000ec9: POP 00000eca: PUSH1 0x40 00000ecc: MLOAD 00000ecd: RETURNDATASIZE 00000ece: PUSH1 0x20 00000ed0: DUP2 00000ed1: LT 00000ed2: ISZERO 00000ed3: PUSH2 0x0edb 00000ed6: JUMPI 00000ed7: PUSH1 0x00 00000ed9: DUP1 00000eda: REVERT 00000edb: JUMPDEST 00000edc: DUP2 00000edd: ADD 00000ede: SWAP1 00000edf: DUP1 00000ee0: DUP1 00000ee1: MLOAD 00000ee2: SWAP1 00000ee3: PUSH1 0x20 00000ee5: ADD 00000ee6: SWAP1 00000ee7: SWAP3 00000ee8: SWAP2 00000ee9: SWAP1 00000eea: POP 00000eeb: POP 00000eec: POP 00000eed: ISZERO 00000eee: ISZERO 00000eef: PUSH2 0x0f60 00000ef2: JUMPI 00000ef3: PUSH1 0x40 00000ef5: MLOAD 00000ef6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f17: DUP2 00000f18: MSTORE 00000f19: PUSH1 0x04 00000f1b: ADD 00000f1c: DUP1 00000f1d: DUP1 00000f1e: PUSH1 0x20 00000f20: ADD 00000f21: DUP3 00000f22: DUP2 00000f23: SUB 00000f24: DUP3 00000f25: MSTORE 00000f26: PUSH1 0x18 00000f28: DUP2 00000f29: MSTORE 00000f2a: PUSH1 0x20 00000f2c: ADD 00000f2d: DUP1 00000f2e: PUSH32 0x4661696c656420746f20776974686472617720746f6b656e0000000000000000 00000f4f: DUP2 00000f50: MSTORE 00000f51: POP 00000f52: PUSH1 0x20 00000f54: ADD 00000f55: SWAP2 00000f56: POP 00000f57: POP 00000f58: PUSH1 0x40 00000f5a: MLOAD 00000f5b: DUP1 00000f5c: SWAP2 00000f5d: SUB 00000f5e: SWAP1 00000f5f: REVERT 00000f60: JUMPDEST 00000f61: PUSH32 0x8708f865b80f3a4ff7668860dd26b2c44f22a61c3499d63c3c0e5f02bef684b2 00000f82: DUP3 00000f83: DUP3 00000f84: PUSH1 0x40 00000f86: MLOAD 00000f87: DUP1 00000f88: DUP4 00000f89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f9e: AND 00000f9f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb4: AND 00000fb5: DUP2 00000fb6: MSTORE 00000fb7: PUSH1 0x20 00000fb9: ADD 00000fba: DUP3 00000fbb: DUP2 00000fbc: MSTORE 00000fbd: PUSH1 0x20 00000fbf: ADD 00000fc0: SWAP3 00000fc1: POP 00000fc2: POP 00000fc3: POP 00000fc4: PUSH1 0x40 00000fc6: MLOAD 00000fc7: DUP1 00000fc8: SWAP2 00000fc9: SUB 00000fca: SWAP1 00000fcb: LOG1 00000fcc: POP 00000fcd: POP 00000fce: JUMP 00000fcf: JUMPDEST 00000fd0: PUSH1 0x00 00000fd2: DUP1 00000fd3: SWAP1 00000fd4: SLOAD 00000fd5: SWAP1 00000fd6: PUSH2 0x0100 00000fd9: EXP 00000fda: SWAP1 00000fdb: DIV 00000fdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff1: AND 00000ff2: DUP2 00000ff3: JUMP 00000ff4: JUMPDEST 00000ff5: PUSH1 0x01 00000ff7: PUSH1 0x00 00000ff9: CALLER 00000ffa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000100f: AND 00001010: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001025: AND 00001026: DUP2 00001027: MSTORE 00001028: PUSH1 0x20 0000102a: ADD 0000102b: SWAP1 0000102c: DUP2 0000102d: MSTORE 0000102e: PUSH1 0x20 00001030: ADD 00001031: PUSH1 0x00 00001033: KECCAK256 00001034: PUSH1 0x00 00001036: SWAP1 00001037: SLOAD 00001038: SWAP1 00001039: PUSH2 0x0100 0000103c: EXP 0000103d: SWAP1 0000103e: DIV 0000103f: PUSH1 0xff 00001041: AND 00001042: ISZERO 00001043: ISZERO 00001044: PUSH2 0x10b5 00001047: JUMPI 00001048: PUSH1 0x40 0000104a: MLOAD 0000104b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000106c: DUP2 0000106d: MSTORE 0000106e: PUSH1 0x04 00001070: ADD 00001071: DUP1 00001072: DUP1 00001073: PUSH1 0x20 00001075: ADD 00001076: DUP3 00001077: DUP2 00001078: SUB 00001079: DUP3 0000107a: MSTORE 0000107b: PUSH1 0x16 0000107d: DUP2 0000107e: MSTORE 0000107f: PUSH1 0x20 00001081: ADD 00001082: DUP1 00001083: PUSH32 0x53656e646572206973206e6f7420616e2061646d696e00000000000000000000 000010a4: DUP2 000010a5: MSTORE 000010a6: POP 000010a7: PUSH1 0x20 000010a9: ADD 000010aa: SWAP2 000010ab: POP 000010ac: POP 000010ad: PUSH1 0x40 000010af: MLOAD 000010b0: DUP1 000010b1: SWAP2 000010b2: SUB 000010b3: SWAP1 000010b4: REVERT 000010b5: JUMPDEST 000010b6: ADDRESS 000010b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010cc: AND 000010cd: BALANCE 000010ce: DUP2 000010cf: GT 000010d0: ISZERO 000010d1: ISZERO 000010d2: ISZERO 000010d3: PUSH2 0x116a 000010d6: JUMPI 000010d7: PUSH1 0x40 000010d9: MLOAD 000010da: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010fb: DUP2 000010fc: MSTORE 000010fd: PUSH1 0x04 000010ff: ADD 00001100: DUP1 00001101: DUP1 00001102: PUSH1 0x20 00001104: ADD 00001105: DUP3 00001106: DUP2 00001107: SUB 00001108: DUP3 00001109: MSTORE 0000110a: PUSH1 0x27 0000110c: DUP2 0000110d: MSTORE 0000110e: PUSH1 0x20 00001110: ADD 00001111: DUP1 00001112: PUSH32 0x43616e2774207769746864726177206d6f726520455448207468616e20666175 00001133: DUP2 00001134: MSTORE 00001135: PUSH1 0x20 00001137: ADD 00001138: PUSH32 0x6365742068617300000000000000000000000000000000000000000000000000 00001159: DUP2 0000115a: MSTORE 0000115b: POP 0000115c: PUSH1 0x40 0000115e: ADD 0000115f: SWAP2 00001160: POP 00001161: POP 00001162: PUSH1 0x40 00001164: MLOAD 00001165: DUP1 00001166: SWAP2 00001167: SUB 00001168: SWAP1 00001169: REVERT 0000116a: JUMPDEST 0000116b: DUP2 0000116c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001181: AND 00001182: PUSH2 0x08fc 00001185: DUP3 00001186: SWAP1 00001187: DUP2 00001188: ISZERO 00001189: MUL 0000118a: SWAP1 0000118b: PUSH1 0x40 0000118d: MLOAD 0000118e: PUSH1 0x00 00001190: PUSH1 0x40 00001192: MLOAD 00001193: DUP1 00001194: DUP4 00001195: SUB 00001196: DUP2 00001197: DUP6 00001198: DUP9 00001199: DUP9 0000119a: CALL 0000119b: SWAP4 0000119c: POP 0000119d: POP 0000119e: POP 0000119f: POP 000011a0: ISZERO 000011a1: DUP1 000011a2: ISZERO 000011a3: PUSH2 0x11b0 000011a6: JUMPI 000011a7: RETURNDATASIZE 000011a8: PUSH1 0x00 000011aa: DUP1 000011ab: RETURNDATACOPY 000011ac: RETURNDATASIZE 000011ad: PUSH1 0x00 000011af: REVERT 000011b0: JUMPDEST 000011b1: POP 000011b2: PUSH32 0x5d07a477f2cb93b2bf0da9d5cee2e195672cefb8656e7976dc0feec339dcc8e9 000011d3: ADDRESS 000011d4: DUP4 000011d5: DUP4 000011d6: PUSH1 0x40 000011d8: MLOAD 000011d9: DUP1 000011da: DUP5 000011db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f0: AND 000011f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001206: AND 00001207: DUP2 00001208: MSTORE 00001209: PUSH1 0x20 0000120b: ADD 0000120c: DUP4 0000120d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001222: AND 00001223: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001238: AND 00001239: DUP2 0000123a: MSTORE 0000123b: PUSH1 0x20 0000123d: ADD 0000123e: DUP3 0000123f: DUP2 00001240: MSTORE 00001241: PUSH1 0x20 00001243: ADD 00001244: SWAP4 00001245: POP 00001246: POP 00001247: POP 00001248: POP 00001249: PUSH1 0x40 0000124b: MLOAD 0000124c: DUP1 0000124d: SWAP2 0000124e: SUB 0000124f: SWAP1 00001250: LOG1 00001251: POP 00001252: POP 00001253: JUMP 00001254: JUMPDEST 00001255: PUSH1 0x01 00001257: PUSH1 0x00 00001259: CALLER 0000125a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000126f: AND 00001270: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001285: AND 00001286: DUP2 00001287: MSTORE 00001288: PUSH1 0x20 0000128a: ADD 0000128b: SWAP1 0000128c: DUP2 0000128d: MSTORE 0000128e: PUSH1 0x20 00001290: ADD 00001291: PUSH1 0x00 00001293: KECCAK256 00001294: PUSH1 0x00 00001296: SWAP1 00001297: SLOAD 00001298: SWAP1 00001299: PUSH2 0x0100 0000129c: EXP 0000129d: SWAP1 0000129e: DIV 0000129f: PUSH1 0xff 000012a1: AND 000012a2: ISZERO 000012a3: ISZERO 000012a4: PUSH2 0x1315 000012a7: JUMPI 000012a8: PUSH1 0x40 000012aa: MLOAD 000012ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012cc: DUP2 000012cd: MSTORE 000012ce: PUSH1 0x04 000012d0: ADD 000012d1: DUP1 000012d2: DUP1 000012d3: PUSH1 0x20 000012d5: ADD 000012d6: DUP3 000012d7: DUP2 000012d8: SUB 000012d9: DUP3 000012da: MSTORE 000012db: PUSH1 0x16 000012dd: DUP2 000012de: MSTORE 000012df: PUSH1 0x20 000012e1: ADD 000012e2: DUP1 000012e3: PUSH32 0x53656e646572206973206e6f7420616e2061646d696e00000000000000000000 00001304: DUP2 00001305: MSTORE 00001306: POP 00001307: PUSH1 0x20 00001309: ADD 0000130a: SWAP2 0000130b: POP 0000130c: POP 0000130d: PUSH1 0x40 0000130f: MLOAD 00001310: DUP1 00001311: SWAP2 00001312: SUB 00001313: SWAP1 00001314: REVERT 00001315: JUMPDEST 00001316: PUSH2 0x131f 00001319: DUP4 0000131a: DUP4 0000131b: PUSH2 0x0ff4 0000131e: JUMP 0000131f: JUMPDEST 00001320: PUSH2 0x1329 00001323: DUP4 00001324: DUP3 00001325: PUSH2 0x05e5 00001328: JUMP 00001329: JUMPDEST 0000132a: POP 0000132b: POP 0000132c: POP 0000132d: JUMP 0000132e: JUMPDEST 0000132f: PUSH1 0x00 00001331: DUP1 00001332: SWAP1 00001333: SLOAD 00001334: SWAP1 00001335: PUSH2 0x0100 00001338: EXP 00001339: SWAP1 0000133a: DIV 0000133b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001350: AND 00001351: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001366: AND 00001367: CALLER 00001368: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000137d: AND 0000137e: EQ 0000137f: ISZERO 00001380: ISZERO 00001381: PUSH2 0x13f2 00001384: JUMPI 00001385: PUSH1 0x40 00001387: MLOAD 00001388: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013a9: DUP2 000013aa: MSTORE 000013ab: PUSH1 0x04 000013ad: ADD 000013ae: DUP1 000013af: DUP1 000013b0: PUSH1 0x20 000013b2: ADD 000013b3: DUP3 000013b4: DUP2 000013b5: SUB 000013b6: DUP3 000013b7: MSTORE 000013b8: PUSH1 0x13 000013ba: DUP2 000013bb: MSTORE 000013bc: PUSH1 0x20 000013be: ADD 000013bf: DUP1 000013c0: PUSH32 0x53656e646572206973206e6f74206f776e657200000000000000000000000000 000013e1: DUP2 000013e2: MSTORE 000013e3: POP 000013e4: PUSH1 0x20 000013e6: ADD 000013e7: SWAP2 000013e8: POP 000013e9: POP 000013ea: PUSH1 0x40 000013ec: MLOAD 000013ed: DUP1 000013ee: SWAP2 000013ef: SUB 000013f0: SWAP1 000013f1: REVERT 000013f2: JUMPDEST 000013f3: PUSH1 0x00 000013f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140a: AND 0000140b: DUP2 0000140c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001421: AND 00001422: EQ 00001423: ISZERO 00001424: ISZERO 00001425: PUSH2 0x146a 00001428: JUMPI 00001429: DUP1 0000142a: PUSH1 0x02 0000142c: PUSH1 0x00 0000142e: PUSH2 0x0100 00001431: EXP 00001432: DUP2 00001433: SLOAD 00001434: DUP2 00001435: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144a: MUL 0000144b: NOT 0000144c: AND 0000144d: SWAP1 0000144e: DUP4 0000144f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001464: AND 00001465: MUL 00001466: OR 00001467: SWAP1 00001468: SSTORE 00001469: POP 0000146a: JUMPDEST 0000146b: POP 0000146c: JUMP 0000146d: STOP 0000146e: LOG1 0000146f: PUSH6 0x627a7a723058 00001476: KECCAK256 00001477: SWAP2 00001478: MSTORE8 00001479: STOP 0000147a: CALLDATALOAD 0000147b: DUP5 0000147c: UNKNOWN(0x4C) 0000147d: PUSH27 0x4b0a450ffe6490ff8df3b4216af545f4f84e4c7eff9b2bba320029
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc70e4a148e3afde952c336f5466ecc584dc31024830f1b559df056ca400912a3
call_targets:
0x3d2611440e92ce6be5f59aba7d1abfb5514dd919
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc70e4a148e3afde952c336f5466ecc584dc31024830f1b559df056ca400912a3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3d2611440e92ce6be5f59aba7d1abfb5514dd919"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25e16063",
"selector": "0x25e16063",
"calldata_variants": [
"0x25e16063",
"0x25e160630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ca9cbe8",
"selector": "0x2ca9cbe8",
"calldata_variants": [
"0x2ca9cbe8",
"0x2ca9cbe80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b0bddd2",
"selector": "0x4b0bddd2",
"calldata_variants": [
"0x4b0bddd2",
"0x4b0bddd20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89476069",
"selector": "0x89476069",
"calldata_variants": [
"0x89476069",
"0x894760690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb2e01e49",
"selector": "0xb2e01e49",
"calldata_variants": [
"0xb2e01e49",
"0xb2e01e490000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1375,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1894,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2307,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 1162,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2699,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2987,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3175,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4967,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc70e4a148e3afde952c336f5466ecc584dc31024830f1b559df056ca400912a3
call_targets:
0x3d2611440e92ce6be5f59aba7d1abfb5514dd919
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc70e4a148e3afde952c336f5466ecc584dc31024830f1b559df056ca400912a3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3d2611440e92ce6be5f59aba7d1abfb5514dd919"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x25e16063",
"selector": "0x25e16063",
"calldata_variants": [
"0x25e16063",
"0x25e160630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ca9cbe8",
"selector": "0x2ca9cbe8",
"calldata_variants": [
"0x2ca9cbe8",
"0x2ca9cbe80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b0bddd2",
"selector": "0x4b0bddd2",
"calldata_variants": [
"0x4b0bddd2",
"0x4b0bddd20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x89476069",
"selector": "0x89476069",
"calldata_variants": [
"0x89476069",
"0x894760690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb2e01e49",
"selector": "0xb2e01e49",
"calldata_variants": [
"0xb2e01e49",
"0xb2e01e490000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1375,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1894,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2307,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 1162,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2699,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2987,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3175,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4967,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|