019ba92a-3012-7351-9d49-f0947889e0a0
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 |
|---|---|---|---|---|
| 35907 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35908 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35909 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35910 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35911 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35912 | detector.run | complete | 1 / 3 | 3 months ago |
| 35913 | 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: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x012c 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x64c9ec6f 00000026: GT 00000027: PUSH2 0x00ad 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0x8da5cb5b 00000031: GT 00000032: PUSH2 0x0071 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0x8da5cb5b 0000003c: EQ 0000003d: PUSH2 0x026f 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x9db1e461 00000047: EQ 00000048: PUSH2 0x0277 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xb8824a85 00000052: EQ 00000053: PUSH2 0x02b2 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xc7c4a615 0000005d: EQ 0000005e: PUSH2 0x02ba 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xfcfff16f 00000068: EQ 00000069: PUSH2 0x02f8 0000006c: JUMPI 0000006d: PUSH2 0x012c 00000070: JUMP 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0x64c9ec6f 00000078: EQ 00000079: PUSH2 0x0223 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x6daf390b 00000083: EQ 00000084: PUSH2 0x022b 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x72d83482 0000008e: EQ 0000008f: PUSH2 0x0233 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x79ba5097 00000099: EQ 0000009a: PUSH2 0x023b 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x84bf1535 000000a4: EQ 000000a5: PUSH2 0x0243 000000a8: JUMPI 000000a9: PUSH2 0x012c 000000ac: JUMP 000000ad: JUMPDEST 000000ae: DUP1 000000af: PUSH4 0x44fa34c0 000000b4: GT 000000b5: PUSH2 0x00f4 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x44fa34c0 000000bf: EQ 000000c0: PUSH2 0x01a9 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x47bccd1e 000000ca: EQ 000000cb: PUSH2 0x01b1 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x53a47bb7 000000d5: EQ 000000d6: PUSH2 0x01ce 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x556bf04e 000000e0: EQ 000000e1: PUSH2 0x01f2 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x641ccd83 000000eb: EQ 000000ec: PUSH2 0x01fa 000000ef: JUMPI 000000f0: PUSH2 0x012c 000000f3: JUMP 000000f4: JUMPDEST 000000f5: DUP1 000000f6: PUSH4 0x06661abd 000000fb: EQ 000000fc: PUSH2 0x0131 000000ff: JUMPI 00000100: DUP1 00000101: PUSH4 0x0cd865ec 00000106: EQ 00000107: PUSH2 0x014b 0000010a: JUMPI 0000010b: DUP1 0000010c: PUSH4 0x1627540c 00000111: EQ 00000112: PUSH2 0x0173 00000115: JUMPI 00000116: DUP1 00000117: PUSH4 0x2ddbd13a 0000011c: EQ 0000011d: PUSH2 0x0199 00000120: JUMPI 00000121: DUP1 00000122: PUSH4 0x3a81026b 00000127: EQ 00000128: PUSH2 0x01a1 0000012b: JUMPI 0000012c: JUMPDEST 0000012d: PUSH1 0x00 0000012f: DUP1 00000130: REVERT 00000131: JUMPDEST 00000132: PUSH2 0x0139 00000135: PUSH2 0x0314 00000138: JUMP 00000139: JUMPDEST 0000013a: PUSH1 0x40 0000013c: DUP1 0000013d: MLOAD 0000013e: SWAP2 0000013f: DUP3 00000140: MSTORE 00000141: MLOAD 00000142: SWAP1 00000143: DUP2 00000144: SWAP1 00000145: SUB 00000146: PUSH1 0x20 00000148: ADD 00000149: SWAP1 0000014a: RETURN 0000014b: JUMPDEST 0000014c: PUSH2 0x0171 0000014f: PUSH1 0x04 00000151: DUP1 00000152: CALLDATASIZE 00000153: SUB 00000154: PUSH1 0x20 00000156: DUP2 00000157: LT 00000158: ISZERO 00000159: PUSH2 0x0161 0000015c: JUMPI 0000015d: PUSH1 0x00 0000015f: DUP1 00000160: REVERT 00000161: JUMPDEST 00000162: POP 00000163: CALLDATALOAD 00000164: PUSH1 0x01 00000166: PUSH1 0x01 00000168: PUSH1 0xa0 0000016a: SHL 0000016b: SUB 0000016c: AND 0000016d: PUSH2 0x031a 00000170: JUMP 00000171: JUMPDEST 00000172: STOP 00000173: JUMPDEST 00000174: PUSH2 0x0171 00000177: PUSH1 0x04 00000179: DUP1 0000017a: CALLDATASIZE 0000017b: SUB 0000017c: PUSH1 0x20 0000017e: DUP2 0000017f: LT 00000180: ISZERO 00000181: PUSH2 0x0189 00000184: JUMPI 00000185: PUSH1 0x00 00000187: DUP1 00000188: REVERT 00000189: JUMPDEST 0000018a: POP 0000018b: CALLDATALOAD 0000018c: PUSH1 0x01 0000018e: PUSH1 0x01 00000190: PUSH1 0xa0 00000192: SHL 00000193: SUB 00000194: AND 00000195: PUSH2 0x045e 00000198: JUMP 00000199: JUMPDEST 0000019a: PUSH2 0x0139 0000019d: PUSH2 0x04fd 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH2 0x0171 000001a5: PUSH2 0x0503 000001a8: JUMP 000001a9: JUMPDEST 000001aa: PUSH2 0x0171 000001ad: PUSH2 0x05cf 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH2 0x0171 000001b5: PUSH1 0x04 000001b7: DUP1 000001b8: CALLDATASIZE 000001b9: SUB 000001ba: PUSH1 0x20 000001bc: DUP2 000001bd: LT 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: POP 000001c9: CALLDATALOAD 000001ca: PUSH2 0x0675 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH2 0x01d6 000001d2: PUSH2 0x086c 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH1 0x40 000001d9: DUP1 000001da: MLOAD 000001db: PUSH1 0x01 000001dd: PUSH1 0x01 000001df: PUSH1 0xa0 000001e1: SHL 000001e2: SUB 000001e3: SWAP1 000001e4: SWAP3 000001e5: AND 000001e6: DUP3 000001e7: MSTORE 000001e8: MLOAD 000001e9: SWAP1 000001ea: DUP2 000001eb: SWAP1 000001ec: SUB 000001ed: PUSH1 0x20 000001ef: ADD 000001f0: SWAP1 000001f1: RETURN 000001f2: JUMPDEST 000001f3: PUSH2 0x0139 000001f6: PUSH2 0x087b 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH2 0x0171 000001fe: PUSH1 0x04 00000200: DUP1 00000201: CALLDATASIZE 00000202: SUB 00000203: PUSH1 0x60 00000205: DUP2 00000206: LT 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: POP 00000212: DUP1 00000213: CALLDATALOAD 00000214: SWAP1 00000215: PUSH1 0x20 00000217: DUP2 00000218: ADD 00000219: CALLDATALOAD 0000021a: SWAP1 0000021b: PUSH1 0x40 0000021d: ADD 0000021e: CALLDATALOAD 0000021f: PUSH2 0x0881 00000222: JUMP 00000223: JUMPDEST 00000224: PUSH2 0x01d6 00000227: PUSH2 0x096d 0000022a: JUMP 0000022b: JUMPDEST 0000022c: PUSH2 0x01d6 0000022f: PUSH2 0x0991 00000232: JUMP 00000233: JUMPDEST 00000234: PUSH2 0x0139 00000237: PUSH2 0x09b5 0000023a: JUMP 0000023b: JUMPDEST 0000023c: PUSH2 0x0171 0000023f: PUSH2 0x09bb 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH2 0x0171 00000247: PUSH1 0x04 00000249: DUP1 0000024a: CALLDATASIZE 0000024b: SUB 0000024c: PUSH1 0x40 0000024e: DUP2 0000024f: LT 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: POP 0000025b: PUSH1 0x01 0000025d: PUSH1 0x01 0000025f: PUSH1 0xa0 00000261: SHL 00000262: SUB 00000263: DUP2 00000264: CALLDATALOAD 00000265: AND 00000266: SWAP1 00000267: PUSH1 0x20 00000269: ADD 0000026a: CALLDATALOAD 0000026b: PUSH2 0x0a5e 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH2 0x01d6 00000273: PUSH2 0x0cf9 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH2 0x0171 0000027b: PUSH1 0x04 0000027d: DUP1 0000027e: CALLDATASIZE 0000027f: SUB 00000280: PUSH1 0xc0 00000282: DUP2 00000283: LT 00000284: ISZERO 00000285: PUSH2 0x028d 00000288: JUMPI 00000289: PUSH1 0x00 0000028b: DUP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: POP 0000028f: DUP1 00000290: CALLDATALOAD 00000291: SWAP1 00000292: PUSH1 0x20 00000294: DUP2 00000295: ADD 00000296: CALLDATALOAD 00000297: SWAP1 00000298: PUSH1 0x40 0000029a: DUP2 0000029b: ADD 0000029c: CALLDATALOAD 0000029d: SWAP1 0000029e: PUSH1 0x60 000002a0: DUP2 000002a1: ADD 000002a2: CALLDATALOAD 000002a3: SWAP1 000002a4: PUSH1 0x80 000002a6: DUP2 000002a7: ADD 000002a8: CALLDATALOAD 000002a9: SWAP1 000002aa: PUSH1 0xa0 000002ac: ADD 000002ad: CALLDATALOAD 000002ae: PUSH2 0x0d08 000002b1: JUMP 000002b2: JUMPDEST 000002b3: PUSH2 0x0139 000002b6: PUSH2 0x1085 000002b9: JUMP 000002ba: JUMPDEST 000002bb: PUSH2 0x02d7 000002be: PUSH1 0x04 000002c0: DUP1 000002c1: CALLDATASIZE 000002c2: SUB 000002c3: PUSH1 0x20 000002c5: DUP2 000002c6: LT 000002c7: ISZERO 000002c8: PUSH2 0x02d0 000002cb: JUMPI 000002cc: PUSH1 0x00 000002ce: DUP1 000002cf: REVERT 000002d0: JUMPDEST 000002d1: POP 000002d2: CALLDATALOAD 000002d3: PUSH2 0x108b 000002d6: JUMP 000002d7: JUMPDEST 000002d8: PUSH1 0x40 000002da: DUP1 000002db: MLOAD 000002dc: SWAP3 000002dd: DUP4 000002de: MSTORE 000002df: PUSH1 0x01 000002e1: PUSH1 0x01 000002e3: PUSH1 0xa0 000002e5: SHL 000002e6: SUB 000002e7: SWAP1 000002e8: SWAP2 000002e9: AND 000002ea: PUSH1 0x20 000002ec: DUP4 000002ed: ADD 000002ee: MSTORE 000002ef: DUP1 000002f0: MLOAD 000002f1: SWAP2 000002f2: DUP3 000002f3: SWAP1 000002f4: SUB 000002f5: ADD 000002f6: SWAP1 000002f7: RETURN 000002f8: JUMPDEST 000002f9: PUSH2 0x0300 000002fc: PUSH2 0x10c2 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH1 0x40 00000303: DUP1 00000304: MLOAD 00000305: SWAP2 00000306: ISZERO 00000307: ISZERO 00000308: DUP3 00000309: MSTORE 0000030a: MLOAD 0000030b: SWAP1 0000030c: DUP2 0000030d: SWAP1 0000030e: SUB 0000030f: PUSH1 0x20 00000311: ADD 00000312: SWAP1 00000313: RETURN 00000314: JUMPDEST 00000315: PUSH1 0x07 00000317: SLOAD 00000318: SWAP1 00000319: JUMP 0000031a: JUMPDEST 0000031b: PUSH1 0x00 0000031d: SLOAD 0000031e: PUSH1 0x01 00000320: PUSH1 0x01 00000322: PUSH1 0xa0 00000324: SHL 00000325: SUB 00000326: AND 00000327: CALLER 00000328: EQ 00000329: PUSH2 0x0365 0000032c: JUMPI 0000032d: PUSH1 0x40 0000032f: DUP1 00000330: MLOAD 00000331: PUSH3 0x461bcd 00000335: PUSH1 0xe5 00000337: SHL 00000338: DUP2 00000339: MSTORE 0000033a: PUSH1 0x20 0000033c: PUSH1 0x04 0000033e: DUP3 0000033f: ADD 00000340: MSTORE 00000341: PUSH1 0x09 00000343: PUSH1 0x24 00000345: DUP3 00000346: ADD 00000347: MSTORE 00000348: PUSH9 0x3737ba1037bbb732b9 00000352: PUSH1 0xb9 00000354: SHL 00000355: PUSH1 0x44 00000357: DUP3 00000358: ADD 00000359: MSTORE 0000035a: SWAP1 0000035b: MLOAD 0000035c: SWAP1 0000035d: DUP2 0000035e: SWAP1 0000035f: SUB 00000360: PUSH1 0x64 00000362: ADD 00000363: SWAP1 00000364: REVERT 00000365: JUMPDEST 00000366: PUSH1 0x00 00000368: DUP2 00000369: PUSH1 0x01 0000036b: PUSH1 0x01 0000036d: PUSH1 0xa0 0000036f: SHL 00000370: SUB 00000371: AND 00000372: PUSH4 0x70a08231 00000377: ADDRESS 00000378: PUSH1 0x40 0000037a: MLOAD 0000037b: DUP3 0000037c: PUSH4 0xffffffff 00000381: AND 00000382: PUSH1 0xe0 00000384: SHL 00000385: DUP2 00000386: MSTORE 00000387: PUSH1 0x04 00000389: ADD 0000038a: DUP1 0000038b: DUP3 0000038c: PUSH1 0x01 0000038e: PUSH1 0x01 00000390: PUSH1 0xa0 00000392: SHL 00000393: SUB 00000394: AND 00000395: DUP2 00000396: MSTORE 00000397: PUSH1 0x20 00000399: ADD 0000039a: SWAP2 0000039b: POP 0000039c: POP 0000039d: PUSH1 0x20 0000039f: PUSH1 0x40 000003a1: MLOAD 000003a2: DUP1 000003a3: DUP4 000003a4: SUB 000003a5: DUP2 000003a6: DUP7 000003a7: DUP1 000003a8: EXTCODESIZE 000003a9: ISZERO 000003aa: DUP1 000003ab: ISZERO 000003ac: PUSH2 0x03b4 000003af: JUMPI 000003b0: PUSH1 0x00 000003b2: DUP1 000003b3: REVERT 000003b4: JUMPDEST 000003b5: POP 000003b6: GAS 000003b7: STATICCALL 000003b8: ISZERO 000003b9: DUP1 000003ba: ISZERO 000003bb: PUSH2 0x03c8 000003be: JUMPI 000003bf: RETURNDATASIZE 000003c0: PUSH1 0x00 000003c2: DUP1 000003c3: RETURNDATACOPY 000003c4: RETURNDATASIZE 000003c5: PUSH1 0x00 000003c7: REVERT 000003c8: JUMPDEST 000003c9: POP 000003ca: POP 000003cb: POP 000003cc: POP 000003cd: PUSH1 0x40 000003cf: MLOAD 000003d0: RETURNDATASIZE 000003d1: PUSH1 0x20 000003d3: DUP2 000003d4: LT 000003d5: ISZERO 000003d6: PUSH2 0x03de 000003d9: JUMPI 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: REVERT 000003de: JUMPDEST 000003df: POP 000003e0: MLOAD 000003e1: SWAP1 000003e2: POP 000003e3: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000404: PUSH1 0x01 00000406: PUSH1 0x01 00000408: PUSH1 0xa0 0000040a: SHL 0000040b: SUB 0000040c: SWAP1 0000040d: DUP2 0000040e: AND 0000040f: SWAP1 00000410: DUP4 00000411: AND 00000412: EQ 00000413: ISZERO 00000414: PUSH2 0x0446 00000417: JUMPI 00000418: PUSH2 0x0441 0000041b: CALLER 0000041c: PUSH2 0x0430 0000041f: PUSH1 0x05 00000421: SLOAD 00000422: DUP5 00000423: PUSH2 0x10cb 00000426: SWAP1 00000427: SWAP2 00000428: SWAP1 00000429: PUSH4 0xffffffff 0000042e: AND 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH1 0x01 00000433: PUSH1 0x01 00000435: PUSH1 0xa0 00000437: SHL 00000438: SUB 00000439: DUP6 0000043a: AND 0000043b: SWAP2 0000043c: SWAP1 0000043d: PUSH2 0x1128 00000440: JUMP 00000441: JUMPDEST 00000442: PUSH2 0x045a 00000445: JUMP 00000446: JUMPDEST 00000447: PUSH2 0x045a 0000044a: PUSH1 0x01 0000044c: PUSH1 0x01 0000044e: PUSH1 0xa0 00000450: SHL 00000451: SUB 00000452: DUP4 00000453: AND 00000454: CALLER 00000455: DUP4 00000456: PUSH2 0x1128 00000459: JUMP 0000045a: JUMPDEST 0000045b: POP 0000045c: POP 0000045d: JUMP 0000045e: JUMPDEST 0000045f: PUSH1 0x00 00000461: SLOAD 00000462: PUSH1 0x01 00000464: PUSH1 0x01 00000466: PUSH1 0xa0 00000468: SHL 00000469: SUB 0000046a: AND 0000046b: CALLER 0000046c: EQ 0000046d: PUSH2 0x04a9 00000470: JUMPI 00000471: PUSH1 0x40 00000473: DUP1 00000474: MLOAD 00000475: PUSH3 0x461bcd 00000479: PUSH1 0xe5 0000047b: SHL 0000047c: DUP2 0000047d: MSTORE 0000047e: PUSH1 0x20 00000480: PUSH1 0x04 00000482: DUP3 00000483: ADD 00000484: MSTORE 00000485: PUSH1 0x09 00000487: PUSH1 0x24 00000489: DUP3 0000048a: ADD 0000048b: MSTORE 0000048c: PUSH9 0x3737ba1037bbb732b9 00000496: PUSH1 0xb9 00000498: SHL 00000499: PUSH1 0x44 0000049b: DUP3 0000049c: ADD 0000049d: MSTORE 0000049e: SWAP1 0000049f: MLOAD 000004a0: SWAP1 000004a1: DUP2 000004a2: SWAP1 000004a3: SUB 000004a4: PUSH1 0x64 000004a6: ADD 000004a7: SWAP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: PUSH1 0x01 000004ac: DUP1 000004ad: SLOAD 000004ae: PUSH1 0x01 000004b0: PUSH1 0x01 000004b2: PUSH1 0xa0 000004b4: SHL 000004b5: SUB 000004b6: DUP4 000004b7: AND 000004b8: PUSH1 0x01 000004ba: PUSH1 0x01 000004bc: PUSH1 0xa0 000004be: SHL 000004bf: SUB 000004c0: NOT 000004c1: SWAP1 000004c2: SWAP2 000004c3: AND 000004c4: DUP2 000004c5: OR 000004c6: SWAP1 000004c7: SWAP2 000004c8: SSTORE 000004c9: PUSH1 0x40 000004cb: DUP1 000004cc: MLOAD 000004cd: SWAP2 000004ce: DUP3 000004cf: MSTORE 000004d0: MLOAD 000004d1: PUSH32 0x906a1c6bd7e3091ea86693dd029a831c19049ce77f1dce2ce0bab1cacbabce22 000004f2: SWAP2 000004f3: DUP2 000004f4: SWAP1 000004f5: SUB 000004f6: PUSH1 0x20 000004f8: ADD 000004f9: SWAP1 000004fa: LOG1 000004fb: POP 000004fc: JUMP 000004fd: JUMPDEST 000004fe: PUSH1 0x05 00000500: SLOAD 00000501: DUP2 00000502: JUMP 00000503: JUMPDEST 00000504: PUSH1 0x00 00000506: SLOAD 00000507: PUSH1 0x01 00000509: PUSH1 0x01 0000050b: PUSH1 0xa0 0000050d: SHL 0000050e: SUB 0000050f: AND 00000510: CALLER 00000511: EQ 00000512: PUSH2 0x054e 00000515: JUMPI 00000516: PUSH1 0x40 00000518: DUP1 00000519: MLOAD 0000051a: PUSH3 0x461bcd 0000051e: PUSH1 0xe5 00000520: SHL 00000521: DUP2 00000522: MSTORE 00000523: PUSH1 0x20 00000525: PUSH1 0x04 00000527: DUP3 00000528: ADD 00000529: MSTORE 0000052a: PUSH1 0x09 0000052c: PUSH1 0x24 0000052e: DUP3 0000052f: ADD 00000530: MSTORE 00000531: PUSH9 0x3737ba1037bbb732b9 0000053b: PUSH1 0xb9 0000053d: SHL 0000053e: PUSH1 0x44 00000540: DUP3 00000541: ADD 00000542: MSTORE 00000543: SWAP1 00000544: MLOAD 00000545: SWAP1 00000546: DUP2 00000547: SWAP1 00000548: SUB 00000549: PUSH1 0x64 0000054b: ADD 0000054c: SWAP1 0000054d: REVERT 0000054e: JUMPDEST 0000054f: PUSH1 0x40 00000551: DUP1 00000552: MLOAD 00000553: PUSH4 0x0589d503 00000558: PUSH1 0xe2 0000055a: SHL 0000055b: DUP2 0000055c: MSTORE 0000055d: CALLER 0000055e: PUSH1 0x04 00000560: DUP3 00000561: ADD 00000562: MSTORE 00000563: SWAP1 00000564: MLOAD 00000565: PUSH1 0x01 00000567: PUSH1 0x01 00000569: PUSH1 0xa0 0000056b: SHL 0000056c: SUB 0000056d: PUSH32 0x00000000000000000000000074876acb3d2a007687c285b5a75a0d7b470b3d69 0000058e: AND 0000058f: SWAP2 00000590: PUSH4 0x1627540c 00000595: SWAP2 00000596: PUSH1 0x24 00000598: DUP1 00000599: DUP4 0000059a: ADD 0000059b: SWAP3 0000059c: PUSH1 0x00 0000059e: SWAP3 0000059f: SWAP2 000005a0: SWAP1 000005a1: DUP3 000005a2: SWAP1 000005a3: SUB 000005a4: ADD 000005a5: DUP2 000005a6: DUP4 000005a7: DUP8 000005a8: DUP1 000005a9: EXTCODESIZE 000005aa: ISZERO 000005ab: DUP1 000005ac: ISZERO 000005ad: PUSH2 0x05b5 000005b0: JUMPI 000005b1: PUSH1 0x00 000005b3: DUP1 000005b4: REVERT 000005b5: JUMPDEST 000005b6: POP 000005b7: GAS 000005b8: CALL 000005b9: ISZERO 000005ba: DUP1 000005bb: ISZERO 000005bc: PUSH2 0x05c9 000005bf: JUMPI 000005c0: RETURNDATASIZE 000005c1: PUSH1 0x00 000005c3: DUP1 000005c4: RETURNDATACOPY 000005c5: RETURNDATASIZE 000005c6: PUSH1 0x00 000005c8: REVERT 000005c9: JUMPDEST 000005ca: POP 000005cb: POP 000005cc: POP 000005cd: POP 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH1 0x00 000005d2: SLOAD 000005d3: PUSH1 0x01 000005d5: PUSH1 0x01 000005d7: PUSH1 0xa0 000005d9: SHL 000005da: SUB 000005db: AND 000005dc: CALLER 000005dd: EQ 000005de: PUSH2 0x061a 000005e1: JUMPI 000005e2: PUSH1 0x40 000005e4: DUP1 000005e5: MLOAD 000005e6: PUSH3 0x461bcd 000005ea: PUSH1 0xe5 000005ec: SHL 000005ed: DUP2 000005ee: MSTORE 000005ef: PUSH1 0x20 000005f1: PUSH1 0x04 000005f3: DUP3 000005f4: ADD 000005f5: MSTORE 000005f6: PUSH1 0x09 000005f8: PUSH1 0x24 000005fa: DUP3 000005fb: ADD 000005fc: MSTORE 000005fd: PUSH9 0x3737ba1037bbb732b9 00000607: PUSH1 0xb9 00000609: SHL 0000060a: PUSH1 0x44 0000060c: DUP3 0000060d: ADD 0000060e: MSTORE 0000060f: SWAP1 00000610: MLOAD 00000611: SWAP1 00000612: DUP2 00000613: SWAP1 00000614: SUB 00000615: PUSH1 0x64 00000617: ADD 00000618: SWAP1 00000619: REVERT 0000061a: JUMPDEST 0000061b: PUSH32 0x00000000000000000000000074876acb3d2a007687c285b5a75a0d7b470b3d69 0000063c: PUSH1 0x01 0000063e: PUSH1 0x01 00000640: PUSH1 0xa0 00000642: SHL 00000643: SUB 00000644: AND 00000645: PUSH4 0x79ba5097 0000064a: PUSH1 0x40 0000064c: MLOAD 0000064d: DUP2 0000064e: PUSH4 0xffffffff 00000653: AND 00000654: PUSH1 0xe0 00000656: SHL 00000657: DUP2 00000658: MSTORE 00000659: PUSH1 0x04 0000065b: ADD 0000065c: PUSH1 0x00 0000065e: PUSH1 0x40 00000660: MLOAD 00000661: DUP1 00000662: DUP4 00000663: SUB 00000664: DUP2 00000665: PUSH1 0x00 00000667: DUP8 00000668: DUP1 00000669: EXTCODESIZE 0000066a: ISZERO 0000066b: DUP1 0000066c: ISZERO 0000066d: PUSH2 0x05b5 00000670: JUMPI 00000671: PUSH1 0x00 00000673: DUP1 00000674: REVERT 00000675: JUMPDEST 00000676: PUSH1 0x06 00000678: SLOAD 00000679: PUSH1 0xff 0000067b: AND 0000067c: PUSH2 0x06b7 0000067f: JUMPI 00000680: PUSH1 0x40 00000682: DUP1 00000683: MLOAD 00000684: PUSH3 0x461bcd 00000688: PUSH1 0xe5 0000068a: SHL 0000068b: DUP2 0000068c: MSTORE 0000068d: PUSH1 0x20 0000068f: PUSH1 0x04 00000691: DUP3 00000692: ADD 00000693: MSTORE 00000694: PUSH1 0x08 00000696: PUSH1 0x24 00000698: DUP3 00000699: ADD 0000069a: MSTORE 0000069b: PUSH8 0x3737ba1037b832b7 000006a4: PUSH1 0xc1 000006a6: SHL 000006a7: PUSH1 0x44 000006a9: DUP3 000006aa: ADD 000006ab: MSTORE 000006ac: SWAP1 000006ad: MLOAD 000006ae: SWAP1 000006af: DUP2 000006b0: SWAP1 000006b1: SUB 000006b2: PUSH1 0x64 000006b4: ADD 000006b5: SWAP1 000006b6: REVERT 000006b7: JUMPDEST 000006b8: PUSH1 0x00 000006ba: PUSH1 0x07 000006bc: DUP3 000006bd: DUP2 000006be: SLOAD 000006bf: DUP2 000006c0: LT 000006c1: PUSH2 0x06c6 000006c4: JUMPI 000006c5: INVALID 000006c6: JUMPDEST 000006c7: PUSH1 0x00 000006c9: SWAP2 000006ca: DUP3 000006cb: MSTORE 000006cc: PUSH1 0x20 000006ce: SWAP2 000006cf: DUP3 000006d0: SWAP1 000006d1: KECCAK256 000006d2: PUSH1 0x40 000006d4: DUP1 000006d5: MLOAD 000006d6: DUP1 000006d7: DUP3 000006d8: ADD 000006d9: SWAP1 000006da: SWAP2 000006db: MSTORE 000006dc: PUSH1 0x02 000006de: SWAP1 000006df: SWAP3 000006e0: MUL 000006e1: ADD 000006e2: DUP1 000006e3: SLOAD 000006e4: DUP3 000006e5: MSTORE 000006e6: PUSH1 0x01 000006e8: ADD 000006e9: SLOAD 000006ea: PUSH1 0x01 000006ec: PUSH1 0x01 000006ee: PUSH1 0xa0 000006f0: SHL 000006f1: SUB 000006f2: AND 000006f3: SWAP2 000006f4: DUP2 000006f5: ADD 000006f6: DUP3 000006f7: SWAP1 000006f8: MSTORE 000006f9: SWAP2 000006fa: POP 000006fb: CALLER 000006fc: EQ 000006fd: PUSH2 0x073d 00000700: JUMPI 00000701: PUSH1 0x40 00000703: DUP1 00000704: MLOAD 00000705: PUSH3 0x461bcd 00000709: PUSH1 0xe5 0000070b: SHL 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x20 00000710: PUSH1 0x04 00000712: DUP3 00000713: ADD 00000714: MSTORE 00000715: PUSH1 0x0d 00000717: PUSH1 0x24 00000719: DUP3 0000071a: ADD 0000071b: MSTORE 0000071c: PUSH13 0x3737ba103232b837b9b4ba37b9 0000072a: PUSH1 0x99 0000072c: SHL 0000072d: PUSH1 0x44 0000072f: DUP3 00000730: ADD 00000731: MSTORE 00000732: SWAP1 00000733: MLOAD 00000734: SWAP1 00000735: DUP2 00000736: SWAP1 00000737: SUB 00000738: PUSH1 0x64 0000073a: ADD 0000073b: SWAP1 0000073c: REVERT 0000073d: JUMPDEST 0000073e: PUSH1 0x07 00000740: SLOAD 00000741: PUSH1 0x00 00000743: NOT 00000744: ADD 00000745: DUP3 00000746: DUP2 00000747: EQ 00000748: PUSH2 0x07ae 0000074b: JUMPI 0000074c: PUSH1 0x07 0000074e: DUP2 0000074f: DUP2 00000750: SLOAD 00000751: DUP2 00000752: LT 00000753: PUSH2 0x0758 00000756: JUMPI 00000757: INVALID 00000758: JUMPDEST 00000759: SWAP1 0000075a: PUSH1 0x00 0000075c: MSTORE 0000075d: PUSH1 0x20 0000075f: PUSH1 0x00 00000761: KECCAK256 00000762: SWAP1 00000763: PUSH1 0x02 00000765: MUL 00000766: ADD 00000767: PUSH1 0x07 00000769: DUP5 0000076a: DUP2 0000076b: SLOAD 0000076c: DUP2 0000076d: LT 0000076e: PUSH2 0x0773 00000771: JUMPI 00000772: INVALID 00000773: JUMPDEST 00000774: PUSH1 0x00 00000776: SWAP2 00000777: DUP3 00000778: MSTORE 00000779: PUSH1 0x20 0000077b: SWAP1 0000077c: SWAP2 0000077d: KECCAK256 0000077e: DUP3 0000077f: SLOAD 00000780: PUSH1 0x02 00000782: SWAP1 00000783: SWAP3 00000784: MUL 00000785: ADD 00000786: SWAP1 00000787: DUP2 00000788: SSTORE 00000789: PUSH1 0x01 0000078b: SWAP2 0000078c: DUP3 0000078d: ADD 0000078e: SLOAD 0000078f: SWAP2 00000790: ADD 00000791: DUP1 00000792: SLOAD 00000793: PUSH1 0x01 00000795: PUSH1 0x01 00000797: PUSH1 0xa0 00000799: SHL 0000079a: SUB 0000079b: NOT 0000079c: AND 0000079d: PUSH1 0x01 0000079f: PUSH1 0x01 000007a1: PUSH1 0xa0 000007a3: SHL 000007a4: SUB 000007a5: SWAP1 000007a6: SWAP3 000007a7: AND 000007a8: SWAP2 000007a9: SWAP1 000007aa: SWAP2 000007ab: OR 000007ac: SWAP1 000007ad: SSTORE 000007ae: JUMPDEST 000007af: PUSH1 0x07 000007b1: DUP1 000007b2: SLOAD 000007b3: DUP1 000007b4: PUSH2 0x07b9 000007b7: JUMPI 000007b8: INVALID 000007b9: JUMPDEST 000007ba: PUSH1 0x00 000007bc: DUP3 000007bd: DUP2 000007be: MSTORE 000007bf: PUSH1 0x20 000007c1: DUP2 000007c2: KECCAK256 000007c3: PUSH1 0x02 000007c5: PUSH1 0x00 000007c7: NOT 000007c8: SWAP1 000007c9: SWAP4 000007ca: ADD 000007cb: SWAP3 000007cc: DUP4 000007cd: MUL 000007ce: ADD 000007cf: SWAP1 000007d0: DUP2 000007d1: SSTORE 000007d2: PUSH1 0x01 000007d4: ADD 000007d5: DUP1 000007d6: SLOAD 000007d7: PUSH1 0x01 000007d9: PUSH1 0x01 000007db: PUSH1 0xa0 000007dd: SHL 000007de: SUB 000007df: NOT 000007e0: AND 000007e1: SWAP1 000007e2: SSTORE 000007e3: SWAP1 000007e4: SSTORE 000007e5: DUP2 000007e6: MLOAD 000007e7: PUSH1 0x05 000007e9: SLOAD 000007ea: PUSH2 0x07f2 000007ed: SWAP2 000007ee: PUSH2 0x10cb 000007f1: JUMP 000007f2: JUMPDEST 000007f3: PUSH1 0x05 000007f5: SSTORE 000007f6: DUP2 000007f7: MLOAD 000007f8: PUSH2 0x082d 000007fb: SWAP1 000007fc: PUSH1 0x01 000007fe: PUSH1 0x01 00000800: PUSH1 0xa0 00000802: SHL 00000803: SUB 00000804: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000825: AND 00000826: SWAP1 00000827: CALLER 00000828: SWAP1 00000829: PUSH2 0x1128 0000082c: JUMP 0000082d: JUMPDEST 0000082e: PUSH1 0x40 00000830: DUP1 00000831: MLOAD 00000832: DUP5 00000833: DUP2 00000834: MSTORE 00000835: PUSH1 0x20 00000837: DUP2 00000838: ADD 00000839: DUP4 0000083a: SWAP1 0000083b: MSTORE 0000083c: DUP2 0000083d: MLOAD 0000083e: CALLER 0000083f: SWAP3 00000840: PUSH32 0x7bb8d12624a1a53c969d323cddeea20dabf085342e90ec99ae3baf60d6b24fbc 00000861: SWAP3 00000862: DUP3 00000863: SWAP1 00000864: SUB 00000865: ADD 00000866: SWAP1 00000867: LOG2 00000868: POP 00000869: POP 0000086a: POP 0000086b: JUMP 0000086c: JUMPDEST 0000086d: PUSH1 0x01 0000086f: SLOAD 00000870: PUSH1 0x01 00000872: PUSH1 0x01 00000874: PUSH1 0xa0 00000876: SHL 00000877: SUB 00000878: AND 00000879: DUP2 0000087a: JUMP 0000087b: JUMPDEST 0000087c: PUSH1 0x02 0000087e: SLOAD 0000087f: DUP2 00000880: JUMP 00000881: JUMPDEST 00000882: PUSH1 0x00 00000884: SLOAD 00000885: PUSH1 0x01 00000887: PUSH1 0x01 00000889: PUSH1 0xa0 0000088b: SHL 0000088c: SUB 0000088d: AND 0000088e: CALLER 0000088f: EQ 00000890: PUSH2 0x08cc 00000893: JUMPI 00000894: PUSH1 0x40 00000896: DUP1 00000897: MLOAD 00000898: PUSH3 0x461bcd 0000089c: PUSH1 0xe5 0000089e: SHL 0000089f: DUP2 000008a0: MSTORE 000008a1: PUSH1 0x20 000008a3: PUSH1 0x04 000008a5: DUP3 000008a6: ADD 000008a7: MSTORE 000008a8: PUSH1 0x09 000008aa: PUSH1 0x24 000008ac: DUP3 000008ad: ADD 000008ae: MSTORE 000008af: PUSH9 0x3737ba1037bbb732b9 000008b9: PUSH1 0xb9 000008bb: SHL 000008bc: PUSH1 0x44 000008be: DUP3 000008bf: ADD 000008c0: MSTORE 000008c1: SWAP1 000008c2: MLOAD 000008c3: SWAP1 000008c4: DUP2 000008c5: SWAP1 000008c6: SUB 000008c7: PUSH1 0x64 000008c9: ADD 000008ca: SWAP1 000008cb: REVERT 000008cc: JUMPDEST 000008cd: PUSH1 0x06 000008cf: SLOAD 000008d0: PUSH1 0xff 000008d2: AND 000008d3: ISZERO 000008d4: PUSH2 0x0911 000008d7: JUMPI 000008d8: PUSH1 0x40 000008da: DUP1 000008db: MLOAD 000008dc: PUSH3 0x461bcd 000008e0: PUSH1 0xe5 000008e2: SHL 000008e3: DUP2 000008e4: MSTORE 000008e5: PUSH1 0x20 000008e7: PUSH1 0x04 000008e9: DUP3 000008ea: ADD 000008eb: MSTORE 000008ec: PUSH1 0x0a 000008ee: PUSH1 0x24 000008f0: DUP3 000008f1: ADD 000008f2: MSTORE 000008f3: PUSH10 0x1b9bdd0818db1bdcd959 000008fe: PUSH1 0xb2 00000900: SHL 00000901: PUSH1 0x44 00000903: DUP3 00000904: ADD 00000905: MSTORE 00000906: SWAP1 00000907: MLOAD 00000908: SWAP1 00000909: DUP2 0000090a: SWAP1 0000090b: SUB 0000090c: PUSH1 0x64 0000090e: ADD 0000090f: SWAP1 00000910: REVERT 00000911: JUMPDEST 00000912: DUP2 00000913: DUP2 00000914: LT 00000915: ISZERO 00000916: PUSH2 0x0952 00000919: JUMPI 0000091a: PUSH1 0x40 0000091c: DUP1 0000091d: MLOAD 0000091e: PUSH3 0x461bcd 00000922: PUSH1 0xe5 00000924: SHL 00000925: DUP2 00000926: MSTORE 00000927: PUSH1 0x20 00000929: PUSH1 0x04 0000092b: DUP3 0000092c: ADD 0000092d: MSTORE 0000092e: PUSH1 0x09 00000930: PUSH1 0x24 00000932: DUP3 00000933: ADD 00000934: MSTORE 00000935: PUSH9 0x0dad2dc407c40dac2f 0000093f: PUSH1 0xbb 00000941: SHL 00000942: PUSH1 0x44 00000944: DUP3 00000945: ADD 00000946: MSTORE 00000947: SWAP1 00000948: MLOAD 00000949: SWAP1 0000094a: DUP2 0000094b: SWAP1 0000094c: SUB 0000094d: PUSH1 0x64 0000094f: ADD 00000950: SWAP1 00000951: REVERT 00000952: JUMPDEST 00000953: PUSH1 0x06 00000955: DUP1 00000956: SLOAD 00000957: PUSH1 0xff 00000959: NOT 0000095a: AND 0000095b: PUSH1 0x01 0000095d: OR 0000095e: SWAP1 0000095f: SSTORE 00000960: PUSH1 0x02 00000962: SWAP3 00000963: SWAP1 00000964: SWAP3 00000965: SSTORE 00000966: PUSH1 0x03 00000968: SSTORE 00000969: PUSH1 0x04 0000096b: SSTORE 0000096c: JUMP 0000096d: JUMPDEST 0000096e: PUSH32 0x00000000000000000000000074876acb3d2a007687c285b5a75a0d7b470b3d69 0000098f: DUP2 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000009b3: DUP2 000009b4: JUMP 000009b5: JUMPDEST 000009b6: PUSH1 0x03 000009b8: SLOAD 000009b9: DUP2 000009ba: JUMP 000009bb: JUMPDEST 000009bc: PUSH1 0x01 000009be: SLOAD 000009bf: PUSH1 0x01 000009c1: PUSH1 0x01 000009c3: PUSH1 0xa0 000009c5: SHL 000009c6: SUB 000009c7: AND 000009c8: CALLER 000009c9: EQ 000009ca: PUSH2 0x0a0a 000009cd: JUMPI 000009ce: PUSH1 0x40 000009d0: DUP1 000009d1: MLOAD 000009d2: PUSH3 0x461bcd 000009d6: PUSH1 0xe5 000009d8: SHL 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x20 000009dd: PUSH1 0x04 000009df: DUP3 000009e0: ADD 000009e1: MSTORE 000009e2: PUSH1 0x0d 000009e4: PUSH1 0x24 000009e6: DUP3 000009e7: ADD 000009e8: MSTORE 000009e9: PUSH13 0x1b9bdd081b9bdb5a5b985d1959 000009f7: PUSH1 0x9a 000009f9: SHL 000009fa: PUSH1 0x44 000009fc: DUP3 000009fd: ADD 000009fe: MSTORE 000009ff: SWAP1 00000a00: MLOAD 00000a01: SWAP1 00000a02: DUP2 00000a03: SWAP1 00000a04: SUB 00000a05: PUSH1 0x64 00000a07: ADD 00000a08: SWAP1 00000a09: REVERT 00000a0a: JUMPDEST 00000a0b: PUSH1 0x00 00000a0d: DUP1 00000a0e: SLOAD 00000a0f: PUSH1 0x01 00000a11: PUSH1 0x01 00000a13: PUSH1 0xa0 00000a15: SHL 00000a16: SUB 00000a17: NOT 00000a18: SWAP1 00000a19: DUP2 00000a1a: AND 00000a1b: CALLER 00000a1c: SWAP1 00000a1d: DUP2 00000a1e: OR 00000a1f: SWAP1 00000a20: SWAP3 00000a21: SSTORE 00000a22: PUSH1 0x01 00000a24: DUP1 00000a25: SLOAD 00000a26: SWAP1 00000a27: SWAP2 00000a28: AND 00000a29: SWAP1 00000a2a: SSTORE 00000a2b: PUSH1 0x40 00000a2d: DUP1 00000a2e: MLOAD 00000a2f: SWAP2 00000a30: DUP3 00000a31: MSTORE 00000a32: MLOAD 00000a33: PUSH32 0xa2ea9883a321a3e97b8266c2b078bfeec6d50c711ed71f874a90d500ae2eaf36 00000a54: SWAP2 00000a55: DUP2 00000a56: SWAP1 00000a57: SUB 00000a58: PUSH1 0x20 00000a5a: ADD 00000a5b: SWAP1 00000a5c: LOG1 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: PUSH1 0x06 00000a61: SLOAD 00000a62: PUSH1 0xff 00000a64: AND 00000a65: PUSH2 0x0aa0 00000a68: JUMPI 00000a69: PUSH1 0x40 00000a6b: DUP1 00000a6c: MLOAD 00000a6d: PUSH3 0x461bcd 00000a71: PUSH1 0xe5 00000a73: SHL 00000a74: DUP2 00000a75: MSTORE 00000a76: PUSH1 0x20 00000a78: PUSH1 0x04 00000a7a: DUP3 00000a7b: ADD 00000a7c: MSTORE 00000a7d: PUSH1 0x08 00000a7f: PUSH1 0x24 00000a81: DUP3 00000a82: ADD 00000a83: MSTORE 00000a84: PUSH8 0x3737ba1037b832b7 00000a8d: PUSH1 0xc1 00000a8f: SHL 00000a90: PUSH1 0x44 00000a92: DUP3 00000a93: ADD 00000a94: MSTORE 00000a95: SWAP1 00000a96: MLOAD 00000a97: SWAP1 00000a98: DUP2 00000a99: SWAP1 00000a9a: SUB 00000a9b: PUSH1 0x64 00000a9d: ADD 00000a9e: SWAP1 00000a9f: REVERT 00000aa0: JUMPDEST 00000aa1: PUSH1 0x02 00000aa3: SLOAD 00000aa4: PUSH1 0x07 00000aa6: SLOAD 00000aa7: LT 00000aa8: PUSH2 0x0ae8 00000aab: JUMPI 00000aac: PUSH1 0x40 00000aae: DUP1 00000aaf: MLOAD 00000ab0: PUSH3 0x461bcd 00000ab4: PUSH1 0xe5 00000ab6: SHL 00000ab7: DUP2 00000ab8: MSTORE 00000ab9: PUSH1 0x20 00000abb: PUSH1 0x04 00000abd: DUP3 00000abe: ADD 00000abf: MSTORE 00000ac0: PUSH1 0x0d 00000ac2: PUSH1 0x24 00000ac4: DUP3 00000ac5: ADD 00000ac6: MSTORE 00000ac7: PUSH13 0x0c6dedadad2e8e6407c40dac2f 00000ad5: PUSH1 0x9b 00000ad7: SHL 00000ad8: PUSH1 0x44 00000ada: DUP3 00000adb: ADD 00000adc: MSTORE 00000add: SWAP1 00000ade: MLOAD 00000adf: SWAP1 00000ae0: DUP2 00000ae1: SWAP1 00000ae2: SUB 00000ae3: PUSH1 0x64 00000ae5: ADD 00000ae6: SWAP1 00000ae7: REVERT 00000ae8: JUMPDEST 00000ae9: PUSH1 0x01 00000aeb: PUSH1 0x01 00000aed: PUSH1 0xa0 00000aef: SHL 00000af0: SUB 00000af1: DUP3 00000af2: AND 00000af3: PUSH2 0x0b43 00000af6: JUMPI 00000af7: PUSH1 0x40 00000af9: DUP1 00000afa: MLOAD 00000afb: PUSH3 0x461bcd 00000aff: PUSH1 0xe5 00000b01: SHL 00000b02: DUP2 00000b03: MSTORE 00000b04: PUSH1 0x20 00000b06: PUSH1 0x04 00000b08: DUP3 00000b09: ADD 00000b0a: MSTORE 00000b0b: PUSH1 0x18 00000b0d: PUSH1 0x24 00000b0f: DUP3 00000b10: ADD 00000b11: MSTORE 00000b12: PUSH32 0x6465706f7369746f72203d207a65726f20616464726573730000000000000000 00000b33: PUSH1 0x44 00000b35: DUP3 00000b36: ADD 00000b37: MSTORE 00000b38: SWAP1 00000b39: MLOAD 00000b3a: SWAP1 00000b3b: DUP2 00000b3c: SWAP1 00000b3d: SUB 00000b3e: PUSH1 0x64 00000b40: ADD 00000b41: SWAP1 00000b42: REVERT 00000b43: JUMPDEST 00000b44: PUSH1 0x03 00000b46: SLOAD 00000b47: DUP2 00000b48: LT 00000b49: ISZERO 00000b4a: PUSH2 0x0b89 00000b4d: JUMPI 00000b4e: PUSH1 0x40 00000b50: DUP1 00000b51: MLOAD 00000b52: PUSH3 0x461bcd 00000b56: PUSH1 0xe5 00000b58: SHL 00000b59: DUP2 00000b5a: MSTORE 00000b5b: PUSH1 0x20 00000b5d: PUSH1 0x04 00000b5f: DUP3 00000b60: ADD 00000b61: MSTORE 00000b62: PUSH1 0x0c 00000b64: PUSH1 0x24 00000b66: DUP3 00000b67: ADD 00000b68: MSTORE 00000b69: PUSH12 0x30b6b7bab73a101e1036b4b7 00000b76: PUSH1 0xa1 00000b78: SHL 00000b79: PUSH1 0x44 00000b7b: DUP3 00000b7c: ADD 00000b7d: MSTORE 00000b7e: SWAP1 00000b7f: MLOAD 00000b80: SWAP1 00000b81: DUP2 00000b82: SWAP1 00000b83: SUB 00000b84: PUSH1 0x64 00000b86: ADD 00000b87: SWAP1 00000b88: REVERT 00000b89: JUMPDEST 00000b8a: PUSH1 0x04 00000b8c: SLOAD 00000b8d: DUP2 00000b8e: GT 00000b8f: ISZERO 00000b90: PUSH2 0x0bcf 00000b93: JUMPI 00000b94: PUSH1 0x40 00000b96: DUP1 00000b97: MLOAD 00000b98: PUSH3 0x461bcd 00000b9c: PUSH1 0xe5 00000b9e: SHL 00000b9f: DUP2 00000ba0: MSTORE 00000ba1: PUSH1 0x20 00000ba3: PUSH1 0x04 00000ba5: DUP3 00000ba6: ADD 00000ba7: MSTORE 00000ba8: PUSH1 0x0c 00000baa: PUSH1 0x24 00000bac: DUP3 00000bad: ADD 00000bae: MSTORE 00000baf: PUSH12 0x0c2dadeeadce8407c40dac2f 00000bbc: PUSH1 0xa3 00000bbe: SHL 00000bbf: PUSH1 0x44 00000bc1: DUP3 00000bc2: ADD 00000bc3: MSTORE 00000bc4: SWAP1 00000bc5: MLOAD 00000bc6: SWAP1 00000bc7: DUP2 00000bc8: SWAP1 00000bc9: SUB 00000bca: PUSH1 0x64 00000bcc: ADD 00000bcd: SWAP1 00000bce: REVERT 00000bcf: JUMPDEST 00000bd0: PUSH2 0x0c04 00000bd3: PUSH1 0x01 00000bd5: PUSH1 0x01 00000bd7: PUSH1 0xa0 00000bd9: SHL 00000bda: SUB 00000bdb: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000bfc: AND 00000bfd: CALLER 00000bfe: ADDRESS 00000bff: DUP5 00000c00: PUSH2 0x117f 00000c03: JUMP 00000c04: JUMPDEST 00000c05: PUSH1 0x40 00000c07: DUP1 00000c08: MLOAD 00000c09: DUP1 00000c0a: DUP3 00000c0b: ADD 00000c0c: SWAP1 00000c0d: SWAP2 00000c0e: MSTORE 00000c0f: DUP2 00000c10: DUP2 00000c11: MSTORE 00000c12: PUSH1 0x01 00000c14: PUSH1 0x01 00000c16: PUSH1 0xa0 00000c18: SHL 00000c19: SUB 00000c1a: DUP4 00000c1b: DUP2 00000c1c: AND 00000c1d: PUSH1 0x20 00000c1f: DUP4 00000c20: ADD 00000c21: SWAP1 00000c22: DUP2 00000c23: MSTORE 00000c24: PUSH1 0x07 00000c26: DUP1 00000c27: SLOAD 00000c28: PUSH1 0x01 00000c2a: DUP2 00000c2b: ADD 00000c2c: DUP3 00000c2d: SSTORE 00000c2e: PUSH1 0x00 00000c30: SWAP2 00000c31: SWAP1 00000c32: SWAP2 00000c33: MSTORE 00000c34: SWAP3 00000c35: MLOAD 00000c36: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c688 00000c57: PUSH1 0x02 00000c59: SWAP1 00000c5a: SWAP5 00000c5b: MUL 00000c5c: SWAP4 00000c5d: DUP5 00000c5e: ADD 00000c5f: SSTORE 00000c60: MLOAD 00000c61: PUSH32 0xa66cc928b5edb82af9bd49922954155ab7b0942694bea4ce44661d9a8736c689 00000c82: SWAP1 00000c83: SWAP3 00000c84: ADD 00000c85: DUP1 00000c86: SLOAD 00000c87: PUSH1 0x01 00000c89: PUSH1 0x01 00000c8b: PUSH1 0xa0 00000c8d: SHL 00000c8e: SUB 00000c8f: NOT 00000c90: AND 00000c91: SWAP3 00000c92: SWAP1 00000c93: SWAP2 00000c94: AND 00000c95: SWAP2 00000c96: SWAP1 00000c97: SWAP2 00000c98: OR 00000c99: SWAP1 00000c9a: SSTORE 00000c9b: PUSH1 0x05 00000c9d: SLOAD 00000c9e: PUSH2 0x0ca7 00000ca1: SWAP1 00000ca2: DUP3 00000ca3: PUSH2 0x11d9 00000ca6: JUMP 00000ca7: JUMPDEST 00000ca8: PUSH1 0x05 00000caa: SSTORE 00000cab: PUSH1 0x07 00000cad: SLOAD 00000cae: PUSH1 0x40 00000cb0: DUP1 00000cb1: MLOAD 00000cb2: DUP4 00000cb3: DUP2 00000cb4: MSTORE 00000cb5: PUSH1 0x00 00000cb7: NOT 00000cb8: SWAP1 00000cb9: SWAP3 00000cba: ADD 00000cbb: PUSH1 0x20 00000cbd: DUP4 00000cbe: ADD 00000cbf: MSTORE 00000cc0: DUP1 00000cc1: MLOAD 00000cc2: PUSH1 0x01 00000cc4: PUSH1 0x01 00000cc6: PUSH1 0xa0 00000cc8: SHL 00000cc9: SUB 00000cca: DUP6 00000ccb: AND 00000ccc: SWAP3 00000ccd: PUSH32 0x3d5f001e977afcb6eea6a84325bcff0e232f6b3d8453a04a7ea2e5b7792eba0a 00000cee: SWAP3 00000cef: SWAP1 00000cf0: DUP3 00000cf1: SWAP1 00000cf2: SUB 00000cf3: ADD 00000cf4: SWAP1 00000cf5: LOG2 00000cf6: POP 00000cf7: POP 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: PUSH1 0x00 00000cfc: SLOAD 00000cfd: PUSH1 0x01 00000cff: PUSH1 0x01 00000d01: PUSH1 0xa0 00000d03: SHL 00000d04: SUB 00000d05: AND 00000d06: DUP2 00000d07: JUMP 00000d08: JUMPDEST 00000d09: PUSH1 0x00 00000d0b: SLOAD 00000d0c: PUSH1 0x01 00000d0e: PUSH1 0x01 00000d10: PUSH1 0xa0 00000d12: SHL 00000d13: SUB 00000d14: AND 00000d15: CALLER 00000d16: EQ 00000d17: PUSH2 0x0d53 00000d1a: JUMPI 00000d1b: PUSH1 0x40 00000d1d: DUP1 00000d1e: MLOAD 00000d1f: PUSH3 0x461bcd 00000d23: PUSH1 0xe5 00000d25: SHL 00000d26: DUP2 00000d27: MSTORE 00000d28: PUSH1 0x20 00000d2a: PUSH1 0x04 00000d2c: DUP3 00000d2d: ADD 00000d2e: MSTORE 00000d2f: PUSH1 0x09 00000d31: PUSH1 0x24 00000d33: DUP3 00000d34: ADD 00000d35: MSTORE 00000d36: PUSH9 0x3737ba1037bbb732b9 00000d40: PUSH1 0xb9 00000d42: SHL 00000d43: PUSH1 0x44 00000d45: DUP3 00000d46: ADD 00000d47: MSTORE 00000d48: SWAP1 00000d49: MLOAD 00000d4a: SWAP1 00000d4b: DUP2 00000d4c: SWAP1 00000d4d: SUB 00000d4e: PUSH1 0x64 00000d50: ADD 00000d51: SWAP1 00000d52: REVERT 00000d53: JUMPDEST 00000d54: PUSH1 0x06 00000d56: SLOAD 00000d57: PUSH1 0xff 00000d59: AND 00000d5a: PUSH2 0x0d95 00000d5d: JUMPI 00000d5e: PUSH1 0x40 00000d60: DUP1 00000d61: MLOAD 00000d62: PUSH3 0x461bcd 00000d66: PUSH1 0xe5 00000d68: SHL 00000d69: DUP2 00000d6a: MSTORE 00000d6b: PUSH1 0x20 00000d6d: PUSH1 0x04 00000d6f: DUP3 00000d70: ADD 00000d71: MSTORE 00000d72: PUSH1 0x08 00000d74: PUSH1 0x24 00000d76: DUP3 00000d77: ADD 00000d78: MSTORE 00000d79: PUSH8 0x3737ba1037b832b7 00000d82: PUSH1 0xc1 00000d84: SHL 00000d85: PUSH1 0x44 00000d87: DUP3 00000d88: ADD 00000d89: MSTORE 00000d8a: SWAP1 00000d8b: MLOAD 00000d8c: SWAP1 00000d8d: DUP2 00000d8e: SWAP1 00000d8f: SUB 00000d90: PUSH1 0x64 00000d92: ADD 00000d93: SWAP1 00000d94: REVERT 00000d95: JUMPDEST 00000d96: PUSH1 0x06 00000d98: DUP1 00000d99: SLOAD 00000d9a: PUSH1 0xff 00000d9c: NOT 00000d9d: AND 00000d9e: SWAP1 00000d9f: SSTORE 00000da0: PUSH1 0x40 00000da2: DUP1 00000da3: MLOAD 00000da4: PUSH4 0x2d7aa82b 00000da9: PUSH1 0xe0 00000dab: SHL 00000dac: DUP2 00000dad: MSTORE 00000dae: PUSH1 0x04 00000db0: DUP2 00000db1: ADD 00000db2: DUP9 00000db3: SWAP1 00000db4: MSTORE 00000db5: PUSH1 0x24 00000db7: DUP2 00000db8: ADD 00000db9: DUP8 00000dba: SWAP1 00000dbb: MSTORE 00000dbc: PUSH1 0x44 00000dbe: DUP2 00000dbf: ADD 00000dc0: DUP7 00000dc1: SWAP1 00000dc2: MSTORE 00000dc3: PUSH1 0x64 00000dc5: DUP2 00000dc6: ADD 00000dc7: DUP6 00000dc8: SWAP1 00000dc9: MSTORE 00000dca: PUSH1 0x84 00000dcc: DUP2 00000dcd: ADD 00000dce: DUP5 00000dcf: SWAP1 00000dd0: MSTORE 00000dd1: PUSH1 0xa4 00000dd3: DUP2 00000dd4: ADD 00000dd5: DUP4 00000dd6: SWAP1 00000dd7: MSTORE 00000dd8: SWAP1 00000dd9: MLOAD 00000dda: PUSH1 0x01 00000ddc: PUSH1 0x01 00000dde: PUSH1 0xa0 00000de0: SHL 00000de1: SUB 00000de2: PUSH32 0x00000000000000000000000074876acb3d2a007687c285b5a75a0d7b470b3d69 00000e03: AND 00000e04: SWAP2 00000e05: PUSH4 0x2d7aa82b 00000e0a: SWAP2 00000e0b: PUSH1 0xc4 00000e0d: DUP1 00000e0e: DUP4 00000e0f: ADD 00000e10: SWAP3 00000e11: PUSH1 0x00 00000e13: SWAP3 00000e14: SWAP2 00000e15: SWAP1 00000e16: DUP3 00000e17: SWAP1 00000e18: SUB 00000e19: ADD 00000e1a: DUP2 00000e1b: DUP4 00000e1c: DUP8 00000e1d: DUP1 00000e1e: EXTCODESIZE 00000e1f: ISZERO 00000e20: DUP1 00000e21: ISZERO 00000e22: PUSH2 0x0e2a 00000e25: JUMPI 00000e26: PUSH1 0x00 00000e28: DUP1 00000e29: REVERT 00000e2a: JUMPDEST 00000e2b: POP 00000e2c: GAS 00000e2d: CALL 00000e2e: ISZERO 00000e2f: DUP1 00000e30: ISZERO 00000e31: PUSH2 0x0e3e 00000e34: JUMPI 00000e35: RETURNDATASIZE 00000e36: PUSH1 0x00 00000e38: DUP1 00000e39: RETURNDATACOPY 00000e3a: RETURNDATASIZE 00000e3b: PUSH1 0x00 00000e3d: REVERT 00000e3e: JUMPDEST 00000e3f: POP 00000e40: POP 00000e41: POP 00000e42: POP 00000e43: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000e64: PUSH1 0x01 00000e66: PUSH1 0x01 00000e68: PUSH1 0xa0 00000e6a: SHL 00000e6b: SUB 00000e6c: AND 00000e6d: PUSH4 0x095ea7b3 00000e72: PUSH32 0x00000000000000000000000074876acb3d2a007687c285b5a75a0d7b470b3d69 00000e93: PUSH1 0x00 00000e95: NOT 00000e96: PUSH1 0x40 00000e98: MLOAD 00000e99: DUP4 00000e9a: PUSH4 0xffffffff 00000e9f: AND 00000ea0: PUSH1 0xe0 00000ea2: SHL 00000ea3: DUP2 00000ea4: MSTORE 00000ea5: PUSH1 0x04 00000ea7: ADD 00000ea8: DUP1 00000ea9: DUP4 00000eaa: PUSH1 0x01 00000eac: PUSH1 0x01 00000eae: PUSH1 0xa0 00000eb0: SHL 00000eb1: SUB 00000eb2: AND 00000eb3: DUP2 00000eb4: MSTORE 00000eb5: PUSH1 0x20 00000eb7: ADD 00000eb8: DUP3 00000eb9: DUP2 00000eba: MSTORE 00000ebb: PUSH1 0x20 00000ebd: ADD 00000ebe: SWAP3 00000ebf: POP 00000ec0: POP 00000ec1: POP 00000ec2: PUSH1 0x20 00000ec4: PUSH1 0x40 00000ec6: MLOAD 00000ec7: DUP1 00000ec8: DUP4 00000ec9: SUB 00000eca: DUP2 00000ecb: PUSH1 0x00 00000ecd: DUP8 00000ece: DUP1 00000ecf: EXTCODESIZE 00000ed0: ISZERO 00000ed1: DUP1 00000ed2: ISZERO 00000ed3: PUSH2 0x0edb 00000ed6: JUMPI 00000ed7: PUSH1 0x00 00000ed9: DUP1 00000eda: REVERT 00000edb: JUMPDEST 00000edc: POP 00000edd: GAS 00000ede: CALL 00000edf: ISZERO 00000ee0: DUP1 00000ee1: ISZERO 00000ee2: PUSH2 0x0eef 00000ee5: JUMPI 00000ee6: RETURNDATASIZE 00000ee7: PUSH1 0x00 00000ee9: DUP1 00000eea: RETURNDATACOPY 00000eeb: RETURNDATASIZE 00000eec: PUSH1 0x00 00000eee: REVERT 00000eef: JUMPDEST 00000ef0: POP 00000ef1: POP 00000ef2: POP 00000ef3: POP 00000ef4: PUSH1 0x40 00000ef6: MLOAD 00000ef7: RETURNDATASIZE 00000ef8: PUSH1 0x20 00000efa: DUP2 00000efb: LT 00000efc: ISZERO 00000efd: PUSH2 0x0f05 00000f00: JUMPI 00000f01: PUSH1 0x00 00000f03: DUP1 00000f04: REVERT 00000f05: JUMPDEST 00000f06: POP 00000f07: POP 00000f08: PUSH1 0x07 00000f0a: DUP1 00000f0b: SLOAD 00000f0c: PUSH1 0x40 00000f0e: DUP1 00000f0f: MLOAD 00000f10: PUSH1 0x20 00000f12: DUP4 00000f13: DUP2 00000f14: MUL 00000f15: DUP3 00000f16: ADD 00000f17: DUP2 00000f18: ADD 00000f19: SWAP1 00000f1a: SWAP3 00000f1b: MSTORE 00000f1c: DUP3 00000f1d: DUP2 00000f1e: MSTORE 00000f1f: PUSH1 0x00 00000f21: SWAP4 00000f22: SWAP1 00000f23: SWAP3 00000f24: SWAP1 00000f25: SWAP2 00000f26: DUP5 00000f27: SWAP1 00000f28: DUP5 00000f29: ADD 00000f2a: JUMPDEST 00000f2b: DUP3 00000f2c: DUP3 00000f2d: LT 00000f2e: ISZERO 00000f2f: PUSH2 0x0f72 00000f32: JUMPI 00000f33: PUSH1 0x00 00000f35: DUP5 00000f36: DUP2 00000f37: MSTORE 00000f38: PUSH1 0x20 00000f3a: SWAP1 00000f3b: DUP2 00000f3c: SWAP1 00000f3d: KECCAK256 00000f3e: PUSH1 0x40 00000f40: DUP1 00000f41: MLOAD 00000f42: DUP1 00000f43: DUP3 00000f44: ADD 00000f45: SWAP1 00000f46: SWAP2 00000f47: MSTORE 00000f48: PUSH1 0x02 00000f4a: DUP6 00000f4b: MUL 00000f4c: SWAP1 00000f4d: SWAP2 00000f4e: ADD 00000f4f: DUP1 00000f50: SLOAD 00000f51: DUP3 00000f52: MSTORE 00000f53: PUSH1 0x01 00000f55: SWAP1 00000f56: DUP2 00000f57: ADD 00000f58: SLOAD 00000f59: PUSH1 0x01 00000f5b: PUSH1 0x01 00000f5d: PUSH1 0xa0 00000f5f: SHL 00000f60: SUB 00000f61: AND 00000f62: DUP3 00000f63: DUP5 00000f64: ADD 00000f65: MSTORE 00000f66: SWAP1 00000f67: DUP4 00000f68: MSTORE 00000f69: SWAP1 00000f6a: SWAP3 00000f6b: ADD 00000f6c: SWAP2 00000f6d: ADD 00000f6e: PUSH2 0x0f2a 00000f71: JUMP 00000f72: JUMPDEST 00000f73: POP 00000f74: POP 00000f75: PUSH1 0x07 00000f77: SLOAD 00000f78: SWAP3 00000f79: SWAP4 00000f7a: POP 00000f7b: PUSH1 0x00 00000f7d: SWAP2 00000f7e: POP 00000f7f: POP 00000f80: JUMPDEST 00000f81: DUP2 00000f82: DUP2 00000f83: LT 00000f84: ISZERO 00000f85: PUSH2 0x1069 00000f88: JUMPI 00000f89: PUSH32 0x00000000000000000000000074876acb3d2a007687c285b5a75a0d7b470b3d69 00000faa: PUSH1 0x01 00000fac: PUSH1 0x01 00000fae: PUSH1 0xa0 00000fb0: SHL 00000fb1: SUB 00000fb2: AND 00000fb3: PUSH4 0x8dbdbe6d 00000fb8: DUP5 00000fb9: DUP4 00000fba: DUP2 00000fbb: MLOAD 00000fbc: DUP2 00000fbd: LT 00000fbe: PUSH2 0x0fc3 00000fc1: JUMPI 00000fc2: INVALID 00000fc3: JUMPDEST 00000fc4: PUSH1 0x20 00000fc6: MUL 00000fc7: PUSH1 0x20 00000fc9: ADD 00000fca: ADD 00000fcb: MLOAD 00000fcc: PUSH1 0x00 00000fce: ADD 00000fcf: MLOAD 00000fd0: DUP10 00000fd1: DUP7 00000fd2: DUP6 00000fd3: DUP2 00000fd4: MLOAD 00000fd5: DUP2 00000fd6: LT 00000fd7: PUSH2 0x0fdc 00000fda: JUMPI 00000fdb: INVALID 00000fdc: JUMPDEST 00000fdd: PUSH1 0x20 00000fdf: MUL 00000fe0: PUSH1 0x20 00000fe2: ADD 00000fe3: ADD 00000fe4: MLOAD 00000fe5: PUSH1 0x20 00000fe7: ADD 00000fe8: MLOAD 00000fe9: PUSH1 0x40 00000feb: MLOAD 00000fec: DUP5 00000fed: PUSH4 0xffffffff 00000ff2: AND 00000ff3: PUSH1 0xe0 00000ff5: SHL 00000ff6: DUP2 00000ff7: MSTORE 00000ff8: PUSH1 0x04 00000ffa: ADD 00000ffb: DUP1 00000ffc: DUP5 00000ffd: DUP2 00000ffe: MSTORE 00000fff: PUSH1 0x20 00001001: ADD 00001002: DUP4 00001003: DUP2 00001004: MSTORE 00001005: PUSH1 0x20 00001007: ADD 00001008: DUP3 00001009: PUSH1 0x01 0000100b: PUSH1 0x01 0000100d: PUSH1 0xa0 0000100f: SHL 00001010: SUB 00001011: AND 00001012: DUP2 00001013: MSTORE 00001014: PUSH1 0x20 00001016: ADD 00001017: SWAP4 00001018: POP 00001019: POP 0000101a: POP 0000101b: POP 0000101c: PUSH1 0x20 0000101e: PUSH1 0x40 00001020: MLOAD 00001021: DUP1 00001022: DUP4 00001023: SUB 00001024: DUP2 00001025: PUSH1 0x00 00001027: DUP8 00001028: DUP1 00001029: EXTCODESIZE 0000102a: ISZERO 0000102b: DUP1 0000102c: ISZERO 0000102d: PUSH2 0x1035 00001030: JUMPI 00001031: PUSH1 0x00 00001033: DUP1 00001034: REVERT 00001035: JUMPDEST 00001036: POP 00001037: GAS 00001038: CALL 00001039: ISZERO 0000103a: DUP1 0000103b: ISZERO 0000103c: PUSH2 0x1049 0000103f: JUMPI 00001040: RETURNDATASIZE 00001041: PUSH1 0x00 00001043: DUP1 00001044: RETURNDATACOPY 00001045: RETURNDATASIZE 00001046: PUSH1 0x00 00001048: REVERT 00001049: JUMPDEST 0000104a: POP 0000104b: POP 0000104c: POP 0000104d: POP 0000104e: PUSH1 0x40 00001050: MLOAD 00001051: RETURNDATASIZE 00001052: PUSH1 0x20 00001054: DUP2 00001055: LT 00001056: ISZERO 00001057: PUSH2 0x105f 0000105a: JUMPI 0000105b: PUSH1 0x00 0000105d: DUP1 0000105e: REVERT 0000105f: JUMPDEST 00001060: POP 00001061: POP 00001062: PUSH1 0x01 00001064: ADD 00001065: PUSH2 0x0f80 00001068: JUMP 00001069: JUMPDEST 0000106a: POP 0000106b: PUSH2 0x1076 0000106e: PUSH1 0x07 00001070: PUSH1 0x00 00001072: PUSH2 0x1507 00001075: JUMP 00001076: JUMPDEST 00001077: POP 00001078: POP 00001079: PUSH1 0x00 0000107b: PUSH1 0x05 0000107d: SSTORE 0000107e: POP 0000107f: POP 00001080: POP 00001081: POP 00001082: POP 00001083: POP 00001084: JUMP 00001085: JUMPDEST 00001086: PUSH1 0x04 00001088: SLOAD 00001089: DUP2 0000108a: JUMP 0000108b: JUMPDEST 0000108c: PUSH1 0x07 0000108e: DUP2 0000108f: DUP2 00001090: SLOAD 00001091: DUP2 00001092: LT 00001093: PUSH2 0x109b 00001096: JUMPI 00001097: PUSH1 0x00 00001099: DUP1 0000109a: REVERT 0000109b: JUMPDEST 0000109c: PUSH1 0x00 0000109e: SWAP2 0000109f: DUP3 000010a0: MSTORE 000010a1: PUSH1 0x20 000010a3: SWAP1 000010a4: SWAP2 000010a5: KECCAK256 000010a6: PUSH1 0x02 000010a8: SWAP1 000010a9: SWAP2 000010aa: MUL 000010ab: ADD 000010ac: DUP1 000010ad: SLOAD 000010ae: PUSH1 0x01 000010b0: SWAP1 000010b1: SWAP2 000010b2: ADD 000010b3: SLOAD 000010b4: SWAP1 000010b5: SWAP2 000010b6: POP 000010b7: PUSH1 0x01 000010b9: PUSH1 0x01 000010bb: PUSH1 0xa0 000010bd: SHL 000010be: SUB 000010bf: AND 000010c0: DUP3 000010c1: JUMP 000010c2: JUMPDEST 000010c3: PUSH1 0x06 000010c5: SLOAD 000010c6: PUSH1 0xff 000010c8: AND 000010c9: DUP2 000010ca: JUMP 000010cb: JUMPDEST 000010cc: PUSH1 0x00 000010ce: DUP3 000010cf: DUP3 000010d0: GT 000010d1: ISZERO 000010d2: PUSH2 0x1122 000010d5: JUMPI 000010d6: PUSH1 0x40 000010d8: DUP1 000010d9: MLOAD 000010da: PUSH3 0x461bcd 000010de: PUSH1 0xe5 000010e0: SHL 000010e1: DUP2 000010e2: MSTORE 000010e3: PUSH1 0x20 000010e5: PUSH1 0x04 000010e7: DUP3 000010e8: ADD 000010e9: MSTORE 000010ea: PUSH1 0x1e 000010ec: PUSH1 0x24 000010ee: DUP3 000010ef: ADD 000010f0: MSTORE 000010f1: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00001112: PUSH1 0x44 00001114: DUP3 00001115: ADD 00001116: MSTORE 00001117: SWAP1 00001118: MLOAD 00001119: SWAP1 0000111a: DUP2 0000111b: SWAP1 0000111c: SUB 0000111d: PUSH1 0x64 0000111f: ADD 00001120: SWAP1 00001121: REVERT 00001122: JUMPDEST 00001123: POP 00001124: SWAP1 00001125: SUB 00001126: SWAP1 00001127: JUMP 00001128: JUMPDEST 00001129: PUSH1 0x40 0000112b: DUP1 0000112c: MLOAD 0000112d: PUSH1 0x01 0000112f: PUSH1 0x01 00001131: PUSH1 0xa0 00001133: SHL 00001134: SUB 00001135: DUP5 00001136: AND 00001137: PUSH1 0x24 00001139: DUP3 0000113a: ADD 0000113b: MSTORE 0000113c: PUSH1 0x44 0000113e: DUP1 0000113f: DUP3 00001140: ADD 00001141: DUP5 00001142: SWAP1 00001143: MSTORE 00001144: DUP3 00001145: MLOAD 00001146: DUP1 00001147: DUP4 00001148: SUB 00001149: SWAP1 0000114a: SWAP2 0000114b: ADD 0000114c: DUP2 0000114d: MSTORE 0000114e: PUSH1 0x64 00001150: SWAP1 00001151: SWAP2 00001152: ADD 00001153: SWAP1 00001154: SWAP2 00001155: MSTORE 00001156: PUSH1 0x20 00001158: DUP2 00001159: ADD 0000115a: DUP1 0000115b: MLOAD 0000115c: PUSH1 0x01 0000115e: PUSH1 0x01 00001160: PUSH1 0xe0 00001162: SHL 00001163: SUB 00001164: AND 00001165: PUSH4 0xa9059cbb 0000116a: PUSH1 0xe0 0000116c: SHL 0000116d: OR 0000116e: SWAP1 0000116f: MSTORE 00001170: PUSH2 0x117a 00001173: SWAP1 00001174: DUP5 00001175: SWAP1 00001176: PUSH2 0x123a 00001179: JUMP 0000117a: JUMPDEST 0000117b: POP 0000117c: POP 0000117d: POP 0000117e: JUMP 0000117f: JUMPDEST 00001180: PUSH1 0x40 00001182: DUP1 00001183: MLOAD 00001184: PUSH1 0x01 00001186: PUSH1 0x01 00001188: PUSH1 0xa0 0000118a: SHL 0000118b: SUB 0000118c: DUP1 0000118d: DUP7 0000118e: AND 0000118f: PUSH1 0x24 00001191: DUP4 00001192: ADD 00001193: MSTORE 00001194: DUP5 00001195: AND 00001196: PUSH1 0x44 00001198: DUP3 00001199: ADD 0000119a: MSTORE 0000119b: PUSH1 0x64 0000119d: DUP1 0000119e: DUP3 0000119f: ADD 000011a0: DUP5 000011a1: SWAP1 000011a2: MSTORE 000011a3: DUP3 000011a4: MLOAD 000011a5: DUP1 000011a6: DUP4 000011a7: SUB 000011a8: SWAP1 000011a9: SWAP2 000011aa: ADD 000011ab: DUP2 000011ac: MSTORE 000011ad: PUSH1 0x84 000011af: SWAP1 000011b0: SWAP2 000011b1: ADD 000011b2: SWAP1 000011b3: SWAP2 000011b4: MSTORE 000011b5: PUSH1 0x20 000011b7: DUP2 000011b8: ADD 000011b9: DUP1 000011ba: MLOAD 000011bb: PUSH1 0x01 000011bd: PUSH1 0x01 000011bf: PUSH1 0xe0 000011c1: SHL 000011c2: SUB 000011c3: AND 000011c4: PUSH4 0x23b872dd 000011c9: PUSH1 0xe0 000011cb: SHL 000011cc: OR 000011cd: SWAP1 000011ce: MSTORE 000011cf: PUSH2 0x05c9 000011d2: SWAP1 000011d3: DUP6 000011d4: SWAP1 000011d5: PUSH2 0x123a 000011d8: JUMP 000011d9: JUMPDEST 000011da: PUSH1 0x00 000011dc: DUP3 000011dd: DUP3 000011de: ADD 000011df: DUP4 000011e0: DUP2 000011e1: LT 000011e2: ISZERO 000011e3: PUSH2 0x1233 000011e6: JUMPI 000011e7: PUSH1 0x40 000011e9: DUP1 000011ea: MLOAD 000011eb: PUSH3 0x461bcd 000011ef: PUSH1 0xe5 000011f1: SHL 000011f2: DUP2 000011f3: MSTORE 000011f4: PUSH1 0x20 000011f6: PUSH1 0x04 000011f8: DUP3 000011f9: ADD 000011fa: MSTORE 000011fb: PUSH1 0x1b 000011fd: PUSH1 0x24 000011ff: DUP3 00001200: ADD 00001201: MSTORE 00001202: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001223: PUSH1 0x44 00001225: DUP3 00001226: ADD 00001227: MSTORE 00001228: SWAP1 00001229: MLOAD 0000122a: SWAP1 0000122b: DUP2 0000122c: SWAP1 0000122d: SUB 0000122e: PUSH1 0x64 00001230: ADD 00001231: SWAP1 00001232: REVERT 00001233: JUMPDEST 00001234: SWAP4 00001235: SWAP3 00001236: POP 00001237: POP 00001238: POP 00001239: JUMP 0000123a: JUMPDEST 0000123b: PUSH1 0x00 0000123d: PUSH2 0x128f 00001240: DUP3 00001241: PUSH1 0x40 00001243: MLOAD 00001244: DUP1 00001245: PUSH1 0x40 00001247: ADD 00001248: PUSH1 0x40 0000124a: MSTORE 0000124b: DUP1 0000124c: PUSH1 0x20 0000124e: DUP2 0000124f: MSTORE 00001250: PUSH1 0x20 00001252: ADD 00001253: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00001274: DUP2 00001275: MSTORE 00001276: POP 00001277: DUP6 00001278: PUSH1 0x01 0000127a: PUSH1 0x01 0000127c: PUSH1 0xa0 0000127e: SHL 0000127f: SUB 00001280: AND 00001281: PUSH2 0x12eb 00001284: SWAP1 00001285: SWAP3 00001286: SWAP2 00001287: SWAP1 00001288: PUSH4 0xffffffff 0000128d: AND 0000128e: JUMP 0000128f: JUMPDEST 00001290: DUP1 00001291: MLOAD 00001292: SWAP1 00001293: SWAP2 00001294: POP 00001295: ISZERO 00001296: PUSH2 0x117a 00001299: JUMPI 0000129a: DUP1 0000129b: DUP1 0000129c: PUSH1 0x20 0000129e: ADD 0000129f: SWAP1 000012a0: MLOAD 000012a1: PUSH1 0x20 000012a3: DUP2 000012a4: LT 000012a5: ISZERO 000012a6: PUSH2 0x12ae 000012a9: JUMPI 000012aa: PUSH1 0x00 000012ac: DUP1 000012ad: REVERT 000012ae: JUMPDEST 000012af: POP 000012b0: MLOAD 000012b1: PUSH2 0x117a 000012b4: JUMPI 000012b5: PUSH1 0x40 000012b7: MLOAD 000012b8: PUSH3 0x461bcd 000012bc: PUSH1 0xe5 000012be: SHL 000012bf: DUP2 000012c0: MSTORE 000012c1: PUSH1 0x04 000012c3: ADD 000012c4: DUP1 000012c5: DUP1 000012c6: PUSH1 0x20 000012c8: ADD 000012c9: DUP3 000012ca: DUP2 000012cb: SUB 000012cc: DUP3 000012cd: MSTORE 000012ce: PUSH1 0x2a 000012d0: DUP2 000012d1: MSTORE 000012d2: PUSH1 0x20 000012d4: ADD 000012d5: DUP1 000012d6: PUSH2 0x157d 000012d9: PUSH1 0x2a 000012db: SWAP2 000012dc: CODECOPY 000012dd: PUSH1 0x40 000012df: ADD 000012e0: SWAP2 000012e1: POP 000012e2: POP 000012e3: PUSH1 0x40 000012e5: MLOAD 000012e6: DUP1 000012e7: SWAP2 000012e8: SUB 000012e9: SWAP1 000012ea: REVERT 000012eb: JUMPDEST 000012ec: PUSH1 0x60 000012ee: PUSH2 0x12fa 000012f1: DUP5 000012f2: DUP5 000012f3: PUSH1 0x00 000012f5: DUP6 000012f6: PUSH2 0x1302 000012f9: JUMP 000012fa: JUMPDEST 000012fb: SWAP5 000012fc: SWAP4 000012fd: POP 000012fe: POP 000012ff: POP 00001300: POP 00001301: JUMP 00001302: JUMPDEST 00001303: PUSH1 0x60 00001305: DUP3 00001306: SELFBALANCE 00001307: LT 00001308: ISZERO 00001309: PUSH2 0x1343 0000130c: JUMPI 0000130d: PUSH1 0x40 0000130f: MLOAD 00001310: PUSH3 0x461bcd 00001314: PUSH1 0xe5 00001316: SHL 00001317: DUP2 00001318: MSTORE 00001319: PUSH1 0x04 0000131b: ADD 0000131c: DUP1 0000131d: DUP1 0000131e: PUSH1 0x20 00001320: ADD 00001321: DUP3 00001322: DUP2 00001323: SUB 00001324: DUP3 00001325: MSTORE 00001326: PUSH1 0x26 00001328: DUP2 00001329: MSTORE 0000132a: PUSH1 0x20 0000132c: ADD 0000132d: DUP1 0000132e: PUSH2 0x1557 00001331: PUSH1 0x26 00001333: SWAP2 00001334: CODECOPY 00001335: PUSH1 0x40 00001337: ADD 00001338: SWAP2 00001339: POP 0000133a: POP 0000133b: PUSH1 0x40 0000133d: MLOAD 0000133e: DUP1 0000133f: SWAP2 00001340: SUB 00001341: SWAP1 00001342: REVERT 00001343: JUMPDEST 00001344: PUSH2 0x134c 00001347: DUP6 00001348: PUSH2 0x145d 0000134b: JUMP 0000134c: JUMPDEST 0000134d: PUSH2 0x139d 00001350: JUMPI 00001351: PUSH1 0x40 00001353: DUP1 00001354: MLOAD 00001355: PUSH3 0x461bcd 00001359: PUSH1 0xe5 0000135b: SHL 0000135c: DUP2 0000135d: MSTORE 0000135e: PUSH1 0x20 00001360: PUSH1 0x04 00001362: DUP3 00001363: ADD 00001364: MSTORE 00001365: PUSH1 0x1d 00001367: PUSH1 0x24 00001369: DUP3 0000136a: ADD 0000136b: MSTORE 0000136c: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 0000138d: PUSH1 0x44 0000138f: DUP3 00001390: ADD 00001391: MSTORE 00001392: SWAP1 00001393: MLOAD 00001394: SWAP1 00001395: DUP2 00001396: SWAP1 00001397: SUB 00001398: PUSH1 0x64 0000139a: ADD 0000139b: SWAP1 0000139c: REVERT 0000139d: JUMPDEST 0000139e: PUSH1 0x00 000013a0: DUP1 000013a1: DUP7 000013a2: PUSH1 0x01 000013a4: PUSH1 0x01 000013a6: PUSH1 0xa0 000013a8: SHL 000013a9: SUB 000013aa: AND 000013ab: DUP6 000013ac: DUP8 000013ad: PUSH1 0x40 000013af: MLOAD 000013b0: DUP1 000013b1: DUP3 000013b2: DUP1 000013b3: MLOAD 000013b4: SWAP1 000013b5: PUSH1 0x20 000013b7: ADD 000013b8: SWAP1 000013b9: DUP1 000013ba: DUP4 000013bb: DUP4 000013bc: JUMPDEST 000013bd: PUSH1 0x20 000013bf: DUP4 000013c0: LT 000013c1: PUSH2 0x13db 000013c4: JUMPI 000013c5: DUP1 000013c6: MLOAD 000013c7: DUP3 000013c8: MSTORE 000013c9: PUSH1 0x1f 000013cb: NOT 000013cc: SWAP1 000013cd: SWAP3 000013ce: ADD 000013cf: SWAP2 000013d0: PUSH1 0x20 000013d2: SWAP2 000013d3: DUP3 000013d4: ADD 000013d5: SWAP2 000013d6: ADD 000013d7: PUSH2 0x13bc 000013da: JUMP 000013db: JUMPDEST 000013dc: PUSH1 0x01 000013de: DUP4 000013df: PUSH1 0x20 000013e1: SUB 000013e2: PUSH2 0x0100 000013e5: EXP 000013e6: SUB 000013e7: DUP1 000013e8: NOT 000013e9: DUP3 000013ea: MLOAD 000013eb: AND 000013ec: DUP2 000013ed: DUP5 000013ee: MLOAD 000013ef: AND 000013f0: DUP1 000013f1: DUP3 000013f2: OR 000013f3: DUP6 000013f4: MSTORE 000013f5: POP 000013f6: POP 000013f7: POP 000013f8: POP 000013f9: POP 000013fa: POP 000013fb: SWAP1 000013fc: POP 000013fd: ADD 000013fe: SWAP2 000013ff: POP 00001400: POP 00001401: PUSH1 0x00 00001403: PUSH1 0x40 00001405: MLOAD 00001406: DUP1 00001407: DUP4 00001408: SUB 00001409: DUP2 0000140a: DUP6 0000140b: DUP8 0000140c: GAS 0000140d: CALL 0000140e: SWAP3 0000140f: POP 00001410: POP 00001411: POP 00001412: RETURNDATASIZE 00001413: DUP1 00001414: PUSH1 0x00 00001416: DUP2 00001417: EQ 00001418: PUSH2 0x143d 0000141b: JUMPI 0000141c: PUSH1 0x40 0000141e: MLOAD 0000141f: SWAP2 00001420: POP 00001421: PUSH1 0x1f 00001423: NOT 00001424: PUSH1 0x3f 00001426: RETURNDATASIZE 00001427: ADD 00001428: AND 00001429: DUP3 0000142a: ADD 0000142b: PUSH1 0x40 0000142d: MSTORE 0000142e: RETURNDATASIZE 0000142f: DUP3 00001430: MSTORE 00001431: RETURNDATASIZE 00001432: PUSH1 0x00 00001434: PUSH1 0x20 00001436: DUP5 00001437: ADD 00001438: RETURNDATACOPY 00001439: PUSH2 0x1442 0000143c: JUMP 0000143d: JUMPDEST 0000143e: PUSH1 0x60 00001440: SWAP2 00001441: POP 00001442: JUMPDEST 00001443: POP 00001444: SWAP2 00001445: POP 00001446: SWAP2 00001447: POP 00001448: PUSH2 0x1452 0000144b: DUP3 0000144c: DUP3 0000144d: DUP7 0000144e: PUSH2 0x1463 00001451: JUMP 00001452: JUMPDEST 00001453: SWAP8 00001454: SWAP7 00001455: POP 00001456: POP 00001457: POP 00001458: POP 00001459: POP 0000145a: POP 0000145b: POP 0000145c: JUMP 0000145d: JUMPDEST 0000145e: EXTCODESIZE 0000145f: ISZERO 00001460: ISZERO 00001461: SWAP1 00001462: JUMP 00001463: JUMPDEST 00001464: PUSH1 0x60 00001466: DUP4 00001467: ISZERO 00001468: PUSH2 0x1472 0000146b: JUMPI 0000146c: POP 0000146d: DUP2 0000146e: PUSH2 0x1233 00001471: JUMP 00001472: JUMPDEST 00001473: DUP3 00001474: MLOAD 00001475: ISZERO 00001476: PUSH2 0x1482 00001479: JUMPI 0000147a: DUP3 0000147b: MLOAD 0000147c: DUP1 0000147d: DUP5 0000147e: PUSH1 0x20 00001480: ADD 00001481: REVERT 00001482: JUMPDEST 00001483: DUP2 00001484: PUSH1 0x40 00001486: MLOAD 00001487: PUSH3 0x461bcd 0000148b: PUSH1 0xe5 0000148d: SHL 0000148e: DUP2 0000148f: MSTORE 00001490: PUSH1 0x04 00001492: ADD 00001493: DUP1 00001494: DUP1 00001495: PUSH1 0x20 00001497: ADD 00001498: DUP3 00001499: DUP2 0000149a: SUB 0000149b: DUP3 0000149c: MSTORE 0000149d: DUP4 0000149e: DUP2 0000149f: DUP2 000014a0: MLOAD 000014a1: DUP2 000014a2: MSTORE 000014a3: PUSH1 0x20 000014a5: ADD 000014a6: SWAP2 000014a7: POP 000014a8: DUP1 000014a9: MLOAD 000014aa: SWAP1 000014ab: PUSH1 0x20 000014ad: ADD 000014ae: SWAP1 000014af: DUP1 000014b0: DUP4 000014b1: DUP4 000014b2: PUSH1 0x00 000014b4: JUMPDEST 000014b5: DUP4 000014b6: DUP2 000014b7: LT 000014b8: ISZERO 000014b9: PUSH2 0x14cc 000014bc: JUMPI 000014bd: DUP2 000014be: DUP2 000014bf: ADD 000014c0: MLOAD 000014c1: DUP4 000014c2: DUP3 000014c3: ADD 000014c4: MSTORE 000014c5: PUSH1 0x20 000014c7: ADD 000014c8: PUSH2 0x14b4 000014cb: JUMP 000014cc: JUMPDEST 000014cd: POP 000014ce: POP 000014cf: POP 000014d0: POP 000014d1: SWAP1 000014d2: POP 000014d3: SWAP1 000014d4: DUP2 000014d5: ADD 000014d6: SWAP1 000014d7: PUSH1 0x1f 000014d9: AND 000014da: DUP1 000014db: ISZERO 000014dc: PUSH2 0x14f9 000014df: JUMPI 000014e0: DUP1 000014e1: DUP3 000014e2: SUB 000014e3: DUP1 000014e4: MLOAD 000014e5: PUSH1 0x01 000014e7: DUP4 000014e8: PUSH1 0x20 000014ea: SUB 000014eb: PUSH2 0x0100 000014ee: EXP 000014ef: SUB 000014f0: NOT 000014f1: AND 000014f2: DUP2 000014f3: MSTORE 000014f4: PUSH1 0x20 000014f6: ADD 000014f7: SWAP2 000014f8: POP 000014f9: JUMPDEST 000014fa: POP 000014fb: SWAP3 000014fc: POP 000014fd: POP 000014fe: POP 000014ff: PUSH1 0x40 00001501: MLOAD 00001502: DUP1 00001503: SWAP2 00001504: SUB 00001505: SWAP1 00001506: REVERT 00001507: JUMPDEST 00001508: POP 00001509: DUP1 0000150a: SLOAD 0000150b: PUSH1 0x00 0000150d: DUP3 0000150e: SSTORE 0000150f: PUSH1 0x02 00001511: MUL 00001512: SWAP1 00001513: PUSH1 0x00 00001515: MSTORE 00001516: PUSH1 0x20 00001518: PUSH1 0x00 0000151a: KECCAK256 0000151b: SWAP1 0000151c: DUP2 0000151d: ADD 0000151e: SWAP1 0000151f: PUSH2 0x1528 00001522: SWAP2 00001523: SWAP1 00001524: PUSH2 0x152b 00001527: JUMP 00001528: JUMPDEST 00001529: POP 0000152a: JUMP 0000152b: JUMPDEST 0000152c: JUMPDEST 0000152d: DUP1 0000152e: DUP3 0000152f: GT 00001530: ISZERO 00001531: PUSH2 0x1552 00001534: JUMPI 00001535: PUSH1 0x00 00001537: DUP2 00001538: SSTORE 00001539: PUSH1 0x01 0000153b: DUP2 0000153c: ADD 0000153d: DUP1 0000153e: SLOAD 0000153f: PUSH1 0x01 00001541: PUSH1 0x01 00001543: PUSH1 0xa0 00001545: SHL 00001546: SUB 00001547: NOT 00001548: AND 00001549: SWAP1 0000154a: SSTORE 0000154b: PUSH1 0x02 0000154d: ADD 0000154e: PUSH2 0x152c 00001551: JUMP 00001552: JUMPDEST 00001553: POP 00001554: SWAP1 00001555: JUMP 00001556: INVALID 00001557: COINBASE 00001558: PUSH5 0x6472657373 0000155e: GASPRICE 0000155f: KECCAK256 00001560: PUSH10 0x6e73756666696369656e 0000156b: PUSH21 0x2062616c616e636520666f722063616c6c53616665 00001581: GASLIMIT 00001582: MSTORE 00001583: NUMBER 00001584: ORIGIN 00001585: ADDRESS 00001586: GASPRICE 00001587: KECCAK256 00001588: GASLIMIT 00001589: MSTORE 0000158a: NUMBER 0000158b: ORIGIN 0000158c: ADDRESS 0000158d: KECCAK256 0000158e: PUSH16 0x7065726174696f6e20646964206e6f74 0000159f: KECCAK256 000015a0: PUSH20 0x756363656564a2646970667358221220a03b416c 000015b5: SWAP8 000015b6: UNKNOWN(0xE7) 000015b7: MUL 000015b8: SWAP11 000015b9: SWAP16 000015ba: DUP2 000015bb: PUSH15 0x4437976ec845ad96b349d805a933ee 000015cb: RETURNDATASIZE 000015cc: DIV 000015cd: PUSH25
| 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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9db1e461",
"selector": "0x9db1e461",
"calldata_variants": [
"0x9db1e461",
"0x9db1e4610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb8824a85",
"selector": "0xb8824a85",
"calldata_variants": [
"0xb8824a85",
"0xb8824a850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7c4a615",
"selector": "0xc7c4a615",
"calldata_variants": [
"0xc7c4a615",
"0xc7c4a6150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcfff16f",
"selector": "0xfcfff16f",
"calldata_variants": [
"0xfcfff16f",
"0xfcfff16f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64c9ec6f",
"selector": "0x64c9ec6f",
"calldata_variants": [
"0x64c9ec6f",
"0x64c9ec6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6daf390b",
"selector": "0x6daf390b",
"calldata_variants": [
"0x6daf390b",
"0x6daf390b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72d83482",
"selector": "0x72d83482",
"calldata_variants": [
"0x72d83482",
"0x72d834820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5508,
"type": "tx_origin_used"
},
{
"pc": 5515,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x81d7ac8a87c499f5a432da9c0c923475ca9c4b1e70140a0fdf29ebf662ad60db
call_targets:
0x0c6ad91dd183f953389d0bf5687025340a19e6e0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x81d7ac8a87c499f5a432da9c0c923475ca9c4b1e70140a0fdf29ebf662ad60db",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0c6ad91dd183f953389d0bf5687025340a19e6e0"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9db1e461",
"selector": "0x9db1e461",
"calldata_variants": [
"0x9db1e461",
"0x9db1e4610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb8824a85",
"selector": "0xb8824a85",
"calldata_variants": [
"0xb8824a85",
"0xb8824a850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7c4a615",
"selector": "0xc7c4a615",
"calldata_variants": [
"0xc7c4a615",
"0xc7c4a6150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcfff16f",
"selector": "0xfcfff16f",
"calldata_variants": [
"0xfcfff16f",
"0xfcfff16f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64c9ec6f",
"selector": "0x64c9ec6f",
"calldata_variants": [
"0x64c9ec6f",
"0x64c9ec6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6daf390b",
"selector": "0x6daf390b",
"calldata_variants": [
"0x6daf390b",
"0x6daf390b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72d83482",
"selector": "0x72d83482",
"calldata_variants": [
"0x72d83482",
"0x72d834820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1464,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3629,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3806,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 5508,
"type": "tx_origin_used"
},
{
"pc": 5515,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x81d7ac8a87c499f5a432da9c0c923475ca9c4b1e70140a0fdf29ebf662ad60db
call_targets:
0x0c6ad91dd183f953389d0bf5687025340a19e6e0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x81d7ac8a87c499f5a432da9c0c923475ca9c4b1e70140a0fdf29ebf662ad60db",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0c6ad91dd183f953389d0bf5687025340a19e6e0"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9db1e461",
"selector": "0x9db1e461",
"calldata_variants": [
"0x9db1e461",
"0x9db1e4610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb8824a85",
"selector": "0xb8824a85",
"calldata_variants": [
"0xb8824a85",
"0xb8824a850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc7c4a615",
"selector": "0xc7c4a615",
"calldata_variants": [
"0xc7c4a615",
"0xc7c4a6150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfcfff16f",
"selector": "0xfcfff16f",
"calldata_variants": [
"0xfcfff16f",
"0xfcfff16f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64c9ec6f",
"selector": "0x64c9ec6f",
"calldata_variants": [
"0x64c9ec6f",
"0x64c9ec6f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6daf390b",
"selector": "0x6daf390b",
"calldata_variants": [
"0x6daf390b",
"0x6daf390b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x72d83482",
"selector": "0x72d83482",
"calldata_variants": [
"0x72d83482",
"0x72d834820000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1464,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3629,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3806,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 5508,
"type": "tx_origin_used"
},
{
"pc": 5515,
"type": "tx_origin_used"
}
]
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 7
}
|