019b477e-ab95-7253-b4ad-e4024620b07b
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 |
|---|---|---|---|---|
| 21045 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21046 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 63890 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 63891 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 63892 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 63893 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH2 0x0161 00000003: CALLDATASIZE 00000004: EQ 00000005: ISZERO 00000006: PUSH2 0x032e 00000009: JUMPI 0000000a: PUSH1 0x00 0000000c: DUP1 0000000d: MLOAD 0000000e: PUSH1 0x20 00000010: PUSH2 0x0a7b 00000013: DUP4 00000014: CODECOPY 00000015: DUP2 00000016: MLOAD 00000017: SWAP2 00000018: MSTORE 00000019: PUSH1 0x00 0000001b: MSTORE 0000001c: PUSH1 0x14 0000001e: PUSH1 0x00 00000020: PUSH1 0x20 00000022: CALLDATACOPY 00000023: PUSH1 0x00 00000025: PUSH1 0x34 00000027: MSTORE 00000028: PUSH1 0x10 0000002a: PUSH1 0xb9 0000002c: PUSH1 0x44 0000002e: CALLDATACOPY 0000002f: PUSH1 0x00 00000031: PUSH1 0x54 00000033: DUP2 00000034: SWAP1 00000035: MSTORE 00000036: PUSH1 0x68 00000038: MSTORE 00000039: PUSH1 0x10 0000003b: PUSH1 0xc9 0000003d: PUSH1 0x78 0000003f: CALLDATACOPY 00000040: PUSH1 0x00 00000042: PUSH1 0x88 00000044: MSTORE 00000045: PUSH1 0x10 00000047: PUSH1 0xd9 00000049: PUSH1 0x98 0000004b: CALLDATACOPY 0000004c: PUSH1 0x00 0000004e: PUSH1 0xa8 00000050: MSTORE 00000051: PUSH1 0x10 00000053: PUSH1 0xe9 00000055: PUSH1 0xb8 00000057: CALLDATACOPY 00000058: PUSH1 0x20 0000005a: PUSH1 0x40 0000005c: PUSH1 0xbc 0000005e: PUSH1 0x0c 00000060: PUSH1 0x00 00000062: PUSH1 0x02 00000064: PUSH1 0x15 00000066: GAS 00000067: SUB 00000068: CALL 00000069: POP 0000006a: PUSH4 0x19774d43 0000006f: PUSH1 0x00 00000071: SWAP1 00000072: DUP2 00000073: MSTORE 00000074: PUSH1 0x20 00000076: MSTORE 00000077: PUSH1 0x14 00000079: PUSH1 0xf9 0000007b: PUSH1 0x2c 0000007d: CALLDATACOPY 0000007e: PUSH1 0x20 00000080: PUSH1 0x00 00000082: PUSH1 0x44 00000084: PUSH1 0x1c 00000086: DUP3 00000087: PUSH1 0x00 00000089: DUP1 0000008a: MLOAD 0000008b: PUSH1 0x20 0000008d: PUSH2 0x0a7b 00000090: DUP4 00000091: CODECOPY 00000092: DUP2 00000093: MLOAD 00000094: SWAP2 00000095: MSTORE 00000096: GAS 00000097: CALL 00000098: POP 00000099: PUSH1 0x00 0000009b: MLOAD 0000009c: PUSH1 0x80 0000009e: PUSH1 0x02 000000a0: EXP 000000a1: PUSH1 0xb9 000000a3: CALLDATALOAD 000000a4: DIV 000000a5: SUB 000000a6: PUSH1 0x80 000000a8: PUSH1 0x02 000000aa: EXP 000000ab: PUSH2 0x014e 000000ae: CALLDATALOAD 000000af: DIV 000000b0: GT 000000b1: ISZERO 000000b2: PUSH2 0x00b7 000000b5: JUMPI 000000b6: STOP 000000b7: JUMPDEST 000000b8: PUSH1 0x00 000000ba: DUP1 000000bb: MLOAD 000000bc: PUSH1 0x20 000000be: PUSH2 0x0a7b 000000c1: DUP4 000000c2: CODECOPY 000000c3: DUP2 000000c4: MLOAD 000000c5: SWAP2 000000c6: MSTORE 000000c7: PUSH1 0x00 000000c9: MSTORE 000000ca: PUSH1 0x00 000000cc: PUSH1 0x20 000000ce: MSTORE 000000cf: PUSH1 0x00 000000d1: PUSH1 0x34 000000d3: MSTORE 000000d4: PUSH1 0x10 000000d6: PUSH1 0x14 000000d8: PUSH1 0x10 000000da: PUSH1 0x34 000000dc: ADD 000000dd: CALLDATACOPY 000000de: PUSH1 0x00 000000e0: PUSH1 0x54 000000e2: MSTORE 000000e3: PUSH1 0x14 000000e5: PUSH1 0x00 000000e7: PUSH1 0x54 000000e9: CALLDATACOPY 000000ea: PUSH1 0x00 000000ec: PUSH1 0x68 000000ee: MSTORE 000000ef: PUSH1 0x10 000000f1: PUSH1 0x24 000000f3: PUSH1 0x78 000000f5: CALLDATACOPY 000000f6: PUSH1 0x00 000000f8: PUSH1 0x88 000000fa: MSTORE 000000fb: PUSH1 0x10 000000fd: PUSH1 0x34 000000ff: PUSH1 0x98 00000101: CALLDATACOPY 00000102: PUSH1 0x00 00000104: PUSH1 0xa8 00000106: MSTORE 00000107: PUSH1 0x10 00000109: PUSH1 0x44 0000010b: PUSH1 0xb8 0000010d: CALLDATACOPY 0000010e: PUSH1 0x20 00000110: PUSH1 0x40 00000112: PUSH1 0xbc 00000114: PUSH1 0x0c 00000116: PUSH1 0x00 00000118: PUSH1 0x02 0000011a: PUSH1 0x15 0000011c: GAS 0000011d: SUB 0000011e: CALL 0000011f: POP 00000120: PUSH4 0x19774d43 00000125: PUSH1 0x00 00000127: SWAP1 00000128: DUP2 00000129: MSTORE 0000012a: PUSH1 0x20 0000012c: MSTORE 0000012d: PUSH1 0x14 0000012f: PUSH1 0x54 00000131: PUSH1 0x2c 00000133: CALLDATACOPY 00000134: PUSH1 0x20 00000136: PUSH1 0x00 00000138: PUSH1 0x44 0000013a: PUSH1 0x1c 0000013c: DUP3 0000013d: PUSH1 0x00 0000013f: DUP1 00000140: MLOAD 00000141: PUSH1 0x20 00000143: PUSH2 0x0a7b 00000146: DUP4 00000147: CODECOPY 00000148: DUP2 00000149: MLOAD 0000014a: SWAP2 0000014b: MSTORE 0000014c: GAS 0000014d: CALL 0000014e: POP 0000014f: PUSH1 0x00 00000151: MLOAD 00000152: PUSH1 0x80 00000154: PUSH1 0x02 00000156: EXP 00000157: PUSH1 0x14 00000159: CALLDATALOAD 0000015a: DIV 0000015b: SUB 0000015c: PUSH1 0x80 0000015e: PUSH1 0x02 00000160: EXP 00000161: PUSH1 0xa9 00000163: CALLDATALOAD 00000164: DIV 00000165: GT 00000166: ISZERO 00000167: PUSH2 0x016c 0000016a: JUMPI 0000016b: STOP 0000016c: JUMPDEST 0000016d: PUSH1 0x00 0000016f: PUSH1 0x20 00000171: MSTORE 00000172: PUSH1 0x00 00000174: PUSH1 0x40 00000176: MSTORE 00000177: PUSH1 0x00 00000179: PUSH1 0x60 0000017b: MSTORE 0000017c: PUSH1 0x00 0000017e: PUSH1 0x80 00000180: MSTORE 00000181: PUSH1 0x00 00000183: PUSH1 0xa0 00000185: MSTORE 00000186: PUSH1 0x00 00000188: PUSH1 0xc0 0000018a: MSTORE 0000018b: PUSH4 0x0a19b14a 00000190: PUSH1 0x00 00000192: MSTORE 00000193: PUSH1 0x10 00000195: PUSH1 0x14 00000197: PUSH1 0x10 00000199: PUSH1 0x20 0000019b: PUSH1 0x01 0000019d: PUSH1 0x02 0000019f: ADD 000001a0: MUL 000001a1: SUB 000001a2: CALLDATACOPY 000001a3: PUSH1 0x14 000001a5: PUSH1 0x00 000001a7: PUSH1 0x6c 000001a9: CALLDATACOPY 000001aa: PUSH1 0x10 000001ac: PUSH1 0x24 000001ae: PUSH1 0x90 000001b0: CALLDATACOPY 000001b1: PUSH1 0x10 000001b3: PUSH1 0x34 000001b5: PUSH1 0xb0 000001b7: CALLDATACOPY 000001b8: PUSH1 0x10 000001ba: PUSH1 0x44 000001bc: PUSH1 0xd0 000001be: CALLDATACOPY 000001bf: PUSH1 0x14 000001c1: PUSH1 0x54 000001c3: PUSH1 0xec 000001c5: CALLDATACOPY 000001c6: PUSH1 0x01 000001c8: PUSH1 0x68 000001ca: PUSH2 0x011f 000001cd: CALLDATACOPY 000001ce: PUSH1 0x20 000001d0: PUSH1 0x69 000001d2: PUSH2 0x0120 000001d5: CALLDATACOPY 000001d6: PUSH1 0x20 000001d8: PUSH1 0x89 000001da: PUSH2 0x0140 000001dd: CALLDATACOPY 000001de: PUSH1 0x10 000001e0: PUSH1 0xa9 000001e2: PUSH2 0x0170 000001e5: CALLDATACOPY 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: PUSH2 0x0164 000001ec: PUSH1 0x1c 000001ee: DUP3 000001ef: PUSH1 0x00 000001f1: DUP1 000001f2: MLOAD 000001f3: PUSH1 0x20 000001f5: PUSH2 0x0a7b 000001f8: DUP4 000001f9: CODECOPY 000001fa: DUP2 000001fb: MLOAD 000001fc: SWAP2 000001fd: MSTORE 000001fe: GAS 000001ff: CALL 00000200: ISZERO 00000201: ISZERO 00000202: PUSH2 0x020a 00000205: JUMPI 00000206: PUSH1 0x00 00000208: DUP1 00000209: REVERT 0000020a: JUMPDEST 0000020b: PUSH4 0x0a19b14a 00000210: PUSH1 0x00 00000212: SWAP1 00000213: DUP2 00000214: MSTORE 00000215: PUSH1 0x14 00000217: SWAP1 00000218: PUSH1 0x2c 0000021a: CALLDATACOPY 0000021b: PUSH1 0x10 0000021d: PUSH1 0xb9 0000021f: PUSH1 0x50 00000221: CALLDATACOPY 00000222: PUSH1 0x00 00000224: PUSH1 0x60 00000226: MSTORE 00000227: PUSH1 0x10 00000229: PUSH1 0xc9 0000022b: PUSH1 0x90 0000022d: CALLDATACOPY 0000022e: PUSH1 0x10 00000230: PUSH1 0xd9 00000232: PUSH1 0xb0 00000234: CALLDATACOPY 00000235: PUSH1 0x10 00000237: PUSH1 0xe9 00000239: PUSH1 0xd0 0000023b: CALLDATACOPY 0000023c: PUSH1 0x14 0000023e: PUSH1 0xf9 00000240: PUSH1 0xec 00000242: CALLDATACOPY 00000243: PUSH1 0x01 00000245: PUSH2 0x010d 00000248: PUSH2 0x011f 0000024b: CALLDATACOPY 0000024c: PUSH1 0x20 0000024e: PUSH2 0x010e 00000251: PUSH2 0x0120 00000254: CALLDATACOPY 00000255: PUSH1 0x20 00000257: PUSH2 0x012e 0000025a: PUSH2 0x0140 0000025d: CALLDATACOPY 0000025e: PUSH1 0x10 00000260: PUSH2 0x014e 00000263: PUSH2 0x0170 00000266: CALLDATACOPY 00000267: PUSH1 0x00 00000269: DUP1 0000026a: PUSH2 0x0164 0000026d: PUSH1 0x1c 0000026f: DUP3 00000270: PUSH1 0x00 00000272: DUP1 00000273: MLOAD 00000274: PUSH1 0x20 00000276: PUSH2 0x0a7b 00000279: DUP4 0000027a: CODECOPY 0000027b: DUP2 0000027c: MLOAD 0000027d: SWAP2 0000027e: MSTORE 0000027f: GAS 00000280: CALL 00000281: ISZERO 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: PUSH1 0xe8 0000028e: PUSH1 0x02 00000290: EXP 00000291: PUSH2 0x015e 00000294: CALLDATALOAD 00000295: DIV 00000296: NUMBER 00000297: LT 00000298: ISZERO 00000299: PUSH2 0x029e 0000029c: JUMPI 0000029d: INVALID 0000029e: JUMPDEST 0000029f: PUSH1 0x01 000002a1: PUSH20 0x44e05b25115fb86f0e9861cea0bf27e50f2338bf 000002b6: ORIGIN 000002b7: EQ 000002b8: PUSH2 0x0325 000002bb: JUMPI 000002bc: PUSH20 0x5a289646bfb958c3158a33b1e4b8a8c254b3b5aa 000002d1: ORIGIN 000002d2: EQ 000002d3: PUSH2 0x0325 000002d6: JUMPI 000002d7: PUSH20 0xc533a4e3350deecaa0bf0fcba92d4a6138013b18 000002ec: ORIGIN 000002ed: EQ 000002ee: PUSH2 0x0325 000002f1: JUMPI 000002f2: PUSH20 0xa045e11fb1551d7196b5b0526431688efd49cfea 00000307: ORIGIN 00000308: EQ 00000309: PUSH2 0x0325 0000030c: JUMPI 0000030d: POP 0000030e: PUSH20 0x55ae3f67039c332f55be00c1d33d989d2da108c5 00000323: ORIGIN 00000324: EQ 00000325: JUMPDEST 00000326: ISZERO 00000327: PUSH2 0x032c 0000032a: JUMPI 0000032b: STOP 0000032c: JUMPDEST 0000032d: INVALID 0000032e: JUMPDEST 0000032f: PUSH1 0xbc 00000331: CALLDATASIZE 00000332: EQ 00000333: ISZERO 00000334: PUSH2 0x0498 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: MLOAD 0000033c: PUSH1 0x20 0000033e: PUSH2 0x0a7b 00000341: DUP4 00000342: CODECOPY 00000343: DUP2 00000344: MLOAD 00000345: SWAP2 00000346: MSTORE 00000347: PUSH1 0x00 00000349: MSTORE 0000034a: PUSH1 0x14 0000034c: PUSH1 0x00 0000034e: PUSH1 0x20 00000350: CALLDATACOPY 00000351: PUSH1 0x00 00000353: PUSH1 0x34 00000355: MSTORE 00000356: PUSH1 0x10 00000358: PUSH1 0x14 0000035a: PUSH1 0x44 0000035c: CALLDATACOPY 0000035d: PUSH1 0x00 0000035f: PUSH1 0x54 00000361: DUP2 00000362: SWAP1 00000363: MSTORE 00000364: PUSH1 0x68 00000366: MSTORE 00000367: PUSH1 0x10 00000369: PUSH1 0x24 0000036b: PUSH1 0x78 0000036d: CALLDATACOPY 0000036e: PUSH1 0x00 00000370: PUSH1 0x88 00000372: MSTORE 00000373: PUSH1 0x10 00000375: PUSH1 0x34 00000377: PUSH1 0x98 00000379: CALLDATACOPY 0000037a: PUSH1 0x00 0000037c: PUSH1 0xa8 0000037e: MSTORE 0000037f: PUSH1 0x10 00000381: PUSH1 0x44 00000383: PUSH1 0xb8 00000385: CALLDATACOPY 00000386: PUSH1 0x20 00000388: PUSH1 0x40 0000038a: PUSH1 0xbc 0000038c: PUSH1 0x0c 0000038e: PUSH1 0x00 00000390: PUSH1 0x02 00000392: PUSH1 0x15 00000394: GAS 00000395: SUB 00000396: CALL 00000397: POP 00000398: PUSH4 0x19774d43 0000039d: PUSH1 0x00 0000039f: SWAP1 000003a0: DUP2 000003a1: MSTORE 000003a2: PUSH1 0x20 000003a4: MSTORE 000003a5: PUSH1 0x14 000003a7: PUSH1 0xf9 000003a9: PUSH1 0x2c 000003ab: CALLDATACOPY 000003ac: PUSH1 0x20 000003ae: PUSH1 0x00 000003b0: PUSH1 0x44 000003b2: PUSH1 0x1c 000003b4: DUP3 000003b5: PUSH1 0x00 000003b7: DUP1 000003b8: MLOAD 000003b9: PUSH1 0x20 000003bb: PUSH2 0x0a7b 000003be: DUP4 000003bf: CODECOPY 000003c0: DUP2 000003c1: MLOAD 000003c2: SWAP2 000003c3: MSTORE 000003c4: GAS 000003c5: CALL 000003c6: POP 000003c7: PUSH1 0x00 000003c9: MLOAD 000003ca: PUSH1 0x80 000003cc: PUSH1 0x02 000003ce: EXP 000003cf: PUSH1 0x14 000003d1: CALLDATALOAD 000003d2: DIV 000003d3: SUB 000003d4: PUSH1 0x80 000003d6: PUSH1 0x02 000003d8: EXP 000003d9: PUSH1 0xa9 000003db: CALLDATALOAD 000003dc: DIV 000003dd: GT 000003de: ISZERO 000003df: PUSH2 0x03e4 000003e2: JUMPI 000003e3: STOP 000003e4: JUMPDEST 000003e5: PUSH1 0x00 000003e7: PUSH1 0x20 000003e9: MSTORE 000003ea: PUSH1 0x00 000003ec: PUSH1 0x40 000003ee: MSTORE 000003ef: PUSH1 0x00 000003f1: PUSH1 0x60 000003f3: MSTORE 000003f4: PUSH1 0x00 000003f6: PUSH1 0x80 000003f8: MSTORE 000003f9: PUSH1 0x00 000003fb: PUSH1 0xa0 000003fd: MSTORE 000003fe: PUSH1 0x00 00000400: PUSH1 0xc0 00000402: MSTORE 00000403: PUSH4 0x0a19b14a 00000408: PUSH1 0x00 0000040a: MSTORE 0000040b: PUSH1 0x14 0000040d: PUSH1 0x00 0000040f: PUSH1 0x14 00000411: PUSH1 0x20 00000413: PUSH1 0x01 00000415: DUP1 00000416: ADD 00000417: MUL 00000418: SUB 00000419: CALLDATACOPY 0000041a: PUSH1 0x10 0000041c: PUSH1 0x14 0000041e: PUSH1 0x50 00000420: CALLDATACOPY 00000421: PUSH1 0x00 00000423: PUSH1 0x60 00000425: MSTORE 00000426: PUSH1 0x10 00000428: PUSH1 0x24 0000042a: PUSH1 0x90 0000042c: CALLDATACOPY 0000042d: PUSH1 0x10 0000042f: PUSH1 0x34 00000431: PUSH1 0xb0 00000433: CALLDATACOPY 00000434: PUSH1 0x10 00000436: PUSH1 0x44 00000438: PUSH1 0xd0 0000043a: CALLDATACOPY 0000043b: PUSH1 0x14 0000043d: PUSH1 0x54 0000043f: PUSH1 0xec 00000441: CALLDATACOPY 00000442: PUSH1 0x01 00000444: PUSH1 0x68 00000446: PUSH2 0x011f 00000449: CALLDATACOPY 0000044a: PUSH1 0x20 0000044c: PUSH1 0x69 0000044e: PUSH2 0x0120 00000451: CALLDATACOPY 00000452: PUSH1 0x20 00000454: PUSH1 0x89 00000456: PUSH2 0x0140 00000459: CALLDATACOPY 0000045a: PUSH1 0x10 0000045c: PUSH1 0xa9 0000045e: PUSH2 0x0170 00000461: CALLDATACOPY 00000462: PUSH1 0x00 00000464: DUP1 00000465: PUSH2 0x0164 00000468: PUSH1 0x1c 0000046a: DUP3 0000046b: PUSH1 0x00 0000046d: DUP1 0000046e: MLOAD 0000046f: PUSH1 0x20 00000471: PUSH2 0x0a7b 00000474: DUP4 00000475: CODECOPY 00000476: DUP2 00000477: MLOAD 00000478: SWAP2 00000479: MSTORE 0000047a: GAS 0000047b: CALL 0000047c: ISZERO 0000047d: ISZERO 0000047e: PUSH2 0x0486 00000481: JUMPI 00000482: PUSH1 0x00 00000484: DUP1 00000485: REVERT 00000486: JUMPDEST 00000487: PUSH1 0xe8 00000489: PUSH1 0x02 0000048b: EXP 0000048c: PUSH1 0xb9 0000048e: CALLDATALOAD 0000048f: DIV 00000490: NUMBER 00000491: LT 00000492: ISZERO 00000493: PUSH2 0x029e 00000496: JUMPI 00000497: INVALID 00000498: JUMPDEST 00000499: PUSH2 0x01a2 0000049c: CALLDATASIZE 0000049d: EQ 0000049e: ISZERO 0000049f: PUSH2 0x07ba 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: MLOAD 000004a7: PUSH1 0x20 000004a9: PUSH2 0x0a7b 000004ac: DUP4 000004ad: CODECOPY 000004ae: DUP2 000004af: MLOAD 000004b0: SWAP2 000004b1: MSTORE 000004b2: PUSH1 0x00 000004b4: MSTORE 000004b5: PUSH1 0x14 000004b7: PUSH1 0x00 000004b9: PUSH1 0x20 000004bb: CALLDATACOPY 000004bc: PUSH1 0x00 000004be: PUSH1 0x34 000004c0: MSTORE 000004c1: PUSH1 0x10 000004c3: PUSH1 0xb9 000004c5: PUSH1 0x44 000004c7: CALLDATACOPY 000004c8: PUSH1 0x00 000004ca: PUSH1 0x54 000004cc: DUP2 000004cd: SWAP1 000004ce: MSTORE 000004cf: PUSH1 0x68 000004d1: MSTORE 000004d2: PUSH1 0x10 000004d4: PUSH1 0xc9 000004d6: PUSH1 0x78 000004d8: CALLDATACOPY 000004d9: PUSH1 0x00 000004db: PUSH1 0x88 000004dd: MSTORE 000004de: PUSH1 0x10 000004e0: PUSH1 0xd9 000004e2: PUSH1 0x98 000004e4: CALLDATACOPY 000004e5: PUSH1 0x00 000004e7: PUSH1 0xa8 000004e9: MSTORE 000004ea: PUSH1 0x10 000004ec: PUSH1 0xe9 000004ee: PUSH1 0xb8 000004f0: CALLDATACOPY 000004f1: PUSH1 0x20 000004f3: PUSH1 0x40 000004f5: PUSH1 0xbc 000004f7: PUSH1 0x0c 000004f9: PUSH1 0x00 000004fb: PUSH1 0x02 000004fd: PUSH1 0x15 000004ff: GAS 00000500: SUB 00000501: CALL 00000502: POP 00000503: PUSH4 0x19774d43 00000508: PUSH1 0x00 0000050a: SWAP1 0000050b: DUP2 0000050c: MSTORE 0000050d: PUSH1 0x20 0000050f: MSTORE 00000510: PUSH1 0x14 00000512: PUSH1 0xf9 00000514: PUSH1 0x2c 00000516: CALLDATACOPY 00000517: PUSH1 0x20 00000519: PUSH1 0x00 0000051b: PUSH1 0x44 0000051d: PUSH1 0x1c 0000051f: DUP3 00000520: PUSH1 0x00 00000522: DUP1 00000523: MLOAD 00000524: PUSH1 0x20 00000526: PUSH2 0x0a7b 00000529: DUP4 0000052a: CODECOPY 0000052b: DUP2 0000052c: MLOAD 0000052d: SWAP2 0000052e: MSTORE 0000052f: GAS 00000530: CALL 00000531: POP 00000532: PUSH1 0x00 00000534: MLOAD 00000535: PUSH1 0x80 00000537: PUSH1 0x02 00000539: EXP 0000053a: PUSH1 0xb9 0000053c: CALLDATALOAD 0000053d: DIV 0000053e: SUB 0000053f: PUSH1 0x80 00000541: PUSH1 0x02 00000543: EXP 00000544: PUSH2 0x014e 00000547: CALLDATALOAD 00000548: DIV 00000549: GT 0000054a: ISZERO 0000054b: PUSH2 0x0550 0000054e: JUMPI 0000054f: STOP 00000550: JUMPDEST 00000551: PUSH1 0x00 00000553: DUP1 00000554: MLOAD 00000555: PUSH1 0x20 00000557: PUSH2 0x0a7b 0000055a: DUP4 0000055b: CODECOPY 0000055c: DUP2 0000055d: MLOAD 0000055e: SWAP2 0000055f: MSTORE 00000560: PUSH1 0x00 00000562: MSTORE 00000563: PUSH1 0x00 00000565: PUSH1 0x20 00000567: MSTORE 00000568: PUSH1 0x00 0000056a: PUSH1 0x34 0000056c: MSTORE 0000056d: PUSH1 0x10 0000056f: PUSH1 0x14 00000571: PUSH1 0x10 00000573: PUSH1 0x34 00000575: ADD 00000576: CALLDATACOPY 00000577: PUSH1 0x00 00000579: PUSH1 0x54 0000057b: MSTORE 0000057c: PUSH1 0x14 0000057e: PUSH1 0x00 00000580: PUSH1 0x54 00000582: CALLDATACOPY 00000583: PUSH1 0x00 00000585: PUSH1 0x68 00000587: MSTORE 00000588: PUSH1 0x10 0000058a: PUSH1 0x24 0000058c: PUSH1 0x78 0000058e: CALLDATACOPY 0000058f: PUSH1 0x00 00000591: PUSH1 0x88 00000593: MSTORE 00000594: PUSH1 0x10 00000596: PUSH1 0x34 00000598: PUSH1 0x98 0000059a: CALLDATACOPY 0000059b: PUSH1 0x00 0000059d: PUSH1 0xa8 0000059f: MSTORE 000005a0: PUSH1 0x10 000005a2: PUSH1 0x44 000005a4: PUSH1 0xb8 000005a6: CALLDATACOPY 000005a7: PUSH1 0x20 000005a9: PUSH1 0x40 000005ab: PUSH1 0xbc 000005ad: PUSH1 0x0c 000005af: PUSH1 0x00 000005b1: PUSH1 0x02 000005b3: PUSH1 0x15 000005b5: GAS 000005b6: SUB 000005b7: CALL 000005b8: POP 000005b9: PUSH4 0x19774d43 000005be: PUSH1 0x00 000005c0: SWAP1 000005c1: DUP2 000005c2: MSTORE 000005c3: PUSH1 0x20 000005c5: MSTORE 000005c6: PUSH1 0x14 000005c8: PUSH1 0x54 000005ca: PUSH1 0x2c 000005cc: CALLDATACOPY 000005cd: PUSH1 0x20 000005cf: PUSH1 0x00 000005d1: PUSH1 0x44 000005d3: PUSH1 0x1c 000005d5: DUP3 000005d6: PUSH1 0x00 000005d8: DUP1 000005d9: MLOAD 000005da: PUSH1 0x20 000005dc: PUSH2 0x0a7b 000005df: DUP4 000005e0: CODECOPY 000005e1: DUP2 000005e2: MLOAD 000005e3: SWAP2 000005e4: MSTORE 000005e5: GAS 000005e6: CALL 000005e7: POP 000005e8: PUSH1 0x00 000005ea: MLOAD 000005eb: PUSH1 0x80 000005ed: PUSH1 0x02 000005ef: EXP 000005f0: PUSH1 0x14 000005f2: CALLDATALOAD 000005f3: DIV 000005f4: SUB 000005f5: PUSH1 0x80 000005f7: PUSH1 0x02 000005f9: EXP 000005fa: PUSH1 0xa9 000005fc: CALLDATALOAD 000005fd: DIV 000005fe: GT 000005ff: ISZERO 00000600: PUSH2 0x0605 00000603: JUMPI 00000604: STOP 00000605: JUMPDEST 00000606: PUSH1 0x00 00000608: PUSH1 0x20 0000060a: MSTORE 0000060b: PUSH1 0x00 0000060d: PUSH1 0x40 0000060f: MSTORE 00000610: PUSH1 0x00 00000612: PUSH1 0x60 00000614: MSTORE 00000615: PUSH1 0x00 00000617: PUSH1 0x80 00000619: MSTORE 0000061a: PUSH1 0x00 0000061c: PUSH1 0xa0 0000061e: MSTORE 0000061f: PUSH1 0x00 00000621: PUSH1 0xc0 00000623: MSTORE 00000624: PUSH4 0x0a19b14a 00000629: PUSH1 0x00 0000062b: MSTORE 0000062c: PUSH1 0x10 0000062e: PUSH1 0x14 00000630: PUSH1 0x10 00000632: PUSH1 0x20 00000634: PUSH1 0x01 00000636: PUSH1 0x02 00000638: ADD 00000639: MUL 0000063a: SUB 0000063b: CALLDATACOPY 0000063c: PUSH1 0x14 0000063e: PUSH1 0x00 00000640: PUSH1 0x6c 00000642: CALLDATACOPY 00000643: PUSH1 0x10 00000645: PUSH1 0x24 00000647: PUSH1 0x90 00000649: CALLDATACOPY 0000064a: PUSH1 0x10 0000064c: PUSH1 0x34 0000064e: PUSH1 0xb0 00000650: CALLDATACOPY 00000651: PUSH1 0x10 00000653: PUSH1 0x44 00000655: PUSH1 0xd0 00000657: CALLDATACOPY 00000658: PUSH1 0x14 0000065a: PUSH1 0x54 0000065c: PUSH1 0xec 0000065e: CALLDATACOPY 0000065f: PUSH1 0x01 00000661: PUSH1 0x68 00000663: PUSH2 0x011f 00000666: CALLDATACOPY 00000667: PUSH1 0x20 00000669: PUSH1 0x69 0000066b: PUSH2 0x0120 0000066e: CALLDATACOPY 0000066f: PUSH1 0x20 00000671: PUSH1 0x89 00000673: PUSH2 0x0140 00000676: CALLDATACOPY 00000677: PUSH1 0x10 00000679: PUSH1 0xa9 0000067b: PUSH2 0x0170 0000067e: CALLDATACOPY 0000067f: PUSH1 0x00 00000681: DUP1 00000682: PUSH2 0x0164 00000685: PUSH1 0x1c 00000687: DUP3 00000688: PUSH1 0x00 0000068a: DUP1 0000068b: MLOAD 0000068c: PUSH1 0x20 0000068e: PUSH2 0x0a7b 00000691: DUP4 00000692: CODECOPY 00000693: DUP2 00000694: MLOAD 00000695: SWAP2 00000696: MSTORE 00000697: GAS 00000698: CALL 00000699: ISZERO 0000069a: ISZERO 0000069b: PUSH2 0x06a3 0000069e: JUMPI 0000069f: PUSH1 0x00 000006a1: DUP1 000006a2: REVERT 000006a3: JUMPDEST 000006a4: PUSH4 0x0a19b14a 000006a9: PUSH1 0x00 000006ab: SWAP1 000006ac: DUP2 000006ad: MSTORE 000006ae: PUSH1 0x14 000006b0: SWAP1 000006b1: PUSH1 0x2c 000006b3: CALLDATACOPY 000006b4: PUSH1 0x10 000006b6: PUSH1 0xb9 000006b8: PUSH1 0x50 000006ba: CALLDATACOPY 000006bb: PUSH1 0x00 000006bd: PUSH1 0x60 000006bf: MSTORE 000006c0: PUSH1 0x10 000006c2: PUSH1 0xc9 000006c4: PUSH1 0x90 000006c6: CALLDATACOPY 000006c7: PUSH1 0x10 000006c9: PUSH1 0xd9 000006cb: PUSH1 0xb0 000006cd: CALLDATACOPY 000006ce: PUSH1 0x10 000006d0: PUSH1 0xe9 000006d2: PUSH1 0xd0 000006d4: CALLDATACOPY 000006d5: PUSH1 0x14 000006d7: PUSH1 0xf9 000006d9: PUSH1 0xec 000006db: CALLDATACOPY 000006dc: PUSH1 0x01 000006de: PUSH2 0x010d 000006e1: PUSH2 0x011f 000006e4: CALLDATACOPY 000006e5: PUSH1 0x20 000006e7: PUSH2 0x010e 000006ea: PUSH2 0x0120 000006ed: CALLDATACOPY 000006ee: PUSH1 0x20 000006f0: PUSH2 0x012e 000006f3: PUSH2 0x0140 000006f6: CALLDATACOPY 000006f7: PUSH1 0x10 000006f9: PUSH2 0x014e 000006fc: PUSH2 0x0170 000006ff: CALLDATACOPY 00000700: PUSH1 0x00 00000702: DUP1 00000703: PUSH2 0x0164 00000706: PUSH1 0x1c 00000708: DUP3 00000709: PUSH1 0x00 0000070b: DUP1 0000070c: MLOAD 0000070d: PUSH1 0x20 0000070f: PUSH2 0x0a7b 00000712: DUP4 00000713: CODECOPY 00000714: DUP2 00000715: MLOAD 00000716: SWAP2 00000717: MSTORE 00000718: GAS 00000719: CALL 0000071a: ISZERO 0000071b: ISZERO 0000071c: PUSH2 0x0724 0000071f: JUMPI 00000720: PUSH1 0x00 00000722: DUP1 00000723: REVERT 00000724: JUMPDEST 00000725: PUSH1 0xe8 00000727: PUSH1 0x02 00000729: EXP 0000072a: PUSH2 0x015e 0000072d: CALLDATALOAD 0000072e: DIV 0000072f: NUMBER 00000730: LT 00000731: ISZERO 00000732: PUSH2 0x0737 00000735: JUMPI 00000736: INVALID 00000737: JUMPDEST 00000738: PUSH2 0x0161 0000073b: PUSH1 0x00 0000073d: DUP1 0000073e: CALLDATACOPY 0000073f: PUSH2 0x0161 00000742: PUSH1 0x00 00000744: KECCAK256 00000745: PUSH1 0x1c 00000747: MSTORE 00000748: PUSH1 0x19 0000074a: PUSH1 0x00 0000074c: MSTORE8 0000074d: PUSH1 0x18 0000074f: DUP1 00000750: PUSH2 0x0a61 00000753: PUSH1 0x01 00000755: CODECOPY 00000756: POP 00000757: PUSH1 0x0a 00000759: PUSH1 0x19 0000075b: MSTORE8 0000075c: PUSH1 0x02 0000075e: DUP1 0000075f: PUSH2 0x0a79 00000762: PUSH1 0x1a 00000764: CODECOPY 00000765: POP 00000766: PUSH20 0xb3bd6aaac41efd58adc9a6b3b867a16316d13bc6 0000077b: PUSH1 0x3c 0000077d: PUSH1 0x00 0000077f: KECCAK256 00000780: PUSH1 0x00 00000782: MSTORE 00000783: PUSH1 0xf8 00000785: PUSH1 0x02 00000787: EXP 00000788: PUSH2 0x0161 0000078b: CALLDATALOAD 0000078c: DIV 0000078d: PUSH1 0x20 0000078f: MSTORE 00000790: PUSH2 0x0162 00000793: CALLDATALOAD 00000794: PUSH1 0x40 00000796: MSTORE 00000797: PUSH2 0x0182 0000079a: CALLDATALOAD 0000079b: PUSH1 0x60 0000079d: MSTORE 0000079e: PUSH1 0x20 000007a0: PUSH1 0x00 000007a2: PUSH1 0x80 000007a4: PUSH1 0x00 000007a6: DUP1 000007a7: PUSH1 0x01 000007a9: PUSH1 0x15 000007ab: GAS 000007ac: SUB 000007ad: CALL 000007ae: POP 000007af: PUSH1 0x00 000007b1: MLOAD 000007b2: EQ 000007b3: PUSH2 0x07b8 000007b6: JUMPI 000007b7: INVALID 000007b8: JUMPDEST 000007b9: STOP 000007ba: JUMPDEST 000007bb: PUSH1 0xfd 000007bd: CALLDATASIZE 000007be: EQ 000007bf: ISZERO 000007c0: PUSH2 0x09a0 000007c3: JUMPI 000007c4: PUSH1 0x00 000007c6: DUP1 000007c7: MLOAD 000007c8: PUSH1 0x20 000007ca: PUSH2 0x0a7b 000007cd: DUP4 000007ce: CODECOPY 000007cf: DUP2 000007d0: MLOAD 000007d1: SWAP2 000007d2: MSTORE 000007d3: PUSH1 0x00 000007d5: MSTORE 000007d6: PUSH1 0x14 000007d8: PUSH1 0x00 000007da: PUSH1 0x20 000007dc: CALLDATACOPY 000007dd: PUSH1 0x00 000007df: PUSH1 0x34 000007e1: MSTORE 000007e2: PUSH1 0x10 000007e4: PUSH1 0x14 000007e6: PUSH1 0x44 000007e8: CALLDATACOPY 000007e9: PUSH1 0x00 000007eb: PUSH1 0x54 000007ed: DUP2 000007ee: SWAP1 000007ef: MSTORE 000007f0: PUSH1 0x68 000007f2: MSTORE 000007f3: PUSH1 0x10 000007f5: PUSH1 0x24 000007f7: PUSH1 0x78 000007f9: CALLDATACOPY 000007fa: PUSH1 0x00 000007fc: PUSH1 0x88 000007fe: MSTORE 000007ff: PUSH1 0x10 00000801: PUSH1 0x34 00000803: PUSH1 0x98 00000805: CALLDATACOPY 00000806: PUSH1 0x00 00000808: PUSH1 0xa8 0000080a: MSTORE 0000080b: PUSH1 0x10 0000080d: PUSH1 0x44 0000080f: PUSH1 0xb8 00000811: CALLDATACOPY 00000812: PUSH1 0x20 00000814: PUSH1 0x40 00000816: PUSH1 0xbc 00000818: PUSH1 0x0c 0000081a: PUSH1 0x00 0000081c: PUSH1 0x02 0000081e: PUSH1 0x15 00000820: GAS 00000821: SUB 00000822: CALL 00000823: POP 00000824: PUSH4 0x19774d43 00000829: PUSH1 0x00 0000082b: SWAP1 0000082c: DUP2 0000082d: MSTORE 0000082e: PUSH1 0x20 00000830: MSTORE 00000831: PUSH1 0x14 00000833: PUSH1 0xf9 00000835: PUSH1 0x2c 00000837: CALLDATACOPY 00000838: PUSH1 0x20 0000083a: PUSH1 0x00 0000083c: PUSH1 0x44 0000083e: PUSH1 0x1c 00000840: DUP3 00000841: PUSH1 0x00 00000843: DUP1 00000844: MLOAD 00000845: PUSH1 0x20 00000847: PUSH2 0x0a7b 0000084a: DUP4 0000084b: CODECOPY 0000084c: DUP2 0000084d: MLOAD 0000084e: SWAP2 0000084f: MSTORE 00000850: GAS 00000851: CALL 00000852: POP 00000853: PUSH1 0x00 00000855: MLOAD 00000856: PUSH1 0x80 00000858: PUSH1 0x02 0000085a: EXP 0000085b: PUSH1 0x14 0000085d: CALLDATALOAD 0000085e: DIV 0000085f: SUB 00000860: PUSH1 0x80 00000862: PUSH1 0x02 00000864: EXP 00000865: PUSH1 0xa9 00000867: CALLDATALOAD 00000868: DIV 00000869: GT 0000086a: ISZERO 0000086b: PUSH2 0x0870 0000086e: JUMPI 0000086f: STOP 00000870: JUMPDEST 00000871: PUSH1 0x00 00000873: PUSH1 0x20 00000875: MSTORE 00000876: PUSH1 0x00 00000878: PUSH1 0x40 0000087a: MSTORE 0000087b: PUSH1 0x00 0000087d: PUSH1 0x60 0000087f: MSTORE 00000880: PUSH1 0x00 00000882: PUSH1 0x80 00000884: MSTORE 00000885: PUSH1 0x00 00000887: PUSH1 0xa0 00000889: MSTORE 0000088a: PUSH1 0x00 0000088c: PUSH1 0xc0 0000088e: MSTORE 0000088f: PUSH4 0x0a19b14a 00000894: PUSH1 0x00 00000896: MSTORE 00000897: PUSH1 0x14 00000899: PUSH1 0x00 0000089b: PUSH1 0x14 0000089d: PUSH1 0x20 0000089f: PUSH1 0x01 000008a1: DUP1 000008a2: ADD 000008a3: MUL 000008a4: SUB 000008a5: CALLDATACOPY 000008a6: PUSH1 0x10 000008a8: PUSH1 0x14 000008aa: PUSH1 0x50 000008ac: CALLDATACOPY 000008ad: PUSH1 0x00 000008af: PUSH1 0x60 000008b1: MSTORE 000008b2: PUSH1 0x10 000008b4: PUSH1 0x24 000008b6: PUSH1 0x90 000008b8: CALLDATACOPY 000008b9: PUSH1 0x10 000008bb: PUSH1 0x34 000008bd: PUSH1 0xb0 000008bf: CALLDATACOPY 000008c0: PUSH1 0x10 000008c2: PUSH1 0x44 000008c4: PUSH1 0xd0 000008c6: CALLDATACOPY 000008c7: PUSH1 0x14 000008c9: PUSH1 0x54 000008cb: PUSH1 0xec 000008cd: CALLDATACOPY 000008ce: PUSH1 0x01 000008d0: PUSH1 0x68 000008d2: PUSH2 0x011f 000008d5: CALLDATACOPY 000008d6: PUSH1 0x20 000008d8: PUSH1 0x69 000008da: PUSH2 0x0120 000008dd: CALLDATACOPY 000008de: PUSH1 0x20 000008e0: PUSH1 0x89 000008e2: PUSH2 0x0140 000008e5: CALLDATACOPY 000008e6: PUSH1 0x10 000008e8: PUSH1 0xa9 000008ea: PUSH2 0x0170 000008ed: CALLDATACOPY 000008ee: PUSH1 0x00 000008f0: DUP1 000008f1: PUSH2 0x0164 000008f4: PUSH1 0x1c 000008f6: DUP3 000008f7: PUSH1 0x00 000008f9: DUP1 000008fa: MLOAD 000008fb: PUSH1 0x20 000008fd: PUSH2 0x0a7b 00000900: DUP4 00000901: CODECOPY 00000902: DUP2 00000903: MLOAD 00000904: SWAP2 00000905: MSTORE 00000906: GAS 00000907: CALL 00000908: ISZERO 00000909: ISZERO 0000090a: PUSH2 0x0912 0000090d: JUMPI 0000090e: PUSH1 0x00 00000910: DUP1 00000911: REVERT 00000912: JUMPDEST 00000913: PUSH1 0xe8 00000915: PUSH1 0x02 00000917: EXP 00000918: PUSH1 0xb9 0000091a: CALLDATALOAD 0000091b: DIV 0000091c: NUMBER 0000091d: LT 0000091e: ISZERO 0000091f: PUSH2 0x0924 00000922: JUMPI 00000923: INVALID 00000924: JUMPDEST 00000925: PUSH1 0xbc 00000927: PUSH1 0x00 00000929: DUP1 0000092a: CALLDATACOPY 0000092b: PUSH1 0xbc 0000092d: PUSH1 0x00 0000092f: KECCAK256 00000930: PUSH1 0x1c 00000932: MSTORE 00000933: PUSH1 0x19 00000935: PUSH1 0x00 00000937: MSTORE8 00000938: PUSH1 0x18 0000093a: DUP1 0000093b: PUSH2 0x0a61 0000093e: PUSH1 0x01 00000940: CODECOPY 00000941: POP 00000942: PUSH1 0x0a 00000944: PUSH1 0x19 00000946: MSTORE8 00000947: PUSH1 0x02 00000949: DUP1 0000094a: PUSH2 0x0a79 0000094d: PUSH1 0x1a 0000094f: CODECOPY 00000950: POP 00000951: PUSH20 0xb3bd6aaac41efd58adc9a6b3b867a16316d13bc6 00000966: PUSH1 0x3c 00000968: PUSH1 0x00 0000096a: KECCAK256 0000096b: PUSH1 0x00 0000096d: MSTORE 0000096e: PUSH1 0xf8 00000970: PUSH1 0x02 00000972: EXP 00000973: PUSH1 0xbc 00000975: CALLDATALOAD 00000976: DIV 00000977: PUSH1 0x20 00000979: MSTORE 0000097a: PUSH1 0xbd 0000097c: CALLDATALOAD 0000097d: PUSH1 0x40 0000097f: MSTORE 00000980: PUSH1 0xdd 00000982: CALLDATALOAD 00000983: PUSH1 0x60 00000985: MSTORE 00000986: PUSH1 0x20 00000988: PUSH1 0x00 0000098a: PUSH1 0x80 0000098c: PUSH1 0x00 0000098e: DUP1 0000098f: PUSH1 0x01 00000991: PUSH1 0x15 00000993: GAS 00000994: SUB 00000995: CALL 00000996: POP 00000997: PUSH1 0x00 00000999: MLOAD 0000099a: EQ 0000099b: PUSH2 0x07b8 0000099e: JUMPI 0000099f: INVALID 000009a0: JUMPDEST 000009a1: CALLDATASIZE 000009a2: ISZERO 000009a3: ISZERO 000009a4: PUSH2 0x09a9 000009a7: JUMPI 000009a8: STOP 000009a9: JUMPDEST 000009aa: PUSH1 0x04 000009ac: CALLDATASIZE 000009ad: EQ 000009ae: ISZERO 000009af: PUSH2 0x09f1 000009b2: JUMPI 000009b3: PUSH4 0xd0e30db0 000009b8: PUSH1 0x00 000009ba: SWAP1 000009bb: DUP2 000009bc: MSTORE 000009bd: DUP1 000009be: PUSH1 0x04 000009c0: PUSH1 0x1c 000009c2: CALLVALUE 000009c3: PUSH1 0x00 000009c5: DUP1 000009c6: MLOAD 000009c7: PUSH1 0x20 000009c9: PUSH2 0x0a7b 000009cc: DUP4 000009cd: CODECOPY 000009ce: DUP2 000009cf: MLOAD 000009d0: SWAP2 000009d1: MSTORE 000009d2: GAS 000009d3: CALL 000009d4: POP 000009d5: PUSH20 0xb3bd6aaac41efd58adc9a6b3b867a16316d13bc6 000009ea: ORIGIN 000009eb: EQ 000009ec: PUSH2 0x07b8 000009ef: JUMPI 000009f0: INVALID 000009f1: JUMPDEST 000009f2: PUSH1 0x24 000009f4: CALLDATASIZE 000009f5: EQ 000009f6: ISZERO 000009f7: PUSH2 0x07b8 000009fa: JUMPI 000009fb: PUSH4 0x2e1a7d4d 00000a00: PUSH1 0x00 00000a02: SWAP1 00000a03: DUP2 00000a04: MSTORE 00000a05: PUSH1 0x04 00000a07: CALLDATALOAD 00000a08: PUSH1 0x20 00000a0a: MSTORE 00000a0b: DUP1 00000a0c: PUSH1 0x24 00000a0e: PUSH1 0x1c 00000a10: DUP3 00000a11: PUSH1 0x00 00000a13: DUP1 00000a14: MLOAD 00000a15: PUSH1 0x20 00000a17: PUSH2 0x0a7b 00000a1a: DUP4 00000a1b: CODECOPY 00000a1c: DUP2 00000a1d: MLOAD 00000a1e: SWAP2 00000a1f: MSTORE 00000a20: GAS 00000a21: CALL 00000a22: POP 00000a23: PUSH1 0x00 00000a25: DUP1 00000a26: PUSH1 0x00 00000a28: DUP1 00000a29: PUSH1 0x04 00000a2b: CALLDATALOAD 00000a2c: PUSH20 0xb3bd6aaac41efd58adc9a6b3b867a16316d13bc6 00000a41: GAS 00000a42: CALL 00000a43: POP 00000a44: PUSH20 0xb3bd6aaac41efd58adc9a6b3b867a16316d13bc6 00000a59: ORIGIN 00000a5a: EQ 00000a5b: PUSH2 0x07b8 00000a5e: JUMPI 00000a5f: INVALID 00000a60: STOP 00000a61: GASLIMIT 00000a62: PUSH21 0x68657265756d205369676e6564204d657373616765 00000a78: GASPRICE 00000a79: CALLER 00000a7a: ORIGIN 00000a7b: STOP 00000a7c: STOP 00000a7d: STOP 00000a7e: STOP 00000a7f: STOP 00000a80: STOP 00000a81: STOP 00000a82: STOP 00000a83: STOP 00000a84: STOP 00000a85: STOP 00000a86: STOP 00000a87: DUP14 00000a88: SLT 00000a89: LOG1 00000a8a: SWAP8 00000a8b: UNKNOWN(0xCB) 00000a8c: STOP 00000a8d: UNKNOWN(0xD4) 00000a8e: PUSH21
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 695,
"type": "tx_origin_used"
},
{
"pc": 722,
"type": "tx_origin_used"
},
{
"pc": 749,
"type": "tx_origin_used"
},
{
"pc": 776,
"type": "tx_origin_used"
},
{
"pc": 804,
"type": "tx_origin_used"
},
{
"pc": 2539,
"type": "tx_origin_used"
},
{
"pc": 2650,
"type": "tx_origin_used"
},
{
"pc": 694,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
},
{
"pc": 748,
"type": "tx_origin_used"
},
{
"pc": 775,
"type": "tx_origin_used"
},
{
"pc": 803,
"type": "tx_origin_used"
},
{
"pc": 2538,
"type": "tx_origin_used"
},
{
"pc": 2649,
"type": "tx_origin_used"
},
{
"pc": 2682,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x3191a851fc23260cdf468b388ccced058b5f2ace7a3578c81c0344eca18d2247
call_targets:
0x64348ed96c8b9fc4a254efc2f2f5d54567a47565
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3191a851fc23260cdf468b388ccced058b5f2ace7a3578c81c0344eca18d2247",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x64348ed96c8b9fc4a254efc2f2f5d54567a47565"
],
"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": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1965,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "calldata-derived"
},
{
"pc": 2453,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "calldata-derived"
},
{
"pc": 2593,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "calldata-derived",
"target_expression_category": "constant"
}
],
"call_count": 23,
"guards_detected": [
{
"pc": 695,
"type": "tx_origin_used"
},
{
"pc": 722,
"type": "tx_origin_used"
},
{
"pc": 749,
"type": "tx_origin_used"
},
{
"pc": 776,
"type": "tx_origin_used"
},
{
"pc": 804,
"type": "tx_origin_used"
},
{
"pc": 2539,
"type": "tx_origin_used"
},
{
"pc": 2650,
"type": "tx_origin_used"
},
{
"pc": 694,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
},
{
"pc": 748,
"type": "tx_origin_used"
},
{
"pc": 775,
"type": "tx_origin_used"
},
{
"pc": 803,
"type": "tx_origin_used"
},
{
"pc": 2538,
"type": "tx_origin_used"
},
{
"pc": 2649,
"type": "tx_origin_used"
},
{
"pc": 2682,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x3191a851fc23260cdf468b388ccced058b5f2ace7a3578c81c0344eca18d2247
call_targets:
0x64348ed96c8b9fc4a254efc2f2f5d54567a47565
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x3191a851fc23260cdf468b388ccced058b5f2ace7a3578c81c0344eca18d2247",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x64348ed96c8b9fc4a254efc2f2f5d54567a47565"
],
"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": "0x",
"selector": "fallback",
"calldata_variants": [
"0x"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 104,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "constant"
},
{
"pc": 286,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "constant"
},
{
"pc": 918,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "constant"
}
],
"eth_value_calls": 11,
"guards_detected": [
{
"pc": 695,
"type": "tx_origin_used"
},
{
"pc": 722,
"type": "tx_origin_used"
},
{
"pc": 749,
"type": "tx_origin_used"
},
{
"pc": 776,
"type": "tx_origin_used"
},
{
"pc": 804,
"type": "tx_origin_used"
},
{
"pc": 2539,
"type": "tx_origin_used"
},
{
"pc": 2650,
"type": "tx_origin_used"
},
{
"pc": 694,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
},
{
"pc": 748,
"type": "tx_origin_used"
},
{
"pc": 775,
"type": "tx_origin_used"
},
{
"pc": 803,
"type": "tx_origin_used"
},
{
"pc": 2538,
"type": "tx_origin_used"
},
{
"pc": 2649,
"type": "tx_origin_used"
},
{
"pc": 2682,
"type": "tx_origin_used"
}
]
}
|