019b477e-b0c7-7297-b72e-ed4d24b6158b
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 |
|---|---|---|---|---|
| 22035 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22036 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89073 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89074 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89075 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89076 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0173 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x65318b 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x0180 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x10d0ffdd 00000045: EQ 00000046: PUSH2 0x01b3 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x18160ddd 00000050: EQ 00000051: PUSH2 0x01cb 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x22609373 0000005b: EQ 0000005c: PUSH2 0x01e0 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x24953eaa 00000066: EQ 00000067: PUSH2 0x01f8 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x275893a9 00000071: EQ 00000072: PUSH2 0x0261 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x286dd3f5 0000007c: EQ 0000007d: PUSH2 0x0284 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x3ccfd60b 00000087: EQ 00000088: PUSH2 0x02a5 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x4b750334 00000092: EQ 00000093: PUSH2 0x02ba 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x56d399e8 0000009d: EQ 0000009e: PUSH2 0x02cf 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x688abbf7 000000a8: EQ 000000a9: PUSH2 0x02e4 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x6b2f4632 000000b3: EQ 000000b4: PUSH2 0x02fe 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x70a08231 000000be: EQ 000000bf: PUSH2 0x0313 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x7b9417c8 000000c9: EQ 000000ca: PUSH2 0x0334 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x8620410b 000000d4: EQ 000000d5: PUSH2 0x0355 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0x8da5cb5b 000000df: EQ 000000e0: PUSH2 0x036a 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0x949e8acd 000000ea: EQ 000000eb: PUSH2 0x039b 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x9b19251a 000000f5: EQ 000000f6: PUSH2 0x03b0 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x9ca423b3 00000100: EQ 00000101: PUSH2 0x03d1 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xa9059cbb 0000010b: EQ 0000010c: PUSH2 0x03f2 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xb59589d1 00000116: EQ 00000117: PUSH2 0x0416 0000011a: JUMPI 0000011b: DUP1 0000011c: PUSH4 0xcaa877e7 00000121: EQ 00000122: PUSH2 0x042b 00000125: JUMPI 00000126: DUP1 00000127: PUSH4 0xe2ec6ec3 0000012c: EQ 0000012d: PUSH2 0x0445 00000130: JUMPI 00000131: DUP1 00000132: PUSH4 0xe4849b32 00000137: EQ 00000138: PUSH2 0x049a 0000013b: JUMPI 0000013c: DUP1 0000013d: PUSH4 0xe9fad8ee 00000142: EQ 00000143: PUSH2 0x04b2 00000146: JUMPI 00000147: DUP1 00000148: PUSH4 0xf088d547 0000014d: EQ 0000014e: PUSH2 0x04c7 00000151: JUMPI 00000152: DUP1 00000153: PUSH4 0xf2fde38b 00000158: EQ 00000159: PUSH2 0x04db 0000015c: JUMPI 0000015d: DUP1 0000015e: PUSH4 0xf9b04f72 00000163: EQ 00000164: PUSH2 0x04fc 00000167: JUMPI 00000168: DUP1 00000169: PUSH4 0xfdb5a03e 0000016e: EQ 0000016f: PUSH2 0x051d 00000172: JUMPI 00000173: JUMPDEST 00000174: PUSH2 0x017d 00000177: CALLER 00000178: CALLVALUE 00000179: PUSH2 0x0532 0000017c: JUMP 0000017d: JUMPDEST 0000017e: POP 0000017f: STOP 00000180: JUMPDEST 00000181: CALLVALUE 00000182: DUP1 00000183: ISZERO 00000184: PUSH2 0x018c 00000187: JUMPI 00000188: PUSH1 0x00 0000018a: DUP1 0000018b: REVERT 0000018c: JUMPDEST 0000018d: POP 0000018e: PUSH2 0x01a1 00000191: PUSH1 0x01 00000193: PUSH1 0xa0 00000195: PUSH1 0x02 00000197: EXP 00000198: SUB 00000199: PUSH1 0x04 0000019b: CALLDATALOAD 0000019c: AND 0000019d: PUSH2 0x095a 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH1 0x40 000001a4: DUP1 000001a5: MLOAD 000001a6: SWAP2 000001a7: DUP3 000001a8: MSTORE 000001a9: MLOAD 000001aa: SWAP1 000001ab: DUP2 000001ac: SWAP1 000001ad: SUB 000001ae: PUSH1 0x20 000001b0: ADD 000001b1: SWAP1 000001b2: RETURN 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: DUP1 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: POP 000001c1: PUSH2 0x01a1 000001c4: PUSH1 0x04 000001c6: CALLDATALOAD 000001c7: PUSH2 0x0998 000001ca: JUMP 000001cb: JUMPDEST 000001cc: CALLVALUE 000001cd: DUP1 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: POP 000001d9: PUSH2 0x01a1 000001dc: PUSH2 0x09cd 000001df: JUMP 000001e0: JUMPDEST 000001e1: CALLVALUE 000001e2: DUP1 000001e3: ISZERO 000001e4: PUSH2 0x01ec 000001e7: JUMPI 000001e8: PUSH1 0x00 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: POP 000001ee: PUSH2 0x01a1 000001f1: PUSH1 0x04 000001f3: CALLDATALOAD 000001f4: PUSH2 0x09d3 000001f7: JUMP 000001f8: JUMPDEST 000001f9: CALLVALUE 000001fa: DUP1 000001fb: ISZERO 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: POP 00000206: PUSH1 0x40 00000208: DUP1 00000209: MLOAD 0000020a: PUSH1 0x20 0000020c: PUSH1 0x04 0000020e: DUP1 0000020f: CALLDATALOAD 00000210: DUP1 00000211: DUP3 00000212: ADD 00000213: CALLDATALOAD 00000214: DUP4 00000215: DUP2 00000216: MUL 00000217: DUP1 00000218: DUP7 00000219: ADD 0000021a: DUP6 0000021b: ADD 0000021c: SWAP1 0000021d: SWAP7 0000021e: MSTORE 0000021f: DUP1 00000220: DUP6 00000221: MSTORE 00000222: PUSH2 0x024d 00000225: SWAP6 00000226: CALLDATASIZE 00000227: SWAP6 00000228: SWAP4 00000229: SWAP5 0000022a: PUSH1 0x24 0000022c: SWAP5 0000022d: SWAP4 0000022e: DUP6 0000022f: ADD 00000230: SWAP3 00000231: SWAP2 00000232: DUP3 00000233: SWAP2 00000234: DUP6 00000235: ADD 00000236: SWAP1 00000237: DUP5 00000238: SWAP1 00000239: DUP1 0000023a: DUP3 0000023b: DUP5 0000023c: CALLDATACOPY 0000023d: POP 0000023e: SWAP5 0000023f: SWAP8 00000240: POP 00000241: PUSH2 0x0a10 00000244: SWAP7 00000245: POP 00000246: POP 00000247: POP 00000248: POP 00000249: POP 0000024a: POP 0000024b: POP 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH1 0x40 00000250: DUP1 00000251: MLOAD 00000252: SWAP2 00000253: ISZERO 00000254: ISZERO 00000255: DUP3 00000256: MSTORE 00000257: MLOAD 00000258: SWAP1 00000259: DUP2 0000025a: SWAP1 0000025b: SUB 0000025c: PUSH1 0x20 0000025e: ADD 0000025f: SWAP1 00000260: RETURN 00000261: JUMPDEST 00000262: CALLVALUE 00000263: DUP1 00000264: ISZERO 00000265: PUSH2 0x026d 00000268: JUMPI 00000269: PUSH1 0x00 0000026b: DUP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: POP 0000026f: PUSH2 0x0282 00000272: PUSH1 0x01 00000274: PUSH1 0xa0 00000276: PUSH1 0x02 00000278: EXP 00000279: SUB 0000027a: PUSH1 0x04 0000027c: CALLDATALOAD 0000027d: AND 0000027e: PUSH2 0x0a6f 00000281: JUMP 00000282: JUMPDEST 00000283: STOP 00000284: JUMPDEST 00000285: CALLVALUE 00000286: DUP1 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: POP 00000292: PUSH2 0x024d 00000295: PUSH1 0x01 00000297: PUSH1 0xa0 00000299: PUSH1 0x02 0000029b: EXP 0000029c: SUB 0000029d: PUSH1 0x04 0000029f: CALLDATALOAD 000002a0: AND 000002a1: PUSH2 0x0ab5 000002a4: JUMP 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH2 0x0282 000002b6: PUSH2 0x0b4b 000002b9: JUMP 000002ba: JUMPDEST 000002bb: CALLVALUE 000002bc: DUP1 000002bd: ISZERO 000002be: PUSH2 0x02c6 000002c1: JUMPI 000002c2: PUSH1 0x00 000002c4: DUP1 000002c5: REVERT 000002c6: JUMPDEST 000002c7: POP 000002c8: PUSH2 0x01a1 000002cb: PUSH2 0x0c1e 000002ce: JUMP 000002cf: JUMPDEST 000002d0: CALLVALUE 000002d1: DUP1 000002d2: ISZERO 000002d3: PUSH2 0x02db 000002d6: JUMPI 000002d7: PUSH1 0x00 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: PUSH2 0x01a1 000002e0: PUSH2 0x0c5a 000002e3: JUMP 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x01a1 000002f5: PUSH1 0x04 000002f7: CALLDATALOAD 000002f8: ISZERO 000002f9: ISZERO 000002fa: PUSH2 0x0c60 000002fd: JUMP 000002fe: JUMPDEST 000002ff: CALLVALUE 00000300: DUP1 00000301: ISZERO 00000302: PUSH2 0x030a 00000305: JUMPI 00000306: PUSH1 0x00 00000308: DUP1 00000309: REVERT 0000030a: JUMPDEST 0000030b: POP 0000030c: PUSH2 0x01a1 0000030f: PUSH2 0x0ca1 00000312: JUMP 00000313: JUMPDEST 00000314: CALLVALUE 00000315: DUP1 00000316: ISZERO 00000317: PUSH2 0x031f 0000031a: JUMPI 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: REVERT 0000031f: JUMPDEST 00000320: POP 00000321: PUSH2 0x01a1 00000324: PUSH1 0x01 00000326: PUSH1 0xa0 00000328: PUSH1 0x02 0000032a: EXP 0000032b: SUB 0000032c: PUSH1 0x04 0000032e: CALLDATALOAD 0000032f: AND 00000330: PUSH2 0x0ca6 00000333: JUMP 00000334: JUMPDEST 00000335: CALLVALUE 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x0340 0000033b: JUMPI 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: REVERT 00000340: JUMPDEST 00000341: POP 00000342: PUSH2 0x024d 00000345: PUSH1 0x01 00000347: PUSH1 0xa0 00000349: PUSH1 0x02 0000034b: EXP 0000034c: SUB 0000034d: PUSH1 0x04 0000034f: CALLDATALOAD 00000350: AND 00000351: PUSH2 0x0cc1 00000354: JUMP 00000355: JUMPDEST 00000356: CALLVALUE 00000357: DUP1 00000358: ISZERO 00000359: PUSH2 0x0361 0000035c: JUMPI 0000035d: PUSH1 0x00 0000035f: DUP1 00000360: REVERT 00000361: JUMPDEST 00000362: POP 00000363: PUSH2 0x01a1 00000366: PUSH2 0x0d5c 00000369: JUMP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x037f 0000037b: PUSH2 0x0d90 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH1 0x40 00000382: DUP1 00000383: MLOAD 00000384: PUSH1 0x01 00000386: PUSH1 0xa0 00000388: PUSH1 0x02 0000038a: EXP 0000038b: SUB 0000038c: SWAP1 0000038d: SWAP3 0000038e: AND 0000038f: DUP3 00000390: MSTORE 00000391: MLOAD 00000392: SWAP1 00000393: DUP2 00000394: SWAP1 00000395: SUB 00000396: PUSH1 0x20 00000398: ADD 00000399: SWAP1 0000039a: RETURN 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: DUP1 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH2 0x01a1 000003ac: PUSH2 0x0d9f 000003af: JUMP 000003b0: JUMPDEST 000003b1: CALLVALUE 000003b2: DUP1 000003b3: ISZERO 000003b4: PUSH2 0x03bc 000003b7: JUMPI 000003b8: PUSH1 0x00 000003ba: DUP1 000003bb: REVERT 000003bc: JUMPDEST 000003bd: POP 000003be: PUSH2 0x024d 000003c1: PUSH1 0x01 000003c3: PUSH1 0xa0 000003c5: PUSH1 0x02 000003c7: EXP 000003c8: SUB 000003c9: PUSH1 0x04 000003cb: CALLDATALOAD 000003cc: AND 000003cd: PUSH2 0x0db1 000003d0: JUMP 000003d1: JUMPDEST 000003d2: CALLVALUE 000003d3: DUP1 000003d4: ISZERO 000003d5: PUSH2 0x03dd 000003d8: JUMPI 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: REVERT 000003dd: JUMPDEST 000003de: POP 000003df: PUSH2 0x037f 000003e2: PUSH1 0x01 000003e4: PUSH1 0xa0 000003e6: PUSH1 0x02 000003e8: EXP 000003e9: SUB 000003ea: PUSH1 0x04 000003ec: CALLDATALOAD 000003ed: AND 000003ee: PUSH2 0x0dc6 000003f1: JUMP 000003f2: JUMPDEST 000003f3: CALLVALUE 000003f4: DUP1 000003f5: ISZERO 000003f6: PUSH2 0x03fe 000003f9: JUMPI 000003fa: PUSH1 0x00 000003fc: DUP1 000003fd: REVERT 000003fe: JUMPDEST 000003ff: POP 00000400: PUSH2 0x024d 00000403: PUSH1 0x01 00000405: PUSH1 0xa0 00000407: PUSH1 0x02 00000409: EXP 0000040a: SUB 0000040b: PUSH1 0x04 0000040d: CALLDATALOAD 0000040e: AND 0000040f: PUSH1 0x24 00000411: CALLDATALOAD 00000412: PUSH2 0x0de1 00000415: JUMP 00000416: JUMPDEST 00000417: CALLVALUE 00000418: DUP1 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH1 0x00 00000420: DUP1 00000421: REVERT 00000422: JUMPDEST 00000423: POP 00000424: PUSH2 0x037f 00000427: PUSH2 0x0f85 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH2 0x01a1 0000042f: PUSH1 0x01 00000431: PUSH1 0xa0 00000433: PUSH1 0x02 00000435: EXP 00000436: SUB 00000437: PUSH1 0x04 00000439: CALLDATALOAD 0000043a: DUP2 0000043b: AND 0000043c: SWAP1 0000043d: PUSH1 0x24 0000043f: CALLDATALOAD 00000440: AND 00000441: PUSH2 0x0f94 00000444: JUMP 00000445: JUMPDEST 00000446: CALLVALUE 00000447: DUP1 00000448: ISZERO 00000449: PUSH2 0x0451 0000044c: JUMPI 0000044d: PUSH1 0x00 0000044f: DUP1 00000450: REVERT 00000451: JUMPDEST 00000452: POP 00000453: PUSH1 0x40 00000455: DUP1 00000456: MLOAD 00000457: PUSH1 0x20 00000459: PUSH1 0x04 0000045b: DUP1 0000045c: CALLDATALOAD 0000045d: DUP1 0000045e: DUP3 0000045f: ADD 00000460: CALLDATALOAD 00000461: DUP4 00000462: DUP2 00000463: MUL 00000464: DUP1 00000465: DUP7 00000466: ADD 00000467: DUP6 00000468: ADD 00000469: SWAP1 0000046a: SWAP7 0000046b: MSTORE 0000046c: DUP1 0000046d: DUP6 0000046e: MSTORE 0000046f: PUSH2 0x024d 00000472: SWAP6 00000473: CALLDATASIZE 00000474: SWAP6 00000475: SWAP4 00000476: SWAP5 00000477: PUSH1 0x24 00000479: SWAP5 0000047a: SWAP4 0000047b: DUP6 0000047c: ADD 0000047d: SWAP3 0000047e: SWAP2 0000047f: DUP3 00000480: SWAP2 00000481: DUP6 00000482: ADD 00000483: SWAP1 00000484: DUP5 00000485: SWAP1 00000486: DUP1 00000487: DUP3 00000488: DUP5 00000489: CALLDATACOPY 0000048a: POP 0000048b: SWAP5 0000048c: SWAP8 0000048d: POP 0000048e: PUSH2 0x0fce 00000491: SWAP7 00000492: POP 00000493: POP 00000494: POP 00000495: POP 00000496: POP 00000497: POP 00000498: POP 00000499: JUMP 0000049a: JUMPDEST 0000049b: CALLVALUE 0000049c: DUP1 0000049d: ISZERO 0000049e: PUSH2 0x04a6 000004a1: JUMPI 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: REVERT 000004a6: JUMPDEST 000004a7: POP 000004a8: PUSH2 0x0282 000004ab: PUSH1 0x04 000004ad: CALLDATALOAD 000004ae: PUSH2 0x1027 000004b1: JUMP 000004b2: JUMPDEST 000004b3: CALLVALUE 000004b4: DUP1 000004b5: ISZERO 000004b6: PUSH2 0x04be 000004b9: JUMPI 000004ba: PUSH1 0x00 000004bc: DUP1 000004bd: REVERT 000004be: JUMPDEST 000004bf: POP 000004c0: PUSH2 0x0282 000004c3: PUSH2 0x1027 000004c6: JUMP 000004c7: JUMPDEST 000004c8: PUSH2 0x01a1 000004cb: PUSH1 0x01 000004cd: PUSH1 0xa0 000004cf: PUSH1 0x02 000004d1: EXP 000004d2: SUB 000004d3: PUSH1 0x04 000004d5: CALLDATALOAD 000004d6: AND 000004d7: PUSH2 0x102f 000004da: JUMP 000004db: JUMPDEST 000004dc: CALLVALUE 000004dd: DUP1 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: PUSH2 0x0282 000004ec: PUSH1 0x01 000004ee: PUSH1 0xa0 000004f0: PUSH1 0x02 000004f2: EXP 000004f3: SUB 000004f4: PUSH1 0x04 000004f6: CALLDATALOAD 000004f7: AND 000004f8: PUSH2 0x1044 000004fb: JUMP 000004fc: JUMPDEST 000004fd: CALLVALUE 000004fe: DUP1 000004ff: ISZERO 00000500: PUSH2 0x0508 00000503: JUMPI 00000504: PUSH1 0x00 00000506: DUP1 00000507: REVERT 00000508: JUMPDEST 00000509: POP 0000050a: PUSH2 0x0282 0000050d: PUSH1 0x01 0000050f: PUSH1 0xa0 00000511: PUSH1 0x02 00000513: EXP 00000514: SUB 00000515: PUSH1 0x04 00000517: CALLDATALOAD 00000518: AND 00000519: PUSH2 0x10d8 0000051c: JUMP 0000051d: JUMPDEST 0000051e: CALLVALUE 0000051f: DUP1 00000520: ISZERO 00000521: PUSH2 0x0529 00000524: JUMPI 00000525: PUSH1 0x00 00000527: DUP1 00000528: REVERT 00000529: JUMPDEST 0000052a: POP 0000052b: PUSH2 0x0282 0000052e: PUSH2 0x11f7 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH1 0x01 00000535: PUSH1 0xa0 00000537: PUSH1 0x02 00000539: EXP 0000053a: SUB 0000053b: DUP1 0000053c: DUP4 0000053d: AND 0000053e: PUSH1 0x00 00000540: SWAP1 00000541: DUP2 00000542: MSTORE 00000543: PUSH1 0x0c 00000545: PUSH1 0x20 00000547: MSTORE 00000548: PUSH1 0x40 0000054a: DUP2 0000054b: KECCAK256 0000054c: SLOAD 0000054d: PUSH1 0x02 0000054f: SLOAD 00000550: SWAP2 00000551: SWAP3 00000552: AND 00000553: SWAP1 00000554: DUP3 00000555: SWAP1 00000556: DUP2 00000557: SWAP1 00000558: DUP2 00000559: SWAP1 0000055a: DUP2 0000055b: SWAP1 0000055c: DUP2 0000055d: SWAP1 0000055e: DUP2 0000055f: SWAP1 00000560: DUP2 00000561: SWAP1 00000562: DUP2 00000563: SWAP1 00000564: DUP2 00000565: SWAP1 00000566: PUSH2 0x057b 00000569: SWAP1 0000056a: PUSH2 0x0574 0000056d: SWAP1 0000056e: DUP15 0000056f: SWAP1 00000570: PUSH2 0x12b3 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x64 00000577: PUSH2 0x12dc 0000057a: JUMP 0000057b: JUMPDEST 0000057c: SWAP9 0000057d: POP 0000057e: PUSH2 0x058c 00000581: PUSH2 0x0574 00000584: DUP11 00000585: PUSH1 0x06 00000587: SLOAD 00000588: PUSH2 0x12b3 0000058b: JUMP 0000058c: JUMPDEST 0000058d: SWAP8 0000058e: POP 0000058f: PUSH2 0x059d 00000592: PUSH2 0x0574 00000595: DUP11 00000596: PUSH1 0x05 00000598: SLOAD 00000599: PUSH2 0x12b3 0000059c: JUMP 0000059d: JUMPDEST 0000059e: SWAP7 0000059f: POP 000005a0: PUSH2 0x05b2 000005a3: DUP10 000005a4: PUSH2 0x05ad 000005a7: DUP10 000005a8: DUP12 000005a9: PUSH2 0x12f1 000005ac: JUMP 000005ad: JUMPDEST 000005ae: PUSH2 0x12fe 000005b1: JUMP 000005b2: JUMPDEST 000005b3: SWAP6 000005b4: POP 000005b5: PUSH2 0x05be 000005b8: DUP13 000005b9: DUP11 000005ba: PUSH2 0x12fe 000005bd: JUMP 000005be: JUMPDEST 000005bf: SWAP5 000005c0: POP 000005c1: PUSH2 0x05c9 000005c4: DUP6 000005c5: PUSH2 0x1310 000005c8: JUMP 000005c9: JUMPDEST 000005ca: SWAP4 000005cb: POP 000005cc: PUSH9 0x010000000000000000 000005d6: DUP7 000005d7: MUL 000005d8: SWAP3 000005d9: POP 000005da: PUSH2 0x05e4 000005dd: DUP13 000005de: PUSH1 0x02 000005e0: PUSH2 0x12dc 000005e3: JUMP 000005e4: JUMPDEST 000005e5: SWAP2 000005e6: POP 000005e7: PUSH1 0x00 000005e9: DUP5 000005ea: GT 000005eb: DUP1 000005ec: ISZERO 000005ed: PUSH2 0x0600 000005f0: JUMPI 000005f1: POP 000005f2: PUSH1 0x0d 000005f4: SLOAD 000005f5: PUSH2 0x05fe 000005f8: DUP6 000005f9: DUP3 000005fa: PUSH2 0x12f1 000005fd: JUMP 000005fe: JUMPDEST 000005ff: GT 00000600: JUMPDEST 00000601: ISZERO 00000602: ISZERO 00000603: PUSH2 0x060b 00000606: JUMPI 00000607: PUSH1 0x00 00000609: DUP1 0000060a: REVERT 0000060b: JUMPDEST 0000060c: PUSH1 0x07 0000060e: SLOAD 0000060f: PUSH1 0x01 00000611: PUSH1 0xa0 00000613: PUSH1 0x02 00000615: EXP 00000616: SUB 00000617: AND 00000618: PUSH1 0x00 0000061a: SWAP1 0000061b: DUP2 0000061c: MSTORE 0000061d: PUSH1 0x0a 0000061f: PUSH1 0x20 00000621: MSTORE 00000622: PUSH1 0x40 00000624: SWAP1 00000625: KECCAK256 00000626: SLOAD 00000627: PUSH2 0x0630 0000062a: SWAP1 0000062b: DUP10 0000062c: PUSH2 0x12f1 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH1 0x07 00000633: SLOAD 00000634: PUSH1 0x01 00000636: PUSH1 0xa0 00000638: PUSH1 0x02 0000063a: EXP 0000063b: SUB 0000063c: SWAP1 0000063d: DUP2 0000063e: AND 0000063f: PUSH1 0x00 00000641: SWAP1 00000642: DUP2 00000643: MSTORE 00000644: PUSH1 0x0a 00000646: PUSH1 0x20 00000648: MSTORE 00000649: PUSH1 0x40 0000064b: SWAP1 0000064c: KECCAK256 0000064d: SWAP2 0000064e: SWAP1 0000064f: SWAP2 00000650: SSTORE 00000651: DUP11 00000652: AND 00000653: ISZERO 00000654: DUP1 00000655: ISZERO 00000656: SWAP1 00000657: PUSH2 0x0672 0000065a: JUMPI 0000065b: POP 0000065c: DUP13 0000065d: PUSH1 0x01 0000065f: PUSH1 0xa0 00000661: PUSH1 0x02 00000663: EXP 00000664: SUB 00000665: AND 00000666: DUP11 00000667: PUSH1 0x01 00000669: PUSH1 0xa0 0000066b: PUSH1 0x02 0000066d: EXP 0000066e: SUB 0000066f: AND 00000670: EQ 00000671: ISZERO 00000672: JUMPDEST 00000673: DUP1 00000674: ISZERO 00000675: PUSH2 0x0698 00000678: JUMPI 00000679: POP 0000067a: PUSH1 0x08 0000067c: SLOAD 0000067d: PUSH1 0x01 0000067f: PUSH1 0xa0 00000681: PUSH1 0x02 00000683: EXP 00000684: SUB 00000685: DUP12 00000686: AND 00000687: PUSH1 0x00 00000689: SWAP1 0000068a: DUP2 0000068b: MSTORE 0000068c: PUSH1 0x09 0000068e: PUSH1 0x20 00000690: MSTORE 00000691: PUSH1 0x40 00000693: SWAP1 00000694: KECCAK256 00000695: SLOAD 00000696: LT 00000697: ISZERO 00000698: JUMPDEST 00000699: ISZERO 0000069a: PUSH2 0x06de 0000069d: JUMPI 0000069e: PUSH1 0x01 000006a0: PUSH1 0xa0 000006a2: PUSH1 0x02 000006a4: EXP 000006a5: SUB 000006a6: DUP11 000006a7: AND 000006a8: PUSH1 0x00 000006aa: SWAP1 000006ab: DUP2 000006ac: MSTORE 000006ad: PUSH1 0x0a 000006af: PUSH1 0x20 000006b1: MSTORE 000006b2: PUSH1 0x40 000006b4: SWAP1 000006b5: KECCAK256 000006b6: SLOAD 000006b7: PUSH2 0x06c0 000006ba: SWAP1 000006bb: DUP9 000006bc: PUSH2 0x12f1 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH1 0x01 000006c3: PUSH1 0xa0 000006c5: PUSH1 0x02 000006c7: EXP 000006c8: SUB 000006c9: DUP12 000006ca: AND 000006cb: PUSH1 0x00 000006cd: SWAP1 000006ce: DUP2 000006cf: MSTORE 000006d0: PUSH1 0x0a 000006d2: PUSH1 0x20 000006d4: MSTORE 000006d5: PUSH1 0x40 000006d7: SWAP1 000006d8: KECCAK256 000006d9: SSTORE 000006da: PUSH2 0x06f9 000006dd: JUMP 000006de: JUMPDEST 000006df: PUSH2 0x06e8 000006e2: DUP7 000006e3: DUP9 000006e4: PUSH2 0x12f1 000006e7: JUMP 000006e8: JUMPDEST 000006e9: SWAP6 000006ea: POP 000006eb: PUSH9 0x010000000000000000 000006f5: DUP7 000006f6: MUL 000006f7: SWAP3 000006f8: POP 000006f9: JUMPDEST 000006fa: PUSH1 0x00 000006fc: PUSH1 0x0d 000006fe: SLOAD 000006ff: GT 00000700: ISZERO 00000701: PUSH2 0x075d 00000704: JUMPI 00000705: PUSH2 0x0710 00000708: PUSH1 0x0d 0000070a: SLOAD 0000070b: DUP6 0000070c: PUSH2 0x12f1 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH1 0x0d 00000713: DUP2 00000714: SWAP1 00000715: SSTORE 00000716: PUSH9 0x010000000000000000 00000720: DUP8 00000721: MUL 00000722: DUP2 00000723: ISZERO 00000724: ISZERO 00000725: PUSH2 0x072a 00000728: JUMPI 00000729: INVALID 0000072a: JUMPDEST 0000072b: PUSH1 0x0e 0000072d: DUP1 0000072e: SLOAD 0000072f: SWAP3 00000730: SWAP1 00000731: SWAP2 00000732: DIV 00000733: SWAP1 00000734: SWAP2 00000735: ADD 00000736: SWAP1 00000737: SSTORE 00000738: PUSH1 0x0d 0000073a: SLOAD 0000073b: PUSH9 0x010000000000000000 00000745: DUP8 00000746: MUL 00000747: DUP2 00000748: ISZERO 00000749: ISZERO 0000074a: PUSH2 0x074f 0000074d: JUMPI 0000074e: INVALID 0000074f: JUMPDEST 00000750: DIV 00000751: DUP5 00000752: MUL 00000753: DUP4 00000754: SUB 00000755: DUP4 00000756: SUB 00000757: SWAP3 00000758: POP 00000759: PUSH2 0x0763 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH1 0x0d 00000760: DUP5 00000761: SWAP1 00000762: SSTORE 00000763: JUMPDEST 00000764: PUSH1 0x01 00000766: PUSH1 0xa0 00000768: PUSH1 0x02 0000076a: EXP 0000076b: SUB 0000076c: DUP14 0000076d: AND 0000076e: PUSH1 0x00 00000770: SWAP1 00000771: DUP2 00000772: MSTORE 00000773: PUSH1 0x09 00000775: PUSH1 0x20 00000777: MSTORE 00000778: PUSH1 0x40 0000077a: SWAP1 0000077b: KECCAK256 0000077c: SLOAD 0000077d: PUSH2 0x0786 00000780: SWAP1 00000781: DUP6 00000782: PUSH2 0x12f1 00000785: JUMP 00000786: JUMPDEST 00000787: PUSH1 0x01 00000789: PUSH1 0xa0 0000078b: PUSH1 0x02 0000078d: EXP 0000078e: SUB 0000078f: DUP1 00000790: DUP16 00000791: AND 00000792: PUSH1 0x00 00000794: SWAP1 00000795: DUP2 00000796: MSTORE 00000797: PUSH1 0x09 00000799: PUSH1 0x20 0000079b: SWAP1 0000079c: DUP2 0000079d: MSTORE 0000079e: PUSH1 0x40 000007a0: DUP1 000007a1: DUP4 000007a2: KECCAK256 000007a3: SWAP5 000007a4: SWAP1 000007a5: SWAP5 000007a6: SSTORE 000007a7: PUSH1 0x0e 000007a9: SLOAD 000007aa: PUSH1 0x0b 000007ac: SWAP1 000007ad: SWAP2 000007ae: MSTORE 000007af: DUP4 000007b0: DUP3 000007b1: KECCAK256 000007b2: DUP1 000007b3: SLOAD 000007b4: SWAP2 000007b5: DUP10 000007b6: MUL 000007b7: DUP9 000007b8: SWAP1 000007b9: SUB 000007ba: SWAP2 000007bb: DUP3 000007bc: ADD 000007bd: SWAP1 000007be: SSTORE 000007bf: PUSH1 0x0f 000007c1: SLOAD 000007c2: PUSH1 0x07 000007c4: SLOAD 000007c5: DUP6 000007c6: MLOAD 000007c7: PUSH32 0xeeec0e2400000000000000000000000000000000000000000000000000000000 000007e8: DUP2 000007e9: MSTORE 000007ea: SWAP1 000007eb: DUP6 000007ec: AND 000007ed: PUSH1 0x04 000007ef: DUP3 000007f0: ADD 000007f1: MSTORE 000007f2: PUSH1 0x24 000007f4: DUP2 000007f5: ADD 000007f6: DUP9 000007f7: SWAP1 000007f8: MSTORE 000007f9: SWAP5 000007fa: MLOAD 000007fb: SWAP2 000007fc: SWAP6 000007fd: POP 000007fe: SWAP1 000007ff: SWAP3 00000800: AND 00000801: SWAP3 00000802: PUSH4 0xeeec0e24 00000807: SWAP3 00000808: PUSH1 0x44 0000080a: DUP1 0000080b: DUP4 0000080c: ADD 0000080d: SWAP4 0000080e: SWAP3 0000080f: DUP3 00000810: SWAP1 00000811: SUB 00000812: ADD 00000813: DUP2 00000814: DUP4 00000815: DUP8 00000816: DUP1 00000817: EXTCODESIZE 00000818: ISZERO 00000819: DUP1 0000081a: ISZERO 0000081b: PUSH2 0x0823 0000081e: JUMPI 0000081f: PUSH1 0x00 00000821: DUP1 00000822: REVERT 00000823: JUMPDEST 00000824: POP 00000825: GAS 00000826: CALL 00000827: ISZERO 00000828: DUP1 00000829: ISZERO 0000082a: PUSH2 0x0837 0000082d: JUMPI 0000082e: RETURNDATASIZE 0000082f: PUSH1 0x00 00000831: DUP1 00000832: RETURNDATACOPY 00000833: RETURNDATASIZE 00000834: PUSH1 0x00 00000836: REVERT 00000837: JUMPDEST 00000838: POP 00000839: POP 0000083a: POP 0000083b: POP 0000083c: PUSH1 0x0f 0000083e: PUSH1 0x00 00000840: SWAP1 00000841: SLOAD 00000842: SWAP1 00000843: PUSH2 0x0100 00000846: EXP 00000847: SWAP1 00000848: DIV 00000849: PUSH1 0x01 0000084b: PUSH1 0xa0 0000084d: PUSH1 0x02 0000084f: EXP 00000850: SUB 00000851: AND 00000852: PUSH1 0x01 00000854: PUSH1 0xa0 00000856: PUSH1 0x02 00000858: EXP 00000859: SUB 0000085a: AND 0000085b: PUSH4 0xeeec0e24 00000860: DUP15 00000861: DUP5 00000862: PUSH1 0x40 00000864: MLOAD 00000865: DUP4 00000866: PUSH4 0xffffffff 0000086b: AND 0000086c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000088a: MUL 0000088b: DUP2 0000088c: MSTORE 0000088d: PUSH1 0x04 0000088f: ADD 00000890: DUP1 00000891: DUP4 00000892: PUSH1 0x01 00000894: PUSH1 0xa0 00000896: PUSH1 0x02 00000898: EXP 00000899: SUB 0000089a: AND 0000089b: PUSH1 0x01 0000089d: PUSH1 0xa0 0000089f: PUSH1 0x02 000008a1: EXP 000008a2: SUB 000008a3: AND 000008a4: DUP2 000008a5: MSTORE 000008a6: PUSH1 0x20 000008a8: ADD 000008a9: DUP3 000008aa: DUP2 000008ab: MSTORE 000008ac: PUSH1 0x20 000008ae: ADD 000008af: SWAP3 000008b0: POP 000008b1: POP 000008b2: POP 000008b3: PUSH1 0x00 000008b5: PUSH1 0x40 000008b7: MLOAD 000008b8: DUP1 000008b9: DUP4 000008ba: SUB 000008bb: DUP2 000008bc: PUSH1 0x00 000008be: DUP8 000008bf: DUP1 000008c0: EXTCODESIZE 000008c1: ISZERO 000008c2: DUP1 000008c3: ISZERO 000008c4: PUSH2 0x08cc 000008c7: JUMPI 000008c8: PUSH1 0x00 000008ca: DUP1 000008cb: REVERT 000008cc: JUMPDEST 000008cd: POP 000008ce: GAS 000008cf: CALL 000008d0: ISZERO 000008d1: DUP1 000008d2: ISZERO 000008d3: PUSH2 0x08e0 000008d6: JUMPI 000008d7: RETURNDATASIZE 000008d8: PUSH1 0x00 000008da: DUP1 000008db: RETURNDATACOPY 000008dc: RETURNDATASIZE 000008dd: PUSH1 0x00 000008df: REVERT 000008e0: JUMPDEST 000008e1: POP 000008e2: POP 000008e3: POP 000008e4: POP 000008e5: DUP10 000008e6: PUSH1 0x01 000008e8: PUSH1 0xa0 000008ea: PUSH1 0x02 000008ec: EXP 000008ed: SUB 000008ee: AND 000008ef: DUP14 000008f0: PUSH1 0x01 000008f2: PUSH1 0xa0 000008f4: PUSH1 0x02 000008f6: EXP 000008f7: SUB 000008f8: AND 000008f9: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab 0000091a: DUP15 0000091b: DUP8 0000091c: TIMESTAMP 0000091d: PUSH2 0x0924 00000920: PUSH2 0x0d5c 00000923: JUMP 00000924: JUMPDEST 00000925: PUSH1 0x40 00000927: DUP1 00000928: MLOAD 00000929: SWAP5 0000092a: DUP6 0000092b: MSTORE 0000092c: PUSH1 0x20 0000092e: DUP6 0000092f: ADD 00000930: SWAP4 00000931: SWAP1 00000932: SWAP4 00000933: MSTORE 00000934: DUP4 00000935: DUP4 00000936: ADD 00000937: SWAP2 00000938: SWAP1 00000939: SWAP2 0000093a: MSTORE 0000093b: PUSH1 0x60 0000093d: DUP4 0000093e: ADD 0000093f: MSTORE 00000940: MLOAD 00000941: SWAP1 00000942: DUP2 00000943: SWAP1 00000944: SUB 00000945: PUSH1 0x80 00000947: ADD 00000948: SWAP1 00000949: LOG3 0000094a: POP 0000094b: SWAP2 0000094c: SWAP12 0000094d: SWAP11 0000094e: POP 0000094f: POP 00000950: POP 00000951: POP 00000952: POP 00000953: POP 00000954: POP 00000955: POP 00000956: POP 00000957: POP 00000958: POP 00000959: JUMP 0000095a: JUMPDEST 0000095b: PUSH1 0x01 0000095d: PUSH1 0xa0 0000095f: PUSH1 0x02 00000961: EXP 00000962: SUB 00000963: DUP2 00000964: AND 00000965: PUSH1 0x00 00000967: SWAP1 00000968: DUP2 00000969: MSTORE 0000096a: PUSH1 0x0b 0000096c: PUSH1 0x20 0000096e: SWAP1 0000096f: DUP2 00000970: MSTORE 00000971: PUSH1 0x40 00000973: DUP1 00000974: DUP4 00000975: KECCAK256 00000976: SLOAD 00000977: PUSH1 0x09 00000979: SWAP1 0000097a: SWAP3 0000097b: MSTORE 0000097c: DUP3 0000097d: KECCAK256 0000097e: SLOAD 0000097f: PUSH1 0x0e 00000981: SLOAD 00000982: PUSH9 0x010000000000000000 0000098c: SWAP3 0000098d: SWAP2 0000098e: MUL 0000098f: SUB 00000990: DIV 00000991: SWAP1 00000992: POP 00000993: JUMPDEST 00000994: SWAP2 00000995: SWAP1 00000996: POP 00000997: JUMP 00000998: JUMPDEST 00000999: PUSH1 0x00 0000099b: DUP1 0000099c: PUSH1 0x00 0000099e: DUP1 0000099f: PUSH2 0x09ad 000009a2: PUSH2 0x0574 000009a5: DUP7 000009a6: PUSH1 0x02 000009a8: SLOAD 000009a9: PUSH2 0x12b3 000009ac: JUMP 000009ad: JUMPDEST 000009ae: SWAP3 000009af: POP 000009b0: PUSH2 0x09b9 000009b3: DUP6 000009b4: DUP5 000009b5: PUSH2 0x12fe 000009b8: JUMP 000009b9: JUMPDEST 000009ba: SWAP2 000009bb: POP 000009bc: PUSH2 0x09c4 000009bf: DUP3 000009c0: PUSH2 0x1310 000009c3: JUMP 000009c4: JUMPDEST 000009c5: SWAP6 000009c6: SWAP5 000009c7: POP 000009c8: POP 000009c9: POP 000009ca: POP 000009cb: POP 000009cc: JUMP 000009cd: JUMPDEST 000009ce: PUSH1 0x0d 000009d0: SLOAD 000009d1: SWAP1 000009d2: JUMP 000009d3: JUMPDEST 000009d4: PUSH1 0x00 000009d6: DUP1 000009d7: PUSH1 0x00 000009d9: DUP1 000009da: PUSH1 0x0d 000009dc: SLOAD 000009dd: DUP6 000009de: GT 000009df: ISZERO 000009e0: ISZERO 000009e1: ISZERO 000009e2: PUSH2 0x09ea 000009e5: JUMPI 000009e6: PUSH1 0x00 000009e8: DUP1 000009e9: REVERT 000009ea: JUMPDEST 000009eb: PUSH2 0x09f3 000009ee: DUP6 000009ef: PUSH2 0x131e 000009f2: JUMP 000009f3: JUMPDEST 000009f4: SWAP3 000009f5: POP 000009f6: PUSH2 0x0a04 000009f9: PUSH2 0x0574 000009fc: DUP5 000009fd: PUSH1 0x04 000009ff: SLOAD 00000a00: PUSH2 0x12b3 00000a03: JUMP 00000a04: JUMPDEST 00000a05: SWAP2 00000a06: POP 00000a07: PUSH2 0x09c4 00000a0a: DUP4 00000a0b: DUP4 00000a0c: PUSH2 0x12fe 00000a0f: JUMP 00000a10: JUMPDEST 00000a11: PUSH1 0x00 00000a13: DUP1 00000a14: SLOAD 00000a15: DUP2 00000a16: SWAP1 00000a17: PUSH1 0x01 00000a19: PUSH1 0xa0 00000a1b: PUSH1 0x02 00000a1d: EXP 00000a1e: SUB 00000a1f: AND 00000a20: CALLER 00000a21: EQ 00000a22: PUSH2 0x0a2a 00000a25: JUMPI 00000a26: PUSH1 0x00 00000a28: DUP1 00000a29: REVERT 00000a2a: JUMPDEST 00000a2b: POP 00000a2c: PUSH1 0x00 00000a2e: JUMPDEST 00000a2f: DUP3 00000a30: MLOAD 00000a31: DUP2 00000a32: LT 00000a33: ISZERO 00000a34: PUSH2 0x0a69 00000a37: JUMPI 00000a38: PUSH2 0x0a57 00000a3b: DUP4 00000a3c: DUP3 00000a3d: DUP2 00000a3e: MLOAD 00000a3f: DUP2 00000a40: LT 00000a41: ISZERO 00000a42: ISZERO 00000a43: PUSH2 0x0a48 00000a46: JUMPI 00000a47: INVALID 00000a48: JUMPDEST 00000a49: SWAP1 00000a4a: PUSH1 0x20 00000a4c: ADD 00000a4d: SWAP1 00000a4e: PUSH1 0x20 00000a50: MUL 00000a51: ADD 00000a52: MLOAD 00000a53: PUSH2 0x0ab5 00000a56: JUMP 00000a57: JUMPDEST 00000a58: ISZERO 00000a59: PUSH2 0x0a61 00000a5c: JUMPI 00000a5d: PUSH1 0x01 00000a5f: SWAP2 00000a60: POP 00000a61: JUMPDEST 00000a62: PUSH1 0x01 00000a64: ADD 00000a65: PUSH2 0x0a2e 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: POP 00000a6b: SWAP2 00000a6c: SWAP1 00000a6d: POP 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: PUSH1 0x00 00000a72: SLOAD 00000a73: PUSH1 0x01 00000a75: PUSH1 0xa0 00000a77: PUSH1 0x02 00000a79: EXP 00000a7a: SUB 00000a7b: AND 00000a7c: CALLER 00000a7d: EQ 00000a7e: PUSH2 0x0a86 00000a81: JUMPI 00000a82: PUSH1 0x00 00000a84: DUP1 00000a85: REVERT 00000a86: JUMPDEST 00000a87: PUSH1 0x07 00000a89: DUP1 00000a8a: SLOAD 00000a8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa0: NOT 00000aa1: AND 00000aa2: PUSH1 0x01 00000aa4: PUSH1 0xa0 00000aa6: PUSH1 0x02 00000aa8: EXP 00000aa9: SUB 00000aaa: SWAP3 00000aab: SWAP1 00000aac: SWAP3 00000aad: AND 00000aae: SWAP2 00000aaf: SWAP1 00000ab0: SWAP2 00000ab1: OR 00000ab2: SWAP1 00000ab3: SSTORE 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: PUSH1 0x00 00000ab8: DUP1 00000ab9: SLOAD 00000aba: PUSH1 0x01 00000abc: PUSH1 0xa0 00000abe: PUSH1 0x02 00000ac0: EXP 00000ac1: SUB 00000ac2: AND 00000ac3: CALLER 00000ac4: EQ 00000ac5: PUSH2 0x0acd 00000ac8: JUMPI 00000ac9: PUSH1 0x00 00000acb: DUP1 00000acc: REVERT 00000acd: JUMPDEST 00000ace: PUSH1 0x01 00000ad0: PUSH1 0xa0 00000ad2: PUSH1 0x02 00000ad4: EXP 00000ad5: SUB 00000ad6: DUP3 00000ad7: AND 00000ad8: PUSH1 0x00 00000ada: SWAP1 00000adb: DUP2 00000adc: MSTORE 00000add: PUSH1 0x01 00000adf: PUSH1 0x20 00000ae1: MSTORE 00000ae2: PUSH1 0x40 00000ae4: SWAP1 00000ae5: KECCAK256 00000ae6: SLOAD 00000ae7: PUSH1 0xff 00000ae9: AND 00000aea: ISZERO 00000aeb: PUSH2 0x0993 00000aee: JUMPI 00000aef: PUSH1 0x01 00000af1: PUSH1 0xa0 00000af3: PUSH1 0x02 00000af5: EXP 00000af6: SUB 00000af7: DUP3 00000af8: AND 00000af9: PUSH1 0x00 00000afb: DUP2 00000afc: DUP2 00000afd: MSTORE 00000afe: PUSH1 0x01 00000b00: PUSH1 0x20 00000b02: SWAP1 00000b03: DUP2 00000b04: MSTORE 00000b05: PUSH1 0x40 00000b07: SWAP2 00000b08: DUP3 00000b09: SWAP1 00000b0a: KECCAK256 00000b0b: DUP1 00000b0c: SLOAD 00000b0d: PUSH1 0xff 00000b0f: NOT 00000b10: AND 00000b11: SWAP1 00000b12: SSTORE 00000b13: DUP2 00000b14: MLOAD 00000b15: SWAP3 00000b16: DUP4 00000b17: MSTORE 00000b18: SWAP1 00000b19: MLOAD 00000b1a: PUSH32 0xf1abf01a1043b7c244d128e8595cf0c1d10743b022b03a02dffd8ca3bf729f5a 00000b3b: SWAP3 00000b3c: DUP2 00000b3d: SWAP1 00000b3e: SUB 00000b3f: SWAP1 00000b40: SWAP2 00000b41: ADD 00000b42: SWAP1 00000b43: LOG1 00000b44: POP 00000b45: PUSH1 0x01 00000b47: SWAP2 00000b48: SWAP1 00000b49: POP 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH1 0x00 00000b4e: DUP1 00000b4f: PUSH1 0x00 00000b51: PUSH2 0x0b5a 00000b54: PUSH1 0x01 00000b56: PUSH2 0x0c60 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: GT 00000b5c: PUSH2 0x0b64 00000b5f: JUMPI 00000b60: PUSH1 0x00 00000b62: DUP1 00000b63: REVERT 00000b64: JUMPDEST 00000b65: CALLER 00000b66: SWAP2 00000b67: POP 00000b68: PUSH2 0x0b71 00000b6b: PUSH1 0x00 00000b6d: PUSH2 0x0c60 00000b70: JUMP 00000b71: JUMPDEST 00000b72: PUSH1 0x01 00000b74: PUSH1 0xa0 00000b76: PUSH1 0x02 00000b78: EXP 00000b79: SUB 00000b7a: DUP4 00000b7b: AND 00000b7c: PUSH1 0x00 00000b7e: DUP2 00000b7f: DUP2 00000b80: MSTORE 00000b81: PUSH1 0x0b 00000b83: PUSH1 0x20 00000b85: SWAP1 00000b86: DUP2 00000b87: MSTORE 00000b88: PUSH1 0x40 00000b8a: DUP1 00000b8b: DUP4 00000b8c: KECCAK256 00000b8d: DUP1 00000b8e: SLOAD 00000b8f: PUSH9 0x010000000000000000 00000b99: DUP8 00000b9a: MUL 00000b9b: ADD 00000b9c: SWAP1 00000b9d: SSTORE 00000b9e: PUSH1 0x0a 00000ba0: SWAP1 00000ba1: SWAP2 00000ba2: MSTORE 00000ba3: DUP1 00000ba4: DUP3 00000ba5: KECCAK256 00000ba6: DUP1 00000ba7: SLOAD 00000ba8: SWAP1 00000ba9: DUP4 00000baa: SWAP1 00000bab: SSTORE 00000bac: SWAP1 00000bad: MLOAD 00000bae: SWAP4 00000baf: ADD 00000bb0: SWAP4 00000bb1: POP 00000bb2: SWAP1 00000bb3: SWAP2 00000bb4: DUP4 00000bb5: ISZERO 00000bb6: PUSH2 0x08fc 00000bb9: MUL 00000bba: SWAP2 00000bbb: DUP5 00000bbc: SWAP2 00000bbd: SWAP1 00000bbe: DUP2 00000bbf: DUP2 00000bc0: DUP2 00000bc1: DUP6 00000bc2: DUP9 00000bc3: DUP9 00000bc4: CALL 00000bc5: SWAP4 00000bc6: POP 00000bc7: POP 00000bc8: POP 00000bc9: POP 00000bca: ISZERO 00000bcb: DUP1 00000bcc: ISZERO 00000bcd: PUSH2 0x0bda 00000bd0: JUMPI 00000bd1: RETURNDATASIZE 00000bd2: PUSH1 0x00 00000bd4: DUP1 00000bd5: RETURNDATACOPY 00000bd6: RETURNDATASIZE 00000bd7: PUSH1 0x00 00000bd9: REVERT 00000bda: JUMPDEST 00000bdb: POP 00000bdc: PUSH1 0x40 00000bde: DUP1 00000bdf: MLOAD 00000be0: DUP3 00000be1: DUP2 00000be2: MSTORE 00000be3: SWAP1 00000be4: MLOAD 00000be5: PUSH1 0x01 00000be7: PUSH1 0xa0 00000be9: PUSH1 0x02 00000beb: EXP 00000bec: SUB 00000bed: DUP5 00000bee: AND 00000bef: SWAP2 00000bf0: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000c11: SWAP2 00000c12: SWAP1 00000c13: DUP2 00000c14: SWAP1 00000c15: SUB 00000c16: PUSH1 0x20 00000c18: ADD 00000c19: SWAP1 00000c1a: LOG2 00000c1b: POP 00000c1c: POP 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: PUSH1 0x00 00000c21: DUP1 00000c22: PUSH1 0x00 00000c24: DUP1 00000c25: PUSH2 0x0c35 00000c28: PUSH8 0x0de0b6b3a7640000 00000c31: PUSH2 0x131e 00000c34: JUMP 00000c35: JUMPDEST 00000c36: SWAP3 00000c37: POP 00000c38: PUSH2 0x0c46 00000c3b: PUSH2 0x0574 00000c3e: DUP5 00000c3f: PUSH1 0x04 00000c41: SLOAD 00000c42: PUSH2 0x12b3 00000c45: JUMP 00000c46: JUMPDEST 00000c47: SWAP2 00000c48: POP 00000c49: PUSH2 0x0c52 00000c4c: DUP4 00000c4d: DUP4 00000c4e: PUSH2 0x12fe 00000c51: JUMP 00000c52: JUMPDEST 00000c53: SWAP5 00000c54: SWAP4 00000c55: POP 00000c56: POP 00000c57: POP 00000c58: POP 00000c59: JUMP 00000c5a: JUMPDEST 00000c5b: PUSH1 0x08 00000c5d: SLOAD 00000c5e: DUP2 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: PUSH1 0x00 00000c63: CALLER 00000c64: DUP3 00000c65: PUSH2 0x0c76 00000c68: JUMPI 00000c69: PUSH2 0x0c71 00000c6c: DUP2 00000c6d: PUSH2 0x095a 00000c70: JUMP 00000c71: JUMPDEST 00000c72: PUSH2 0x0c9a 00000c75: JUMP 00000c76: JUMPDEST 00000c77: PUSH1 0x01 00000c79: PUSH1 0xa0 00000c7b: PUSH1 0x02 00000c7d: EXP 00000c7e: SUB 00000c7f: DUP2 00000c80: AND 00000c81: PUSH1 0x00 00000c83: SWAP1 00000c84: DUP2 00000c85: MSTORE 00000c86: PUSH1 0x0a 00000c88: PUSH1 0x20 00000c8a: MSTORE 00000c8b: PUSH1 0x40 00000c8d: SWAP1 00000c8e: KECCAK256 00000c8f: SLOAD 00000c90: PUSH2 0x0c98 00000c93: DUP3 00000c94: PUSH2 0x095a 00000c97: JUMP 00000c98: JUMPDEST 00000c99: ADD 00000c9a: JUMPDEST 00000c9b: SWAP4 00000c9c: SWAP3 00000c9d: POP 00000c9e: POP 00000c9f: POP 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: ADDRESS 00000ca3: BALANCE 00000ca4: SWAP1 00000ca5: JUMP 00000ca6: JUMPDEST 00000ca7: PUSH1 0x01 00000ca9: PUSH1 0xa0 00000cab: PUSH1 0x02 00000cad: EXP 00000cae: SUB 00000caf: AND 00000cb0: PUSH1 0x00 00000cb2: SWAP1 00000cb3: DUP2 00000cb4: MSTORE 00000cb5: PUSH1 0x09 00000cb7: PUSH1 0x20 00000cb9: MSTORE 00000cba: PUSH1 0x40 00000cbc: SWAP1 00000cbd: KECCAK256 00000cbe: SLOAD 00000cbf: SWAP1 00000cc0: JUMP 00000cc1: JUMPDEST 00000cc2: PUSH1 0x00 00000cc4: DUP1 00000cc5: SLOAD 00000cc6: PUSH1 0x01 00000cc8: PUSH1 0xa0 00000cca: PUSH1 0x02 00000ccc: EXP 00000ccd: SUB 00000cce: AND 00000ccf: CALLER 00000cd0: EQ 00000cd1: PUSH2 0x0cd9 00000cd4: JUMPI 00000cd5: PUSH1 0x00 00000cd7: DUP1 00000cd8: REVERT 00000cd9: JUMPDEST 00000cda: PUSH1 0x01 00000cdc: PUSH1 0xa0 00000cde: PUSH1 0x02 00000ce0: EXP 00000ce1: SUB 00000ce2: DUP3 00000ce3: AND 00000ce4: PUSH1 0x00 00000ce6: SWAP1 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x01 00000ceb: PUSH1 0x20 00000ced: MSTORE 00000cee: PUSH1 0x40 00000cf0: SWAP1 00000cf1: KECCAK256 00000cf2: SLOAD 00000cf3: PUSH1 0xff 00000cf5: AND 00000cf6: ISZERO 00000cf7: ISZERO 00000cf8: PUSH2 0x0993 00000cfb: JUMPI 00000cfc: PUSH1 0x01 00000cfe: PUSH1 0xa0 00000d00: PUSH1 0x02 00000d02: EXP 00000d03: SUB 00000d04: DUP3 00000d05: AND 00000d06: PUSH1 0x00 00000d08: DUP2 00000d09: DUP2 00000d0a: MSTORE 00000d0b: PUSH1 0x01 00000d0d: PUSH1 0x20 00000d0f: DUP2 00000d10: DUP2 00000d11: MSTORE 00000d12: PUSH1 0x40 00000d14: SWAP3 00000d15: DUP4 00000d16: SWAP1 00000d17: KECCAK256 00000d18: DUP1 00000d19: SLOAD 00000d1a: PUSH1 0xff 00000d1c: NOT 00000d1d: AND 00000d1e: SWAP1 00000d1f: SWAP3 00000d20: OR 00000d21: SWAP1 00000d22: SWAP2 00000d23: SSTORE 00000d24: DUP2 00000d25: MLOAD 00000d26: SWAP3 00000d27: DUP4 00000d28: MSTORE 00000d29: SWAP1 00000d2a: MLOAD 00000d2b: PUSH32 0xd1bba68c128cc3f427e5831b3c6f99f480b6efa6b9e80c757768f6124158cc3f 00000d4c: SWAP3 00000d4d: DUP2 00000d4e: SWAP1 00000d4f: SUB 00000d50: SWAP1 00000d51: SWAP2 00000d52: ADD 00000d53: SWAP1 00000d54: LOG1 00000d55: POP 00000d56: PUSH1 0x01 00000d58: SWAP2 00000d59: SWAP1 00000d5a: POP 00000d5b: JUMP 00000d5c: JUMPDEST 00000d5d: PUSH1 0x00 00000d5f: DUP1 00000d60: PUSH1 0x00 00000d62: DUP1 00000d63: PUSH2 0x0d73 00000d66: PUSH8 0x0de0b6b3a7640000 00000d6f: PUSH2 0x131e 00000d72: JUMP 00000d73: JUMPDEST 00000d74: SWAP3 00000d75: POP 00000d76: PUSH2 0x0d84 00000d79: PUSH2 0x0574 00000d7c: DUP5 00000d7d: PUSH1 0x02 00000d7f: SLOAD 00000d80: PUSH2 0x12b3 00000d83: JUMP 00000d84: JUMPDEST 00000d85: SWAP2 00000d86: POP 00000d87: PUSH2 0x0c52 00000d8a: DUP4 00000d8b: DUP4 00000d8c: PUSH2 0x12f1 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: PUSH1 0x00 00000d93: SLOAD 00000d94: PUSH1 0x01 00000d96: PUSH1 0xa0 00000d98: PUSH1 0x02 00000d9a: EXP 00000d9b: SUB 00000d9c: AND 00000d9d: DUP2 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: PUSH1 0x00 00000da2: CALLER 00000da3: PUSH2 0x0dab 00000da6: DUP2 00000da7: PUSH2 0x0ca6 00000daa: JUMP 00000dab: JUMPDEST 00000dac: SWAP2 00000dad: POP 00000dae: POP 00000daf: SWAP1 00000db0: JUMP 00000db1: JUMPDEST 00000db2: PUSH1 0x01 00000db4: PUSH1 0x20 00000db6: MSTORE 00000db7: PUSH1 0x00 00000db9: SWAP1 00000dba: DUP2 00000dbb: MSTORE 00000dbc: PUSH1 0x40 00000dbe: SWAP1 00000dbf: KECCAK256 00000dc0: SLOAD 00000dc1: PUSH1 0xff 00000dc3: AND 00000dc4: DUP2 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: PUSH1 0x0c 00000dc9: PUSH1 0x20 00000dcb: MSTORE 00000dcc: PUSH1 0x00 00000dce: SWAP1 00000dcf: DUP2 00000dd0: MSTORE 00000dd1: PUSH1 0x40 00000dd3: SWAP1 00000dd4: KECCAK256 00000dd5: SLOAD 00000dd6: PUSH1 0x01 00000dd8: PUSH1 0xa0 00000dda: PUSH1 0x02 00000ddc: EXP 00000ddd: SUB 00000dde: AND 00000ddf: DUP2 00000de0: JUMP 00000de1: JUMPDEST 00000de2: PUSH1 0x00 00000de4: DUP1 00000de5: PUSH1 0x00 00000de7: DUP1 00000de8: PUSH1 0x00 00000dea: DUP1 00000deb: PUSH2 0x0df2 00000dee: PUSH2 0x0d9f 00000df1: JUMP 00000df2: JUMPDEST 00000df3: GT 00000df4: PUSH2 0x0dfc 00000df7: JUMPI 00000df8: PUSH1 0x00 00000dfa: DUP1 00000dfb: REVERT 00000dfc: JUMPDEST 00000dfd: CALLER 00000dfe: PUSH1 0x00 00000e00: DUP2 00000e01: DUP2 00000e02: MSTORE 00000e03: PUSH1 0x09 00000e05: PUSH1 0x20 00000e07: MSTORE 00000e08: PUSH1 0x40 00000e0a: SWAP1 00000e0b: KECCAK256 00000e0c: SLOAD 00000e0d: SWAP1 00000e0e: SWAP5 00000e0f: POP 00000e10: DUP7 00000e11: GT 00000e12: ISZERO 00000e13: PUSH2 0x0e1b 00000e16: JUMPI 00000e17: PUSH1 0x00 00000e19: DUP1 00000e1a: REVERT 00000e1b: JUMPDEST 00000e1c: PUSH1 0x00 00000e1e: PUSH2 0x0e27 00000e21: PUSH1 0x01 00000e23: PUSH2 0x0c60 00000e26: JUMP 00000e27: JUMPDEST 00000e28: GT 00000e29: ISZERO 00000e2a: PUSH2 0x0e35 00000e2d: JUMPI 00000e2e: PUSH2 0x0e35 00000e31: PUSH2 0x0b4b 00000e34: JUMP 00000e35: JUMPDEST 00000e36: PUSH2 0x0e44 00000e39: PUSH2 0x0574 00000e3c: DUP8 00000e3d: PUSH1 0x03 00000e3f: SLOAD 00000e40: PUSH2 0x12b3 00000e43: JUMP 00000e44: JUMPDEST 00000e45: SWAP3 00000e46: POP 00000e47: PUSH2 0x0e50 00000e4a: DUP7 00000e4b: DUP5 00000e4c: PUSH2 0x12fe 00000e4f: JUMP 00000e50: JUMPDEST 00000e51: SWAP2 00000e52: POP 00000e53: PUSH2 0x0e5b 00000e56: DUP4 00000e57: PUSH2 0x131e 00000e5a: JUMP 00000e5b: JUMPDEST 00000e5c: SWAP1 00000e5d: POP 00000e5e: PUSH2 0x0e69 00000e61: PUSH1 0x0d 00000e63: SLOAD 00000e64: DUP5 00000e65: PUSH2 0x12fe 00000e68: JUMP 00000e69: JUMPDEST 00000e6a: PUSH1 0x0d 00000e6c: SSTORE 00000e6d: PUSH1 0x01 00000e6f: PUSH1 0xa0 00000e71: PUSH1 0x02 00000e73: EXP 00000e74: SUB 00000e75: DUP5 00000e76: AND 00000e77: PUSH1 0x00 00000e79: SWAP1 00000e7a: DUP2 00000e7b: MSTORE 00000e7c: PUSH1 0x09 00000e7e: PUSH1 0x20 00000e80: MSTORE 00000e81: PUSH1 0x40 00000e83: SWAP1 00000e84: KECCAK256 00000e85: SLOAD 00000e86: PUSH2 0x0e8f 00000e89: SWAP1 00000e8a: DUP8 00000e8b: PUSH2 0x12fe 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH1 0x01 00000e92: PUSH1 0xa0 00000e94: PUSH1 0x02 00000e96: EXP 00000e97: SUB 00000e98: DUP1 00000e99: DUP7 00000e9a: AND 00000e9b: PUSH1 0x00 00000e9d: SWAP1 00000e9e: DUP2 00000e9f: MSTORE 00000ea0: PUSH1 0x09 00000ea2: PUSH1 0x20 00000ea4: MSTORE 00000ea5: PUSH1 0x40 00000ea7: DUP1 00000ea8: DUP3 00000ea9: KECCAK256 00000eaa: SWAP4 00000eab: SWAP1 00000eac: SWAP4 00000ead: SSTORE 00000eae: SWAP1 00000eaf: DUP10 00000eb0: AND 00000eb1: DUP2 00000eb2: MSTORE 00000eb3: KECCAK256 00000eb4: SLOAD 00000eb5: PUSH2 0x0ebe 00000eb8: SWAP1 00000eb9: DUP4 00000eba: PUSH2 0x12f1 00000ebd: JUMP 00000ebe: JUMPDEST 00000ebf: PUSH1 0x01 00000ec1: PUSH1 0xa0 00000ec3: PUSH1 0x02 00000ec5: EXP 00000ec6: SUB 00000ec7: DUP9 00000ec8: DUP2 00000ec9: AND 00000eca: PUSH1 0x00 00000ecc: DUP2 00000ecd: DUP2 00000ece: MSTORE 00000ecf: PUSH1 0x09 00000ed1: PUSH1 0x20 00000ed3: SWAP1 00000ed4: DUP2 00000ed5: MSTORE 00000ed6: PUSH1 0x40 00000ed8: DUP1 00000ed9: DUP4 00000eda: KECCAK256 00000edb: SWAP6 00000edc: SWAP1 00000edd: SWAP6 00000ede: SSTORE 00000edf: PUSH1 0x0e 00000ee1: DUP1 00000ee2: SLOAD 00000ee3: SWAP5 00000ee4: DUP11 00000ee5: AND 00000ee6: DUP4 00000ee7: MSTORE 00000ee8: PUSH1 0x0b 00000eea: SWAP1 00000eeb: SWAP2 00000eec: MSTORE 00000eed: DUP5 00000eee: DUP3 00000eef: KECCAK256 00000ef0: DUP1 00000ef1: SLOAD 00000ef2: SWAP5 00000ef3: DUP13 00000ef4: MUL 00000ef5: SWAP1 00000ef6: SWAP5 00000ef7: SUB 00000ef8: SWAP1 00000ef9: SWAP4 00000efa: SSTORE 00000efb: DUP3 00000efc: SLOAD 00000efd: SWAP2 00000efe: DUP2 00000eff: MSTORE 00000f00: SWAP3 00000f01: SWAP1 00000f02: SWAP3 00000f03: KECCAK256 00000f04: DUP1 00000f05: SLOAD 00000f06: SWAP3 00000f07: DUP6 00000f08: MUL 00000f09: SWAP1 00000f0a: SWAP3 00000f0b: ADD 00000f0c: SWAP1 00000f0d: SWAP2 00000f0e: SSTORE 00000f0f: SLOAD 00000f10: PUSH1 0x0d 00000f12: SLOAD 00000f13: PUSH2 0x0f32 00000f16: SWAP2 00000f17: SWAP1 00000f18: PUSH9 0x010000000000000000 00000f22: DUP5 00000f23: MUL 00000f24: DUP2 00000f25: ISZERO 00000f26: ISZERO 00000f27: PUSH2 0x0f2c 00000f2a: JUMPI 00000f2b: INVALID 00000f2c: JUMPDEST 00000f2d: DIV 00000f2e: PUSH2 0x12f1 00000f31: JUMP 00000f32: JUMPDEST 00000f33: PUSH1 0x0e 00000f35: SSTORE 00000f36: PUSH1 0x40 00000f38: DUP1 00000f39: MLOAD 00000f3a: DUP4 00000f3b: DUP2 00000f3c: MSTORE 00000f3d: SWAP1 00000f3e: MLOAD 00000f3f: PUSH1 0x01 00000f41: PUSH1 0xa0 00000f43: PUSH1 0x02 00000f45: EXP 00000f46: SUB 00000f47: DUP1 00000f48: DUP11 00000f49: AND 00000f4a: SWAP3 00000f4b: SWAP1 00000f4c: DUP8 00000f4d: AND 00000f4e: SWAP2 00000f4f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f70: SWAP2 00000f71: DUP2 00000f72: SWAP1 00000f73: SUB 00000f74: PUSH1 0x20 00000f76: ADD 00000f77: SWAP1 00000f78: LOG3 00000f79: POP 00000f7a: PUSH1 0x01 00000f7c: SWAP7 00000f7d: SWAP6 00000f7e: POP 00000f7f: POP 00000f80: POP 00000f81: POP 00000f82: POP 00000f83: POP 00000f84: JUMP 00000f85: JUMPDEST 00000f86: PUSH1 0x0f 00000f88: SLOAD 00000f89: PUSH1 0x01 00000f8b: PUSH1 0xa0 00000f8d: PUSH1 0x02 00000f8f: EXP 00000f90: SUB 00000f91: AND 00000f92: DUP2 00000f93: JUMP 00000f94: JUMPDEST 00000f95: CALLER 00000f96: PUSH1 0x00 00000f98: SWAP1 00000f99: DUP2 00000f9a: MSTORE 00000f9b: PUSH1 0x01 00000f9d: PUSH1 0x20 00000f9f: MSTORE 00000fa0: PUSH1 0x40 00000fa2: DUP2 00000fa3: KECCAK256 00000fa4: SLOAD 00000fa5: PUSH1 0xff 00000fa7: AND 00000fa8: ISZERO 00000fa9: ISZERO 00000faa: PUSH2 0x0fb2 00000fad: JUMPI 00000fae: PUSH1 0x00 00000fb0: DUP1 00000fb1: REVERT 00000fb2: JUMPDEST 00000fb3: PUSH2 0x0fbb 00000fb6: DUP3 00000fb7: PUSH2 0x132c 00000fba: JUMP 00000fbb: JUMPDEST 00000fbc: PUSH2 0x0fc5 00000fbf: DUP4 00000fc0: CALLVALUE 00000fc1: PUSH2 0x0532 00000fc4: JUMP 00000fc5: JUMPDEST 00000fc6: SWAP1 00000fc7: POP 00000fc8: JUMPDEST 00000fc9: SWAP3 00000fca: SWAP2 00000fcb: POP 00000fcc: POP 00000fcd: JUMP 00000fce: JUMPDEST 00000fcf: PUSH1 0x00 00000fd1: DUP1 00000fd2: SLOAD 00000fd3: DUP2 00000fd4: SWAP1 00000fd5: PUSH1 0x01 00000fd7: PUSH1 0xa0 00000fd9: PUSH1 0x02 00000fdb: EXP 00000fdc: SUB 00000fdd: AND 00000fde: CALLER 00000fdf: EQ 00000fe0: PUSH2 0x0fe8 00000fe3: JUMPI 00000fe4: PUSH1 0x00 00000fe6: DUP1 00000fe7: REVERT 00000fe8: JUMPDEST 00000fe9: POP 00000fea: PUSH1 0x00 00000fec: JUMPDEST 00000fed: DUP3 00000fee: MLOAD 00000fef: DUP2 00000ff0: LT 00000ff1: ISZERO 00000ff2: PUSH2 0x0a69 00000ff5: JUMPI 00000ff6: PUSH2 0x1015 00000ff9: DUP4 00000ffa: DUP3 00000ffb: DUP2 00000ffc: MLOAD 00000ffd: DUP2 00000ffe: LT 00000fff: ISZERO 00001000: ISZERO 00001001: PUSH2 0x1006 00001004: JUMPI 00001005: INVALID 00001006: JUMPDEST 00001007: SWAP1 00001008: PUSH1 0x20 0000100a: ADD 0000100b: SWAP1 0000100c: PUSH1 0x20 0000100e: MUL 0000100f: ADD 00001010: MLOAD 00001011: PUSH2 0x0cc1 00001014: JUMP 00001015: JUMPDEST 00001016: ISZERO 00001017: PUSH2 0x101f 0000101a: JUMPI 0000101b: PUSH1 0x01 0000101d: SWAP2 0000101e: POP 0000101f: JUMPDEST 00001020: PUSH1 0x01 00001022: ADD 00001023: PUSH2 0x0fec 00001026: JUMP 00001027: JUMPDEST 00001028: PUSH1 0x00 0000102a: DUP1 0000102b: REVERT 0000102c: JUMPDEST 0000102d: POP 0000102e: JUMP 0000102f: JUMPDEST 00001030: PUSH1 0x00 00001032: PUSH2 0x103a 00001035: DUP3 00001036: PUSH2 0x132c 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH2 0x0fc8 0000103e: CALLER 0000103f: CALLVALUE 00001040: PUSH2 0x0532 00001043: JUMP 00001044: JUMPDEST 00001045: PUSH1 0x00 00001047: SLOAD 00001048: PUSH1 0x01 0000104a: PUSH1 0xa0 0000104c: PUSH1 0x02 0000104e: EXP 0000104f: SUB 00001050: AND 00001051: CALLER 00001052: EQ 00001053: PUSH2 0x105b 00001056: JUMPI 00001057: PUSH1 0x00 00001059: DUP1 0000105a: REVERT 0000105b: JUMPDEST 0000105c: PUSH1 0x01 0000105e: PUSH1 0xa0 00001060: PUSH1 0x02 00001062: EXP 00001063: SUB 00001064: DUP2 00001065: AND 00001066: ISZERO 00001067: ISZERO 00001068: PUSH2 0x1070 0000106b: JUMPI 0000106c: PUSH1 0x00 0000106e: DUP1 0000106f: REVERT 00001070: JUMPDEST 00001071: PUSH1 0x00 00001073: DUP1 00001074: SLOAD 00001075: PUSH1 0x40 00001077: MLOAD 00001078: PUSH1 0x01 0000107a: PUSH1 0xa0 0000107c: PUSH1 0x02 0000107e: EXP 0000107f: SUB 00001080: DUP1 00001081: DUP6 00001082: AND 00001083: SWAP4 00001084: SWAP3 00001085: AND 00001086: SWAP2 00001087: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000010a8: SWAP2 000010a9: LOG3 000010aa: PUSH1 0x00 000010ac: DUP1 000010ad: SLOAD 000010ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c3: NOT 000010c4: AND 000010c5: PUSH1 0x01 000010c7: PUSH1 0xa0 000010c9: PUSH1 0x02 000010cb: EXP 000010cc: SUB 000010cd: SWAP3 000010ce: SWAP1 000010cf: SWAP3 000010d0: AND 000010d1: SWAP2 000010d2: SWAP1 000010d3: SWAP2 000010d4: OR 000010d5: SWAP1 000010d6: SSTORE 000010d7: JUMP 000010d8: JUMPDEST 000010d9: CALLER 000010da: PUSH1 0x00 000010dc: SWAP1 000010dd: DUP2 000010de: MSTORE 000010df: PUSH1 0x01 000010e1: PUSH1 0x20 000010e3: MSTORE 000010e4: PUSH1 0x40 000010e6: DUP2 000010e7: KECCAK256 000010e8: SLOAD 000010e9: DUP2 000010ea: SWAP1 000010eb: PUSH1 0xff 000010ed: AND 000010ee: ISZERO 000010ef: ISZERO 000010f0: PUSH2 0x10f8 000010f3: JUMPI 000010f4: PUSH1 0x00 000010f6: DUP1 000010f7: REVERT 000010f8: JUMPDEST 000010f9: PUSH2 0x1101 000010fc: DUP4 000010fd: PUSH2 0x095a 00001100: JUMP 00001101: JUMPDEST 00001102: PUSH1 0x01 00001104: PUSH1 0xa0 00001106: PUSH1 0x02 00001108: EXP 00001109: SUB 0000110a: DUP5 0000110b: AND 0000110c: PUSH1 0x00 0000110e: DUP2 0000110f: DUP2 00001110: MSTORE 00001111: PUSH1 0x0b 00001113: PUSH1 0x20 00001115: SWAP1 00001116: DUP2 00001117: MSTORE 00001118: PUSH1 0x40 0000111a: DUP1 0000111b: DUP4 0000111c: KECCAK256 0000111d: DUP1 0000111e: SLOAD 0000111f: PUSH9 0x010000000000000000 00001129: DUP8 0000112a: MUL 0000112b: ADD 0000112c: SWAP1 0000112d: SSTORE 0000112e: PUSH1 0x0a 00001130: SWAP1 00001131: SWAP2 00001132: MSTORE 00001133: DUP1 00001134: DUP3 00001135: KECCAK256 00001136: DUP1 00001137: SLOAD 00001138: SWAP1 00001139: DUP4 0000113a: SWAP1 0000113b: SSTORE 0000113c: DUP2 0000113d: MLOAD 0000113e: PUSH32 0x6c61704800000000000000000000000000000000000000000000000000000000 0000115f: DUP2 00001160: MSTORE 00001161: PUSH1 0x04 00001163: DUP2 00001164: ADD 00001165: SWAP5 00001166: SWAP1 00001167: SWAP5 00001168: MSTORE 00001169: SWAP1 0000116a: MLOAD 0000116b: SWAP4 0000116c: ADD 0000116d: SWAP5 0000116e: POP 0000116f: CALLER 00001170: SWAP4 00001171: POP 00001172: DUP4 00001173: SWAP3 00001174: PUSH4 0x6c617048 00001179: SWAP3 0000117a: DUP7 0000117b: SWAP3 0000117c: PUSH1 0x24 0000117e: DUP1 0000117f: DUP4 00001180: ADD 00001181: SWAP4 00001182: SWAP2 00001183: SWAP3 00001184: DUP3 00001185: SWAP1 00001186: SUB 00001187: ADD 00001188: DUP2 00001189: DUP6 0000118a: DUP9 0000118b: DUP1 0000118c: EXTCODESIZE 0000118d: ISZERO 0000118e: DUP1 0000118f: ISZERO 00001190: PUSH2 0x1198 00001193: JUMPI 00001194: PUSH1 0x00 00001196: DUP1 00001197: REVERT 00001198: JUMPDEST 00001199: POP 0000119a: GAS 0000119b: CALL 0000119c: ISZERO 0000119d: DUP1 0000119e: ISZERO 0000119f: PUSH2 0x11ac 000011a2: JUMPI 000011a3: RETURNDATASIZE 000011a4: PUSH1 0x00 000011a6: DUP1 000011a7: RETURNDATACOPY 000011a8: RETURNDATASIZE 000011a9: PUSH1 0x00 000011ab: REVERT 000011ac: JUMPDEST 000011ad: POP 000011ae: POP 000011af: PUSH1 0x40 000011b1: DUP1 000011b2: MLOAD 000011b3: DUP7 000011b4: DUP2 000011b5: MSTORE 000011b6: SWAP1 000011b7: MLOAD 000011b8: CALLER 000011b9: SWAP5 000011ba: POP 000011bb: PUSH1 0x01 000011bd: PUSH1 0xa0 000011bf: PUSH1 0x02 000011c1: EXP 000011c2: SUB 000011c3: DUP9 000011c4: AND 000011c5: SWAP4 000011c6: POP 000011c7: PUSH32 0xb0c3654a9b0006eaf87cd1a772dc962fbcf10c9d3a29c48ec3a056b2a95155d6 000011e8: SWAP3 000011e9: POP 000011ea: SWAP1 000011eb: DUP2 000011ec: SWAP1 000011ed: SUB 000011ee: PUSH1 0x20 000011f0: ADD 000011f1: SWAP1 000011f2: LOG3 000011f3: POP 000011f4: POP 000011f5: POP 000011f6: JUMP 000011f7: JUMPDEST 000011f8: PUSH1 0x00 000011fa: DUP1 000011fb: PUSH1 0x00 000011fd: DUP1 000011fe: PUSH2 0x1207 00001201: PUSH1 0x01 00001203: PUSH2 0x0c60 00001206: JUMP 00001207: JUMPDEST 00001208: GT 00001209: PUSH2 0x1211 0000120c: JUMPI 0000120d: PUSH1 0x00 0000120f: DUP1 00001210: REVERT 00001211: JUMPDEST 00001212: CALLER 00001213: SWAP3 00001214: POP 00001215: PUSH2 0x121e 00001218: PUSH1 0x00 0000121a: PUSH2 0x0c60 0000121d: JUMP 0000121e: JUMPDEST 0000121f: PUSH1 0x01 00001221: PUSH1 0xa0 00001223: PUSH1 0x02 00001225: EXP 00001226: SUB 00001227: DUP5 00001228: AND 00001229: PUSH1 0x00 0000122b: SWAP1 0000122c: DUP2 0000122d: MSTORE 0000122e: PUSH1 0x0b 00001230: PUSH1 0x20 00001232: SWAP1 00001233: DUP2 00001234: MSTORE 00001235: PUSH1 0x40 00001237: DUP1 00001238: DUP4 00001239: KECCAK256 0000123a: DUP1 0000123b: SLOAD 0000123c: PUSH9 0x010000000000000000 00001246: DUP7 00001247: MUL 00001248: ADD 00001249: SWAP1 0000124a: SSTORE 0000124b: PUSH1 0x0a 0000124d: SWAP1 0000124e: SWAP2 0000124f: MSTORE 00001250: DUP2 00001251: KECCAK256 00001252: DUP1 00001253: SLOAD 00001254: SWAP2 00001255: SWAP1 00001256: SSTORE 00001257: ADD 00001258: SWAP2 00001259: POP 0000125a: PUSH2 0x1263 0000125d: DUP4 0000125e: DUP4 0000125f: PUSH2 0x0532 00001262: JUMP 00001263: JUMPDEST 00001264: SWAP1 00001265: POP 00001266: DUP3 00001267: PUSH1 0x01 00001269: PUSH1 0xa0 0000126b: PUSH1 0x02 0000126d: EXP 0000126e: SUB 0000126f: AND 00001270: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00001291: DUP4 00001292: DUP4 00001293: PUSH1 0x40 00001295: MLOAD 00001296: DUP1 00001297: DUP4 00001298: DUP2 00001299: MSTORE 0000129a: PUSH1 0x20 0000129c: ADD 0000129d: DUP3 0000129e: DUP2 0000129f: MSTORE 000012a0: PUSH1 0x20 000012a2: ADD 000012a3: SWAP3 000012a4: POP 000012a5: POP 000012a6: POP 000012a7: PUSH1 0x40 000012a9: MLOAD 000012aa: DUP1 000012ab: SWAP2 000012ac: SUB 000012ad: SWAP1 000012ae: LOG2 000012af: POP 000012b0: POP 000012b1: POP 000012b2: JUMP 000012b3: JUMPDEST 000012b4: PUSH1 0x00 000012b6: DUP3 000012b7: ISZERO 000012b8: ISZERO 000012b9: PUSH2 0x12c4 000012bc: JUMPI 000012bd: POP 000012be: PUSH1 0x00 000012c0: PUSH2 0x0fc8 000012c3: JUMP 000012c4: JUMPDEST 000012c5: POP 000012c6: DUP2 000012c7: DUP2 000012c8: MUL 000012c9: DUP2 000012ca: DUP4 000012cb: DUP3 000012cc: DUP2 000012cd: ISZERO 000012ce: ISZERO 000012cf: PUSH2 0x12d4 000012d2: JUMPI 000012d3: INVALID 000012d4: JUMPDEST 000012d5: DIV 000012d6: EQ 000012d7: PUSH2 0x0fc8 000012da: JUMPI 000012db: INVALID 000012dc: JUMPDEST 000012dd: PUSH1 0x00 000012df: DUP2 000012e0: DUP4 000012e1: DUP2 000012e2: ISZERO 000012e3: ISZERO 000012e4: PUSH2 0x12e9 000012e7: JUMPI 000012e8: INVALID 000012e9: JUMPDEST 000012ea: DIV 000012eb: SWAP4 000012ec: SWAP3 000012ed: POP 000012ee: POP 000012ef: POP 000012f0: JUMP 000012f1: JUMPDEST 000012f2: DUP2 000012f3: DUP2 000012f4: ADD 000012f5: DUP3 000012f6: DUP2 000012f7: LT 000012f8: ISZERO 000012f9: PUSH2 0x0fc8 000012fc: JUMPI 000012fd: INVALID 000012fe: JUMPDEST 000012ff: PUSH1 0x00 00001301: DUP3 00001302: DUP3 00001303: GT 00001304: ISZERO 00001305: PUSH2 0x130a 00001308: JUMPI 00001309: INVALID 0000130a: JUMPDEST 0000130b: POP 0000130c: SWAP1 0000130d: SUB 0000130e: SWAP1 0000130f: JUMP 00001310: JUMPDEST 00001311: PUSH1 0x00 00001313: PUSH2 0x0fc8 00001316: DUP3 00001317: PUSH2 0x03e8 0000131a: PUSH2 0x12b3 0000131d: JUMP 0000131e: JUMPDEST 0000131f: PUSH1 0x00 00001321: PUSH2 0x0fc8 00001324: DUP3 00001325: PUSH2 0x03e8 00001328: PUSH2 0x12dc 0000132b: JUMP 0000132c: JUMPDEST 0000132d: CALLER 0000132e: PUSH1 0x00 00001330: SWAP1 00001331: DUP2 00001332: MSTORE 00001333: PUSH1 0x0c 00001335: PUSH1 0x20 00001337: MSTORE 00001338: PUSH1 0x40 0000133a: SWAP1 0000133b: KECCAK256 0000133c: SLOAD 0000133d: PUSH1 0x01 0000133f: PUSH1 0xa0 00001341: PUSH1 0x02 00001343: EXP 00001344: SUB 00001345: AND 00001346: ISZERO 00001347: DUP1 00001348: ISZERO 00001349: PUSH2 0x1369 0000134c: JUMPI 0000134d: POP 0000134e: CALLER 0000134f: PUSH1 0x00 00001351: DUP2 00001352: DUP2 00001353: MSTORE 00001354: PUSH1 0x0c 00001356: PUSH1 0x20 00001358: MSTORE 00001359: PUSH1 0x40 0000135b: SWAP1 0000135c: KECCAK256 0000135d: SLOAD 0000135e: PUSH1 0x01 00001360: PUSH1 0xa0 00001362: PUSH1 0x02 00001364: EXP 00001365: SUB 00001366: AND 00001367: EQ 00001368: ISZERO 00001369: JUMPDEST 0000136a: ISZERO 0000136b: PUSH2 0x102c 0000136e: JUMPI 0000136f: CALLER 00001370: PUSH1 0x00 00001372: SWAP1 00001373: DUP2 00001374: MSTORE 00001375: PUSH1 0x0c 00001377: PUSH1 0x20 00001379: MSTORE 0000137a: PUSH1 0x40 0000137c: SWAP1 0000137d: KECCAK256 0000137e: DUP1 0000137f: SLOAD 00001380: PUSH1 0x01 00001382: PUSH1 0xa0 00001384: PUSH1 0x02 00001386: EXP 00001387: SUB 00001388: DUP4 00001389: AND 0000138a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000139f: NOT 000013a0: SWAP1 000013a1: SWAP2 000013a2: AND 000013a3: OR 000013a4: SWAP1 000013a5: SSTORE 000013a6: POP 000013a7: JUMP 000013a8: STOP 000013a9: LOG1 000013aa: PUSH6 0x627a7a723058 000013b1: KECCAK256 000013b2: UNKNOWN(0xC0) 000013b3: UNKNOWN(0xAF) 000013b4: PUSH5 0xf70a75342c 000013ba: UNKNOWN(0xBF) 000013bb: SAR 000013bc: TIMESTAMP 000013bd: UNKNOWN(0xE6) 000013be: UNKNOWN(0xE0) 000013bf: XOR 000013c0: SWAP16 000013c1: UNKNOWN(0x2C) 000013c2: INVALID 000013c3: CREATE2 000013c4: UNKNOWN(0xAF) 000013c5: EXTCODECOPY 000013c6: UNKNOWN(0xDF) 000013c7: PUSH17
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x15c2c0a9d33c1816a4499e02b0d01c7ea4ef762fa601edf93777f1e34b19a9d5
call_targets:
0x71d00a5e4a541caafd106509eff28a7798443c26
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x15c2c0a9d33c1816a4499e02b0d01c7ea4ef762fa601edf93777f1e34b19a9d5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x71d00a5e4a541caafd106509eff28a7798443c26"
],
"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": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24953eaa",
"selector": "0x24953eaa",
"calldata_variants": [
"0x24953eaa",
"0x24953eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x275893a9",
"selector": "0x275893a9",
"calldata_variants": [
"0x275893a9",
"0x275893a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x286dd3f5",
"selector": "0x286dd3f5",
"calldata_variants": [
"0x286dd3f5",
"0x286dd3f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2086,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2255,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3012,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x15c2c0a9d33c1816a4499e02b0d01c7ea4ef762fa601edf93777f1e34b19a9d5
call_targets:
0x71d00a5e4a541caafd106509eff28a7798443c26
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x15c2c0a9d33c1816a4499e02b0d01c7ea4ef762fa601edf93777f1e34b19a9d5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x71d00a5e4a541caafd106509eff28a7798443c26"
],
"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": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24953eaa",
"selector": "0x24953eaa",
"calldata_variants": [
"0x24953eaa",
"0x24953eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x275893a9",
"selector": "0x275893a9",
"calldata_variants": [
"0x275893a9",
"0x275893a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x286dd3f5",
"selector": "0x286dd3f5",
"calldata_variants": [
"0x286dd3f5",
"0x286dd3f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2086,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2255,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3012,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x9eea4b8c5848657bf49f0f0495354c389b1f6570be26016be3bd42741a508dc6
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x9eea4b8c5848657bf49f0f0495354c389b1f6570be26016be3bd42741a508dc6",
"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": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24953eaa",
"selector": "0x24953eaa",
"calldata_variants": [
"0x24953eaa",
"0x24953eaa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x275893a9",
"selector": "0x275893a9",
"calldata_variants": [
"0x275893a9",
"0x275893a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x286dd3f5",
"selector": "0x286dd3f5",
"calldata_variants": [
"0x286dd3f5",
"0x286dd3f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|