019ba909-d151-7034-9ead-efb0e6e510f9
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 |
|---|---|---|---|---|
| 34274 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34275 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34276 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34277 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34278 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34279 | detector.run | complete | 1 / 3 | 3 months ago |
| 34280 | 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 0x00e7 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x522f6815 00000018: GT 00000019: PUSH2 0x0087 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xa217fddf 00000023: GT 00000024: PUSH2 0x0057 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xa217fddf 0000002e: EQ 0000002f: PUSH2 0x026e 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xd547741f 00000039: EQ 0000003a: PUSH2 0x0281 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xe02023a1 00000044: EQ 00000045: PUSH2 0x02a0 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf62d1888 0000004f: EQ 00000050: PUSH2 0x02c0 00000053: JUMPI 00000054: PUSH0 00000055: DUP1 00000056: REVERT 00000057: JUMPDEST 00000058: DUP1 00000059: PUSH4 0x522f6815 0000005e: EQ 0000005f: PUSH2 0x01f2 00000062: JUMPI 00000063: DUP1 00000064: PUSH4 0x8f283970 00000069: EQ 0000006a: PUSH2 0x0211 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x91d14854 00000074: EQ 00000075: PUSH2 0x0230 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x9830088c 0000007f: EQ 00000080: PUSH2 0x024f 00000083: JUMPI 00000084: PUSH0 00000085: DUP1 00000086: REVERT 00000087: JUMPDEST 00000088: DUP1 00000089: PUSH4 0x0f0821bf 0000008e: GT 0000008f: PUSH2 0x00c2 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x0f0821bf 00000099: EQ 0000009a: PUSH2 0x0168 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x248a9ca3 000000a4: EQ 000000a5: PUSH2 0x0187 000000a8: JUMPI 000000a9: DUP1 000000aa: PUSH4 0x2f2ff15d 000000af: EQ 000000b0: PUSH2 0x01b4 000000b3: JUMPI 000000b4: DUP1 000000b5: PUSH4 0x36568abe 000000ba: EQ 000000bb: PUSH2 0x01d3 000000be: JUMPI 000000bf: PUSH0 000000c0: DUP1 000000c1: REVERT 000000c2: JUMPDEST 000000c3: DUP1 000000c4: PUSH4 0x01e33667 000000c9: EQ 000000ca: PUSH2 0x00f2 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x01ffc9a7 000000d4: EQ 000000d5: PUSH2 0x0113 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x06fdde03 000000df: EQ 000000e0: PUSH2 0x0147 000000e3: JUMPI 000000e4: PUSH0 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: CALLDATASIZE 000000e9: PUSH2 0x00ee 000000ec: JUMPI 000000ed: STOP 000000ee: JUMPDEST 000000ef: PUSH0 000000f0: DUP1 000000f1: REVERT 000000f2: JUMPDEST 000000f3: CALLVALUE 000000f4: DUP1 000000f5: ISZERO 000000f6: PUSH2 0x00fd 000000f9: JUMPI 000000fa: PUSH0 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: POP 000000ff: PUSH2 0x0111 00000102: PUSH2 0x010c 00000105: CALLDATASIZE 00000106: PUSH1 0x04 00000108: PUSH2 0x098f 0000010b: JUMP 0000010c: JUMPDEST 0000010d: PUSH2 0x02df 00000110: JUMP 00000111: JUMPDEST 00000112: STOP 00000113: JUMPDEST 00000114: CALLVALUE 00000115: DUP1 00000116: ISZERO 00000117: PUSH2 0x011e 0000011a: JUMPI 0000011b: PUSH0 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: POP 00000120: PUSH2 0x0132 00000123: PUSH2 0x012d 00000126: CALLDATASIZE 00000127: PUSH1 0x04 00000129: PUSH2 0x09cd 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH2 0x0365 00000131: JUMP 00000132: JUMPDEST 00000133: PUSH1 0x40 00000135: MLOAD 00000136: SWAP1 00000137: ISZERO 00000138: ISZERO 00000139: DUP2 0000013a: MSTORE 0000013b: PUSH1 0x20 0000013d: ADD 0000013e: JUMPDEST 0000013f: PUSH1 0x40 00000141: MLOAD 00000142: DUP1 00000143: SWAP2 00000144: SUB 00000145: SWAP1 00000146: RETURN 00000147: JUMPDEST 00000148: CALLVALUE 00000149: DUP1 0000014a: ISZERO 0000014b: PUSH2 0x0152 0000014e: JUMPI 0000014f: PUSH0 00000150: DUP1 00000151: REVERT 00000152: JUMPDEST 00000153: POP 00000154: PUSH2 0x015b 00000157: PUSH2 0x039b 0000015a: JUMP 0000015b: JUMPDEST 0000015c: PUSH1 0x40 0000015e: MLOAD 0000015f: PUSH2 0x013e 00000162: SWAP2 00000163: SWAP1 00000164: PUSH2 0x09fb 00000167: JUMP 00000168: JUMPDEST 00000169: CALLVALUE 0000016a: DUP1 0000016b: ISZERO 0000016c: PUSH2 0x0173 0000016f: JUMPI 00000170: PUSH0 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: PUSH2 0x0111 00000178: PUSH2 0x0182 0000017b: CALLDATASIZE 0000017c: PUSH1 0x04 0000017e: PUSH2 0x0a47 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH2 0x0426 00000186: JUMP 00000187: JUMPDEST 00000188: CALLVALUE 00000189: DUP1 0000018a: ISZERO 0000018b: PUSH2 0x0192 0000018e: JUMPI 0000018f: PUSH0 00000190: DUP1 00000191: REVERT 00000192: JUMPDEST 00000193: POP 00000194: PUSH2 0x01a6 00000197: PUSH2 0x01a1 0000019a: CALLDATASIZE 0000019b: PUSH1 0x04 0000019d: PUSH2 0x0a62 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH2 0x044b 000001a5: JUMP 000001a6: JUMPDEST 000001a7: PUSH1 0x40 000001a9: MLOAD 000001aa: SWAP1 000001ab: DUP2 000001ac: MSTORE 000001ad: PUSH1 0x20 000001af: ADD 000001b0: PUSH2 0x013e 000001b3: JUMP 000001b4: JUMPDEST 000001b5: CALLVALUE 000001b6: DUP1 000001b7: ISZERO 000001b8: PUSH2 0x01bf 000001bb: JUMPI 000001bc: PUSH0 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: POP 000001c1: PUSH2 0x0111 000001c4: PUSH2 0x01ce 000001c7: CALLDATASIZE 000001c8: PUSH1 0x04 000001ca: PUSH2 0x0a79 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH2 0x046b 000001d2: JUMP 000001d3: JUMPDEST 000001d4: CALLVALUE 000001d5: DUP1 000001d6: ISZERO 000001d7: PUSH2 0x01de 000001da: JUMPI 000001db: PUSH0 000001dc: DUP1 000001dd: REVERT 000001de: JUMPDEST 000001df: POP 000001e0: PUSH2 0x0111 000001e3: PUSH2 0x01ed 000001e6: CALLDATASIZE 000001e7: PUSH1 0x04 000001e9: PUSH2 0x0a79 000001ec: JUMP 000001ed: JUMPDEST 000001ee: PUSH2 0x0487 000001f1: JUMP 000001f2: JUMPDEST 000001f3: CALLVALUE 000001f4: DUP1 000001f5: ISZERO 000001f6: PUSH2 0x01fd 000001f9: JUMPI 000001fa: PUSH0 000001fb: DUP1 000001fc: REVERT 000001fd: JUMPDEST 000001fe: POP 000001ff: PUSH2 0x0111 00000202: PUSH2 0x020c 00000205: CALLDATASIZE 00000206: PUSH1 0x04 00000208: PUSH2 0x0aa7 0000020b: JUMP 0000020c: JUMPDEST 0000020d: PUSH2 0x04bf 00000210: JUMP 00000211: JUMPDEST 00000212: CALLVALUE 00000213: DUP1 00000214: ISZERO 00000215: PUSH2 0x021c 00000218: JUMPI 00000219: PUSH0 0000021a: DUP1 0000021b: REVERT 0000021c: JUMPDEST 0000021d: POP 0000021e: PUSH2 0x0111 00000221: PUSH2 0x022b 00000224: CALLDATASIZE 00000225: PUSH1 0x04 00000227: PUSH2 0x0a47 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH2 0x0521 0000022f: JUMP 00000230: JUMPDEST 00000231: CALLVALUE 00000232: DUP1 00000233: ISZERO 00000234: PUSH2 0x023b 00000237: JUMPI 00000238: PUSH0 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH2 0x0132 00000240: PUSH2 0x024a 00000243: CALLDATASIZE 00000244: PUSH1 0x04 00000246: PUSH2 0x0a79 00000249: JUMP 0000024a: JUMPDEST 0000024b: PUSH2 0x05a4 0000024e: JUMP 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: DUP1 00000252: ISZERO 00000253: PUSH2 0x025a 00000256: JUMPI 00000257: PUSH0 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: POP 0000025c: PUSH2 0x0111 0000025f: PUSH2 0x0269 00000262: CALLDATASIZE 00000263: PUSH1 0x04 00000265: PUSH2 0x0a47 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH2 0x05da 0000026d: JUMP 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: DUP1 00000271: ISZERO 00000272: PUSH2 0x0279 00000275: JUMPI 00000276: PUSH0 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: POP 0000027b: PUSH2 0x01a6 0000027e: PUSH0 0000027f: DUP2 00000280: JUMP 00000281: JUMPDEST 00000282: CALLVALUE 00000283: DUP1 00000284: ISZERO 00000285: PUSH2 0x028c 00000288: JUMPI 00000289: PUSH0 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x0111 00000291: PUSH2 0x029b 00000294: CALLDATASIZE 00000295: PUSH1 0x04 00000297: PUSH2 0x0a79 0000029a: JUMP 0000029b: JUMPDEST 0000029c: PUSH2 0x05fb 0000029f: JUMP 000002a0: JUMPDEST 000002a1: CALLVALUE 000002a2: DUP1 000002a3: ISZERO 000002a4: PUSH2 0x02ab 000002a7: JUMPI 000002a8: PUSH0 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x01a6 000002b0: PUSH0 000002b1: DUP1 000002b2: MLOAD 000002b3: PUSH1 0x20 000002b5: PUSH2 0x0cd0 000002b8: DUP4 000002b9: CODECOPY 000002ba: DUP2 000002bb: MLOAD 000002bc: SWAP2 000002bd: MSTORE 000002be: DUP2 000002bf: JUMP 000002c0: JUMPDEST 000002c1: CALLVALUE 000002c2: DUP1 000002c3: ISZERO 000002c4: PUSH2 0x02cb 000002c7: JUMPI 000002c8: PUSH0 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: POP 000002cd: PUSH2 0x0111 000002d0: PUSH2 0x02da 000002d3: CALLDATASIZE 000002d4: PUSH1 0x04 000002d6: PUSH2 0x0ae5 000002d9: JUMP 000002da: JUMPDEST 000002db: PUSH2 0x0617 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH0 000002e1: DUP1 000002e2: MLOAD 000002e3: PUSH1 0x20 000002e5: PUSH2 0x0cd0 000002e8: DUP4 000002e9: CODECOPY 000002ea: DUP2 000002eb: MLOAD 000002ec: SWAP2 000002ed: MSTORE 000002ee: PUSH2 0x02f6 000002f1: DUP2 000002f2: PUSH2 0x073b 000002f5: JUMP 000002f6: JUMPDEST 000002f7: DUP2 000002f8: PUSH2 0x0301 000002fb: DUP6 000002fc: ADDRESS 000002fd: PUSH2 0x0748 00000300: JUMP 00000301: JUMPDEST 00000302: LT 00000303: ISZERO 00000304: PUSH2 0x0354 00000307: JUMPI 00000308: PUSH1 0x40 0000030a: MLOAD 0000030b: PUSH3 0x461bcd 0000030f: PUSH1 0xe5 00000311: SHL 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x20 00000316: PUSH1 0x04 00000318: DUP3 00000319: ADD 0000031a: MSTORE 0000031b: PUSH1 0x17 0000031d: PUSH1 0x24 0000031f: DUP3 00000320: ADD 00000321: MSTORE 00000322: PUSH32 0x4e6f7420656e6f75676820455243323020746f6b656e73000000000000000000 00000343: PUSH1 0x44 00000345: DUP3 00000346: ADD 00000347: MSTORE 00000348: PUSH1 0x64 0000034a: ADD 0000034b: JUMPDEST 0000034c: PUSH1 0x40 0000034e: MLOAD 0000034f: DUP1 00000350: SWAP2 00000351: SUB 00000352: SWAP1 00000353: REVERT 00000354: JUMPDEST 00000355: PUSH2 0x035f 00000358: DUP5 00000359: DUP5 0000035a: DUP5 0000035b: PUSH2 0x0772 0000035e: JUMP 0000035f: JUMPDEST 00000360: POP 00000361: POP 00000362: POP 00000363: POP 00000364: JUMP 00000365: JUMPDEST 00000366: PUSH0 00000367: PUSH1 0x01 00000369: PUSH1 0x01 0000036b: PUSH1 0xe0 0000036d: SHL 0000036e: SUB 0000036f: NOT 00000370: DUP3 00000371: AND 00000372: PUSH4 0x7965db0b 00000377: PUSH1 0xe0 00000379: SHL 0000037a: EQ 0000037b: DUP1 0000037c: PUSH2 0x0395 0000037f: JUMPI 00000380: POP 00000381: PUSH4 0x01ffc9a7 00000386: PUSH1 0xe0 00000388: SHL 00000389: PUSH1 0x01 0000038b: PUSH1 0x01 0000038d: PUSH1 0xe0 0000038f: SHL 00000390: SUB 00000391: NOT 00000392: DUP4 00000393: AND 00000394: EQ 00000395: JUMPDEST 00000396: SWAP3 00000397: SWAP2 00000398: POP 00000399: POP 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH0 0000039d: DUP1 0000039e: SLOAD 0000039f: PUSH2 0x03a7 000003a2: SWAP1 000003a3: PUSH2 0x0b90 000003a6: JUMP 000003a7: JUMPDEST 000003a8: DUP1 000003a9: PUSH1 0x1f 000003ab: ADD 000003ac: PUSH1 0x20 000003ae: DUP1 000003af: SWAP2 000003b0: DIV 000003b1: MUL 000003b2: PUSH1 0x20 000003b4: ADD 000003b5: PUSH1 0x40 000003b7: MLOAD 000003b8: SWAP1 000003b9: DUP2 000003ba: ADD 000003bb: PUSH1 0x40 000003bd: MSTORE 000003be: DUP1 000003bf: SWAP3 000003c0: SWAP2 000003c1: SWAP1 000003c2: DUP2 000003c3: DUP2 000003c4: MSTORE 000003c5: PUSH1 0x20 000003c7: ADD 000003c8: DUP3 000003c9: DUP1 000003ca: SLOAD 000003cb: PUSH2 0x03d3 000003ce: SWAP1 000003cf: PUSH2 0x0b90 000003d2: JUMP 000003d3: JUMPDEST 000003d4: DUP1 000003d5: ISZERO 000003d6: PUSH2 0x041e 000003d9: JUMPI 000003da: DUP1 000003db: PUSH1 0x1f 000003dd: LT 000003de: PUSH2 0x03f5 000003e1: JUMPI 000003e2: PUSH2 0x0100 000003e5: DUP1 000003e6: DUP4 000003e7: SLOAD 000003e8: DIV 000003e9: MUL 000003ea: DUP4 000003eb: MSTORE 000003ec: SWAP2 000003ed: PUSH1 0x20 000003ef: ADD 000003f0: SWAP2 000003f1: PUSH2 0x041e 000003f4: JUMP 000003f5: JUMPDEST 000003f6: DUP3 000003f7: ADD 000003f8: SWAP2 000003f9: SWAP1 000003fa: PUSH0 000003fb: MSTORE 000003fc: PUSH1 0x20 000003fe: PUSH0 000003ff: KECCAK256 00000400: SWAP1 00000401: JUMPDEST 00000402: DUP2 00000403: SLOAD 00000404: DUP2 00000405: MSTORE 00000406: SWAP1 00000407: PUSH1 0x01 00000409: ADD 0000040a: SWAP1 0000040b: PUSH1 0x20 0000040d: ADD 0000040e: DUP1 0000040f: DUP4 00000410: GT 00000411: PUSH2 0x0401 00000414: JUMPI 00000415: DUP3 00000416: SWAP1 00000417: SUB 00000418: PUSH1 0x1f 0000041a: AND 0000041b: DUP3 0000041c: ADD 0000041d: SWAP2 0000041e: JUMPDEST 0000041f: POP 00000420: POP 00000421: POP 00000422: POP 00000423: POP 00000424: DUP2 00000425: JUMP 00000426: JUMPDEST 00000427: PUSH0 00000428: PUSH2 0x0430 0000042b: DUP2 0000042c: PUSH2 0x073b 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH2 0x0447 00000434: PUSH0 00000435: DUP1 00000436: MLOAD 00000437: PUSH1 0x20 00000439: PUSH2 0x0cd0 0000043c: DUP4 0000043d: CODECOPY 0000043e: DUP2 0000043f: MLOAD 00000440: SWAP2 00000441: MSTORE 00000442: DUP4 00000443: PUSH2 0x05fb 00000446: JUMP 00000447: JUMPDEST 00000448: POP 00000449: POP 0000044a: JUMP 0000044b: JUMPDEST 0000044c: PUSH0 0000044d: SWAP1 0000044e: DUP2 0000044f: MSTORE 00000450: PUSH0 00000451: DUP1 00000452: MLOAD 00000453: PUSH1 0x20 00000455: PUSH2 0x0cf0 00000458: DUP4 00000459: CODECOPY 0000045a: DUP2 0000045b: MLOAD 0000045c: SWAP2 0000045d: MSTORE 0000045e: PUSH1 0x20 00000460: MSTORE 00000461: PUSH1 0x40 00000463: SWAP1 00000464: KECCAK256 00000465: PUSH1 0x01 00000467: ADD 00000468: SLOAD 00000469: SWAP1 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH2 0x0474 0000046f: DUP3 00000470: PUSH2 0x044b 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH2 0x047d 00000478: DUP2 00000479: PUSH2 0x073b 0000047c: JUMP 0000047d: JUMPDEST 0000047e: PUSH2 0x035f 00000481: DUP4 00000482: DUP4 00000483: PUSH2 0x07bc 00000486: JUMP 00000487: JUMPDEST 00000488: PUSH1 0x01 0000048a: PUSH1 0x01 0000048c: PUSH1 0xa0 0000048e: SHL 0000048f: SUB 00000490: DUP2 00000491: AND 00000492: CALLER 00000493: EQ 00000494: PUSH2 0x04b0 00000497: JUMPI 00000498: PUSH1 0x40 0000049a: MLOAD 0000049b: PUSH4 0x334bd919 000004a0: PUSH1 0xe1 000004a2: SHL 000004a3: DUP2 000004a4: MSTORE 000004a5: PUSH1 0x04 000004a7: ADD 000004a8: PUSH1 0x40 000004aa: MLOAD 000004ab: DUP1 000004ac: SWAP2 000004ad: SUB 000004ae: SWAP1 000004af: REVERT 000004b0: JUMPDEST 000004b1: PUSH2 0x04ba 000004b4: DUP3 000004b5: DUP3 000004b6: PUSH2 0x085d 000004b9: JUMP 000004ba: JUMPDEST 000004bb: POP 000004bc: POP 000004bd: POP 000004be: JUMP 000004bf: JUMPDEST 000004c0: PUSH0 000004c1: DUP1 000004c2: MLOAD 000004c3: PUSH1 0x20 000004c5: PUSH2 0x0cd0 000004c8: DUP4 000004c9: CODECOPY 000004ca: DUP2 000004cb: MLOAD 000004cc: SWAP2 000004cd: MSTORE 000004ce: PUSH2 0x04d6 000004d1: DUP2 000004d2: PUSH2 0x073b 000004d5: JUMP 000004d6: JUMPDEST 000004d7: DUP2 000004d8: SELFBALANCE 000004d9: LT 000004da: ISZERO 000004db: PUSH2 0x0517 000004de: JUMPI 000004df: PUSH1 0x40 000004e1: MLOAD 000004e2: PUSH3 0x461bcd 000004e6: PUSH1 0xe5 000004e8: SHL 000004e9: DUP2 000004ea: MSTORE 000004eb: PUSH1 0x20 000004ed: PUSH1 0x04 000004ef: DUP3 000004f0: ADD 000004f1: MSTORE 000004f2: PUSH1 0x0e 000004f4: PUSH1 0x24 000004f6: DUP3 000004f7: ADD 000004f8: MSTORE 000004f9: PUSH14 0x09cdee840cadcdeeaced0408aa89 00000508: PUSH1 0x93 0000050a: SHL 0000050b: PUSH1 0x44 0000050d: DUP3 0000050e: ADD 0000050f: MSTORE 00000510: PUSH1 0x64 00000512: ADD 00000513: PUSH2 0x034b 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH2 0x04ba 0000051b: DUP4 0000051c: DUP4 0000051d: PUSH2 0x08d6 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH0 00000523: PUSH2 0x052b 00000526: DUP2 00000527: PUSH2 0x073b 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH1 0x01 0000052e: PUSH1 0x01 00000530: PUSH1 0xa0 00000532: SHL 00000533: SUB 00000534: DUP3 00000535: AND 00000536: CALLER 00000537: SUB 00000538: PUSH2 0x058f 0000053b: JUMPI 0000053c: PUSH1 0x40 0000053e: MLOAD 0000053f: PUSH3 0x461bcd 00000543: PUSH1 0xe5 00000545: SHL 00000546: DUP2 00000547: MSTORE 00000548: PUSH1 0x20 0000054a: PUSH1 0x04 0000054c: DUP3 0000054d: ADD 0000054e: MSTORE 0000054f: PUSH1 0x23 00000551: PUSH1 0x24 00000553: DUP3 00000554: ADD 00000555: MSTORE 00000556: PUSH32 0x6e65772061646d696e2063616e6e6f742062652073616d65206173206f6c6420 00000577: PUSH1 0x44 00000579: DUP3 0000057a: ADD 0000057b: MSTORE 0000057c: PUSH3 0x6f6e65 00000580: PUSH1 0xe8 00000582: SHL 00000583: PUSH1 0x64 00000585: DUP3 00000586: ADD 00000587: MSTORE 00000588: PUSH1 0x84 0000058a: ADD 0000058b: PUSH2 0x034b 0000058e: JUMP 0000058f: JUMPDEST 00000590: PUSH2 0x0599 00000593: PUSH0 00000594: DUP4 00000595: PUSH2 0x07bc 00000598: JUMP 00000599: JUMPDEST 0000059a: POP 0000059b: PUSH2 0x04ba 0000059e: PUSH0 0000059f: CALLER 000005a0: PUSH2 0x085d 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH0 000005a6: SWAP2 000005a7: DUP3 000005a8: MSTORE 000005a9: PUSH0 000005aa: DUP1 000005ab: MLOAD 000005ac: PUSH1 0x20 000005ae: PUSH2 0x0cf0 000005b1: DUP4 000005b2: CODECOPY 000005b3: DUP2 000005b4: MLOAD 000005b5: SWAP2 000005b6: MSTORE 000005b7: PUSH1 0x20 000005b9: SWAP1 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH1 0x40 000005be: DUP1 000005bf: DUP5 000005c0: KECCAK256 000005c1: PUSH1 0x01 000005c3: PUSH1 0x01 000005c5: PUSH1 0xa0 000005c7: SHL 000005c8: SUB 000005c9: SWAP4 000005ca: SWAP1 000005cb: SWAP4 000005cc: AND 000005cd: DUP5 000005ce: MSTORE 000005cf: SWAP2 000005d0: SWAP1 000005d1: MSTORE 000005d2: SWAP1 000005d3: KECCAK256 000005d4: SLOAD 000005d5: PUSH1 0xff 000005d7: AND 000005d8: SWAP1 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH0 000005dc: PUSH2 0x05e4 000005df: DUP2 000005e0: PUSH2 0x073b 000005e3: JUMP 000005e4: JUMPDEST 000005e5: PUSH2 0x0447 000005e8: PUSH0 000005e9: DUP1 000005ea: MLOAD 000005eb: PUSH1 0x20 000005ed: PUSH2 0x0cd0 000005f0: DUP4 000005f1: CODECOPY 000005f2: DUP2 000005f3: MLOAD 000005f4: SWAP2 000005f5: MSTORE 000005f6: DUP4 000005f7: PUSH2 0x046b 000005fa: JUMP 000005fb: JUMPDEST 000005fc: PUSH2 0x0604 000005ff: DUP3 00000600: PUSH2 0x044b 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH2 0x060d 00000608: DUP2 00000609: PUSH2 0x073b 0000060c: JUMP 0000060d: JUMPDEST 0000060e: PUSH2 0x035f 00000611: DUP4 00000612: DUP4 00000613: PUSH2 0x085d 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00000639: DUP1 0000063a: SLOAD 0000063b: PUSH1 0x01 0000063d: PUSH1 0x40 0000063f: SHL 00000640: DUP2 00000641: DIV 00000642: PUSH1 0xff 00000644: AND 00000645: ISZERO 00000646: SWAP1 00000647: PUSH8 0xffffffffffffffff 00000650: AND 00000651: PUSH0 00000652: DUP2 00000653: ISZERO 00000654: DUP1 00000655: ISZERO 00000656: PUSH2 0x065c 00000659: JUMPI 0000065a: POP 0000065b: DUP3 0000065c: JUMPDEST 0000065d: SWAP1 0000065e: POP 0000065f: PUSH0 00000660: DUP3 00000661: PUSH8 0xffffffffffffffff 0000066a: AND 0000066b: PUSH1 0x01 0000066d: EQ 0000066e: DUP1 0000066f: ISZERO 00000670: PUSH2 0x0678 00000673: JUMPI 00000674: POP 00000675: ADDRESS 00000676: EXTCODESIZE 00000677: ISZERO 00000678: JUMPDEST 00000679: SWAP1 0000067a: POP 0000067b: DUP2 0000067c: ISZERO 0000067d: DUP1 0000067e: ISZERO 0000067f: PUSH2 0x0686 00000682: JUMPI 00000683: POP 00000684: DUP1 00000685: ISZERO 00000686: JUMPDEST 00000687: ISZERO 00000688: PUSH2 0x06a4 0000068b: JUMPI 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: PUSH4 0xf92ee8a9 00000694: PUSH1 0xe0 00000696: SHL 00000697: DUP2 00000698: MSTORE 00000699: PUSH1 0x04 0000069b: ADD 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: DUP1 000006a0: SWAP2 000006a1: SUB 000006a2: SWAP1 000006a3: REVERT 000006a4: JUMPDEST 000006a5: DUP5 000006a6: SLOAD 000006a7: PUSH8 0xffffffffffffffff 000006b0: NOT 000006b1: AND 000006b2: PUSH1 0x01 000006b4: OR 000006b5: DUP6 000006b6: SSTORE 000006b7: DUP4 000006b8: ISZERO 000006b9: PUSH2 0x06ce 000006bc: JUMPI 000006bd: DUP5 000006be: SLOAD 000006bf: PUSH1 0xff 000006c1: PUSH1 0x40 000006c3: SHL 000006c4: NOT 000006c5: AND 000006c6: PUSH1 0x01 000006c8: PUSH1 0x40 000006ca: SHL 000006cb: OR 000006cc: DUP6 000006cd: SSTORE 000006ce: JUMPDEST 000006cf: PUSH2 0x06d6 000006d2: PUSH2 0x08ef 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH2 0x06e0 000006da: PUSH0 000006db: CALLER 000006dc: PUSH2 0x07bc 000006df: JUMP 000006e0: JUMPDEST 000006e1: POP 000006e2: PUSH0 000006e3: PUSH2 0x06ec 000006e6: DUP8 000006e7: DUP3 000006e8: PUSH2 0x0c13 000006eb: JUMP 000006ec: JUMPDEST 000006ed: POP 000006ee: DUP4 000006ef: ISZERO 000006f0: PUSH2 0x0733 000006f3: JUMPI 000006f4: DUP5 000006f5: SLOAD 000006f6: PUSH1 0xff 000006f8: PUSH1 0x40 000006fa: SHL 000006fb: NOT 000006fc: AND 000006fd: DUP6 000006fe: SSTORE 000006ff: PUSH1 0x40 00000701: MLOAD 00000702: PUSH1 0x01 00000704: DUP2 00000705: MSTORE 00000706: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2 00000727: SWAP1 00000728: PUSH1 0x20 0000072a: ADD 0000072b: PUSH1 0x40 0000072d: MLOAD 0000072e: DUP1 0000072f: SWAP2 00000730: SUB 00000731: SWAP1 00000732: LOG1 00000733: JUMPDEST 00000734: POP 00000735: POP 00000736: POP 00000737: POP 00000738: POP 00000739: POP 0000073a: JUMP 0000073b: JUMPDEST 0000073c: PUSH2 0x0745 0000073f: DUP2 00000740: CALLER 00000741: PUSH2 0x08f9 00000744: JUMP 00000745: JUMPDEST 00000746: POP 00000747: JUMP 00000748: JUMPDEST 00000749: PUSH0 0000074a: DUP2 0000074b: PUSH1 0x14 0000074d: MSTORE 0000074e: PUSH4 0x70a08231 00000753: PUSH1 0x60 00000755: SHL 00000756: PUSH0 00000757: MSTORE 00000758: PUSH1 0x20 0000075a: DUP1 0000075b: PUSH1 0x24 0000075d: PUSH1 0x10 0000075f: DUP7 00000760: GAS 00000761: STATICCALL 00000762: PUSH1 0x1f 00000764: RETURNDATASIZE 00000765: GT 00000766: AND 00000767: PUSH1 0x20 00000769: MLOAD 0000076a: MUL 0000076b: SWAP1 0000076c: POP 0000076d: SWAP3 0000076e: SWAP2 0000076f: POP 00000770: POP 00000771: JUMP 00000772: JUMPDEST 00000773: DUP2 00000774: PUSH1 0x14 00000776: MSTORE 00000777: DUP1 00000778: PUSH1 0x34 0000077a: MSTORE 0000077b: PUSH4 0xa9059cbb 00000780: PUSH1 0x60 00000782: SHL 00000783: PUSH0 00000784: MSTORE 00000785: PUSH1 0x20 00000787: PUSH0 00000788: PUSH1 0x44 0000078a: PUSH1 0x10 0000078c: PUSH0 0000078d: DUP8 0000078e: GAS 0000078f: CALL 00000790: DUP1 00000791: PUSH1 0x01 00000793: PUSH0 00000794: MLOAD 00000795: EQ 00000796: AND 00000797: PUSH2 0x07b2 0000079a: JUMPI 0000079b: DUP1 0000079c: RETURNDATASIZE 0000079d: DUP6 0000079e: EXTCODESIZE 0000079f: ISZERO 000007a0: OR 000007a1: LT 000007a2: PUSH2 0x07b2 000007a5: JUMPI 000007a6: PUSH4 0x90b8ec18 000007ab: PUSH0 000007ac: MSTORE 000007ad: PUSH1 0x04 000007af: PUSH1 0x1c 000007b1: REVERT 000007b2: JUMPDEST 000007b3: POP 000007b4: PUSH0 000007b5: PUSH1 0x34 000007b7: MSTORE 000007b8: POP 000007b9: POP 000007ba: POP 000007bb: JUMP 000007bc: JUMPDEST 000007bd: PUSH0 000007be: PUSH0 000007bf: DUP1 000007c0: MLOAD 000007c1: PUSH1 0x20 000007c3: PUSH2 0x0cf0 000007c6: DUP4 000007c7: CODECOPY 000007c8: DUP2 000007c9: MLOAD 000007ca: SWAP2 000007cb: MSTORE 000007cc: PUSH2 0x07d5 000007cf: DUP5 000007d0: DUP5 000007d1: PUSH2 0x05a4 000007d4: JUMP 000007d5: JUMPDEST 000007d6: PUSH2 0x0854 000007d9: JUMPI 000007da: PUSH0 000007db: DUP5 000007dc: DUP2 000007dd: MSTORE 000007de: PUSH1 0x20 000007e0: DUP3 000007e1: DUP2 000007e2: MSTORE 000007e3: PUSH1 0x40 000007e5: DUP1 000007e6: DUP4 000007e7: KECCAK256 000007e8: PUSH1 0x01 000007ea: PUSH1 0x01 000007ec: PUSH1 0xa0 000007ee: SHL 000007ef: SUB 000007f0: DUP8 000007f1: AND 000007f2: DUP5 000007f3: MSTORE 000007f4: SWAP1 000007f5: SWAP2 000007f6: MSTORE 000007f7: SWAP1 000007f8: KECCAK256 000007f9: DUP1 000007fa: SLOAD 000007fb: PUSH1 0xff 000007fd: NOT 000007fe: AND 000007ff: PUSH1 0x01 00000801: OR 00000802: SWAP1 00000803: SSTORE 00000804: PUSH2 0x080a 00000807: CALLER 00000808: SWAP1 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x01 0000080d: PUSH1 0x01 0000080f: PUSH1 0xa0 00000811: SHL 00000812: SUB 00000813: AND 00000814: DUP4 00000815: PUSH1 0x01 00000817: PUSH1 0x01 00000819: PUSH1 0xa0 0000081b: SHL 0000081c: SUB 0000081d: AND 0000081e: DUP6 0000081f: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00000840: PUSH1 0x40 00000842: MLOAD 00000843: PUSH1 0x40 00000845: MLOAD 00000846: DUP1 00000847: SWAP2 00000848: SUB 00000849: SWAP1 0000084a: LOG4 0000084b: PUSH1 0x01 0000084d: SWAP2 0000084e: POP 0000084f: POP 00000850: PUSH2 0x0395 00000853: JUMP 00000854: JUMPDEST 00000855: PUSH0 00000856: SWAP2 00000857: POP 00000858: POP 00000859: PUSH2 0x0395 0000085c: JUMP 0000085d: JUMPDEST 0000085e: PUSH0 0000085f: PUSH0 00000860: DUP1 00000861: MLOAD 00000862: PUSH1 0x20 00000864: PUSH2 0x0cf0 00000867: DUP4 00000868: CODECOPY 00000869: DUP2 0000086a: MLOAD 0000086b: SWAP2 0000086c: MSTORE 0000086d: PUSH2 0x0876 00000870: DUP5 00000871: DUP5 00000872: PUSH2 0x05a4 00000875: JUMP 00000876: JUMPDEST 00000877: ISZERO 00000878: PUSH2 0x0854 0000087b: JUMPI 0000087c: PUSH0 0000087d: DUP5 0000087e: DUP2 0000087f: MSTORE 00000880: PUSH1 0x20 00000882: DUP3 00000883: DUP2 00000884: MSTORE 00000885: PUSH1 0x40 00000887: DUP1 00000888: DUP4 00000889: KECCAK256 0000088a: PUSH1 0x01 0000088c: PUSH1 0x01 0000088e: PUSH1 0xa0 00000890: SHL 00000891: SUB 00000892: DUP8 00000893: AND 00000894: DUP1 00000895: DUP6 00000896: MSTORE 00000897: SWAP3 00000898: MSTORE 00000899: DUP1 0000089a: DUP4 0000089b: KECCAK256 0000089c: DUP1 0000089d: SLOAD 0000089e: PUSH1 0xff 000008a0: NOT 000008a1: AND 000008a2: SWAP1 000008a3: SSTORE 000008a4: MLOAD 000008a5: CALLER 000008a6: SWAP3 000008a7: DUP8 000008a8: SWAP2 000008a9: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 000008ca: SWAP2 000008cb: SWAP1 000008cc: LOG4 000008cd: PUSH1 0x01 000008cf: SWAP2 000008d0: POP 000008d1: POP 000008d2: PUSH2 0x0395 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH0 000008d8: CODESIZE 000008d9: PUSH0 000008da: CODESIZE 000008db: DUP5 000008dc: DUP7 000008dd: GAS 000008de: CALL 000008df: PUSH2 0x0447 000008e2: JUMPI 000008e3: PUSH4 0xb12d13eb 000008e8: PUSH0 000008e9: MSTORE 000008ea: PUSH1 0x04 000008ec: PUSH1 0x1c 000008ee: REVERT 000008ef: JUMPDEST 000008f0: PUSH2 0x08f7 000008f3: PUSH2 0x0932 000008f6: JUMP 000008f7: JUMPDEST 000008f8: JUMP 000008f9: JUMPDEST 000008fa: PUSH2 0x0903 000008fd: DUP3 000008fe: DUP3 000008ff: PUSH2 0x05a4 00000902: JUMP 00000903: JUMPDEST 00000904: PUSH2 0x0447 00000907: JUMPI 00000908: PUSH1 0x40 0000090a: MLOAD 0000090b: PUSH4 0xe2517d3f 00000910: PUSH1 0xe0 00000912: SHL 00000913: DUP2 00000914: MSTORE 00000915: PUSH1 0x01 00000917: PUSH1 0x01 00000919: PUSH1 0xa0 0000091b: SHL 0000091c: SUB 0000091d: DUP3 0000091e: AND 0000091f: PUSH1 0x04 00000921: DUP3 00000922: ADD 00000923: MSTORE 00000924: PUSH1 0x24 00000926: DUP2 00000927: ADD 00000928: DUP4 00000929: SWAP1 0000092a: MSTORE 0000092b: PUSH1 0x44 0000092d: ADD 0000092e: PUSH2 0x034b 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00 00000954: SLOAD 00000955: PUSH1 0x01 00000957: PUSH1 0x40 00000959: SHL 0000095a: SWAP1 0000095b: DIV 0000095c: PUSH1 0xff 0000095e: AND 0000095f: PUSH2 0x08f7 00000962: JUMPI 00000963: PUSH1 0x40 00000965: MLOAD 00000966: PUSH4 0x1afcd79f 0000096b: PUSH1 0xe3 0000096d: SHL 0000096e: DUP2 0000096f: MSTORE 00000970: PUSH1 0x04 00000972: ADD 00000973: PUSH1 0x40 00000975: MLOAD 00000976: DUP1 00000977: SWAP2 00000978: SUB 00000979: SWAP1 0000097a: REVERT 0000097b: JUMPDEST 0000097c: PUSH1 0x01 0000097e: PUSH1 0x01 00000980: PUSH1 0xa0 00000982: SHL 00000983: SUB 00000984: DUP2 00000985: AND 00000986: DUP2 00000987: EQ 00000988: PUSH2 0x0745 0000098b: JUMPI 0000098c: PUSH0 0000098d: DUP1 0000098e: REVERT 0000098f: JUMPDEST 00000990: PUSH0 00000991: DUP1 00000992: PUSH0 00000993: PUSH1 0x60 00000995: DUP5 00000996: DUP7 00000997: SUB 00000998: SLT 00000999: ISZERO 0000099a: PUSH2 0x09a1 0000099d: JUMPI 0000099e: PUSH0 0000099f: DUP1 000009a0: REVERT 000009a1: JUMPDEST 000009a2: DUP4 000009a3: CALLDATALOAD 000009a4: PUSH2 0x09ac 000009a7: DUP2 000009a8: PUSH2 0x097b 000009ab: JUMP 000009ac: JUMPDEST 000009ad: SWAP3 000009ae: POP 000009af: PUSH1 0x20 000009b1: DUP5 000009b2: ADD 000009b3: CALLDATALOAD 000009b4: PUSH2 0x09bc 000009b7: DUP2 000009b8: PUSH2 0x097b 000009bb: JUMP 000009bc: JUMPDEST 000009bd: SWAP3 000009be: SWAP6 000009bf: SWAP3 000009c0: SWAP5 000009c1: POP 000009c2: POP 000009c3: POP 000009c4: PUSH1 0x40 000009c6: SWAP2 000009c7: SWAP1 000009c8: SWAP2 000009c9: ADD 000009ca: CALLDATALOAD 000009cb: SWAP1 000009cc: JUMP 000009cd: JUMPDEST 000009ce: PUSH0 000009cf: PUSH1 0x20 000009d1: DUP3 000009d2: DUP5 000009d3: SUB 000009d4: SLT 000009d5: ISZERO 000009d6: PUSH2 0x09dd 000009d9: JUMPI 000009da: PUSH0 000009db: DUP1 000009dc: REVERT 000009dd: JUMPDEST 000009de: DUP2 000009df: CALLDATALOAD 000009e0: PUSH1 0x01 000009e2: PUSH1 0x01 000009e4: PUSH1 0xe0 000009e6: SHL 000009e7: SUB 000009e8: NOT 000009e9: DUP2 000009ea: AND 000009eb: DUP2 000009ec: EQ 000009ed: PUSH2 0x09f4 000009f0: JUMPI 000009f1: PUSH0 000009f2: DUP1 000009f3: REVERT 000009f4: JUMPDEST 000009f5: SWAP4 000009f6: SWAP3 000009f7: POP 000009f8: POP 000009f9: POP 000009fa: JUMP 000009fb: JUMPDEST 000009fc: PUSH0 000009fd: PUSH1 0x20 000009ff: DUP1 00000a00: DUP4 00000a01: MSTORE 00000a02: DUP4 00000a03: MLOAD 00000a04: DUP1 00000a05: PUSH1 0x20 00000a07: DUP6 00000a08: ADD 00000a09: MSTORE 00000a0a: PUSH0 00000a0b: JUMPDEST 00000a0c: DUP2 00000a0d: DUP2 00000a0e: LT 00000a0f: ISZERO 00000a10: PUSH2 0x0a27 00000a13: JUMPI 00000a14: DUP6 00000a15: DUP2 00000a16: ADD 00000a17: DUP4 00000a18: ADD 00000a19: MLOAD 00000a1a: DUP6 00000a1b: DUP3 00000a1c: ADD 00000a1d: PUSH1 0x40 00000a1f: ADD 00000a20: MSTORE 00000a21: DUP3 00000a22: ADD 00000a23: PUSH2 0x0a0b 00000a26: JUMP 00000a27: JUMPDEST 00000a28: POP 00000a29: PUSH0 00000a2a: PUSH1 0x40 00000a2c: DUP3 00000a2d: DUP7 00000a2e: ADD 00000a2f: ADD 00000a30: MSTORE 00000a31: PUSH1 0x40 00000a33: PUSH1 0x1f 00000a35: NOT 00000a36: PUSH1 0x1f 00000a38: DUP4 00000a39: ADD 00000a3a: AND 00000a3b: DUP6 00000a3c: ADD 00000a3d: ADD 00000a3e: SWAP3 00000a3f: POP 00000a40: POP 00000a41: POP 00000a42: SWAP3 00000a43: SWAP2 00000a44: POP 00000a45: POP 00000a46: JUMP 00000a47: JUMPDEST 00000a48: PUSH0 00000a49: PUSH1 0x20 00000a4b: DUP3 00000a4c: DUP5 00000a4d: SUB 00000a4e: SLT 00000a4f: ISZERO 00000a50: PUSH2 0x0a57 00000a53: JUMPI 00000a54: PUSH0 00000a55: DUP1 00000a56: REVERT 00000a57: JUMPDEST 00000a58: DUP2 00000a59: CALLDATALOAD 00000a5a: PUSH2 0x09f4 00000a5d: DUP2 00000a5e: PUSH2 0x097b 00000a61: JUMP 00000a62: JUMPDEST 00000a63: PUSH0 00000a64: PUSH1 0x20 00000a66: DUP3 00000a67: DUP5 00000a68: SUB 00000a69: SLT 00000a6a: ISZERO 00000a6b: PUSH2 0x0a72 00000a6e: JUMPI 00000a6f: PUSH0 00000a70: DUP1 00000a71: REVERT 00000a72: JUMPDEST 00000a73: POP 00000a74: CALLDATALOAD 00000a75: SWAP2 00000a76: SWAP1 00000a77: POP 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: PUSH0 00000a7b: DUP1 00000a7c: PUSH1 0x40 00000a7e: DUP4 00000a7f: DUP6 00000a80: SUB 00000a81: SLT 00000a82: ISZERO 00000a83: PUSH2 0x0a8a 00000a86: JUMPI 00000a87: PUSH0 00000a88: DUP1 00000a89: REVERT 00000a8a: JUMPDEST 00000a8b: DUP3 00000a8c: CALLDATALOAD 00000a8d: SWAP2 00000a8e: POP 00000a8f: PUSH1 0x20 00000a91: DUP4 00000a92: ADD 00000a93: CALLDATALOAD 00000a94: PUSH2 0x0a9c 00000a97: DUP2 00000a98: PUSH2 0x097b 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: DUP1 00000a9e: SWAP2 00000a9f: POP 00000aa0: POP 00000aa1: SWAP3 00000aa2: POP 00000aa3: SWAP3 00000aa4: SWAP1 00000aa5: POP 00000aa6: JUMP 00000aa7: JUMPDEST 00000aa8: PUSH0 00000aa9: DUP1 00000aaa: PUSH1 0x40 00000aac: DUP4 00000aad: DUP6 00000aae: SUB 00000aaf: SLT 00000ab0: ISZERO 00000ab1: PUSH2 0x0ab8 00000ab4: JUMPI 00000ab5: PUSH0 00000ab6: DUP1 00000ab7: REVERT 00000ab8: JUMPDEST 00000ab9: DUP3 00000aba: CALLDATALOAD 00000abb: PUSH2 0x0ac3 00000abe: DUP2 00000abf: PUSH2 0x097b 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: SWAP5 00000ac5: PUSH1 0x20 00000ac7: SWAP4 00000ac8: SWAP1 00000ac9: SWAP4 00000aca: ADD 00000acb: CALLDATALOAD 00000acc: SWAP4 00000acd: POP 00000ace: POP 00000acf: POP 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH4 0x4e487b71 00000ad7: PUSH1 0xe0 00000ad9: SHL 00000ada: PUSH0 00000adb: MSTORE 00000adc: PUSH1 0x41 00000ade: PUSH1 0x04 00000ae0: MSTORE 00000ae1: PUSH1 0x24 00000ae3: PUSH0 00000ae4: REVERT 00000ae5: JUMPDEST 00000ae6: PUSH0 00000ae7: PUSH1 0x20 00000ae9: DUP3 00000aea: DUP5 00000aeb: SUB 00000aec: SLT 00000aed: ISZERO 00000aee: PUSH2 0x0af5 00000af1: JUMPI 00000af2: PUSH0 00000af3: DUP1 00000af4: REVERT 00000af5: JUMPDEST 00000af6: DUP2 00000af7: CALLDATALOAD 00000af8: PUSH8 0xffffffffffffffff 00000b01: DUP1 00000b02: DUP3 00000b03: GT 00000b04: ISZERO 00000b05: PUSH2 0x0b0c 00000b08: JUMPI 00000b09: PUSH0 00000b0a: DUP1 00000b0b: REVERT 00000b0c: JUMPDEST 00000b0d: DUP2 00000b0e: DUP5 00000b0f: ADD 00000b10: SWAP2 00000b11: POP 00000b12: DUP5 00000b13: PUSH1 0x1f 00000b15: DUP4 00000b16: ADD 00000b17: SLT 00000b18: PUSH2 0x0b1f 00000b1b: JUMPI 00000b1c: PUSH0 00000b1d: DUP1 00000b1e: REVERT 00000b1f: JUMPDEST 00000b20: DUP2 00000b21: CALLDATALOAD 00000b22: DUP2 00000b23: DUP2 00000b24: GT 00000b25: ISZERO 00000b26: PUSH2 0x0b31 00000b29: JUMPI 00000b2a: PUSH2 0x0b31 00000b2d: PUSH2 0x0ad1 00000b30: JUMP 00000b31: JUMPDEST 00000b32: PUSH1 0x40 00000b34: MLOAD 00000b35: PUSH1 0x1f 00000b37: DUP3 00000b38: ADD 00000b39: PUSH1 0x1f 00000b3b: NOT 00000b3c: SWAP1 00000b3d: DUP2 00000b3e: AND 00000b3f: PUSH1 0x3f 00000b41: ADD 00000b42: AND 00000b43: DUP2 00000b44: ADD 00000b45: SWAP1 00000b46: DUP4 00000b47: DUP3 00000b48: GT 00000b49: DUP2 00000b4a: DUP4 00000b4b: LT 00000b4c: OR 00000b4d: ISZERO 00000b4e: PUSH2 0x0b59 00000b51: JUMPI 00000b52: PUSH2 0x0b59 00000b55: PUSH2 0x0ad1 00000b58: JUMP 00000b59: JUMPDEST 00000b5a: DUP2 00000b5b: PUSH1 0x40 00000b5d: MSTORE 00000b5e: DUP3 00000b5f: DUP2 00000b60: MSTORE 00000b61: DUP8 00000b62: PUSH1 0x20 00000b64: DUP5 00000b65: DUP8 00000b66: ADD 00000b67: ADD 00000b68: GT 00000b69: ISZERO 00000b6a: PUSH2 0x0b71 00000b6d: JUMPI 00000b6e: PUSH0 00000b6f: DUP1 00000b70: REVERT 00000b71: JUMPDEST 00000b72: DUP3 00000b73: PUSH1 0x20 00000b75: DUP7 00000b76: ADD 00000b77: PUSH1 0x20 00000b79: DUP4 00000b7a: ADD 00000b7b: CALLDATACOPY 00000b7c: PUSH0 00000b7d: SWAP3 00000b7e: DUP2 00000b7f: ADD 00000b80: PUSH1 0x20 00000b82: ADD 00000b83: SWAP3 00000b84: SWAP1 00000b85: SWAP3 00000b86: MSTORE 00000b87: POP 00000b88: SWAP6 00000b89: SWAP5 00000b8a: POP 00000b8b: POP 00000b8c: POP 00000b8d: POP 00000b8e: POP 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: PUSH1 0x01 00000b93: DUP2 00000b94: DUP2 00000b95: SHR 00000b96: SWAP1 00000b97: DUP3 00000b98: AND 00000b99: DUP1 00000b9a: PUSH2 0x0ba4 00000b9d: JUMPI 00000b9e: PUSH1 0x7f 00000ba0: DUP3 00000ba1: AND 00000ba2: SWAP2 00000ba3: POP 00000ba4: JUMPDEST 00000ba5: PUSH1 0x20 00000ba7: DUP3 00000ba8: LT 00000ba9: DUP2 00000baa: SUB 00000bab: PUSH2 0x0bc2 00000bae: JUMPI 00000baf: PUSH4 0x4e487b71 00000bb4: PUSH1 0xe0 00000bb6: SHL 00000bb7: PUSH0 00000bb8: MSTORE 00000bb9: PUSH1 0x22 00000bbb: PUSH1 0x04 00000bbd: MSTORE 00000bbe: PUSH1 0x24 00000bc0: PUSH0 00000bc1: REVERT 00000bc2: JUMPDEST 00000bc3: POP 00000bc4: SWAP2 00000bc5: SWAP1 00000bc6: POP 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH1 0x1f 00000bcb: DUP3 00000bcc: GT 00000bcd: ISZERO 00000bce: PUSH2 0x04ba 00000bd1: JUMPI 00000bd2: DUP1 00000bd3: PUSH0 00000bd4: MSTORE 00000bd5: PUSH1 0x20 00000bd7: PUSH0 00000bd8: KECCAK256 00000bd9: PUSH1 0x1f 00000bdb: DUP5 00000bdc: ADD 00000bdd: PUSH1 0x05 00000bdf: SHR 00000be0: DUP2 00000be1: ADD 00000be2: PUSH1 0x20 00000be4: DUP6 00000be5: LT 00000be6: ISZERO 00000be7: PUSH2 0x0bed 00000bea: JUMPI 00000beb: POP 00000bec: DUP1 00000bed: JUMPDEST 00000bee: PUSH1 0x1f 00000bf0: DUP5 00000bf1: ADD 00000bf2: PUSH1 0x05 00000bf4: SHR 00000bf5: DUP3 00000bf6: ADD 00000bf7: SWAP2 00000bf8: POP 00000bf9: JUMPDEST 00000bfa: DUP2 00000bfb: DUP2 00000bfc: LT 00000bfd: ISZERO 00000bfe: PUSH2 0x0c0c 00000c01: JUMPI 00000c02: PUSH0 00000c03: DUP2 00000c04: SSTORE 00000c05: PUSH1 0x01 00000c07: ADD 00000c08: PUSH2 0x0bf9 00000c0b: JUMP 00000c0c: JUMPDEST 00000c0d: POP 00000c0e: POP 00000c0f: POP 00000c10: POP 00000c11: POP 00000c12: JUMP 00000c13: JUMPDEST 00000c14: DUP2 00000c15: MLOAD 00000c16: PUSH8 0xffffffffffffffff 00000c1f: DUP2 00000c20: GT 00000c21: ISZERO 00000c22: PUSH2 0x0c2d 00000c25: JUMPI 00000c26: PUSH2 0x0c2d 00000c29: PUSH2 0x0ad1 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: PUSH2 0x0c41 00000c31: DUP2 00000c32: PUSH2 0x0c3b 00000c35: DUP5 00000c36: SLOAD 00000c37: PUSH2 0x0b90 00000c3a: JUMP 00000c3b: JUMPDEST 00000c3c: DUP5 00000c3d: PUSH2 0x0bc8 00000c40: JUMP 00000c41: JUMPDEST 00000c42: PUSH1 0x20 00000c44: DUP1 00000c45: PUSH1 0x1f 00000c47: DUP4 00000c48: GT 00000c49: PUSH1 0x01 00000c4b: DUP2 00000c4c: EQ 00000c4d: PUSH2 0x0c74 00000c50: JUMPI 00000c51: PUSH0 00000c52: DUP5 00000c53: ISZERO 00000c54: PUSH2 0x0c5d 00000c57: JUMPI 00000c58: POP 00000c59: DUP6 00000c5a: DUP4 00000c5b: ADD 00000c5c: MLOAD 00000c5d: JUMPDEST 00000c5e: PUSH0 00000c5f: NOT 00000c60: PUSH1 0x03 00000c62: DUP7 00000c63: SWAP1 00000c64: SHL 00000c65: SHR 00000c66: NOT 00000c67: AND 00000c68: PUSH1 0x01 00000c6a: DUP6 00000c6b: SWAP1 00000c6c: SHL 00000c6d: OR 00000c6e: DUP6 00000c6f: SSTORE 00000c70: PUSH2 0x0733 00000c73: JUMP 00000c74: JUMPDEST 00000c75: PUSH0 00000c76: DUP6 00000c77: DUP2 00000c78: MSTORE 00000c79: PUSH1 0x20 00000c7b: DUP2 00000c7c: KECCAK256 00000c7d: PUSH1 0x1f 00000c7f: NOT 00000c80: DUP7 00000c81: AND 00000c82: SWAP2 00000c83: JUMPDEST 00000c84: DUP3 00000c85: DUP2 00000c86: LT 00000c87: ISZERO 00000c88: PUSH2 0x0ca2 00000c8b: JUMPI 00000c8c: DUP9 00000c8d: DUP7 00000c8e: ADD 00000c8f: MLOAD 00000c90: DUP3 00000c91: SSTORE 00000c92: SWAP5 00000c93: DUP5 00000c94: ADD 00000c95: SWAP5 00000c96: PUSH1 0x01 00000c98: SWAP1 00000c99: SWAP2 00000c9a: ADD 00000c9b: SWAP1 00000c9c: DUP5 00000c9d: ADD 00000c9e: PUSH2 0x0c83 00000ca1: JUMP 00000ca2: JUMPDEST 00000ca3: POP 00000ca4: DUP6 00000ca5: DUP3 00000ca6: LT 00000ca7: ISZERO 00000ca8: PUSH2 0x0cbf 00000cab: JUMPI 00000cac: DUP8 00000cad: DUP6 00000cae: ADD 00000caf: MLOAD 00000cb0: PUSH0 00000cb1: NOT 00000cb2: PUSH1 0x03 00000cb4: DUP9 00000cb5: SWAP1 00000cb6: SHL 00000cb7: PUSH1 0xf8 00000cb9: AND 00000cba: SHR 00000cbb: NOT 00000cbc: AND 00000cbd: DUP2 00000cbe: SSTORE 00000cbf: JUMPDEST 00000cc0: POP 00000cc1: POP 00000cc2: POP 00000cc3: POP 00000cc4: POP 00000cc5: PUSH1 0x01 00000cc7: SWAP1 00000cc8: DUP2 00000cc9: SHL 00000cca: ADD 00000ccb: SWAP1 00000ccc: SSTORE 00000ccd: POP 00000cce: JUMP 00000ccf: INVALID 00000cd0: TSTORE 00000cd1: DUP15 00000cd2: SLT 00000cd3: UNKNOWN(0xC3) 00000cd4: SWAP2 00000cd5: TIMESTAMP 00000cd6: SELFDESTRUCT 00000cd7: SWAP7 00000cd8: UNKNOWN(0xD7) 00000cd9: SWAP14 00000cda: DIV 00000cdb: UNKNOWN(0xD1) 00000cdc: TSTORE 00000cdd: SHL 00000cde: LOG1 00000cdf: UNKNOWN(0x26) 00000ce0: SWAP15 00000ce1: UNKNOWN(0x4F) 00000ce2: UNKNOWN(0xE5) 00000ce3: PUSH28 0xb9d26f43523628b34ba108ec02dd7bc7dec4dceedda775e58dd541e0 00000d00: DUP11 00000d01: GT 00000d02: PUSH13 0x6c53815c0bd028192f7b626800
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | cast | SELFDESTRUCT present | 85 | no | — |
viewevidence_json{
"notes": "selfdestruct can remove contract code and send funds; review reachability",
"selfdestruct_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf476966cadbe5596705c30e2a964e350eb6735a0134a7665ce1ef4ab12aff8db
call_targets:
0x54c728a5df68e12b36bdfe5d90efebb2847a2f20
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf476966cadbe5596705c30e2a964e350eb6735a0134a7665ce1ef4ab12aff8db",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x54c728a5df68e12b36bdfe5d90efebb2847a2f20"
],
"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": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe02023a1",
"selector": "0xe02023a1",
"calldata_variants": [
"0xe02023a1",
"0xe02023a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf62d1888",
"selector": "0xf62d1888",
"calldata_variants": [
"0xf62d1888",
"0xf62d18880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x522f6815",
"selector": "0x522f6815",
"calldata_variants": [
"0x522f6815",
"0x522f68150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9830088c",
"selector": "0x9830088c",
"calldata_variants": [
"0x9830088c",
"0x9830088c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1935,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 2270,
"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: 0xf476966cadbe5596705c30e2a964e350eb6735a0134a7665ce1ef4ab12aff8db
call_targets:
0x54c728a5df68e12b36bdfe5d90efebb2847a2f20
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf476966cadbe5596705c30e2a964e350eb6735a0134a7665ce1ef4ab12aff8db",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x54c728a5df68e12b36bdfe5d90efebb2847a2f20"
],
"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": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe02023a1",
"selector": "0xe02023a1",
"calldata_variants": [
"0xe02023a1",
"0xe02023a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf62d1888",
"selector": "0xf62d1888",
"calldata_variants": [
"0xf62d1888",
"0xf62d18880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x522f6815",
"selector": "0x522f6815",
"calldata_variants": [
"0x522f6815",
"0x522f68150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9830088c",
"selector": "0x9830088c",
"calldata_variants": [
"0x9830088c",
"0x9830088c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1935,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 2270,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0xdcfa51c65557f702c4a85b5ca2b10b7ab9b1668e76d886b1bdff13272649f8e2
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xdcfa51c65557f702c4a85b5ca2b10b7ab9b1668e76d886b1bdff13272649f8e2",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe02023a1",
"selector": "0xe02023a1",
"calldata_variants": [
"0xe02023a1",
"0xe02023a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf62d1888",
"selector": "0xf62d1888",
"calldata_variants": [
"0xf62d1888",
"0xf62d18880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x522f6815",
"selector": "0x522f6815",
"calldata_variants": [
"0x522f6815",
"0x522f68150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9830088c",
"selector": "0x9830088c",
"calldata_variants": [
"0x9830088c",
"0x9830088c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|