019ba940-8849-7212-be4f-85c503436488
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 |
|---|---|---|---|---|
| 36273 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36274 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36275 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36276 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36277 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36278 | detector.run | complete | 1 / 3 | 3 months ago |
| 36279 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x00a0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9852595c 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9852595c 00000024: EQ 00000025: PUSH2 0x01ac 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa3f8eace 0000002f: EQ 00000030: PUSH2 0x01e2 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc45ac050 0000003a: EQ 0000003b: PUSH2 0x0202 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xce7c2ac2 00000045: EQ 00000046: PUSH2 0x0222 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd79779b2 00000050: EQ 00000051: PUSH2 0x0258 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xe33b7de3 0000005b: EQ 0000005c: PUSH2 0x028e 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x19165587 0000006b: EQ 0000006c: PUSH2 0x00ee 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x3a98ef39 00000076: EQ 00000077: PUSH2 0x0110 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x406072a9 00000081: EQ 00000082: PUSH2 0x0134 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x48b75044 0000008c: EQ 0000008d: PUSH2 0x0154 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x8b83209b 00000097: EQ 00000098: PUSH2 0x0174 0000009b: JUMPI 0000009c: PUSH1 0x00 0000009e: DUP1 0000009f: REVERT 000000a0: JUMPDEST 000000a1: CALLDATASIZE 000000a2: PUSH2 0x00e9 000000a5: JUMPI 000000a6: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 000000c7: CALLER 000000c8: PUSH1 0x40 000000ca: DUP1 000000cb: MLOAD 000000cc: PUSH1 0x01 000000ce: PUSH1 0x01 000000d0: PUSH1 0xa0 000000d2: SHL 000000d3: SUB 000000d4: SWAP1 000000d5: SWAP3 000000d6: AND 000000d7: DUP3 000000d8: MSTORE 000000d9: CALLVALUE 000000da: PUSH1 0x20 000000dc: DUP4 000000dd: ADD 000000de: MSTORE 000000df: ADD 000000e0: PUSH1 0x40 000000e2: MLOAD 000000e3: DUP1 000000e4: SWAP2 000000e5: SUB 000000e6: SWAP1 000000e7: LOG1 000000e8: STOP 000000e9: JUMPDEST 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: REVERT 000000ee: JUMPDEST 000000ef: CALLVALUE 000000f0: DUP1 000000f1: ISZERO 000000f2: PUSH2 0x00fa 000000f5: JUMPI 000000f6: PUSH1 0x00 000000f8: DUP1 000000f9: REVERT 000000fa: JUMPDEST 000000fb: POP 000000fc: PUSH2 0x010e 000000ff: PUSH2 0x0109 00000102: CALLDATASIZE 00000103: PUSH1 0x04 00000105: PUSH2 0x09fa 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH2 0x02a3 0000010d: JUMP 0000010e: JUMPDEST 0000010f: STOP 00000110: JUMPDEST 00000111: CALLVALUE 00000112: DUP1 00000113: ISZERO 00000114: PUSH2 0x011c 00000117: JUMPI 00000118: PUSH1 0x00 0000011a: DUP1 0000011b: REVERT 0000011c: JUMPDEST 0000011d: POP 0000011e: PUSH1 0x00 00000120: SLOAD 00000121: JUMPDEST 00000122: PUSH1 0x40 00000124: MLOAD 00000125: SWAP1 00000126: DUP2 00000127: MSTORE 00000128: PUSH1 0x20 0000012a: ADD 0000012b: JUMPDEST 0000012c: PUSH1 0x40 0000012e: MLOAD 0000012f: DUP1 00000130: SWAP2 00000131: SUB 00000132: SWAP1 00000133: RETURN 00000134: JUMPDEST 00000135: CALLVALUE 00000136: DUP1 00000137: ISZERO 00000138: PUSH2 0x0140 0000013b: JUMPI 0000013c: PUSH1 0x00 0000013e: DUP1 0000013f: REVERT 00000140: JUMPDEST 00000141: POP 00000142: PUSH2 0x0121 00000145: PUSH2 0x014f 00000148: CALLDATASIZE 00000149: PUSH1 0x04 0000014b: PUSH2 0x0a17 0000014e: JUMP 0000014f: JUMPDEST 00000150: PUSH2 0x02e0 00000153: JUMP 00000154: JUMPDEST 00000155: CALLVALUE 00000156: DUP1 00000157: ISZERO 00000158: PUSH2 0x0160 0000015b: JUMPI 0000015c: PUSH1 0x00 0000015e: DUP1 0000015f: REVERT 00000160: JUMPDEST 00000161: POP 00000162: PUSH2 0x010e 00000165: PUSH2 0x016f 00000168: CALLDATASIZE 00000169: PUSH1 0x04 0000016b: PUSH2 0x0a17 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH2 0x030d 00000173: JUMP 00000174: JUMPDEST 00000175: CALLVALUE 00000176: DUP1 00000177: ISZERO 00000178: PUSH2 0x0180 0000017b: JUMPI 0000017c: PUSH1 0x00 0000017e: DUP1 0000017f: REVERT 00000180: JUMPDEST 00000181: POP 00000182: PUSH2 0x0194 00000185: PUSH2 0x018f 00000188: CALLDATASIZE 00000189: PUSH1 0x04 0000018b: PUSH2 0x0a50 0000018e: JUMP 0000018f: JUMPDEST 00000190: PUSH2 0x0343 00000193: JUMP 00000194: JUMPDEST 00000195: PUSH1 0x40 00000197: MLOAD 00000198: PUSH1 0x01 0000019a: PUSH1 0x01 0000019c: PUSH1 0xa0 0000019e: SHL 0000019f: SUB 000001a0: SWAP1 000001a1: SWAP2 000001a2: AND 000001a3: DUP2 000001a4: MSTORE 000001a5: PUSH1 0x20 000001a7: ADD 000001a8: PUSH2 0x012b 000001ab: JUMP 000001ac: JUMPDEST 000001ad: CALLVALUE 000001ae: DUP1 000001af: ISZERO 000001b0: PUSH2 0x01b8 000001b3: JUMPI 000001b4: PUSH1 0x00 000001b6: DUP1 000001b7: REVERT 000001b8: JUMPDEST 000001b9: POP 000001ba: PUSH2 0x0121 000001bd: PUSH2 0x01c7 000001c0: CALLDATASIZE 000001c1: PUSH1 0x04 000001c3: PUSH2 0x09fa 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH1 0x01 000001ca: PUSH1 0x01 000001cc: PUSH1 0xa0 000001ce: SHL 000001cf: SUB 000001d0: AND 000001d1: PUSH1 0x00 000001d3: SWAP1 000001d4: DUP2 000001d5: MSTORE 000001d6: PUSH1 0x03 000001d8: PUSH1 0x20 000001da: MSTORE 000001db: PUSH1 0x40 000001dd: SWAP1 000001de: KECCAK256 000001df: SLOAD 000001e0: SWAP1 000001e1: JUMP 000001e2: JUMPDEST 000001e3: CALLVALUE 000001e4: DUP1 000001e5: ISZERO 000001e6: PUSH2 0x01ee 000001e9: JUMPI 000001ea: PUSH1 0x00 000001ec: DUP1 000001ed: REVERT 000001ee: JUMPDEST 000001ef: POP 000001f0: PUSH2 0x0121 000001f3: PUSH2 0x01fd 000001f6: CALLDATASIZE 000001f7: PUSH1 0x04 000001f9: PUSH2 0x09fa 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH2 0x0373 00000201: JUMP 00000202: JUMPDEST 00000203: CALLVALUE 00000204: DUP1 00000205: ISZERO 00000206: PUSH2 0x020e 00000209: JUMPI 0000020a: PUSH1 0x00 0000020c: DUP1 0000020d: REVERT 0000020e: JUMPDEST 0000020f: POP 00000210: PUSH2 0x0121 00000213: PUSH2 0x021d 00000216: CALLDATASIZE 00000217: PUSH1 0x04 00000219: PUSH2 0x0a17 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH2 0x03bb 00000221: JUMP 00000222: JUMPDEST 00000223: CALLVALUE 00000224: DUP1 00000225: ISZERO 00000226: PUSH2 0x022e 00000229: JUMPI 0000022a: PUSH1 0x00 0000022c: DUP1 0000022d: REVERT 0000022e: JUMPDEST 0000022f: POP 00000230: PUSH2 0x0121 00000233: PUSH2 0x023d 00000236: CALLDATASIZE 00000237: PUSH1 0x04 00000239: PUSH2 0x09fa 0000023c: JUMP 0000023d: JUMPDEST 0000023e: PUSH1 0x01 00000240: PUSH1 0x01 00000242: PUSH1 0xa0 00000244: SHL 00000245: SUB 00000246: AND 00000247: PUSH1 0x00 00000249: SWAP1 0000024a: DUP2 0000024b: MSTORE 0000024c: PUSH1 0x02 0000024e: PUSH1 0x20 00000250: MSTORE 00000251: PUSH1 0x40 00000253: SWAP1 00000254: KECCAK256 00000255: SLOAD 00000256: SWAP1 00000257: JUMP 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: POP 00000266: PUSH2 0x0121 00000269: PUSH2 0x0273 0000026c: CALLDATASIZE 0000026d: PUSH1 0x04 0000026f: PUSH2 0x09fa 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH1 0x01 00000276: PUSH1 0x01 00000278: PUSH1 0xa0 0000027a: SHL 0000027b: SUB 0000027c: AND 0000027d: PUSH1 0x00 0000027f: SWAP1 00000280: DUP2 00000281: MSTORE 00000282: PUSH1 0x05 00000284: PUSH1 0x20 00000286: MSTORE 00000287: PUSH1 0x40 00000289: SWAP1 0000028a: KECCAK256 0000028b: SLOAD 0000028c: SWAP1 0000028d: JUMP 0000028e: JUMPDEST 0000028f: CALLVALUE 00000290: DUP1 00000291: ISZERO 00000292: PUSH2 0x029a 00000295: JUMPI 00000296: PUSH1 0x00 00000298: DUP1 00000299: REVERT 0000029a: JUMPDEST 0000029b: POP 0000029c: PUSH1 0x01 0000029e: SLOAD 0000029f: PUSH2 0x0121 000002a2: JUMP 000002a3: JUMPDEST 000002a4: PUSH1 0x01 000002a6: PUSH1 0x01 000002a8: PUSH1 0xa0 000002aa: SHL 000002ab: SUB 000002ac: DUP2 000002ad: AND 000002ae: CALLER 000002af: EQ 000002b0: PUSH2 0x02d4 000002b3: JUMPI 000002b4: PUSH1 0x40 000002b6: MLOAD 000002b7: PUSH3 0x461bcd 000002bb: PUSH1 0xe5 000002bd: SHL 000002be: DUP2 000002bf: MSTORE 000002c0: PUSH1 0x04 000002c2: ADD 000002c3: PUSH2 0x02cb 000002c6: SWAP1 000002c7: PUSH2 0x0a69 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH1 0x40 000002ce: MLOAD 000002cf: DUP1 000002d0: SWAP2 000002d1: SUB 000002d2: SWAP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: PUSH2 0x02dd 000002d8: DUP2 000002d9: PUSH2 0x0461 000002dc: JUMP 000002dd: JUMPDEST 000002de: POP 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH1 0x01 000002e3: PUSH1 0x01 000002e5: PUSH1 0xa0 000002e7: SHL 000002e8: SUB 000002e9: DUP1 000002ea: DUP4 000002eb: AND 000002ec: PUSH1 0x00 000002ee: SWAP1 000002ef: DUP2 000002f0: MSTORE 000002f1: PUSH1 0x06 000002f3: PUSH1 0x20 000002f5: SWAP1 000002f6: DUP2 000002f7: MSTORE 000002f8: PUSH1 0x40 000002fa: DUP1 000002fb: DUP4 000002fc: KECCAK256 000002fd: SWAP4 000002fe: DUP6 000002ff: AND 00000300: DUP4 00000301: MSTORE 00000302: SWAP3 00000303: SWAP1 00000304: MSTORE 00000305: KECCAK256 00000306: SLOAD 00000307: JUMPDEST 00000308: SWAP3 00000309: SWAP2 0000030a: POP 0000030b: POP 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH1 0x01 00000310: PUSH1 0x01 00000312: PUSH1 0xa0 00000314: SHL 00000315: SUB 00000316: DUP2 00000317: AND 00000318: CALLER 00000319: EQ 0000031a: PUSH2 0x0335 0000031d: JUMPI 0000031e: PUSH1 0x40 00000320: MLOAD 00000321: PUSH3 0x461bcd 00000325: PUSH1 0xe5 00000327: SHL 00000328: DUP2 00000329: MSTORE 0000032a: PUSH1 0x04 0000032c: ADD 0000032d: PUSH2 0x02cb 00000330: SWAP1 00000331: PUSH2 0x0a69 00000334: JUMP 00000335: JUMPDEST 00000336: PUSH2 0x033f 00000339: DUP3 0000033a: DUP3 0000033b: PUSH2 0x0548 0000033e: JUMP 0000033f: JUMPDEST 00000340: POP 00000341: POP 00000342: JUMP 00000343: JUMPDEST 00000344: PUSH1 0x00 00000346: PUSH1 0x04 00000348: DUP3 00000349: DUP2 0000034a: SLOAD 0000034b: DUP2 0000034c: LT 0000034d: PUSH2 0x0358 00000350: JUMPI 00000351: PUSH2 0x0358 00000354: PUSH2 0x0aba 00000357: JUMP 00000358: JUMPDEST 00000359: PUSH1 0x00 0000035b: SWAP2 0000035c: DUP3 0000035d: MSTORE 0000035e: PUSH1 0x20 00000360: SWAP1 00000361: SWAP2 00000362: KECCAK256 00000363: ADD 00000364: SLOAD 00000365: PUSH1 0x01 00000367: PUSH1 0x01 00000369: PUSH1 0xa0 0000036b: SHL 0000036c: SUB 0000036d: AND 0000036e: SWAP3 0000036f: SWAP2 00000370: POP 00000371: POP 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH1 0x00 00000376: DUP1 00000377: PUSH2 0x037f 0000037a: PUSH1 0x01 0000037c: SLOAD 0000037d: SWAP1 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH2 0x0389 00000383: SWAP1 00000384: SELFBALANCE 00000385: PUSH2 0x0ae6 00000388: JUMP 00000389: JUMPDEST 0000038a: SWAP1 0000038b: POP 0000038c: PUSH2 0x03b4 0000038f: DUP4 00000390: DUP3 00000391: PUSH2 0x03af 00000394: DUP7 00000395: PUSH1 0x01 00000397: PUSH1 0x01 00000399: PUSH1 0xa0 0000039b: SHL 0000039c: SUB 0000039d: AND 0000039e: PUSH1 0x00 000003a0: SWAP1 000003a1: DUP2 000003a2: MSTORE 000003a3: PUSH1 0x03 000003a5: PUSH1 0x20 000003a7: MSTORE 000003a8: PUSH1 0x40 000003aa: SWAP1 000003ab: KECCAK256 000003ac: SLOAD 000003ad: SWAP1 000003ae: JUMP 000003af: JUMPDEST 000003b0: PUSH2 0x0659 000003b3: JUMP 000003b4: JUMPDEST 000003b5: SWAP4 000003b6: SWAP3 000003b7: POP 000003b8: POP 000003b9: POP 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH1 0x01 000003be: PUSH1 0x01 000003c0: PUSH1 0xa0 000003c2: SHL 000003c3: SUB 000003c4: DUP3 000003c5: AND 000003c6: PUSH1 0x00 000003c8: SWAP1 000003c9: DUP2 000003ca: MSTORE 000003cb: PUSH1 0x05 000003cd: PUSH1 0x20 000003cf: MSTORE 000003d0: PUSH1 0x40 000003d2: DUP2 000003d3: KECCAK256 000003d4: SLOAD 000003d5: DUP2 000003d6: SWAP1 000003d7: PUSH1 0x40 000003d9: MLOAD 000003da: PUSH4 0x70a08231 000003df: PUSH1 0xe0 000003e1: SHL 000003e2: DUP2 000003e3: MSTORE 000003e4: ADDRESS 000003e5: PUSH1 0x04 000003e7: DUP3 000003e8: ADD 000003e9: MSTORE 000003ea: PUSH1 0x01 000003ec: PUSH1 0x01 000003ee: PUSH1 0xa0 000003f0: SHL 000003f1: SUB 000003f2: DUP7 000003f3: AND 000003f4: SWAP1 000003f5: PUSH4 0x70a08231 000003fa: SWAP1 000003fb: PUSH1 0x24 000003fd: ADD 000003fe: PUSH1 0x20 00000400: PUSH1 0x40 00000402: MLOAD 00000403: DUP1 00000404: DUP4 00000405: SUB 00000406: DUP2 00000407: DUP7 00000408: GAS 00000409: STATICCALL 0000040a: ISZERO 0000040b: DUP1 0000040c: ISZERO 0000040d: PUSH2 0x041a 00000410: JUMPI 00000411: RETURNDATASIZE 00000412: PUSH1 0x00 00000414: DUP1 00000415: RETURNDATACOPY 00000416: RETURNDATASIZE 00000417: PUSH1 0x00 00000419: REVERT 0000041a: JUMPDEST 0000041b: POP 0000041c: POP 0000041d: POP 0000041e: POP 0000041f: PUSH1 0x40 00000421: MLOAD 00000422: RETURNDATASIZE 00000423: PUSH1 0x1f 00000425: NOT 00000426: PUSH1 0x1f 00000428: DUP3 00000429: ADD 0000042a: AND 0000042b: DUP3 0000042c: ADD 0000042d: DUP1 0000042e: PUSH1 0x40 00000430: MSTORE 00000431: POP 00000432: DUP2 00000433: ADD 00000434: SWAP1 00000435: PUSH2 0x043e 00000438: SWAP2 00000439: SWAP1 0000043a: PUSH2 0x0af9 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH2 0x0448 00000442: SWAP2 00000443: SWAP1 00000444: PUSH2 0x0ae6 00000447: JUMP 00000448: JUMPDEST 00000449: SWAP1 0000044a: POP 0000044b: PUSH2 0x0459 0000044e: DUP4 0000044f: DUP3 00000450: PUSH2 0x03af 00000453: DUP8 00000454: DUP8 00000455: PUSH2 0x02e0 00000458: JUMP 00000459: JUMPDEST 0000045a: SWAP5 0000045b: SWAP4 0000045c: POP 0000045d: POP 0000045e: POP 0000045f: POP 00000460: JUMP 00000461: JUMPDEST 00000462: PUSH1 0x01 00000464: PUSH1 0x01 00000466: PUSH1 0xa0 00000468: SHL 00000469: SUB 0000046a: DUP2 0000046b: AND 0000046c: PUSH1 0x00 0000046e: SWAP1 0000046f: DUP2 00000470: MSTORE 00000471: PUSH1 0x02 00000473: PUSH1 0x20 00000475: MSTORE 00000476: PUSH1 0x40 00000478: SWAP1 00000479: KECCAK256 0000047a: SLOAD 0000047b: PUSH2 0x0496 0000047e: JUMPI 0000047f: PUSH1 0x40 00000481: MLOAD 00000482: PUSH3 0x461bcd 00000486: PUSH1 0xe5 00000488: SHL 00000489: DUP2 0000048a: MSTORE 0000048b: PUSH1 0x04 0000048d: ADD 0000048e: PUSH2 0x02cb 00000491: SWAP1 00000492: PUSH2 0x0b12 00000495: JUMP 00000496: JUMPDEST 00000497: PUSH1 0x00 00000499: PUSH2 0x04a1 0000049c: DUP3 0000049d: PUSH2 0x0373 000004a0: JUMP 000004a1: JUMPDEST 000004a2: SWAP1 000004a3: POP 000004a4: DUP1 000004a5: PUSH1 0x00 000004a7: SUB 000004a8: PUSH2 0x04c3 000004ab: JUMPI 000004ac: PUSH1 0x40 000004ae: MLOAD 000004af: PUSH3 0x461bcd 000004b3: PUSH1 0xe5 000004b5: SHL 000004b6: DUP2 000004b7: MSTORE 000004b8: PUSH1 0x04 000004ba: ADD 000004bb: PUSH2 0x02cb 000004be: SWAP1 000004bf: PUSH2 0x0b58 000004c2: JUMP 000004c3: JUMPDEST 000004c4: DUP1 000004c5: PUSH1 0x01 000004c7: PUSH1 0x00 000004c9: DUP3 000004ca: DUP3 000004cb: SLOAD 000004cc: PUSH2 0x04d5 000004cf: SWAP2 000004d0: SWAP1 000004d1: PUSH2 0x0ae6 000004d4: JUMP 000004d5: JUMPDEST 000004d6: SWAP1 000004d7: SWAP2 000004d8: SSTORE 000004d9: POP 000004da: POP 000004db: PUSH1 0x01 000004dd: PUSH1 0x01 000004df: PUSH1 0xa0 000004e1: SHL 000004e2: SUB 000004e3: DUP3 000004e4: AND 000004e5: PUSH1 0x00 000004e7: SWAP1 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x03 000004ec: PUSH1 0x20 000004ee: MSTORE 000004ef: PUSH1 0x40 000004f1: SWAP1 000004f2: KECCAK256 000004f3: DUP1 000004f4: SLOAD 000004f5: DUP3 000004f6: ADD 000004f7: SWAP1 000004f8: SSTORE 000004f9: PUSH2 0x0502 000004fc: DUP3 000004fd: DUP3 000004fe: PUSH2 0x0694 00000501: JUMP 00000502: JUMPDEST 00000503: PUSH1 0x40 00000505: DUP1 00000506: MLOAD 00000507: PUSH1 0x01 00000509: PUSH1 0x01 0000050b: PUSH1 0xa0 0000050d: SHL 0000050e: SUB 0000050f: DUP5 00000510: AND 00000511: DUP2 00000512: MSTORE 00000513: PUSH1 0x20 00000515: DUP2 00000516: ADD 00000517: DUP4 00000518: SWAP1 00000519: MSTORE 0000051a: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 0000053b: SWAP2 0000053c: ADD 0000053d: PUSH1 0x40 0000053f: MLOAD 00000540: DUP1 00000541: SWAP2 00000542: SUB 00000543: SWAP1 00000544: LOG1 00000545: POP 00000546: POP 00000547: JUMP 00000548: JUMPDEST 00000549: PUSH1 0x01 0000054b: PUSH1 0x01 0000054d: PUSH1 0xa0 0000054f: SHL 00000550: SUB 00000551: DUP2 00000552: AND 00000553: PUSH1 0x00 00000555: SWAP1 00000556: DUP2 00000557: MSTORE 00000558: PUSH1 0x02 0000055a: PUSH1 0x20 0000055c: MSTORE 0000055d: PUSH1 0x40 0000055f: SWAP1 00000560: KECCAK256 00000561: SLOAD 00000562: PUSH2 0x057d 00000565: JUMPI 00000566: PUSH1 0x40 00000568: MLOAD 00000569: PUSH3 0x461bcd 0000056d: PUSH1 0xe5 0000056f: SHL 00000570: DUP2 00000571: MSTORE 00000572: PUSH1 0x04 00000574: ADD 00000575: PUSH2 0x02cb 00000578: SWAP1 00000579: PUSH2 0x0b12 0000057c: JUMP 0000057d: JUMPDEST 0000057e: PUSH1 0x00 00000580: PUSH2 0x0589 00000583: DUP4 00000584: DUP4 00000585: PUSH2 0x03bb 00000588: JUMP 00000589: JUMPDEST 0000058a: SWAP1 0000058b: POP 0000058c: DUP1 0000058d: PUSH1 0x00 0000058f: SUB 00000590: PUSH2 0x05ab 00000593: JUMPI 00000594: PUSH1 0x40 00000596: MLOAD 00000597: PUSH3 0x461bcd 0000059b: PUSH1 0xe5 0000059d: SHL 0000059e: DUP2 0000059f: MSTORE 000005a0: PUSH1 0x04 000005a2: ADD 000005a3: PUSH2 0x02cb 000005a6: SWAP1 000005a7: PUSH2 0x0b58 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x01 000005ae: PUSH1 0x01 000005b0: PUSH1 0xa0 000005b2: SHL 000005b3: SUB 000005b4: DUP4 000005b5: AND 000005b6: PUSH1 0x00 000005b8: SWAP1 000005b9: DUP2 000005ba: MSTORE 000005bb: PUSH1 0x05 000005bd: PUSH1 0x20 000005bf: MSTORE 000005c0: PUSH1 0x40 000005c2: DUP2 000005c3: KECCAK256 000005c4: DUP1 000005c5: SLOAD 000005c6: DUP4 000005c7: SWAP3 000005c8: SWAP1 000005c9: PUSH2 0x05d3 000005cc: SWAP1 000005cd: DUP5 000005ce: SWAP1 000005cf: PUSH2 0x0ae6 000005d2: JUMP 000005d3: JUMPDEST 000005d4: SWAP1 000005d5: SWAP2 000005d6: SSTORE 000005d7: POP 000005d8: POP 000005d9: PUSH1 0x01 000005db: PUSH1 0x01 000005dd: PUSH1 0xa0 000005df: SHL 000005e0: SUB 000005e1: DUP1 000005e2: DUP5 000005e3: AND 000005e4: PUSH1 0x00 000005e6: SWAP1 000005e7: DUP2 000005e8: MSTORE 000005e9: PUSH1 0x06 000005eb: PUSH1 0x20 000005ed: SWAP1 000005ee: DUP2 000005ef: MSTORE 000005f0: PUSH1 0x40 000005f2: DUP1 000005f3: DUP4 000005f4: KECCAK256 000005f5: SWAP4 000005f6: DUP7 000005f7: AND 000005f8: DUP4 000005f9: MSTORE 000005fa: SWAP3 000005fb: SWAP1 000005fc: MSTORE 000005fd: KECCAK256 000005fe: DUP1 000005ff: SLOAD 00000600: DUP3 00000601: ADD 00000602: SWAP1 00000603: SSTORE 00000604: PUSH2 0x060e 00000607: DUP4 00000608: DUP4 00000609: DUP4 0000060a: PUSH2 0x07b2 0000060d: JUMP 0000060e: JUMPDEST 0000060f: PUSH1 0x40 00000611: DUP1 00000612: MLOAD 00000613: PUSH1 0x01 00000615: PUSH1 0x01 00000617: PUSH1 0xa0 00000619: SHL 0000061a: SUB 0000061b: DUP5 0000061c: DUP2 0000061d: AND 0000061e: DUP3 0000061f: MSTORE 00000620: PUSH1 0x20 00000622: DUP3 00000623: ADD 00000624: DUP5 00000625: SWAP1 00000626: MSTORE 00000627: DUP6 00000628: AND 00000629: SWAP2 0000062a: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 0000064b: SWAP2 0000064c: ADD 0000064d: PUSH1 0x40 0000064f: MLOAD 00000650: DUP1 00000651: SWAP2 00000652: SUB 00000653: SWAP1 00000654: LOG2 00000655: POP 00000656: POP 00000657: POP 00000658: JUMP 00000659: JUMPDEST 0000065a: PUSH1 0x00 0000065c: DUP1 0000065d: SLOAD 0000065e: PUSH1 0x01 00000660: PUSH1 0x01 00000662: PUSH1 0xa0 00000664: SHL 00000665: SUB 00000666: DUP6 00000667: AND 00000668: DUP3 00000669: MSTORE 0000066a: PUSH1 0x02 0000066c: PUSH1 0x20 0000066e: MSTORE 0000066f: PUSH1 0x40 00000671: DUP3 00000672: KECCAK256 00000673: SLOAD 00000674: DUP4 00000675: SWAP2 00000676: SWAP1 00000677: PUSH2 0x0680 0000067a: SWAP1 0000067b: DUP7 0000067c: PUSH2 0x0ba3 0000067f: JUMP 00000680: JUMPDEST 00000681: PUSH2 0x068a 00000684: SWAP2 00000685: SWAP1 00000686: PUSH2 0x0bba 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH2 0x0459 0000068e: SWAP2 0000068f: SWAP1 00000690: PUSH2 0x0bdc 00000693: JUMP 00000694: JUMPDEST 00000695: DUP1 00000696: SELFBALANCE 00000697: LT 00000698: ISZERO 00000699: PUSH2 0x06e4 0000069c: JUMPI 0000069d: PUSH1 0x40 0000069f: MLOAD 000006a0: PUSH3 0x461bcd 000006a4: PUSH1 0xe5 000006a6: SHL 000006a7: DUP2 000006a8: MSTORE 000006a9: PUSH1 0x20 000006ab: PUSH1 0x04 000006ad: DUP3 000006ae: ADD 000006af: MSTORE 000006b0: PUSH1 0x1d 000006b2: PUSH1 0x24 000006b4: DUP3 000006b5: ADD 000006b6: MSTORE 000006b7: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000006d8: PUSH1 0x44 000006da: DUP3 000006db: ADD 000006dc: MSTORE 000006dd: PUSH1 0x64 000006df: ADD 000006e0: PUSH2 0x02cb 000006e3: JUMP 000006e4: JUMPDEST 000006e5: PUSH1 0x00 000006e7: DUP3 000006e8: PUSH1 0x01 000006ea: PUSH1 0x01 000006ec: PUSH1 0xa0 000006ee: SHL 000006ef: SUB 000006f0: AND 000006f1: DUP3 000006f2: PUSH1 0x40 000006f4: MLOAD 000006f5: PUSH1 0x00 000006f7: PUSH1 0x40 000006f9: MLOAD 000006fa: DUP1 000006fb: DUP4 000006fc: SUB 000006fd: DUP2 000006fe: DUP6 000006ff: DUP8 00000700: GAS 00000701: CALL 00000702: SWAP3 00000703: POP 00000704: POP 00000705: POP 00000706: RETURNDATASIZE 00000707: DUP1 00000708: PUSH1 0x00 0000070a: DUP2 0000070b: EQ 0000070c: PUSH2 0x0731 0000070f: JUMPI 00000710: PUSH1 0x40 00000712: MLOAD 00000713: SWAP2 00000714: POP 00000715: PUSH1 0x1f 00000717: NOT 00000718: PUSH1 0x3f 0000071a: RETURNDATASIZE 0000071b: ADD 0000071c: AND 0000071d: DUP3 0000071e: ADD 0000071f: PUSH1 0x40 00000721: MSTORE 00000722: RETURNDATASIZE 00000723: DUP3 00000724: MSTORE 00000725: RETURNDATASIZE 00000726: PUSH1 0x00 00000728: PUSH1 0x20 0000072a: DUP5 0000072b: ADD 0000072c: RETURNDATACOPY 0000072d: PUSH2 0x0736 00000730: JUMP 00000731: JUMPDEST 00000732: PUSH1 0x60 00000734: SWAP2 00000735: POP 00000736: JUMPDEST 00000737: POP 00000738: POP 00000739: SWAP1 0000073a: POP 0000073b: DUP1 0000073c: PUSH2 0x07ad 0000073f: JUMPI 00000740: PUSH1 0x40 00000742: MLOAD 00000743: PUSH3 0x461bcd 00000747: PUSH1 0xe5 00000749: SHL 0000074a: DUP2 0000074b: MSTORE 0000074c: PUSH1 0x20 0000074e: PUSH1 0x04 00000750: DUP3 00000751: ADD 00000752: MSTORE 00000753: PUSH1 0x3a 00000755: PUSH1 0x24 00000757: DUP3 00000758: ADD 00000759: MSTORE 0000075a: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 0000077b: PUSH1 0x44 0000077d: DUP3 0000077e: ADD 0000077f: MSTORE 00000780: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 000007a1: PUSH1 0x64 000007a3: DUP3 000007a4: ADD 000007a5: MSTORE 000007a6: PUSH1 0x84 000007a8: ADD 000007a9: PUSH2 0x02cb 000007ac: JUMP 000007ad: JUMPDEST 000007ae: POP 000007af: POP 000007b0: POP 000007b1: JUMP 000007b2: JUMPDEST 000007b3: PUSH1 0x40 000007b5: DUP1 000007b6: MLOAD 000007b7: PUSH1 0x01 000007b9: PUSH1 0x01 000007bb: PUSH1 0xa0 000007bd: SHL 000007be: SUB 000007bf: DUP5 000007c0: DUP2 000007c1: AND 000007c2: PUSH1 0x24 000007c4: DUP4 000007c5: ADD 000007c6: MSTORE 000007c7: PUSH1 0x44 000007c9: DUP1 000007ca: DUP4 000007cb: ADD 000007cc: DUP6 000007cd: SWAP1 000007ce: MSTORE 000007cf: DUP4 000007d0: MLOAD 000007d1: DUP1 000007d2: DUP5 000007d3: SUB 000007d4: SWAP1 000007d5: SWAP2 000007d6: ADD 000007d7: DUP2 000007d8: MSTORE 000007d9: PUSH1 0x64 000007db: SWAP1 000007dc: SWAP3 000007dd: ADD 000007de: DUP4 000007df: MSTORE 000007e0: PUSH1 0x20 000007e2: DUP1 000007e3: DUP4 000007e4: ADD 000007e5: DUP1 000007e6: MLOAD 000007e7: PUSH1 0x01 000007e9: PUSH1 0x01 000007eb: PUSH1 0xe0 000007ed: SHL 000007ee: SUB 000007ef: AND 000007f0: PUSH4 0xa9059cbb 000007f5: PUSH1 0xe0 000007f7: SHL 000007f8: OR 000007f9: SWAP1 000007fa: MSTORE 000007fb: DUP4 000007fc: MLOAD 000007fd: DUP1 000007fe: DUP6 000007ff: ADD 00000800: SWAP1 00000801: SWAP5 00000802: MSTORE 00000803: DUP1 00000804: DUP5 00000805: MSTORE 00000806: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000827: SWAP1 00000828: DUP5 00000829: ADD 0000082a: MSTORE 0000082b: PUSH2 0x07ad 0000082e: SWAP3 0000082f: DUP7 00000830: SWAP3 00000831: SWAP2 00000832: PUSH1 0x00 00000834: SWAP2 00000835: PUSH2 0x0842 00000838: SWAP2 00000839: DUP6 0000083a: AND 0000083b: SWAP1 0000083c: DUP5 0000083d: SWAP1 0000083e: PUSH2 0x08c2 00000841: JUMP 00000842: JUMPDEST 00000843: SWAP1 00000844: POP 00000845: DUP1 00000846: MLOAD 00000847: PUSH1 0x00 00000849: EQ 0000084a: DUP1 0000084b: PUSH2 0x0863 0000084e: JUMPI 0000084f: POP 00000850: DUP1 00000851: DUP1 00000852: PUSH1 0x20 00000854: ADD 00000855: SWAP1 00000856: MLOAD 00000857: DUP2 00000858: ADD 00000859: SWAP1 0000085a: PUSH2 0x0863 0000085d: SWAP2 0000085e: SWAP1 0000085f: PUSH2 0x0bef 00000862: JUMP 00000863: JUMPDEST 00000864: PUSH2 0x07ad 00000867: JUMPI 00000868: PUSH1 0x40 0000086a: MLOAD 0000086b: PUSH3 0x461bcd 0000086f: PUSH1 0xe5 00000871: SHL 00000872: DUP2 00000873: MSTORE 00000874: PUSH1 0x20 00000876: PUSH1 0x04 00000878: DUP3 00000879: ADD 0000087a: MSTORE 0000087b: PUSH1 0x2a 0000087d: PUSH1 0x24 0000087f: DUP3 00000880: ADD 00000881: MSTORE 00000882: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000008a3: PUSH1 0x44 000008a5: DUP3 000008a6: ADD 000008a7: MSTORE 000008a8: PUSH10 0x1bdd081cdd58d8d95959 000008b3: PUSH1 0xb2 000008b5: SHL 000008b6: PUSH1 0x64 000008b8: DUP3 000008b9: ADD 000008ba: MSTORE 000008bb: PUSH1 0x84 000008bd: ADD 000008be: PUSH2 0x02cb 000008c1: JUMP 000008c2: JUMPDEST 000008c3: PUSH1 0x60 000008c5: PUSH2 0x0459 000008c8: DUP5 000008c9: DUP5 000008ca: PUSH1 0x00 000008cc: DUP6 000008cd: DUP6 000008ce: PUSH1 0x00 000008d0: DUP1 000008d1: DUP7 000008d2: PUSH1 0x01 000008d4: PUSH1 0x01 000008d6: PUSH1 0xa0 000008d8: SHL 000008d9: SUB 000008da: AND 000008db: DUP6 000008dc: DUP8 000008dd: PUSH1 0x40 000008df: MLOAD 000008e0: PUSH2 0x08e9 000008e3: SWAP2 000008e4: SWAP1 000008e5: PUSH2 0x0c35 000008e8: JUMP 000008e9: JUMPDEST 000008ea: PUSH1 0x00 000008ec: PUSH1 0x40 000008ee: MLOAD 000008ef: DUP1 000008f0: DUP4 000008f1: SUB 000008f2: DUP2 000008f3: DUP6 000008f4: DUP8 000008f5: GAS 000008f6: CALL 000008f7: SWAP3 000008f8: POP 000008f9: POP 000008fa: POP 000008fb: RETURNDATASIZE 000008fc: DUP1 000008fd: PUSH1 0x00 000008ff: DUP2 00000900: EQ 00000901: PUSH2 0x0926 00000904: JUMPI 00000905: PUSH1 0x40 00000907: MLOAD 00000908: SWAP2 00000909: POP 0000090a: PUSH1 0x1f 0000090c: NOT 0000090d: PUSH1 0x3f 0000090f: RETURNDATASIZE 00000910: ADD 00000911: AND 00000912: DUP3 00000913: ADD 00000914: PUSH1 0x40 00000916: MSTORE 00000917: RETURNDATASIZE 00000918: DUP3 00000919: MSTORE 0000091a: RETURNDATASIZE 0000091b: PUSH1 0x00 0000091d: PUSH1 0x20 0000091f: DUP5 00000920: ADD 00000921: RETURNDATACOPY 00000922: PUSH2 0x092b 00000925: JUMP 00000926: JUMPDEST 00000927: PUSH1 0x60 00000929: SWAP2 0000092a: POP 0000092b: JUMPDEST 0000092c: POP 0000092d: SWAP2 0000092e: POP 0000092f: SWAP2 00000930: POP 00000931: PUSH2 0x093c 00000934: DUP8 00000935: DUP4 00000936: DUP4 00000937: DUP8 00000938: PUSH2 0x0947 0000093b: JUMP 0000093c: JUMPDEST 0000093d: SWAP8 0000093e: SWAP7 0000093f: POP 00000940: POP 00000941: POP 00000942: POP 00000943: POP 00000944: POP 00000945: POP 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH1 0x60 0000094a: DUP4 0000094b: ISZERO 0000094c: PUSH2 0x09b6 0000094f: JUMPI 00000950: DUP3 00000951: MLOAD 00000952: PUSH1 0x00 00000954: SUB 00000955: PUSH2 0x09af 00000958: JUMPI 00000959: PUSH1 0x01 0000095b: PUSH1 0x01 0000095d: PUSH1 0xa0 0000095f: SHL 00000960: SUB 00000961: DUP6 00000962: AND 00000963: EXTCODESIZE 00000964: PUSH2 0x09af 00000967: JUMPI 00000968: PUSH1 0x40 0000096a: MLOAD 0000096b: PUSH3 0x461bcd 0000096f: PUSH1 0xe5 00000971: SHL 00000972: DUP2 00000973: MSTORE 00000974: PUSH1 0x20 00000976: PUSH1 0x04 00000978: DUP3 00000979: ADD 0000097a: MSTORE 0000097b: PUSH1 0x1d 0000097d: PUSH1 0x24 0000097f: DUP3 00000980: ADD 00000981: MSTORE 00000982: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000009a3: PUSH1 0x44 000009a5: DUP3 000009a6: ADD 000009a7: MSTORE 000009a8: PUSH1 0x64 000009aa: ADD 000009ab: PUSH2 0x02cb 000009ae: JUMP 000009af: JUMPDEST 000009b0: POP 000009b1: DUP2 000009b2: PUSH2 0x0459 000009b5: JUMP 000009b6: JUMPDEST 000009b7: PUSH2 0x0459 000009ba: DUP4 000009bb: DUP4 000009bc: DUP2 000009bd: MLOAD 000009be: ISZERO 000009bf: PUSH2 0x09cb 000009c2: JUMPI 000009c3: DUP2 000009c4: MLOAD 000009c5: DUP1 000009c6: DUP4 000009c7: PUSH1 0x20 000009c9: ADD 000009ca: REVERT 000009cb: JUMPDEST 000009cc: DUP1 000009cd: PUSH1 0x40 000009cf: MLOAD 000009d0: PUSH3 0x461bcd 000009d4: PUSH1 0xe5 000009d6: SHL 000009d7: DUP2 000009d8: MSTORE 000009d9: PUSH1 0x04 000009db: ADD 000009dc: PUSH2 0x02cb 000009df: SWAP2 000009e0: SWAP1 000009e1: PUSH2 0x0c51 000009e4: JUMP 000009e5: JUMPDEST 000009e6: PUSH1 0x01 000009e8: PUSH1 0x01 000009ea: PUSH1 0xa0 000009ec: SHL 000009ed: SUB 000009ee: DUP2 000009ef: AND 000009f0: DUP2 000009f1: EQ 000009f2: PUSH2 0x02dd 000009f5: JUMPI 000009f6: PUSH1 0x00 000009f8: DUP1 000009f9: REVERT 000009fa: JUMPDEST 000009fb: PUSH1 0x00 000009fd: PUSH1 0x20 000009ff: DUP3 00000a00: DUP5 00000a01: SUB 00000a02: SLT 00000a03: ISZERO 00000a04: PUSH2 0x0a0c 00000a07: JUMPI 00000a08: PUSH1 0x00 00000a0a: DUP1 00000a0b: REVERT 00000a0c: JUMPDEST 00000a0d: DUP2 00000a0e: CALLDATALOAD 00000a0f: PUSH2 0x03b4 00000a12: DUP2 00000a13: PUSH2 0x09e5 00000a16: JUMP 00000a17: JUMPDEST 00000a18: PUSH1 0x00 00000a1a: DUP1 00000a1b: PUSH1 0x40 00000a1d: DUP4 00000a1e: DUP6 00000a1f: SUB 00000a20: SLT 00000a21: ISZERO 00000a22: PUSH2 0x0a2a 00000a25: JUMPI 00000a26: PUSH1 0x00 00000a28: DUP1 00000a29: REVERT 00000a2a: JUMPDEST 00000a2b: DUP3 00000a2c: CALLDATALOAD 00000a2d: PUSH2 0x0a35 00000a30: DUP2 00000a31: PUSH2 0x09e5 00000a34: JUMP 00000a35: JUMPDEST 00000a36: SWAP2 00000a37: POP 00000a38: PUSH1 0x20 00000a3a: DUP4 00000a3b: ADD 00000a3c: CALLDATALOAD 00000a3d: PUSH2 0x0a45 00000a40: DUP2 00000a41: PUSH2 0x09e5 00000a44: JUMP 00000a45: JUMPDEST 00000a46: DUP1 00000a47: SWAP2 00000a48: POP 00000a49: POP 00000a4a: SWAP3 00000a4b: POP 00000a4c: SWAP3 00000a4d: SWAP1 00000a4e: POP 00000a4f: JUMP 00000a50: JUMPDEST 00000a51: PUSH1 0x00 00000a53: PUSH1 0x20 00000a55: DUP3 00000a56: DUP5 00000a57: SUB 00000a58: SLT 00000a59: ISZERO 00000a5a: PUSH2 0x0a62 00000a5d: JUMPI 00000a5e: PUSH1 0x00 00000a60: DUP1 00000a61: REVERT 00000a62: JUMPDEST 00000a63: POP 00000a64: CALLDATALOAD 00000a65: SWAP2 00000a66: SWAP1 00000a67: POP 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: PUSH1 0x20 00000a6c: DUP1 00000a6d: DUP3 00000a6e: MSTORE 00000a6f: PUSH1 0x31 00000a71: SWAP1 00000a72: DUP3 00000a73: ADD 00000a74: MSTORE 00000a75: PUSH32 0x50617965652063616e206f6e6c792072656c656173652066756e647320746f20 00000a96: PUSH1 0x40 00000a98: DUP3 00000a99: ADD 00000a9a: MSTORE 00000a9b: PUSH17 0x7468656972206f776e2061646472657373 00000aad: PUSH1 0x78 00000aaf: SHL 00000ab0: PUSH1 0x60 00000ab2: DUP3 00000ab3: ADD 00000ab4: MSTORE 00000ab5: PUSH1 0x80 00000ab7: ADD 00000ab8: SWAP1 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH4 0x4e487b71 00000ac0: PUSH1 0xe0 00000ac2: SHL 00000ac3: PUSH1 0x00 00000ac5: MSTORE 00000ac6: PUSH1 0x32 00000ac8: PUSH1 0x04 00000aca: MSTORE 00000acb: PUSH1 0x24 00000acd: PUSH1 0x00 00000acf: REVERT 00000ad0: JUMPDEST 00000ad1: PUSH4 0x4e487b71 00000ad6: PUSH1 0xe0 00000ad8: SHL 00000ad9: PUSH1 0x00 00000adb: MSTORE 00000adc: PUSH1 0x11 00000ade: PUSH1 0x04 00000ae0: MSTORE 00000ae1: PUSH1 0x24 00000ae3: PUSH1 0x00 00000ae5: REVERT 00000ae6: JUMPDEST 00000ae7: DUP1 00000ae8: DUP3 00000ae9: ADD 00000aea: DUP1 00000aeb: DUP3 00000aec: GT 00000aed: ISZERO 00000aee: PUSH2 0x0307 00000af1: JUMPI 00000af2: PUSH2 0x0307 00000af5: PUSH2 0x0ad0 00000af8: JUMP 00000af9: JUMPDEST 00000afa: PUSH1 0x00 00000afc: PUSH1 0x20 00000afe: DUP3 00000aff: DUP5 00000b00: SUB 00000b01: SLT 00000b02: ISZERO 00000b03: PUSH2 0x0b0b 00000b06: JUMPI 00000b07: PUSH1 0x00 00000b09: DUP1 00000b0a: REVERT 00000b0b: JUMPDEST 00000b0c: POP 00000b0d: MLOAD 00000b0e: SWAP2 00000b0f: SWAP1 00000b10: POP 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x20 00000b15: DUP1 00000b16: DUP3 00000b17: MSTORE 00000b18: PUSH1 0x26 00000b1a: SWAP1 00000b1b: DUP3 00000b1c: ADD 00000b1d: MSTORE 00000b1e: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000b3f: PUSH1 0x40 00000b41: DUP3 00000b42: ADD 00000b43: MSTORE 00000b44: PUSH6 0x736861726573 00000b4b: PUSH1 0xd0 00000b4d: SHL 00000b4e: PUSH1 0x60 00000b50: DUP3 00000b51: ADD 00000b52: MSTORE 00000b53: PUSH1 0x80 00000b55: ADD 00000b56: SWAP1 00000b57: JUMP 00000b58: JUMPDEST 00000b59: PUSH1 0x20 00000b5b: DUP1 00000b5c: DUP3 00000b5d: MSTORE 00000b5e: PUSH1 0x2b 00000b60: SWAP1 00000b61: DUP3 00000b62: ADD 00000b63: MSTORE 00000b64: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00000b85: PUSH1 0x40 00000b87: DUP3 00000b88: ADD 00000b89: MSTORE 00000b8a: PUSH11 0x191d59481c185e5b595b9d 00000b96: PUSH1 0xaa 00000b98: SHL 00000b99: PUSH1 0x60 00000b9b: DUP3 00000b9c: ADD 00000b9d: MSTORE 00000b9e: PUSH1 0x80 00000ba0: ADD 00000ba1: SWAP1 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: DUP1 00000ba5: DUP3 00000ba6: MUL 00000ba7: DUP2 00000ba8: ISZERO 00000ba9: DUP3 00000baa: DUP3 00000bab: DIV 00000bac: DUP5 00000bad: EQ 00000bae: OR 00000baf: PUSH2 0x0307 00000bb2: JUMPI 00000bb3: PUSH2 0x0307 00000bb6: PUSH2 0x0ad0 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH1 0x00 00000bbd: DUP3 00000bbe: PUSH2 0x0bd7 00000bc1: JUMPI 00000bc2: PUSH4 0x4e487b71 00000bc7: PUSH1 0xe0 00000bc9: SHL 00000bca: PUSH1 0x00 00000bcc: MSTORE 00000bcd: PUSH1 0x12 00000bcf: PUSH1 0x04 00000bd1: MSTORE 00000bd2: PUSH1 0x24 00000bd4: PUSH1 0x00 00000bd6: REVERT 00000bd7: JUMPDEST 00000bd8: POP 00000bd9: DIV 00000bda: SWAP1 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: DUP2 00000bde: DUP2 00000bdf: SUB 00000be0: DUP2 00000be1: DUP2 00000be2: GT 00000be3: ISZERO 00000be4: PUSH2 0x0307 00000be7: JUMPI 00000be8: PUSH2 0x0307 00000beb: PUSH2 0x0ad0 00000bee: JUMP 00000bef: JUMPDEST 00000bf0: PUSH1 0x00 00000bf2: PUSH1 0x20 00000bf4: DUP3 00000bf5: DUP5 00000bf6: SUB 00000bf7: SLT 00000bf8: ISZERO 00000bf9: PUSH2 0x0c01 00000bfc: JUMPI 00000bfd: PUSH1 0x00 00000bff: DUP1 00000c00: REVERT 00000c01: JUMPDEST 00000c02: DUP2 00000c03: MLOAD 00000c04: DUP1 00000c05: ISZERO 00000c06: ISZERO 00000c07: DUP2 00000c08: EQ 00000c09: PUSH2 0x03b4 00000c0c: JUMPI 00000c0d: PUSH1 0x00 00000c0f: DUP1 00000c10: REVERT 00000c11: JUMPDEST 00000c12: PUSH1 0x00 00000c14: JUMPDEST 00000c15: DUP4 00000c16: DUP2 00000c17: LT 00000c18: ISZERO 00000c19: PUSH2 0x0c2c 00000c1c: JUMPI 00000c1d: DUP2 00000c1e: DUP2 00000c1f: ADD 00000c20: MLOAD 00000c21: DUP4 00000c22: DUP3 00000c23: ADD 00000c24: MSTORE 00000c25: PUSH1 0x20 00000c27: ADD 00000c28: PUSH2 0x0c14 00000c2b: JUMP 00000c2c: JUMPDEST 00000c2d: POP 00000c2e: POP 00000c2f: PUSH1 0x00 00000c31: SWAP2 00000c32: ADD 00000c33: MSTORE 00000c34: JUMP 00000c35: JUMPDEST 00000c36: PUSH1 0x00 00000c38: DUP3 00000c39: MLOAD 00000c3a: PUSH2 0x0c47 00000c3d: DUP2 00000c3e: DUP5 00000c3f: PUSH1 0x20 00000c41: DUP8 00000c42: ADD 00000c43: PUSH2 0x0c11 00000c46: JUMP 00000c47: JUMPDEST 00000c48: SWAP2 00000c49: SWAP1 00000c4a: SWAP2 00000c4b: ADD 00000c4c: SWAP3 00000c4d: SWAP2 00000c4e: POP 00000c4f: POP 00000c50: JUMP 00000c51: JUMPDEST 00000c52: PUSH1 0x20 00000c54: DUP2 00000c55: MSTORE 00000c56: PUSH1 0x00 00000c58: DUP3 00000c59: MLOAD 00000c5a: DUP1 00000c5b: PUSH1 0x20 00000c5d: DUP5 00000c5e: ADD 00000c5f: MSTORE 00000c60: PUSH2 0x0c70 00000c63: DUP2 00000c64: PUSH1 0x40 00000c66: DUP6 00000c67: ADD 00000c68: PUSH1 0x20 00000c6a: DUP8 00000c6b: ADD 00000c6c: PUSH2 0x0c11 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: PUSH1 0x1f 00000c73: ADD 00000c74: PUSH1 0x1f 00000c76: NOT 00000c77: AND 00000c78: SWAP2 00000c79: SWAP1 00000c7a: SWAP2 00000c7b: ADD 00000c7c: PUSH1 0x40 00000c7e: ADD 00000c7f: SWAP3 00000c80: SWAP2 00000c81: POP 00000c82: POP 00000c83: JUMP 00000c84: INVALID 00000c85: LOG2 00000c86: PUSH5 0x6970667358 00000c8c: UNKNOWN(0x22) 00000c8d: SLT 00000c8e: KECCAK256 00000c8f: UNKNOWN(0xE6) 00000c90: OR 00000c91: UNKNOWN(0x21) 00000c92: UNKNOWN(0xD4) 00000c93: DIFFICULTY 00000c94: POP 00000c95: LOG2 00000c96: UNKNOWN(0xB0) 00000c97: UNKNOWN(0xF8) 00000c98: UNKNOWN(0x23) 00000c99: JUMPDEST 00000c9a: UNKNOWN(0xB1) 00000c9b: MSIZE 00000c9c: UNKNOWN(0xBC) 00000c9d: UNKNOWN(0xEB) 00000c9e: STATICCALL 00000c9f: PUSH5 0x6dfda485e6 00000ca5: OR 00000ca6: PUSH25
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x2ab35b9f2b5a2461837916d9651b32e839ae44ae50270d61d2cfd6610ddfc33d
call_targets:
0x03da4ca823a2c80fb8341a8fe6a76f6e7d083c90
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2ab35b9f2b5a2461837916d9651b32e839ae44ae50270d61d2cfd6610ddfc33d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x03da4ca823a2c80fb8341a8fe6a76f6e7d083c90"
],
"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": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3f8eace",
"selector": "0xa3f8eace",
"calldata_variants": [
"0xa3f8eace",
"0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45ac050",
"selector": "0xc45ac050",
"calldata_variants": [
"0xc45ac050",
"0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1793,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2294,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x2ab35b9f2b5a2461837916d9651b32e839ae44ae50270d61d2cfd6610ddfc33d
call_targets:
0x03da4ca823a2c80fb8341a8fe6a76f6e7d083c90
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2ab35b9f2b5a2461837916d9651b32e839ae44ae50270d61d2cfd6610ddfc33d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x03da4ca823a2c80fb8341a8fe6a76f6e7d083c90"
],
"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": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3f8eace",
"selector": "0xa3f8eace",
"calldata_variants": [
"0xa3f8eace",
"0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45ac050",
"selector": "0xc45ac050",
"calldata_variants": [
"0xc45ac050",
"0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1793,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2294,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|