019b477e-c6cd-7146-934e-62c68557d7d4
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 |
|---|---|---|---|---|
| 25845 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25846 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69278 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69279 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69280 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69281 | 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 0x01db 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0102 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc9c3d42e 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xee38db95 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xee38db95 0000003a: EQ 0000003b: PUSH2 0x0624 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf19d96eb 00000045: EQ 00000046: PUSH2 0x0639 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf4d78ae2 00000050: EQ 00000051: PUSH2 0x0397 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf61d9192 0000005b: EQ 0000005c: PUSH2 0x064f 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xc9c3d42e 0000006b: EQ 0000006c: PUSH2 0x05ab 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd80103e1 00000076: EQ 00000077: PUSH2 0x05c1 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdd62ed3e 00000081: EQ 00000082: PUSH2 0x05d7 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xea8a1af0 0000008c: EQ 0000008d: PUSH2 0x060f 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xa9059cbb 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xa9059cbb 000000a7: EQ 000000a8: PUSH2 0x0533 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xbe040fb0 000000b2: EQ 000000b3: PUSH2 0x0553 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xc19d93fb 000000bd: EQ 000000be: PUSH2 0x0568 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc3c476fe 000000c8: EQ 000000c9: PUSH2 0x0594 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x8da5cb5b 000000d8: EQ 000000d9: PUSH2 0x04a6 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x95d89b41 000000e3: EQ 000000e4: PUSH2 0x04de 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x969b1cdb 000000ee: EQ 000000ef: PUSH2 0x04f3 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0xa6f9dae1 000000f9: EQ 000000fa: PUSH2 0x0513 000000fd: JUMPI 000000fe: PUSH1 0x00 00000100: DUP1 00000101: REVERT 00000102: JUMPDEST 00000103: DUP1 00000104: PUSH4 0x23b872dd 00000109: GT 0000010a: PUSH2 0x017a 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x4e5bd4d0 00000114: GT 00000115: PUSH2 0x0149 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x4e5bd4d0 0000011f: EQ 00000120: PUSH2 0x03ef 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x556b6b90 0000012a: EQ 0000012b: PUSH2 0x0405 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x70a08231 00000135: EQ 00000136: PUSH2 0x0432 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x7164f0d6 00000140: EQ 00000141: PUSH2 0x045f 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: DUP1 0000014b: PUSH4 0x23b872dd 00000150: EQ 00000151: PUSH2 0x0377 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x2d913bfb 0000015b: EQ 0000015c: PUSH2 0x0397 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x313ce567 00000166: EQ 00000167: PUSH2 0x03ae 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0x3ccfd60b 00000171: EQ 00000172: PUSH2 0x03da 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: DUP1 0000017c: PUSH4 0x095ea7b3 00000181: GT 00000182: PUSH2 0x01b6 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x095ea7b3 0000018c: EQ 0000018d: PUSH2 0x02fa 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x0b2aa147 00000197: EQ 00000198: PUSH2 0x032a 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x17b65dba 000001a2: EQ 000001a3: PUSH2 0x033d 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x18160ddd 000001ad: EQ 000001ae: PUSH2 0x0361 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: DUP1 000001b8: PUSH3 0x4fbbb0 000001bc: EQ 000001bd: PUSH2 0x0272 000001c0: JUMPI 000001c1: DUP1 000001c2: PUSH4 0x01415e16 000001c7: EQ 000001c8: PUSH2 0x02c1 000001cb: JUMPI 000001cc: DUP1 000001cd: PUSH4 0x06fdde03 000001d2: EQ 000001d3: PUSH2 0x02d8 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: CALLDATASIZE 000001dd: PUSH2 0x026d 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: PUSH1 0x06 000001e5: SLOAD 000001e6: PUSH2 0x0100 000001e9: SWAP1 000001ea: DIV 000001eb: PUSH1 0xff 000001ed: AND 000001ee: PUSH1 0x02 000001f0: DUP2 000001f1: GT 000001f2: ISZERO 000001f3: PUSH2 0x01fe 000001f6: JUMPI 000001f7: PUSH2 0x01fe 000001fa: PUSH2 0x0f69 000001fd: JUMP 000001fe: JUMPDEST 000001ff: EQ 00000200: PUSH2 0x0208 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: CALLER 0000020a: PUSH1 0x00 0000020c: SWAP1 0000020d: DUP2 0000020e: MSTORE 0000020f: PUSH1 0x02 00000211: PUSH1 0x20 00000213: MSTORE 00000214: PUSH1 0x40 00000216: DUP2 00000217: KECCAK256 00000218: DUP1 00000219: SLOAD 0000021a: CALLVALUE 0000021b: SWAP3 0000021c: SWAP1 0000021d: PUSH2 0x0227 00000220: SWAP1 00000221: DUP5 00000222: SWAP1 00000223: PUSH2 0x0f95 00000226: JUMP 00000227: JUMPDEST 00000228: SWAP3 00000229: POP 0000022a: POP 0000022b: DUP2 0000022c: SWAP1 0000022d: SSTORE 0000022e: POP 0000022f: CALLVALUE 00000230: PUSH1 0x01 00000232: PUSH1 0x00 00000234: DUP3 00000235: DUP3 00000236: SLOAD 00000237: PUSH2 0x0240 0000023a: SWAP2 0000023b: SWAP1 0000023c: PUSH2 0x0f95 0000023f: JUMP 00000240: JUMPDEST 00000241: SWAP1 00000242: SWAP2 00000243: SSTORE 00000244: POP 00000245: POP 00000246: PUSH1 0x40 00000248: MLOAD 00000249: CALLVALUE 0000024a: DUP2 0000024b: MSTORE 0000024c: CALLER 0000024d: SWAP1 0000024e: PUSH1 0x00 00000250: SWAP1 00000251: PUSH1 0x00 00000253: DUP1 00000254: MLOAD 00000255: PUSH1 0x20 00000257: PUSH2 0x123e 0000025a: DUP4 0000025b: CODECOPY 0000025c: DUP2 0000025d: MLOAD 0000025e: SWAP2 0000025f: MSTORE 00000260: SWAP1 00000261: PUSH1 0x20 00000263: ADD 00000264: PUSH1 0x40 00000266: MLOAD 00000267: DUP1 00000268: SWAP2 00000269: SUB 0000026a: SWAP1 0000026b: LOG3 0000026c: STOP 0000026d: JUMPDEST 0000026e: PUSH1 0x00 00000270: DUP1 00000271: REVERT 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: PUSH2 0x0292 00000283: PUSH2 0x028d 00000286: CALLDATASIZE 00000287: PUSH1 0x04 00000289: PUSH2 0x0fad 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH2 0x066f 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH1 0x40 00000295: DUP1 00000296: MLOAD 00000297: PUSH1 0x01 00000299: PUSH1 0x01 0000029b: PUSH1 0xa0 0000029d: SHL 0000029e: SUB 0000029f: SWAP1 000002a0: SWAP6 000002a1: AND 000002a2: DUP6 000002a3: MSTORE 000002a4: PUSH1 0x20 000002a6: DUP6 000002a7: ADD 000002a8: SWAP4 000002a9: SWAP1 000002aa: SWAP4 000002ab: MSTORE 000002ac: SWAP2 000002ad: DUP4 000002ae: ADD 000002af: MSTORE 000002b0: PUSH1 0x60 000002b2: DUP3 000002b3: ADD 000002b4: MSTORE 000002b5: PUSH1 0x80 000002b7: ADD 000002b8: JUMPDEST 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: DUP1 000002bd: SWAP2 000002be: SUB 000002bf: SWAP1 000002c0: RETURN 000002c1: JUMPDEST 000002c2: CALLVALUE 000002c3: DUP1 000002c4: ISZERO 000002c5: PUSH2 0x02cd 000002c8: JUMPI 000002c9: PUSH1 0x00 000002cb: DUP1 000002cc: REVERT 000002cd: JUMPDEST 000002ce: POP 000002cf: PUSH2 0x02d6 000002d2: PUSH2 0x06b3 000002d5: JUMP 000002d6: JUMPDEST 000002d7: STOP 000002d8: JUMPDEST 000002d9: CALLVALUE 000002da: DUP1 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: POP 000002e6: PUSH2 0x02ed 000002e9: PUSH2 0x071a 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH1 0x40 000002f0: MLOAD 000002f1: PUSH2 0x02b8 000002f4: SWAP2 000002f5: SWAP1 000002f6: PUSH2 0x0fc6 000002f9: JUMP 000002fa: JUMPDEST 000002fb: CALLVALUE 000002fc: DUP1 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: POP 00000308: PUSH2 0x031a 0000030b: PUSH2 0x0315 0000030e: CALLDATASIZE 0000030f: PUSH1 0x04 00000311: PUSH2 0x1037 00000314: JUMP 00000315: JUMPDEST 00000316: PUSH2 0x07a8 00000319: JUMP 0000031a: JUMPDEST 0000031b: PUSH1 0x40 0000031d: MLOAD 0000031e: SWAP1 0000031f: ISZERO 00000320: ISZERO 00000321: DUP2 00000322: MSTORE 00000323: PUSH1 0x20 00000325: ADD 00000326: PUSH2 0x02b8 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH2 0x02d6 0000032e: PUSH2 0x0338 00000331: CALLDATASIZE 00000332: PUSH1 0x04 00000334: PUSH2 0x0fad 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH2 0x0814 0000033c: JUMP 0000033d: JUMPDEST 0000033e: CALLVALUE 0000033f: DUP1 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: POP 0000034b: PUSH2 0x0353 0000034e: PUSH1 0x09 00000350: SLOAD 00000351: DUP2 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH1 0x40 00000356: MLOAD 00000357: SWAP1 00000358: DUP2 00000359: MSTORE 0000035a: PUSH1 0x20 0000035c: ADD 0000035d: PUSH2 0x02b8 00000360: JUMP 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: PUSH2 0x0353 00000372: PUSH1 0x01 00000374: SLOAD 00000375: DUP2 00000376: JUMP 00000377: JUMPDEST 00000378: CALLVALUE 00000379: DUP1 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH2 0x031a 00000388: PUSH2 0x0392 0000038b: CALLDATASIZE 0000038c: PUSH1 0x04 0000038e: PUSH2 0x1061 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH2 0x098f 00000396: JUMP 00000397: JUMPDEST 00000398: CALLVALUE 00000399: DUP1 0000039a: ISZERO 0000039b: PUSH2 0x03a3 0000039e: JUMPI 0000039f: PUSH1 0x00 000003a1: DUP1 000003a2: REVERT 000003a3: JUMPDEST 000003a4: POP 000003a5: PUSH2 0x0353 000003a8: PUSH3 0x83d600 000003ac: DUP2 000003ad: JUMP 000003ae: JUMPDEST 000003af: CALLVALUE 000003b0: DUP1 000003b1: ISZERO 000003b2: PUSH2 0x03ba 000003b5: JUMPI 000003b6: PUSH1 0x00 000003b8: DUP1 000003b9: REVERT 000003ba: JUMPDEST 000003bb: POP 000003bc: PUSH1 0x06 000003be: SLOAD 000003bf: PUSH2 0x03c8 000003c2: SWAP1 000003c3: PUSH1 0xff 000003c5: AND 000003c6: DUP2 000003c7: JUMP 000003c8: JUMPDEST 000003c9: PUSH1 0x40 000003cb: MLOAD 000003cc: PUSH1 0xff 000003ce: SWAP1 000003cf: SWAP2 000003d0: AND 000003d1: DUP2 000003d2: MSTORE 000003d3: PUSH1 0x20 000003d5: ADD 000003d6: PUSH2 0x02b8 000003d9: JUMP 000003da: JUMPDEST 000003db: CALLVALUE 000003dc: DUP1 000003dd: ISZERO 000003de: PUSH2 0x03e6 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: DUP1 000003e5: REVERT 000003e6: JUMPDEST 000003e7: POP 000003e8: PUSH2 0x02d6 000003eb: PUSH2 0x0a6a 000003ee: JUMP 000003ef: JUMPDEST 000003f0: CALLVALUE 000003f1: DUP1 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: POP 000003fd: PUSH2 0x0353 00000400: PUSH1 0x08 00000402: SLOAD 00000403: DUP2 00000404: JUMP 00000405: JUMPDEST 00000406: CALLVALUE 00000407: DUP1 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: POP 00000413: PUSH2 0x0353 00000416: PUSH2 0x0420 00000419: CALLDATASIZE 0000041a: PUSH1 0x04 0000041c: PUSH2 0x109d 0000041f: JUMP 00000420: JUMPDEST 00000421: PUSH1 0x0a 00000423: PUSH1 0x20 00000425: MSTORE 00000426: PUSH1 0x00 00000428: SWAP1 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x40 0000042d: SWAP1 0000042e: KECCAK256 0000042f: SLOAD 00000430: DUP2 00000431: JUMP 00000432: JUMPDEST 00000433: CALLVALUE 00000434: DUP1 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: POP 00000440: PUSH2 0x0353 00000443: PUSH2 0x044d 00000446: CALLDATASIZE 00000447: PUSH1 0x04 00000449: PUSH2 0x109d 0000044c: JUMP 0000044d: JUMPDEST 0000044e: PUSH1 0x02 00000450: PUSH1 0x20 00000452: MSTORE 00000453: PUSH1 0x00 00000455: SWAP1 00000456: DUP2 00000457: MSTORE 00000458: PUSH1 0x40 0000045a: SWAP1 0000045b: KECCAK256 0000045c: SLOAD 0000045d: DUP2 0000045e: JUMP 0000045f: JUMPDEST 00000460: CALLVALUE 00000461: DUP1 00000462: ISZERO 00000463: PUSH2 0x046b 00000466: JUMPI 00000467: PUSH1 0x00 00000469: DUP1 0000046a: REVERT 0000046b: JUMPDEST 0000046c: POP 0000046d: PUSH2 0x0353 00000470: PUSH2 0x047a 00000473: CALLDATASIZE 00000474: PUSH1 0x04 00000476: PUSH2 0x10bf 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH1 0x40 0000047d: DUP1 0000047e: MLOAD 0000047f: PUSH1 0x20 00000481: DUP1 00000482: DUP3 00000483: ADD 00000484: SWAP5 00000485: SWAP1 00000486: SWAP5 00000487: MSTORE 00000488: DUP1 00000489: DUP3 0000048a: ADD 0000048b: SWAP3 0000048c: SWAP1 0000048d: SWAP3 0000048e: MSTORE 0000048f: DUP1 00000490: MLOAD 00000491: DUP1 00000492: DUP4 00000493: SUB 00000494: DUP3 00000495: ADD 00000496: DUP2 00000497: MSTORE 00000498: PUSH1 0x60 0000049a: SWAP1 0000049b: SWAP3 0000049c: ADD 0000049d: SWAP1 0000049e: MSTORE 0000049f: DUP1 000004a0: MLOAD 000004a1: SWAP2 000004a2: ADD 000004a3: KECCAK256 000004a4: SWAP1 000004a5: JUMP 000004a6: JUMPDEST 000004a7: CALLVALUE 000004a8: DUP1 000004a9: ISZERO 000004aa: PUSH2 0x04b2 000004ad: JUMPI 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: POP 000004b4: PUSH1 0x00 000004b6: SLOAD 000004b7: PUSH2 0x04c6 000004ba: SWAP1 000004bb: PUSH1 0x01 000004bd: PUSH1 0x01 000004bf: PUSH1 0xa0 000004c1: SHL 000004c2: SUB 000004c3: AND 000004c4: DUP2 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH1 0x40 000004c9: MLOAD 000004ca: PUSH1 0x01 000004cc: PUSH1 0x01 000004ce: PUSH1 0xa0 000004d0: SHL 000004d1: SUB 000004d2: SWAP1 000004d3: SWAP2 000004d4: AND 000004d5: DUP2 000004d6: MSTORE 000004d7: PUSH1 0x20 000004d9: ADD 000004da: PUSH2 0x02b8 000004dd: JUMP 000004de: JUMPDEST 000004df: CALLVALUE 000004e0: DUP1 000004e1: ISZERO 000004e2: PUSH2 0x04ea 000004e5: JUMPI 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: REVERT 000004ea: JUMPDEST 000004eb: POP 000004ec: PUSH2 0x02ed 000004ef: PUSH2 0x0b1f 000004f2: JUMP 000004f3: JUMPDEST 000004f4: CALLVALUE 000004f5: DUP1 000004f6: ISZERO 000004f7: PUSH2 0x04ff 000004fa: JUMPI 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: REVERT 000004ff: JUMPDEST 00000500: POP 00000501: PUSH2 0x02d6 00000504: PUSH2 0x050e 00000507: CALLDATASIZE 00000508: PUSH1 0x04 0000050a: PUSH2 0x0fad 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH2 0x0b2c 00000512: JUMP 00000513: JUMPDEST 00000514: CALLVALUE 00000515: DUP1 00000516: ISZERO 00000517: PUSH2 0x051f 0000051a: JUMPI 0000051b: PUSH1 0x00 0000051d: DUP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: POP 00000521: PUSH2 0x02d6 00000524: PUSH2 0x052e 00000527: CALLDATASIZE 00000528: PUSH1 0x04 0000052a: PUSH2 0x109d 0000052d: JUMP 0000052e: JUMPDEST 0000052f: PUSH2 0x0b9f 00000532: JUMP 00000533: JUMPDEST 00000534: CALLVALUE 00000535: DUP1 00000536: ISZERO 00000537: PUSH2 0x053f 0000053a: JUMPI 0000053b: PUSH1 0x00 0000053d: DUP1 0000053e: REVERT 0000053f: JUMPDEST 00000540: POP 00000541: PUSH2 0x031a 00000544: PUSH2 0x054e 00000547: CALLDATASIZE 00000548: PUSH1 0x04 0000054a: PUSH2 0x1037 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH2 0x0beb 00000552: JUMP 00000553: JUMPDEST 00000554: CALLVALUE 00000555: DUP1 00000556: ISZERO 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH1 0x00 0000055d: DUP1 0000055e: REVERT 0000055f: JUMPDEST 00000560: POP 00000561: PUSH2 0x02d6 00000564: PUSH2 0x0c69 00000567: JUMP 00000568: JUMPDEST 00000569: CALLVALUE 0000056a: DUP1 0000056b: ISZERO 0000056c: PUSH2 0x0574 0000056f: JUMPI 00000570: PUSH1 0x00 00000572: DUP1 00000573: REVERT 00000574: JUMPDEST 00000575: POP 00000576: PUSH1 0x06 00000578: SLOAD 00000579: PUSH2 0x0587 0000057c: SWAP1 0000057d: PUSH2 0x0100 00000580: SWAP1 00000581: DIV 00000582: PUSH1 0xff 00000584: AND 00000585: DUP2 00000586: JUMP 00000587: JUMPDEST 00000588: PUSH1 0x40 0000058a: MLOAD 0000058b: PUSH2 0x02b8 0000058e: SWAP2 0000058f: SWAP1 00000590: PUSH2 0x10e1 00000593: JUMP 00000594: JUMPDEST 00000595: CALLVALUE 00000596: DUP1 00000597: ISZERO 00000598: PUSH2 0x05a0 0000059b: JUMPI 0000059c: PUSH1 0x00 0000059e: DUP1 0000059f: REVERT 000005a0: JUMPDEST 000005a1: POP 000005a2: PUSH2 0x0353 000005a5: PUSH3 0x01fa40 000005a9: DUP2 000005aa: JUMP 000005ab: JUMPDEST 000005ac: CALLVALUE 000005ad: DUP1 000005ae: ISZERO 000005af: PUSH2 0x05b7 000005b2: JUMPI 000005b3: PUSH1 0x00 000005b5: DUP1 000005b6: REVERT 000005b7: JUMPDEST 000005b8: POP 000005b9: PUSH2 0x0353 000005bc: PUSH1 0x07 000005be: SLOAD 000005bf: DUP2 000005c0: JUMP 000005c1: JUMPDEST 000005c2: CALLVALUE 000005c3: DUP1 000005c4: ISZERO 000005c5: PUSH2 0x05cd 000005c8: JUMPI 000005c9: PUSH1 0x00 000005cb: DUP1 000005cc: REVERT 000005cd: JUMPDEST 000005ce: POP 000005cf: PUSH2 0x0353 000005d2: PUSH2 0xa8c0 000005d5: DUP2 000005d6: JUMP 000005d7: JUMPDEST 000005d8: CALLVALUE 000005d9: DUP1 000005da: ISZERO 000005db: PUSH2 0x05e3 000005de: JUMPI 000005df: PUSH1 0x00 000005e1: DUP1 000005e2: REVERT 000005e3: JUMPDEST 000005e4: POP 000005e5: PUSH2 0x0353 000005e8: PUSH2 0x05f2 000005eb: CALLDATASIZE 000005ec: PUSH1 0x04 000005ee: PUSH2 0x1109 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH1 0x03 000005f5: PUSH1 0x20 000005f7: SWAP1 000005f8: DUP2 000005f9: MSTORE 000005fa: PUSH1 0x00 000005fc: SWAP3 000005fd: DUP4 000005fe: MSTORE 000005ff: PUSH1 0x40 00000601: DUP1 00000602: DUP5 00000603: KECCAK256 00000604: SWAP1 00000605: SWAP2 00000606: MSTORE 00000607: SWAP1 00000608: DUP3 00000609: MSTORE 0000060a: SWAP1 0000060b: KECCAK256 0000060c: SLOAD 0000060d: DUP2 0000060e: JUMP 0000060f: JUMPDEST 00000610: CALLVALUE 00000611: DUP1 00000612: ISZERO 00000613: PUSH2 0x061b 00000616: JUMPI 00000617: PUSH1 0x00 00000619: DUP1 0000061a: REVERT 0000061b: JUMPDEST 0000061c: POP 0000061d: PUSH2 0x02d6 00000620: PUSH2 0x0d17 00000623: JUMP 00000624: JUMPDEST 00000625: CALLVALUE 00000626: DUP1 00000627: ISZERO 00000628: PUSH2 0x0630 0000062b: JUMPI 0000062c: PUSH1 0x00 0000062e: DUP1 0000062f: REVERT 00000630: JUMPDEST 00000631: POP 00000632: PUSH2 0x02d6 00000635: PUSH2 0x0d69 00000638: JUMP 00000639: JUMPDEST 0000063a: CALLVALUE 0000063b: DUP1 0000063c: ISZERO 0000063d: PUSH2 0x0645 00000640: JUMPI 00000641: PUSH1 0x00 00000643: DUP1 00000644: REVERT 00000645: JUMPDEST 00000646: POP 00000647: PUSH2 0x0353 0000064a: PUSH1 0x0b 0000064c: SLOAD 0000064d: DUP2 0000064e: JUMP 0000064f: JUMPDEST 00000650: CALLVALUE 00000651: DUP1 00000652: ISZERO 00000653: PUSH2 0x065b 00000656: JUMPI 00000657: PUSH1 0x00 00000659: DUP1 0000065a: REVERT 0000065b: JUMPDEST 0000065c: POP 0000065d: PUSH2 0x02d6 00000660: PUSH2 0x066a 00000663: CALLDATASIZE 00000664: PUSH1 0x04 00000666: PUSH2 0x113c 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH2 0x0e14 0000066e: JUMP 0000066f: JUMPDEST 00000670: PUSH1 0x0c 00000672: DUP2 00000673: DUP2 00000674: SLOAD 00000675: DUP2 00000676: LT 00000677: PUSH2 0x067f 0000067a: JUMPI 0000067b: PUSH1 0x00 0000067d: DUP1 0000067e: REVERT 0000067f: JUMPDEST 00000680: PUSH1 0x00 00000682: SWAP2 00000683: DUP3 00000684: MSTORE 00000685: PUSH1 0x20 00000687: SWAP1 00000688: SWAP2 00000689: KECCAK256 0000068a: PUSH1 0x04 0000068c: SWAP1 0000068d: SWAP2 0000068e: MUL 0000068f: ADD 00000690: DUP1 00000691: SLOAD 00000692: PUSH1 0x01 00000694: DUP3 00000695: ADD 00000696: SLOAD 00000697: PUSH1 0x02 00000699: DUP4 0000069a: ADD 0000069b: SLOAD 0000069c: PUSH1 0x03 0000069e: SWAP1 0000069f: SWAP4 000006a0: ADD 000006a1: SLOAD 000006a2: PUSH1 0x01 000006a4: PUSH1 0x01 000006a6: PUSH1 0xa0 000006a8: SHL 000006a9: SUB 000006aa: SWAP1 000006ab: SWAP3 000006ac: AND 000006ad: SWAP4 000006ae: POP 000006af: SWAP2 000006b0: SWAP1 000006b1: DUP5 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH1 0x02 000006b6: PUSH1 0x06 000006b8: SLOAD 000006b9: PUSH2 0x0100 000006bc: SWAP1 000006bd: DIV 000006be: PUSH1 0xff 000006c0: AND 000006c1: PUSH1 0x02 000006c3: DUP2 000006c4: GT 000006c5: ISZERO 000006c6: PUSH2 0x06d1 000006c9: JUMPI 000006ca: PUSH2 0x06d1 000006cd: PUSH2 0x0f69 000006d0: JUMP 000006d1: JUMPDEST 000006d2: EQ 000006d3: PUSH2 0x06db 000006d6: JUMPI 000006d7: PUSH1 0x00 000006d9: DUP1 000006da: REVERT 000006db: JUMPDEST 000006dc: PUSH3 0x83d600 000006e0: PUSH1 0x07 000006e2: SLOAD 000006e3: PUSH2 0x06ec 000006e6: SWAP2 000006e7: SWAP1 000006e8: PUSH2 0x0f95 000006eb: JUMP 000006ec: JUMPDEST 000006ed: TIMESTAMP 000006ee: LT 000006ef: ISZERO 000006f0: PUSH2 0x06f8 000006f3: JUMPI 000006f4: PUSH1 0x00 000006f6: DUP1 000006f7: REVERT 000006f8: JUMPDEST 000006f9: PUSH1 0x09 000006fb: SLOAD 000006fc: ISZERO 000006fd: PUSH2 0x0705 00000700: JUMPI 00000701: PUSH1 0x00 00000703: DUP1 00000704: REVERT 00000705: JUMPDEST 00000706: PUSH1 0x06 00000708: DUP1 00000709: SLOAD 0000070a: PUSH2 0xff00 0000070d: NOT 0000070e: AND 0000070f: PUSH2 0x0100 00000712: OR 00000713: SWAP1 00000714: SSTORE 00000715: TIMESTAMP 00000716: PUSH1 0x08 00000718: SSTORE 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH1 0x04 0000071d: DUP1 0000071e: SLOAD 0000071f: PUSH2 0x0727 00000722: SWAP1 00000723: PUSH2 0x1168 00000726: JUMP 00000727: JUMPDEST 00000728: DUP1 00000729: PUSH1 0x1f 0000072b: ADD 0000072c: PUSH1 0x20 0000072e: DUP1 0000072f: SWAP2 00000730: DIV 00000731: MUL 00000732: PUSH1 0x20 00000734: ADD 00000735: PUSH1 0x40 00000737: MLOAD 00000738: SWAP1 00000739: DUP2 0000073a: ADD 0000073b: PUSH1 0x40 0000073d: MSTORE 0000073e: DUP1 0000073f: SWAP3 00000740: SWAP2 00000741: SWAP1 00000742: DUP2 00000743: DUP2 00000744: MSTORE 00000745: PUSH1 0x20 00000747: ADD 00000748: DUP3 00000749: DUP1 0000074a: SLOAD 0000074b: PUSH2 0x0753 0000074e: SWAP1 0000074f: PUSH2 0x1168 00000752: JUMP 00000753: JUMPDEST 00000754: DUP1 00000755: ISZERO 00000756: PUSH2 0x07a0 00000759: JUMPI 0000075a: DUP1 0000075b: PUSH1 0x1f 0000075d: LT 0000075e: PUSH2 0x0775 00000761: JUMPI 00000762: PUSH2 0x0100 00000765: DUP1 00000766: DUP4 00000767: SLOAD 00000768: DIV 00000769: MUL 0000076a: DUP4 0000076b: MSTORE 0000076c: SWAP2 0000076d: PUSH1 0x20 0000076f: ADD 00000770: SWAP2 00000771: PUSH2 0x07a0 00000774: JUMP 00000775: JUMPDEST 00000776: DUP3 00000777: ADD 00000778: SWAP2 00000779: SWAP1 0000077a: PUSH1 0x00 0000077c: MSTORE 0000077d: PUSH1 0x20 0000077f: PUSH1 0x00 00000781: KECCAK256 00000782: SWAP1 00000783: JUMPDEST 00000784: DUP2 00000785: SLOAD 00000786: DUP2 00000787: MSTORE 00000788: SWAP1 00000789: PUSH1 0x01 0000078b: ADD 0000078c: SWAP1 0000078d: PUSH1 0x20 0000078f: ADD 00000790: DUP1 00000791: DUP4 00000792: GT 00000793: PUSH2 0x0783 00000796: JUMPI 00000797: DUP3 00000798: SWAP1 00000799: SUB 0000079a: PUSH1 0x1f 0000079c: AND 0000079d: DUP3 0000079e: ADD 0000079f: SWAP2 000007a0: JUMPDEST 000007a1: POP 000007a2: POP 000007a3: POP 000007a4: POP 000007a5: POP 000007a6: DUP2 000007a7: JUMP 000007a8: JUMPDEST 000007a9: CALLER 000007aa: PUSH1 0x00 000007ac: DUP2 000007ad: DUP2 000007ae: MSTORE 000007af: PUSH1 0x03 000007b1: PUSH1 0x20 000007b3: SWAP1 000007b4: DUP2 000007b5: MSTORE 000007b6: PUSH1 0x40 000007b8: DUP1 000007b9: DUP4 000007ba: KECCAK256 000007bb: PUSH1 0x01 000007bd: PUSH1 0x01 000007bf: PUSH1 0xa0 000007c1: SHL 000007c2: SUB 000007c3: DUP8 000007c4: AND 000007c5: DUP1 000007c6: DUP6 000007c7: MSTORE 000007c8: SWAP3 000007c9: MSTORE 000007ca: DUP1 000007cb: DUP4 000007cc: KECCAK256 000007cd: DUP6 000007ce: SWAP1 000007cf: SSTORE 000007d0: MLOAD 000007d1: SWAP2 000007d2: SWAP3 000007d3: SWAP1 000007d4: SWAP2 000007d5: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000007f6: SWAP1 000007f7: PUSH2 0x0803 000007fa: SWAP1 000007fb: DUP7 000007fc: DUP2 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: ADD 00000801: SWAP1 00000802: JUMP 00000803: JUMPDEST 00000804: PUSH1 0x40 00000806: MLOAD 00000807: DUP1 00000808: SWAP2 00000809: SUB 0000080a: SWAP1 0000080b: LOG3 0000080c: POP 0000080d: PUSH1 0x01 0000080f: SWAP3 00000810: SWAP2 00000811: POP 00000812: POP 00000813: JUMP 00000814: JUMPDEST 00000815: PUSH1 0x00 00000817: PUSH1 0x06 00000819: SLOAD 0000081a: PUSH2 0x0100 0000081d: SWAP1 0000081e: DIV 0000081f: PUSH1 0xff 00000821: AND 00000822: PUSH1 0x02 00000824: DUP2 00000825: GT 00000826: ISZERO 00000827: PUSH2 0x0832 0000082a: JUMPI 0000082b: PUSH2 0x0832 0000082e: PUSH2 0x0f69 00000831: JUMP 00000832: JUMPDEST 00000833: EQ 00000834: PUSH2 0x083c 00000837: JUMPI 00000838: PUSH1 0x00 0000083a: DUP1 0000083b: REVERT 0000083c: JUMPDEST 0000083d: PUSH1 0x40 0000083f: DUP1 00000840: MLOAD 00000841: PUSH1 0x80 00000843: DUP2 00000844: ADD 00000845: DUP3 00000846: MSTORE 00000847: CALLER 00000848: DUP1 00000849: DUP3 0000084a: MSTORE 0000084b: CALLVALUE 0000084c: PUSH1 0x20 0000084e: DUP1 0000084f: DUP5 00000850: ADD 00000851: DUP3 00000852: DUP2 00000853: MSTORE 00000854: TIMESTAMP 00000855: DUP6 00000856: DUP8 00000857: ADD 00000858: SWAP1 00000859: DUP2 0000085a: MSTORE 0000085b: PUSH1 0x60 0000085d: DUP7 0000085e: ADD 0000085f: DUP9 00000860: DUP2 00000861: MSTORE 00000862: PUSH1 0x0c 00000864: DUP1 00000865: SLOAD 00000866: PUSH1 0x01 00000868: DUP2 00000869: ADD 0000086a: DUP3 0000086b: SSTORE 0000086c: PUSH1 0x00 0000086e: SWAP2 0000086f: DUP3 00000870: MSTORE 00000871: SWAP8 00000872: MLOAD 00000873: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7 00000894: PUSH1 0x04 00000896: SWAP1 00000897: SWAP10 00000898: MUL 00000899: SWAP9 0000089a: DUP10 0000089b: ADD 0000089c: DUP1 0000089d: SLOAD 0000089e: PUSH1 0x01 000008a0: PUSH1 0x01 000008a2: PUSH1 0xa0 000008a4: SHL 000008a5: SUB 000008a6: NOT 000008a7: AND 000008a8: PUSH1 0x01 000008aa: PUSH1 0x01 000008ac: PUSH1 0xa0 000008ae: SHL 000008af: SUB 000008b0: SWAP1 000008b1: SWAP3 000008b2: AND 000008b3: SWAP2 000008b4: SWAP1 000008b5: SWAP2 000008b6: OR 000008b7: SWAP1 000008b8: SSTORE 000008b9: SWAP3 000008ba: MLOAD 000008bb: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c8 000008dc: DUP9 000008dd: ADD 000008de: SSTORE 000008df: SWAP1 000008e0: MLOAD 000008e1: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c9 00000902: DUP8 00000903: ADD 00000904: SSTORE 00000905: MLOAD 00000906: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8ca 00000927: SWAP1 00000928: SWAP6 00000929: ADD 0000092a: SWAP5 0000092b: SWAP1 0000092c: SWAP5 0000092d: SSTORE 0000092e: SWAP2 0000092f: DUP4 00000930: MSTORE 00000931: PUSH1 0x02 00000933: SWAP1 00000934: SWAP2 00000935: MSTORE 00000936: SWAP2 00000937: DUP2 00000938: KECCAK256 00000939: DUP1 0000093a: SLOAD 0000093b: SWAP1 0000093c: SWAP2 0000093d: SWAP1 0000093e: PUSH2 0x0948 00000941: SWAP1 00000942: DUP5 00000943: SWAP1 00000944: PUSH2 0x0f95 00000947: JUMP 00000948: JUMPDEST 00000949: SWAP3 0000094a: POP 0000094b: POP 0000094c: DUP2 0000094d: SWAP1 0000094e: SSTORE 0000094f: POP 00000950: CALLVALUE 00000951: PUSH1 0x01 00000953: PUSH1 0x00 00000955: DUP3 00000956: DUP3 00000957: SLOAD 00000958: PUSH2 0x0961 0000095b: SWAP2 0000095c: SWAP1 0000095d: PUSH2 0x0f95 00000960: JUMP 00000961: JUMPDEST 00000962: SWAP1 00000963: SWAP2 00000964: SSTORE 00000965: POP 00000966: POP 00000967: PUSH1 0x40 00000969: MLOAD 0000096a: CALLVALUE 0000096b: DUP2 0000096c: MSTORE 0000096d: CALLER 0000096e: SWAP1 0000096f: PUSH1 0x00 00000971: SWAP1 00000972: PUSH1 0x00 00000974: DUP1 00000975: MLOAD 00000976: PUSH1 0x20 00000978: PUSH2 0x123e 0000097b: DUP4 0000097c: CODECOPY 0000097d: DUP2 0000097e: MLOAD 0000097f: SWAP2 00000980: MSTORE 00000981: SWAP1 00000982: PUSH1 0x20 00000984: ADD 00000985: PUSH1 0x40 00000987: MLOAD 00000988: DUP1 00000989: SWAP2 0000098a: SUB 0000098b: SWAP1 0000098c: LOG3 0000098d: POP 0000098e: JUMP 0000098f: JUMPDEST 00000990: PUSH1 0x01 00000992: PUSH1 0x01 00000994: PUSH1 0xa0 00000996: SHL 00000997: SUB 00000998: DUP4 00000999: AND 0000099a: PUSH1 0x00 0000099c: SWAP1 0000099d: DUP2 0000099e: MSTORE 0000099f: PUSH1 0x03 000009a1: PUSH1 0x20 000009a3: SWAP1 000009a4: DUP2 000009a5: MSTORE 000009a6: PUSH1 0x40 000009a8: DUP1 000009a9: DUP4 000009aa: KECCAK256 000009ab: CALLER 000009ac: DUP5 000009ad: MSTORE 000009ae: SWAP1 000009af: SWAP2 000009b0: MSTORE 000009b1: DUP2 000009b2: KECCAK256 000009b3: DUP1 000009b4: SLOAD 000009b5: DUP4 000009b6: SWAP2 000009b7: SWAP1 000009b8: DUP4 000009b9: SWAP1 000009ba: PUSH2 0x09c4 000009bd: SWAP1 000009be: DUP5 000009bf: SWAP1 000009c0: PUSH2 0x11a2 000009c3: JUMP 000009c4: JUMPDEST 000009c5: SWAP1 000009c6: SWAP2 000009c7: SSTORE 000009c8: POP 000009c9: POP 000009ca: PUSH1 0x01 000009cc: PUSH1 0x01 000009ce: PUSH1 0xa0 000009d0: SHL 000009d1: SUB 000009d2: DUP5 000009d3: AND 000009d4: PUSH1 0x00 000009d6: SWAP1 000009d7: DUP2 000009d8: MSTORE 000009d9: PUSH1 0x02 000009db: PUSH1 0x20 000009dd: MSTORE 000009de: PUSH1 0x40 000009e0: DUP2 000009e1: KECCAK256 000009e2: DUP1 000009e3: SLOAD 000009e4: DUP5 000009e5: SWAP3 000009e6: SWAP1 000009e7: PUSH2 0x09f1 000009ea: SWAP1 000009eb: DUP5 000009ec: SWAP1 000009ed: PUSH2 0x11a2 000009f0: JUMP 000009f1: JUMPDEST 000009f2: SWAP1 000009f3: SWAP2 000009f4: SSTORE 000009f5: POP 000009f6: POP 000009f7: PUSH1 0x01 000009f9: PUSH1 0x01 000009fb: PUSH1 0xa0 000009fd: SHL 000009fe: SUB 000009ff: DUP4 00000a00: AND 00000a01: PUSH1 0x00 00000a03: SWAP1 00000a04: DUP2 00000a05: MSTORE 00000a06: PUSH1 0x02 00000a08: PUSH1 0x20 00000a0a: MSTORE 00000a0b: PUSH1 0x40 00000a0d: DUP2 00000a0e: KECCAK256 00000a0f: DUP1 00000a10: SLOAD 00000a11: DUP5 00000a12: SWAP3 00000a13: SWAP1 00000a14: PUSH2 0x0a1e 00000a17: SWAP1 00000a18: DUP5 00000a19: SWAP1 00000a1a: PUSH2 0x0f95 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: SWAP3 00000a20: POP 00000a21: POP 00000a22: DUP2 00000a23: SWAP1 00000a24: SSTORE 00000a25: POP 00000a26: DUP3 00000a27: PUSH1 0x01 00000a29: PUSH1 0x01 00000a2b: PUSH1 0xa0 00000a2d: SHL 00000a2e: SUB 00000a2f: AND 00000a30: DUP5 00000a31: PUSH1 0x01 00000a33: PUSH1 0x01 00000a35: PUSH1 0xa0 00000a37: SHL 00000a38: SUB 00000a39: AND 00000a3a: PUSH1 0x00 00000a3c: DUP1 00000a3d: MLOAD 00000a3e: PUSH1 0x20 00000a40: PUSH2 0x123e 00000a43: DUP4 00000a44: CODECOPY 00000a45: DUP2 00000a46: MLOAD 00000a47: SWAP2 00000a48: MSTORE 00000a49: DUP5 00000a4a: PUSH1 0x40 00000a4c: MLOAD 00000a4d: PUSH2 0x0a58 00000a50: SWAP2 00000a51: DUP2 00000a52: MSTORE 00000a53: PUSH1 0x20 00000a55: ADD 00000a56: SWAP1 00000a57: JUMP 00000a58: JUMPDEST 00000a59: PUSH1 0x40 00000a5b: MLOAD 00000a5c: DUP1 00000a5d: SWAP2 00000a5e: SUB 00000a5f: SWAP1 00000a60: LOG3 00000a61: POP 00000a62: PUSH1 0x01 00000a64: SWAP4 00000a65: SWAP3 00000a66: POP 00000a67: POP 00000a68: POP 00000a69: JUMP 00000a6a: JUMPDEST 00000a6b: PUSH1 0x02 00000a6d: PUSH1 0x06 00000a6f: SLOAD 00000a70: PUSH2 0x0100 00000a73: SWAP1 00000a74: DIV 00000a75: PUSH1 0xff 00000a77: AND 00000a78: PUSH1 0x02 00000a7a: DUP2 00000a7b: GT 00000a7c: ISZERO 00000a7d: PUSH2 0x0a88 00000a80: JUMPI 00000a81: PUSH2 0x0a88 00000a84: PUSH2 0x0f69 00000a87: JUMP 00000a88: JUMPDEST 00000a89: EQ 00000a8a: PUSH2 0x0a92 00000a8d: JUMPI 00000a8e: PUSH1 0x00 00000a90: DUP1 00000a91: REVERT 00000a92: JUMPDEST 00000a93: PUSH3 0x83d600 00000a97: PUSH1 0x07 00000a99: SLOAD 00000a9a: PUSH2 0x0aa3 00000a9d: SWAP2 00000a9e: SWAP1 00000a9f: PUSH2 0x0f95 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: TIMESTAMP 00000aa5: LT 00000aa6: ISZERO 00000aa7: PUSH2 0x0aaf 00000aaa: JUMPI 00000aab: PUSH1 0x00 00000aad: DUP1 00000aae: REVERT 00000aaf: JUMPDEST 00000ab0: PUSH1 0x09 00000ab2: SLOAD 00000ab3: PUSH1 0x0b 00000ab5: SLOAD 00000ab6: CALLER 00000ab7: PUSH1 0x00 00000ab9: SWAP1 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x0a 00000abe: PUSH1 0x20 00000ac0: MSTORE 00000ac1: PUSH1 0x40 00000ac3: DUP2 00000ac4: KECCAK256 00000ac5: SLOAD 00000ac6: SWAP1 00000ac7: SWAP3 00000ac8: SWAP2 00000ac9: PUSH2 0x0ad1 00000acc: SWAP2 00000acd: PUSH2 0x11b9 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH2 0x0adb 00000ad5: SWAP2 00000ad6: SWAP1 00000ad7: PUSH2 0x11d8 00000ada: JUMP 00000adb: JUMPDEST 00000adc: CALLER 00000add: PUSH1 0x00 00000adf: DUP2 00000ae0: DUP2 00000ae1: MSTORE 00000ae2: PUSH1 0x0a 00000ae4: PUSH1 0x20 00000ae6: MSTORE 00000ae7: PUSH1 0x40 00000ae9: DUP1 00000aea: DUP3 00000aeb: KECCAK256 00000aec: DUP3 00000aed: SWAP1 00000aee: SSTORE 00000aef: MLOAD 00000af0: SWAP3 00000af1: SWAP4 00000af2: POP 00000af3: SWAP1 00000af4: SWAP2 00000af5: DUP4 00000af6: ISZERO 00000af7: PUSH2 0x08fc 00000afa: MUL 00000afb: SWAP2 00000afc: DUP5 00000afd: SWAP2 00000afe: SWAP1 00000aff: DUP2 00000b00: DUP2 00000b01: DUP2 00000b02: DUP6 00000b03: DUP9 00000b04: DUP9 00000b05: CALL 00000b06: SWAP4 00000b07: POP 00000b08: POP 00000b09: POP 00000b0a: POP 00000b0b: ISZERO 00000b0c: DUP1 00000b0d: ISZERO 00000b0e: PUSH2 0x0b1b 00000b11: JUMPI 00000b12: RETURNDATASIZE 00000b13: PUSH1 0x00 00000b15: DUP1 00000b16: RETURNDATACOPY 00000b17: RETURNDATASIZE 00000b18: PUSH1 0x00 00000b1a: REVERT 00000b1b: JUMPDEST 00000b1c: POP 00000b1d: POP 00000b1e: JUMP 00000b1f: JUMPDEST 00000b20: PUSH1 0x05 00000b22: DUP1 00000b23: SLOAD 00000b24: PUSH2 0x0727 00000b27: SWAP1 00000b28: PUSH2 0x1168 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: PUSH1 0x00 00000b2f: SLOAD 00000b30: PUSH1 0x01 00000b32: PUSH1 0x01 00000b34: PUSH1 0xa0 00000b36: SHL 00000b37: SUB 00000b38: AND 00000b39: CALLER 00000b3a: EQ 00000b3b: PUSH2 0x0b5f 00000b3e: JUMPI 00000b3f: PUSH1 0x40 00000b41: MLOAD 00000b42: PUSH3 0x461bcd 00000b46: PUSH1 0xe5 00000b48: SHL 00000b49: DUP2 00000b4a: MSTORE 00000b4b: PUSH1 0x04 00000b4d: ADD 00000b4e: PUSH2 0x0b56 00000b51: SWAP1 00000b52: PUSH2 0x11fa 00000b55: JUMP 00000b56: JUMPDEST 00000b57: PUSH1 0x40 00000b59: MLOAD 00000b5a: DUP1 00000b5b: SWAP2 00000b5c: SUB 00000b5d: SWAP1 00000b5e: REVERT 00000b5f: JUMPDEST 00000b60: PUSH1 0x00 00000b62: PUSH1 0x06 00000b64: SLOAD 00000b65: PUSH2 0x0100 00000b68: SWAP1 00000b69: DIV 00000b6a: PUSH1 0xff 00000b6c: AND 00000b6d: PUSH1 0x02 00000b6f: DUP2 00000b70: GT 00000b71: ISZERO 00000b72: PUSH2 0x0b7d 00000b75: JUMPI 00000b76: PUSH2 0x0b7d 00000b79: PUSH2 0x0f69 00000b7c: JUMP 00000b7d: JUMPDEST 00000b7e: EQ 00000b7f: PUSH2 0x0b87 00000b82: JUMPI 00000b83: PUSH1 0x00 00000b85: DUP1 00000b86: REVERT 00000b87: JUMPDEST 00000b88: PUSH1 0x06 00000b8a: DUP1 00000b8b: SLOAD 00000b8c: PUSH2 0xff00 00000b8f: NOT 00000b90: AND 00000b91: PUSH2 0x0200 00000b94: OR 00000b95: SWAP1 00000b96: SSTORE 00000b97: PUSH1 0x07 00000b99: SSTORE 00000b9a: SELFBALANCE 00000b9b: PUSH1 0x0b 00000b9d: SSTORE 00000b9e: JUMP 00000b9f: JUMPDEST 00000ba0: PUSH1 0x00 00000ba2: SLOAD 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0x01 00000ba7: PUSH1 0xa0 00000ba9: SHL 00000baa: SUB 00000bab: AND 00000bac: CALLER 00000bad: EQ 00000bae: PUSH2 0x0bc9 00000bb1: JUMPI 00000bb2: PUSH1 0x40 00000bb4: MLOAD 00000bb5: PUSH3 0x461bcd 00000bb9: PUSH1 0xe5 00000bbb: SHL 00000bbc: DUP2 00000bbd: MSTORE 00000bbe: PUSH1 0x04 00000bc0: ADD 00000bc1: PUSH2 0x0b56 00000bc4: SWAP1 00000bc5: PUSH2 0x11fa 00000bc8: JUMP 00000bc9: JUMPDEST 00000bca: PUSH1 0x00 00000bcc: DUP1 00000bcd: SLOAD 00000bce: PUSH1 0x01 00000bd0: PUSH1 0x01 00000bd2: PUSH1 0xa0 00000bd4: SHL 00000bd5: SUB 00000bd6: NOT 00000bd7: AND 00000bd8: PUSH1 0x01 00000bda: PUSH1 0x01 00000bdc: PUSH1 0xa0 00000bde: SHL 00000bdf: SUB 00000be0: SWAP3 00000be1: SWAP1 00000be2: SWAP3 00000be3: AND 00000be4: SWAP2 00000be5: SWAP1 00000be6: SWAP2 00000be7: OR 00000be8: SWAP1 00000be9: SSTORE 00000bea: JUMP 00000beb: JUMPDEST 00000bec: CALLER 00000bed: PUSH1 0x00 00000bef: SWAP1 00000bf0: DUP2 00000bf1: MSTORE 00000bf2: PUSH1 0x02 00000bf4: PUSH1 0x20 00000bf6: MSTORE 00000bf7: PUSH1 0x40 00000bf9: DUP2 00000bfa: KECCAK256 00000bfb: DUP1 00000bfc: SLOAD 00000bfd: DUP4 00000bfe: SWAP2 00000bff: SWAP1 00000c00: DUP4 00000c01: SWAP1 00000c02: PUSH2 0x0c0c 00000c05: SWAP1 00000c06: DUP5 00000c07: SWAP1 00000c08: PUSH2 0x11a2 00000c0b: JUMP 00000c0c: JUMPDEST 00000c0d: SWAP1 00000c0e: SWAP2 00000c0f: SSTORE 00000c10: POP 00000c11: POP 00000c12: PUSH1 0x01 00000c14: PUSH1 0x01 00000c16: PUSH1 0xa0 00000c18: SHL 00000c19: SUB 00000c1a: DUP4 00000c1b: AND 00000c1c: PUSH1 0x00 00000c1e: SWAP1 00000c1f: DUP2 00000c20: MSTORE 00000c21: PUSH1 0x02 00000c23: PUSH1 0x20 00000c25: MSTORE 00000c26: PUSH1 0x40 00000c28: DUP2 00000c29: KECCAK256 00000c2a: DUP1 00000c2b: SLOAD 00000c2c: DUP5 00000c2d: SWAP3 00000c2e: SWAP1 00000c2f: PUSH2 0x0c39 00000c32: SWAP1 00000c33: DUP5 00000c34: SWAP1 00000c35: PUSH2 0x0f95 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: SWAP1 00000c3b: SWAP2 00000c3c: SSTORE 00000c3d: POP 00000c3e: POP 00000c3f: PUSH1 0x40 00000c41: MLOAD 00000c42: DUP3 00000c43: DUP2 00000c44: MSTORE 00000c45: PUSH1 0x01 00000c47: PUSH1 0x01 00000c49: PUSH1 0xa0 00000c4b: SHL 00000c4c: SUB 00000c4d: DUP5 00000c4e: AND 00000c4f: SWAP1 00000c50: CALLER 00000c51: SWAP1 00000c52: PUSH1 0x00 00000c54: DUP1 00000c55: MLOAD 00000c56: PUSH1 0x20 00000c58: PUSH2 0x123e 00000c5b: DUP4 00000c5c: CODECOPY 00000c5d: DUP2 00000c5e: MLOAD 00000c5f: SWAP2 00000c60: MSTORE 00000c61: SWAP1 00000c62: PUSH1 0x20 00000c64: ADD 00000c65: PUSH2 0x0803 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH1 0x01 00000c6c: PUSH1 0x06 00000c6e: SLOAD 00000c6f: PUSH2 0x0100 00000c72: SWAP1 00000c73: DIV 00000c74: PUSH1 0xff 00000c76: AND 00000c77: PUSH1 0x02 00000c79: DUP2 00000c7a: GT 00000c7b: ISZERO 00000c7c: PUSH2 0x0c87 00000c7f: JUMPI 00000c80: PUSH2 0x0c87 00000c83: PUSH2 0x0f69 00000c86: JUMP 00000c87: JUMPDEST 00000c88: EQ 00000c89: PUSH2 0x0c91 00000c8c: JUMPI 00000c8d: PUSH1 0x00 00000c8f: DUP1 00000c90: REVERT 00000c91: JUMPDEST 00000c92: CALLER 00000c93: PUSH1 0x00 00000c95: DUP2 00000c96: DUP2 00000c97: MSTORE 00000c98: PUSH1 0x02 00000c9a: PUSH1 0x20 00000c9c: SWAP1 00000c9d: DUP2 00000c9e: MSTORE 00000c9f: PUSH1 0x40 00000ca1: DUP1 00000ca2: DUP4 00000ca3: KECCAK256 00000ca4: SLOAD 00000ca5: SWAP1 00000ca6: MLOAD 00000ca7: DUP2 00000ca8: DUP2 00000ca9: MSTORE 00000caa: SWAP1 00000cab: SWAP4 00000cac: SWAP2 00000cad: PUSH1 0x00 00000caf: DUP1 00000cb0: MLOAD 00000cb1: PUSH1 0x20 00000cb3: PUSH2 0x123e 00000cb6: DUP4 00000cb7: CODECOPY 00000cb8: DUP2 00000cb9: MLOAD 00000cba: SWAP2 00000cbb: MSTORE 00000cbc: SWAP2 00000cbd: ADD 00000cbe: PUSH1 0x40 00000cc0: MLOAD 00000cc1: DUP1 00000cc2: SWAP2 00000cc3: SUB 00000cc4: SWAP1 00000cc5: LOG3 00000cc6: DUP1 00000cc7: PUSH1 0x01 00000cc9: PUSH1 0x00 00000ccb: DUP3 00000ccc: DUP3 00000ccd: SLOAD 00000cce: PUSH2 0x0cd7 00000cd1: SWAP2 00000cd2: SWAP1 00000cd3: PUSH2 0x11a2 00000cd6: JUMP 00000cd7: JUMPDEST 00000cd8: SWAP1 00000cd9: SWAP2 00000cda: SSTORE 00000cdb: POP 00000cdc: POP 00000cdd: CALLER 00000cde: PUSH1 0x00 00000ce0: DUP2 00000ce1: DUP2 00000ce2: MSTORE 00000ce3: PUSH1 0x02 00000ce5: PUSH1 0x20 00000ce7: MSTORE 00000ce8: PUSH1 0x40 00000cea: DUP1 00000ceb: DUP3 00000cec: KECCAK256 00000ced: DUP3 00000cee: SWAP1 00000cef: SSTORE 00000cf0: MLOAD 00000cf1: DUP4 00000cf2: ISZERO 00000cf3: PUSH2 0x08fc 00000cf6: MUL 00000cf7: SWAP2 00000cf8: DUP5 00000cf9: SWAP2 00000cfa: SWAP1 00000cfb: DUP2 00000cfc: DUP2 00000cfd: DUP2 00000cfe: DUP6 00000cff: DUP9 00000d00: DUP9 00000d01: CALL 00000d02: SWAP4 00000d03: POP 00000d04: POP 00000d05: POP 00000d06: POP 00000d07: ISZERO 00000d08: DUP1 00000d09: ISZERO 00000d0a: PUSH2 0x0b1b 00000d0d: JUMPI 00000d0e: RETURNDATASIZE 00000d0f: PUSH1 0x00 00000d11: DUP1 00000d12: RETURNDATACOPY 00000d13: RETURNDATASIZE 00000d14: PUSH1 0x00 00000d16: REVERT 00000d17: JUMPDEST 00000d18: PUSH1 0x00 00000d1a: SLOAD 00000d1b: PUSH1 0x01 00000d1d: PUSH1 0x01 00000d1f: PUSH1 0xa0 00000d21: SHL 00000d22: SUB 00000d23: AND 00000d24: CALLER 00000d25: EQ 00000d26: PUSH2 0x0d41 00000d29: JUMPI 00000d2a: PUSH1 0x40 00000d2c: MLOAD 00000d2d: PUSH3 0x461bcd 00000d31: PUSH1 0xe5 00000d33: SHL 00000d34: DUP2 00000d35: MSTORE 00000d36: PUSH1 0x04 00000d38: ADD 00000d39: PUSH2 0x0b56 00000d3c: SWAP1 00000d3d: PUSH2 0x11fa 00000d40: JUMP 00000d41: JUMPDEST 00000d42: PUSH1 0x00 00000d44: PUSH1 0x06 00000d46: SLOAD 00000d47: PUSH2 0x0100 00000d4a: SWAP1 00000d4b: DIV 00000d4c: PUSH1 0xff 00000d4e: AND 00000d4f: PUSH1 0x02 00000d51: DUP2 00000d52: GT 00000d53: ISZERO 00000d54: PUSH2 0x0d5f 00000d57: JUMPI 00000d58: PUSH2 0x0d5f 00000d5b: PUSH2 0x0f69 00000d5e: JUMP 00000d5f: JUMPDEST 00000d60: EQ 00000d61: PUSH2 0x0705 00000d64: JUMPI 00000d65: PUSH1 0x00 00000d67: DUP1 00000d68: REVERT 00000d69: JUMPDEST 00000d6a: PUSH1 0x00 00000d6c: SLOAD 00000d6d: PUSH1 0x01 00000d6f: PUSH1 0x01 00000d71: PUSH1 0xa0 00000d73: SHL 00000d74: SUB 00000d75: AND 00000d76: CALLER 00000d77: EQ 00000d78: PUSH2 0x0d93 00000d7b: JUMPI 00000d7c: PUSH1 0x40 00000d7e: MLOAD 00000d7f: PUSH3 0x461bcd 00000d83: PUSH1 0xe5 00000d85: SHL 00000d86: DUP2 00000d87: MSTORE 00000d88: PUSH1 0x04 00000d8a: ADD 00000d8b: PUSH2 0x0b56 00000d8e: SWAP1 00000d8f: PUSH2 0x11fa 00000d92: JUMP 00000d93: JUMPDEST 00000d94: PUSH1 0x01 00000d96: PUSH1 0x06 00000d98: SLOAD 00000d99: PUSH2 0x0100 00000d9c: SWAP1 00000d9d: DIV 00000d9e: PUSH1 0xff 00000da0: AND 00000da1: PUSH1 0x02 00000da3: DUP2 00000da4: GT 00000da5: ISZERO 00000da6: PUSH2 0x0db1 00000da9: JUMPI 00000daa: PUSH2 0x0db1 00000dad: PUSH2 0x0f69 00000db0: JUMP 00000db1: JUMPDEST 00000db2: EQ 00000db3: PUSH2 0x0dbb 00000db6: JUMPI 00000db7: PUSH1 0x00 00000db9: DUP1 00000dba: REVERT 00000dbb: JUMPDEST 00000dbc: PUSH3 0x83d600 00000dc0: PUSH1 0x08 00000dc2: SLOAD 00000dc3: PUSH2 0x0dcc 00000dc6: SWAP2 00000dc7: SWAP1 00000dc8: PUSH2 0x0f95 00000dcb: JUMP 00000dcc: JUMPDEST 00000dcd: TIMESTAMP 00000dce: GT 00000dcf: PUSH2 0x0dd7 00000dd2: JUMPI 00000dd3: PUSH1 0x00 00000dd5: DUP1 00000dd6: REVERT 00000dd7: JUMPDEST 00000dd8: PUSH1 0x00 00000dda: DUP1 00000ddb: SLOAD 00000ddc: PUSH1 0x40 00000dde: MLOAD 00000ddf: PUSH1 0x01 00000de1: PUSH1 0x01 00000de3: PUSH1 0xa0 00000de5: SHL 00000de6: SUB 00000de7: SWAP1 00000de8: SWAP2 00000de9: AND 00000dea: SWAP2 00000deb: SELFBALANCE 00000dec: DUP1 00000ded: ISZERO 00000dee: PUSH2 0x08fc 00000df1: MUL 00000df2: SWAP3 00000df3: SWAP1 00000df4: SWAP2 00000df5: DUP2 00000df6: DUP2 00000df7: DUP2 00000df8: DUP6 00000df9: DUP9 00000dfa: DUP9 00000dfb: CALL 00000dfc: SWAP4 00000dfd: POP 00000dfe: POP 00000dff: POP 00000e00: POP 00000e01: ISZERO 00000e02: DUP1 00000e03: ISZERO 00000e04: PUSH2 0x0e11 00000e07: JUMPI 00000e08: RETURNDATASIZE 00000e09: PUSH1 0x00 00000e0b: DUP1 00000e0c: RETURNDATACOPY 00000e0d: RETURNDATASIZE 00000e0e: PUSH1 0x00 00000e10: REVERT 00000e11: JUMPDEST 00000e12: POP 00000e13: JUMP 00000e14: JUMPDEST 00000e15: PUSH1 0x00 00000e17: PUSH1 0x0c 00000e19: DUP5 00000e1a: DUP2 00000e1b: SLOAD 00000e1c: DUP2 00000e1d: LT 00000e1e: PUSH2 0x0e29 00000e21: JUMPI 00000e22: PUSH2 0x0e29 00000e25: PUSH2 0x1227 00000e28: JUMP 00000e29: JUMPDEST 00000e2a: PUSH1 0x00 00000e2c: SWAP2 00000e2d: DUP3 00000e2e: MSTORE 00000e2f: PUSH1 0x20 00000e31: SWAP1 00000e32: SWAP2 00000e33: KECCAK256 00000e34: PUSH1 0x04 00000e36: SWAP1 00000e37: SWAP2 00000e38: MUL 00000e39: ADD 00000e3a: SWAP1 00000e3b: POP 00000e3c: PUSH1 0x02 00000e3e: PUSH1 0x06 00000e40: SLOAD 00000e41: PUSH2 0x0100 00000e44: SWAP1 00000e45: DIV 00000e46: PUSH1 0xff 00000e48: AND 00000e49: PUSH1 0x02 00000e4b: DUP2 00000e4c: GT 00000e4d: ISZERO 00000e4e: PUSH2 0x0e59 00000e51: JUMPI 00000e52: PUSH2 0x0e59 00000e55: PUSH2 0x0f69 00000e58: JUMP 00000e59: JUMPDEST 00000e5a: EQ 00000e5b: PUSH2 0x0e63 00000e5e: JUMPI 00000e5f: PUSH1 0x00 00000e61: DUP1 00000e62: REVERT 00000e63: JUMPDEST 00000e64: PUSH3 0x83d600 00000e68: PUSH1 0x07 00000e6a: SLOAD 00000e6b: PUSH2 0x0e74 00000e6e: SWAP2 00000e6f: SWAP1 00000e70: PUSH2 0x0f95 00000e73: JUMP 00000e74: JUMPDEST 00000e75: TIMESTAMP 00000e76: LT 00000e77: PUSH2 0x0e7f 00000e7a: JUMPI 00000e7b: PUSH1 0x00 00000e7d: DUP1 00000e7e: REVERT 00000e7f: JUMPDEST 00000e80: PUSH1 0x03 00000e82: DUP2 00000e83: ADD 00000e84: SLOAD 00000e85: PUSH1 0x40 00000e87: DUP1 00000e88: MLOAD 00000e89: PUSH1 0x20 00000e8b: DUP2 00000e8c: ADD 00000e8d: DUP7 00000e8e: SWAP1 00000e8f: MSTORE 00000e90: SWAP1 00000e91: DUP2 00000e92: ADD 00000e93: DUP5 00000e94: SWAP1 00000e95: MSTORE 00000e96: PUSH1 0x60 00000e98: ADD 00000e99: PUSH1 0x40 00000e9b: MLOAD 00000e9c: PUSH1 0x20 00000e9e: DUP2 00000e9f: DUP4 00000ea0: SUB 00000ea1: SUB 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: SWAP1 00000ea5: PUSH1 0x40 00000ea7: MSTORE 00000ea8: DUP1 00000ea9: MLOAD 00000eaa: SWAP1 00000eab: PUSH1 0x20 00000ead: ADD 00000eae: KECCAK256 00000eaf: EQ 00000eb0: PUSH2 0x0eb8 00000eb3: JUMPI 00000eb4: PUSH1 0x00 00000eb6: DUP1 00000eb7: REVERT 00000eb8: JUMPDEST 00000eb9: PUSH2 0xa8c0 00000ebc: PUSH1 0x07 00000ebe: SLOAD 00000ebf: PUSH2 0x0ec8 00000ec2: SWAP2 00000ec3: SWAP1 00000ec4: PUSH2 0x11a2 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: DUP2 00000eca: PUSH1 0x02 00000ecc: ADD 00000ecd: SLOAD 00000ece: LT 00000ecf: PUSH2 0x0ed7 00000ed2: JUMPI 00000ed3: PUSH1 0x00 00000ed5: DUP1 00000ed6: REVERT 00000ed7: JUMPDEST 00000ed8: PUSH3 0x01fa40 00000edc: PUSH1 0x07 00000ede: SLOAD 00000edf: PUSH2 0x0ee8 00000ee2: SWAP2 00000ee3: SWAP1 00000ee4: PUSH2 0x11a2 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: DUP4 00000eea: GT 00000eeb: DUP1 00000eec: ISZERO 00000eed: PUSH2 0x0f05 00000ef0: JUMPI 00000ef1: POP 00000ef2: PUSH3 0x01fa40 00000ef6: PUSH1 0x07 00000ef8: SLOAD 00000ef9: PUSH2 0x0f02 00000efc: SWAP2 00000efd: SWAP1 00000efe: PUSH2 0x0f95 00000f01: JUMP 00000f02: JUMPDEST 00000f03: DUP4 00000f04: LT 00000f05: JUMPDEST 00000f06: PUSH2 0x0f0e 00000f09: JUMPI 00000f0a: PUSH1 0x00 00000f0c: DUP1 00000f0d: REVERT 00000f0e: JUMPDEST 00000f0f: DUP1 00000f10: PUSH1 0x01 00000f12: ADD 00000f13: SLOAD 00000f14: PUSH1 0x09 00000f16: PUSH1 0x00 00000f18: DUP3 00000f19: DUP3 00000f1a: SLOAD 00000f1b: PUSH2 0x0f24 00000f1e: SWAP2 00000f1f: SWAP1 00000f20: PUSH2 0x0f95 00000f23: JUMP 00000f24: JUMPDEST 00000f25: SWAP1 00000f26: SWAP2 00000f27: SSTORE 00000f28: POP 00000f29: POP 00000f2a: PUSH1 0x01 00000f2c: DUP2 00000f2d: ADD 00000f2e: SLOAD 00000f2f: DUP2 00000f30: SLOAD 00000f31: PUSH1 0x01 00000f33: PUSH1 0x01 00000f35: PUSH1 0xa0 00000f37: SHL 00000f38: SUB 00000f39: AND 00000f3a: PUSH1 0x00 00000f3c: SWAP1 00000f3d: DUP2 00000f3e: MSTORE 00000f3f: PUSH1 0x0a 00000f41: PUSH1 0x20 00000f43: MSTORE 00000f44: PUSH1 0x40 00000f46: DUP2 00000f47: KECCAK256 00000f48: DUP1 00000f49: SLOAD 00000f4a: SWAP1 00000f4b: SWAP2 00000f4c: SWAP1 00000f4d: PUSH2 0x0f57 00000f50: SWAP1 00000f51: DUP5 00000f52: SWAP1 00000f53: PUSH2 0x0f95 00000f56: JUMP 00000f57: JUMPDEST 00000f58: SWAP1 00000f59: SWAP2 00000f5a: SSTORE 00000f5b: POP 00000f5c: POP 00000f5d: PUSH1 0x00 00000f5f: PUSH1 0x01 00000f61: SWAP1 00000f62: SWAP2 00000f63: ADD 00000f64: SSTORE 00000f65: POP 00000f66: POP 00000f67: POP 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: PUSH4 0x4e487b71 00000f6f: PUSH1 0xe0 00000f71: SHL 00000f72: PUSH1 0x00 00000f74: MSTORE 00000f75: PUSH1 0x21 00000f77: PUSH1 0x04 00000f79: MSTORE 00000f7a: PUSH1 0x24 00000f7c: PUSH1 0x00 00000f7e: REVERT 00000f7f: JUMPDEST 00000f80: PUSH4 0x4e487b71 00000f85: PUSH1 0xe0 00000f87: SHL 00000f88: PUSH1 0x00 00000f8a: MSTORE 00000f8b: PUSH1 0x11 00000f8d: PUSH1 0x04 00000f8f: MSTORE 00000f90: PUSH1 0x24 00000f92: PUSH1 0x00 00000f94: REVERT 00000f95: JUMPDEST 00000f96: PUSH1 0x00 00000f98: DUP3 00000f99: NOT 00000f9a: DUP3 00000f9b: GT 00000f9c: ISZERO 00000f9d: PUSH2 0x0fa8 00000fa0: JUMPI 00000fa1: PUSH2 0x0fa8 00000fa4: PUSH2 0x0f7f 00000fa7: JUMP 00000fa8: JUMPDEST 00000fa9: POP 00000faa: ADD 00000fab: SWAP1 00000fac: JUMP 00000fad: JUMPDEST 00000fae: PUSH1 0x00 00000fb0: PUSH1 0x20 00000fb2: DUP3 00000fb3: DUP5 00000fb4: SUB 00000fb5: SLT 00000fb6: ISZERO 00000fb7: PUSH2 0x0fbf 00000fba: JUMPI 00000fbb: PUSH1 0x00 00000fbd: DUP1 00000fbe: REVERT 00000fbf: JUMPDEST 00000fc0: POP 00000fc1: CALLDATALOAD 00000fc2: SWAP2 00000fc3: SWAP1 00000fc4: POP 00000fc5: JUMP 00000fc6: JUMPDEST 00000fc7: PUSH1 0x00 00000fc9: PUSH1 0x20 00000fcb: DUP1 00000fcc: DUP4 00000fcd: MSTORE 00000fce: DUP4 00000fcf: MLOAD 00000fd0: DUP1 00000fd1: DUP3 00000fd2: DUP6 00000fd3: ADD 00000fd4: MSTORE 00000fd5: PUSH1 0x00 00000fd7: JUMPDEST 00000fd8: DUP2 00000fd9: DUP2 00000fda: LT 00000fdb: ISZERO 00000fdc: PUSH2 0x0ff3 00000fdf: JUMPI 00000fe0: DUP6 00000fe1: DUP2 00000fe2: ADD 00000fe3: DUP4 00000fe4: ADD 00000fe5: MLOAD 00000fe6: DUP6 00000fe7: DUP3 00000fe8: ADD 00000fe9: PUSH1 0x40 00000feb: ADD 00000fec: MSTORE 00000fed: DUP3 00000fee: ADD 00000fef: PUSH2 0x0fd7 00000ff2: JUMP 00000ff3: JUMPDEST 00000ff4: DUP2 00000ff5: DUP2 00000ff6: GT 00000ff7: ISZERO 00000ff8: PUSH2 0x1005 00000ffb: JUMPI 00000ffc: PUSH1 0x00 00000ffe: PUSH1 0x40 00001000: DUP4 00001001: DUP8 00001002: ADD 00001003: ADD 00001004: MSTORE 00001005: JUMPDEST 00001006: POP 00001007: PUSH1 0x1f 00001009: ADD 0000100a: PUSH1 0x1f 0000100c: NOT 0000100d: AND 0000100e: SWAP3 0000100f: SWAP1 00001010: SWAP3 00001011: ADD 00001012: PUSH1 0x40 00001014: ADD 00001015: SWAP4 00001016: SWAP3 00001017: POP 00001018: POP 00001019: POP 0000101a: JUMP 0000101b: JUMPDEST 0000101c: DUP1 0000101d: CALLDATALOAD 0000101e: PUSH1 0x01 00001020: PUSH1 0x01 00001022: PUSH1 0xa0 00001024: SHL 00001025: SUB 00001026: DUP2 00001027: AND 00001028: DUP2 00001029: EQ 0000102a: PUSH2 0x1032 0000102d: JUMPI 0000102e: PUSH1 0x00 00001030: DUP1 00001031: REVERT 00001032: JUMPDEST 00001033: SWAP2 00001034: SWAP1 00001035: POP 00001036: JUMP 00001037: JUMPDEST 00001038: PUSH1 0x00 0000103a: DUP1 0000103b: PUSH1 0x40 0000103d: DUP4 0000103e: DUP6 0000103f: SUB 00001040: SLT 00001041: ISZERO 00001042: PUSH2 0x104a 00001045: JUMPI 00001046: PUSH1 0x00 00001048: DUP1 00001049: REVERT 0000104a: JUMPDEST 0000104b: PUSH2 0x1053 0000104e: DUP4 0000104f: PUSH2 0x101b 00001052: JUMP 00001053: JUMPDEST 00001054: SWAP5 00001055: PUSH1 0x20 00001057: SWAP4 00001058: SWAP1 00001059: SWAP4 0000105a: ADD 0000105b: CALLDATALOAD 0000105c: SWAP4 0000105d: POP 0000105e: POP 0000105f: POP 00001060: JUMP 00001061: JUMPDEST 00001062: PUSH1 0x00 00001064: DUP1 00001065: PUSH1 0x00 00001067: PUSH1 0x60 00001069: DUP5 0000106a: DUP7 0000106b: SUB 0000106c: SLT 0000106d: ISZERO 0000106e: PUSH2 0x1076 00001071: JUMPI 00001072: PUSH1 0x00 00001074: DUP1 00001075: REVERT 00001076: JUMPDEST 00001077: PUSH2 0x107f 0000107a: DUP5 0000107b: PUSH2 0x101b 0000107e: JUMP 0000107f: JUMPDEST 00001080: SWAP3 00001081: POP 00001082: PUSH2 0x108d 00001085: PUSH1 0x20 00001087: DUP6 00001088: ADD 00001089: PUSH2 0x101b 0000108c: JUMP 0000108d: JUMPDEST 0000108e: SWAP2 0000108f: POP 00001090: PUSH1 0x40 00001092: DUP5 00001093: ADD 00001094: CALLDATALOAD 00001095: SWAP1 00001096: POP 00001097: SWAP3 00001098: POP 00001099: SWAP3 0000109a: POP 0000109b: SWAP3 0000109c: JUMP 0000109d: JUMPDEST 0000109e: PUSH1 0x00 000010a0: PUSH1 0x20 000010a2: DUP3 000010a3: DUP5 000010a4: SUB 000010a5: SLT 000010a6: ISZERO 000010a7: PUSH2 0x10af 000010aa: JUMPI 000010ab: PUSH1 0x00 000010ad: DUP1 000010ae: REVERT 000010af: JUMPDEST 000010b0: PUSH2 0x10b8 000010b3: DUP3 000010b4: PUSH2 0x101b 000010b7: JUMP 000010b8: JUMPDEST 000010b9: SWAP4 000010ba: SWAP3 000010bb: POP 000010bc: POP 000010bd: POP 000010be: JUMP 000010bf: JUMPDEST 000010c0: PUSH1 0x00 000010c2: DUP1 000010c3: PUSH1 0x40 000010c5: DUP4 000010c6: DUP6 000010c7: SUB 000010c8: SLT 000010c9: ISZERO 000010ca: PUSH2 0x10d2 000010cd: JUMPI 000010ce: PUSH1 0x00 000010d0: DUP1 000010d1: REVERT 000010d2: JUMPDEST 000010d3: POP 000010d4: POP 000010d5: DUP1 000010d6: CALLDATALOAD 000010d7: SWAP3 000010d8: PUSH1 0x20 000010da: SWAP1 000010db: SWAP2 000010dc: ADD 000010dd: CALLDATALOAD 000010de: SWAP2 000010df: POP 000010e0: JUMP 000010e1: JUMPDEST 000010e2: PUSH1 0x20 000010e4: DUP2 000010e5: ADD 000010e6: PUSH1 0x03 000010e8: DUP4 000010e9: LT 000010ea: PUSH2 0x1103 000010ed: JUMPI 000010ee: PUSH4 0x4e487b71 000010f3: PUSH1 0xe0 000010f5: SHL 000010f6: PUSH1 0x00 000010f8: MSTORE 000010f9: PUSH1 0x21 000010fb: PUSH1 0x04 000010fd: MSTORE 000010fe: PUSH1 0x24 00001100: PUSH1 0x00 00001102: REVERT 00001103: JUMPDEST 00001104: SWAP2 00001105: SWAP1 00001106: MSTORE 00001107: SWAP1 00001108: JUMP 00001109: JUMPDEST 0000110a: PUSH1 0x00 0000110c: DUP1 0000110d: PUSH1 0x40 0000110f: DUP4 00001110: DUP6 00001111: SUB 00001112: SLT 00001113: ISZERO 00001114: PUSH2 0x111c 00001117: JUMPI 00001118: PUSH1 0x00 0000111a: DUP1 0000111b: REVERT 0000111c: JUMPDEST 0000111d: PUSH2 0x1125 00001120: DUP4 00001121: PUSH2 0x101b 00001124: JUMP 00001125: JUMPDEST 00001126: SWAP2 00001127: POP 00001128: PUSH2 0x1133 0000112b: PUSH1 0x20 0000112d: DUP5 0000112e: ADD 0000112f: PUSH2 0x101b 00001132: JUMP 00001133: JUMPDEST 00001134: SWAP1 00001135: POP 00001136: SWAP3 00001137: POP 00001138: SWAP3 00001139: SWAP1 0000113a: POP 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH1 0x00 0000113f: DUP1 00001140: PUSH1 0x00 00001142: PUSH1 0x60 00001144: DUP5 00001145: DUP7 00001146: SUB 00001147: SLT 00001148: ISZERO 00001149: PUSH2 0x1151 0000114c: JUMPI 0000114d: PUSH1 0x00 0000114f: DUP1 00001150: REVERT 00001151: JUMPDEST 00001152: POP 00001153: POP 00001154: DUP2 00001155: CALLDATALOAD 00001156: SWAP4 00001157: PUSH1 0x20 00001159: DUP4 0000115a: ADD 0000115b: CALLDATALOAD 0000115c: SWAP4 0000115d: POP 0000115e: PUSH1 0x40 00001160: SWAP1 00001161: SWAP3 00001162: ADD 00001163: CALLDATALOAD 00001164: SWAP2 00001165: SWAP1 00001166: POP 00001167: JUMP 00001168: JUMPDEST 00001169: PUSH1 0x01 0000116b: DUP2 0000116c: DUP2 0000116d: SHR 0000116e: SWAP1 0000116f: DUP3 00001170: AND 00001171: DUP1 00001172: PUSH2 0x117c 00001175: JUMPI 00001176: PUSH1 0x7f 00001178: DUP3 00001179: AND 0000117a: SWAP2 0000117b: POP 0000117c: JUMPDEST 0000117d: PUSH1 0x20 0000117f: DUP3 00001180: LT 00001181: DUP2 00001182: SUB 00001183: PUSH2 0x119c 00001186: JUMPI 00001187: PUSH4 0x4e487b71 0000118c: PUSH1 0xe0 0000118e: SHL 0000118f: PUSH1 0x00 00001191: MSTORE 00001192: PUSH1 0x22 00001194: PUSH1 0x04 00001196: MSTORE 00001197: PUSH1 0x24 00001199: PUSH1 0x00 0000119b: REVERT 0000119c: JUMPDEST 0000119d: POP 0000119e: SWAP2 0000119f: SWAP1 000011a0: POP 000011a1: JUMP 000011a2: JUMPDEST 000011a3: PUSH1 0x00 000011a5: DUP3 000011a6: DUP3 000011a7: LT 000011a8: ISZERO 000011a9: PUSH2 0x11b4 000011ac: JUMPI 000011ad: PUSH2 0x11b4 000011b0: PUSH2 0x0f7f 000011b3: JUMP 000011b4: JUMPDEST 000011b5: POP 000011b6: SUB 000011b7: SWAP1 000011b8: JUMP 000011b9: JUMPDEST 000011ba: PUSH1 0x00 000011bc: DUP2 000011bd: PUSH1 0x00 000011bf: NOT 000011c0: DIV 000011c1: DUP4 000011c2: GT 000011c3: DUP3 000011c4: ISZERO 000011c5: ISZERO 000011c6: AND 000011c7: ISZERO 000011c8: PUSH2 0x11d3 000011cb: JUMPI 000011cc: PUSH2 0x11d3 000011cf: PUSH2 0x0f7f 000011d2: JUMP 000011d3: JUMPDEST 000011d4: POP 000011d5: MUL 000011d6: SWAP1 000011d7: JUMP 000011d8: JUMPDEST 000011d9: PUSH1 0x00 000011db: DUP3 000011dc: PUSH2 0x11f5 000011df: JUMPI 000011e0: PUSH4 0x4e487b71 000011e5: PUSH1 0xe0 000011e7: SHL 000011e8: PUSH1 0x00 000011ea: MSTORE 000011eb: PUSH1 0x12 000011ed: PUSH1 0x04 000011ef: MSTORE 000011f0: PUSH1 0x24 000011f2: PUSH1 0x00 000011f4: REVERT 000011f5: JUMPDEST 000011f6: POP 000011f7: DIV 000011f8: SWAP1 000011f9: JUMP 000011fa: JUMPDEST 000011fb: PUSH1 0x20 000011fd: DUP1 000011fe: DUP3 000011ff: MSTORE 00001200: PUSH1 0x13 00001202: SWAP1 00001203: DUP3 00001204: ADD 00001205: MSTORE 00001206: PUSH19 0x21b0b63632b91034b9903737ba1037bbb732b9 0000121a: PUSH1 0x69 0000121c: SHL 0000121d: PUSH1 0x40 0000121f: DUP3 00001220: ADD 00001221: MSTORE 00001222: PUSH1 0x60 00001224: ADD 00001225: SWAP1 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH4 0x4e487b71 0000122d: PUSH1 0xe0 0000122f: SHL 00001230: PUSH1 0x00 00001232: MSTORE 00001233: PUSH1 0x32 00001235: PUSH1 0x04 00001237: MSTORE 00001238: PUSH1 0x24 0000123a: PUSH1 0x00 0000123c: REVERT 0000123d: INVALID 0000123e: UNKNOWN(0xDD) 0000123f: CALLCODE 00001240: MSTORE 00001241: UNKNOWN(0xAD) 00001242: SHL 00001243: UNKNOWN(0xE2) 00001244: UNKNOWN(0xC8) 00001245: SWAP12 00001246: PUSH10 0xc2b068fc378daa952ba7 00001251: CALL 00001252: PUSH4 0xc4a11628 00001257: CREATE2 00001258: GAS 00001259: UNKNOWN(0x4D) 0000125a: CREATE2 0000125b: UNKNOWN(0x23) 0000125c: UNKNOWN(0xB3) 0000125d: UNKNOWN(0xEF) 0000125e: LOG2 0000125f: PUSH5 0x6970667358 00001265: UNKNOWN(0x22) 00001266: SLT 00001267: KECCAK256 00001268: CALLDATACOPY 00001269: JUMPDEST 0000126a: UNKNOWN(0x4C) 0000126b: UNKNOWN(0xB3) 0000126c: UNKNOWN(0xBC) 0000126d: LOG0 0000126e: UNKNOWN(0x4B) 0000126f: UNKNOWN(0xB7) 00001270: EXTCODEHASH 00001271: UNKNOWN(0x29) 00001272: PUSH3 0xdb189d 00001276: EXTCODECOPY 00001277: MLOAD 00001278: DUP9 00001279: UNKNOWN(0xA6) 0000127a: UNKNOWN(0xD8) 0000127b: CODECOPY 0000127c: UNKNOWN(0xE3) 0000127d: MSTORE8 0000127e: UNKNOWN(0xA9) 0000127f: UNKNOWN(0xD3) 00001280: DUP10 00001281: DUP5 00001282: SWAP8 00001283: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x32318f84e56c88c2877a4ac1018a11715c935d7512d8401f745838c298fc4336
call_targets:
0xaf5fc45258b5d0af72031ab154bf6dfcfec74b99
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x32318f84e56c88c2877a4ac1018a11715c935d7512d8401f745838c298fc4336",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf5fc45258b5d0af72031ab154bf6dfcfec74b99"
],
"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": "0xee38db95",
"selector": "0xee38db95",
"calldata_variants": [
"0xee38db95",
"0xee38db950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf19d96eb",
"selector": "0xf19d96eb",
"calldata_variants": [
"0xf19d96eb",
"0xf19d96eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4d78ae2",
"selector": "0xf4d78ae2",
"calldata_variants": [
"0xf4d78ae2",
"0xf4d78ae20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf61d9192",
"selector": "0xf61d9192",
"calldata_variants": [
"0xf61d9192",
"0xf61d91920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9c3d42e",
"selector": "0xc9c3d42e",
"calldata_variants": [
"0xc9c3d42e",
"0xc9c3d42e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd80103e1",
"selector": "0xd80103e1",
"calldata_variants": [
"0xd80103e1",
"0xd80103e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea8a1af0",
"selector": "0xea8a1af0",
"calldata_variants": [
"0xea8a1af0",
"0xea8a1af00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2821,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3579,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x32318f84e56c88c2877a4ac1018a11715c935d7512d8401f745838c298fc4336
call_targets:
0xaf5fc45258b5d0af72031ab154bf6dfcfec74b99
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x32318f84e56c88c2877a4ac1018a11715c935d7512d8401f745838c298fc4336",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf5fc45258b5d0af72031ab154bf6dfcfec74b99"
],
"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": "0xee38db95",
"selector": "0xee38db95",
"calldata_variants": [
"0xee38db95",
"0xee38db950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf19d96eb",
"selector": "0xf19d96eb",
"calldata_variants": [
"0xf19d96eb",
"0xf19d96eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4d78ae2",
"selector": "0xf4d78ae2",
"calldata_variants": [
"0xf4d78ae2",
"0xf4d78ae20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf61d9192",
"selector": "0xf61d9192",
"calldata_variants": [
"0xf61d9192",
"0xf61d91920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9c3d42e",
"selector": "0xc9c3d42e",
"calldata_variants": [
"0xc9c3d42e",
"0xc9c3d42e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd80103e1",
"selector": "0xd80103e1",
"calldata_variants": [
"0xd80103e1",
"0xd80103e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea8a1af0",
"selector": "0xea8a1af0",
"calldata_variants": [
"0xea8a1af0",
"0xea8a1af00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2821,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3329,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3579,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x0ed1f6c82becccf617b683b5557714b098c3e7abd186ff5bfc0cb03b0875d11f
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x0ed1f6c82becccf617b683b5557714b098c3e7abd186ff5bfc0cb03b0875d11f",
"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": "0xee38db95",
"selector": "0xee38db95",
"calldata_variants": [
"0xee38db95",
"0xee38db950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf19d96eb",
"selector": "0xf19d96eb",
"calldata_variants": [
"0xf19d96eb",
"0xf19d96eb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4d78ae2",
"selector": "0xf4d78ae2",
"calldata_variants": [
"0xf4d78ae2",
"0xf4d78ae20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf61d9192",
"selector": "0xf61d9192",
"calldata_variants": [
"0xf61d9192",
"0xf61d91920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9c3d42e",
"selector": "0xc9c3d42e",
"calldata_variants": [
"0xc9c3d42e",
"0xc9c3d42e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd80103e1",
"selector": "0xd80103e1",
"calldata_variants": [
"0xd80103e1",
"0xd80103e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdd62ed3e",
"selector": "0xdd62ed3e",
"calldata_variants": [
"0xdd62ed3e",
"0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea8a1af0",
"selector": "0xea8a1af0",
"calldata_variants": [
"0xea8a1af0",
"0xea8a1af00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|