019b477e-d26b-72d9-abc7-188514c15300
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 |
|---|---|---|---|---|
| 27947 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27948 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103497 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103498 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103499 | detector.run | complete | 1 / 3 | 1 week ago |
| 103500 | validation.fork | complete | 1 / 3 | 1 week 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 0x01c6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbd045169 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xe654485e 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe654485e 0000003a: EQ 0000003b: PUSH2 0x0505 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xebbc1dc3 00000045: EQ 00000046: PUSH2 0x0525 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf99eb9bf 00000050: EQ 00000051: PUSH2 0x053a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf9ae4cb6 0000005b: EQ 0000005c: PUSH2 0x0554 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xbd045169 0000006b: EQ 0000006c: PUSH2 0x04a7 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xbfff00c2 00000076: EQ 00000077: PUSH2 0x04c7 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd7bb99ba 00000081: EQ 00000082: PUSH2 0x04dd 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xded7127d 0000008c: EQ 0000008d: PUSH2 0x04e5 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x9f3edbeb 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x9f3edbeb 000000a7: EQ 000000a8: PUSH2 0x0449 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xaaffadf3 000000b2: EQ 000000b3: PUSH2 0x0451 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xb34f7cb1 000000bd: EQ 000000be: PUSH2 0x0467 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xb5ba0433 000000c8: EQ 000000c9: PUSH2 0x0487 000000cc: JUMPI 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: REVERT 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x8da5cb5b 000000d8: EQ 000000d9: PUSH2 0x03d5 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x960bfe04 000000e3: EQ 000000e4: PUSH2 0x0409 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x9cdd60a8 000000ee: EQ 000000ef: PUSH2 0x0429 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x3ccfd60b 000000fe: GT 000000ff: PUSH2 0x0164 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x6ef29dd7 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x6ef29dd7 00000114: EQ 00000115: PUSH2 0x0364 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x79c12e3c 0000011f: EQ 00000120: PUSH2 0x0386 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x7cbf01ed 0000012a: EQ 0000012b: PUSH2 0x03a0 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x84aef632 00000135: EQ 00000136: PUSH2 0x03c0 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x3ccfd60b 00000145: EQ 00000146: PUSH2 0x0321 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x40b9a518 00000150: EQ 00000151: PUSH2 0x0338 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x42cde4e8 0000015b: EQ 0000015c: PUSH2 0x034e 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x24ed7076 0000016b: GT 0000016c: PUSH2 0x01a0 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x24ed7076 00000176: EQ 00000177: PUSH2 0x027a 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x29dcb0cf 00000181: EQ 00000182: PUSH2 0x029a 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x37f3061d 0000018c: EQ 0000018d: PUSH2 0x02b0 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x38af3eed 00000197: EQ 00000198: PUSH2 0x02d5 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: DUP1 000001a2: PUSH4 0x04e6acbf 000001a7: EQ 000001a8: PUSH2 0x0207 000001ab: JUMPI 000001ac: DUP1 000001ad: PUSH4 0x0b48b678 000001b2: EQ 000001b3: PUSH2 0x023a 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x1399fad8 000001bd: EQ 000001be: PUSH2 0x0264 000001c1: JUMPI 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: REVERT 000001c6: JUMPDEST 000001c7: CALLDATASIZE 000001c8: PUSH2 0x0202 000001cb: JUMPI 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: CALLVALUE 000001d0: DUP2 000001d1: MSTORE 000001d2: CALLER 000001d3: SWAP1 000001d4: PUSH32 0x906faaf913a60f38b5e8f2d6f5b163239bac2d994fa1a5d21751a51587a94057 000001f5: SWAP1 000001f6: PUSH1 0x20 000001f8: ADD 000001f9: PUSH1 0x40 000001fb: MLOAD 000001fc: DUP1 000001fd: SWAP2 000001fe: SUB 000001ff: SWAP1 00000200: LOG2 00000201: STOP 00000202: JUMPDEST 00000203: PUSH1 0x00 00000205: DUP1 00000206: REVERT 00000207: JUMPDEST 00000208: CALLVALUE 00000209: DUP1 0000020a: ISZERO 0000020b: PUSH2 0x0213 0000020e: JUMPI 0000020f: PUSH1 0x00 00000211: DUP1 00000212: REVERT 00000213: JUMPDEST 00000214: POP 00000215: PUSH2 0x0227 00000218: PUSH2 0x0222 0000021b: CALLDATASIZE 0000021c: PUSH1 0x04 0000021e: PUSH2 0x109e 00000221: JUMP 00000222: JUMPDEST 00000223: PUSH2 0x0574 00000226: JUMP 00000227: JUMPDEST 00000228: PUSH1 0x40 0000022a: MLOAD 0000022b: SWAP1 0000022c: DUP2 0000022d: MSTORE 0000022e: PUSH1 0x20 00000230: ADD 00000231: JUMPDEST 00000232: PUSH1 0x40 00000234: MLOAD 00000235: DUP1 00000236: SWAP2 00000237: SUB 00000238: SWAP1 00000239: RETURN 0000023a: JUMPDEST 0000023b: CALLVALUE 0000023c: DUP1 0000023d: ISZERO 0000023e: PUSH2 0x0246 00000241: JUMPI 00000242: PUSH1 0x00 00000244: DUP1 00000245: REVERT 00000246: JUMPDEST 00000247: POP 00000248: PUSH1 0x0a 0000024a: SLOAD 0000024b: PUSH2 0x0254 0000024e: SWAP1 0000024f: PUSH1 0xff 00000251: AND 00000252: DUP2 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH1 0x40 00000257: MLOAD 00000258: SWAP1 00000259: ISZERO 0000025a: ISZERO 0000025b: DUP2 0000025c: MSTORE 0000025d: PUSH1 0x20 0000025f: ADD 00000260: PUSH2 0x0231 00000263: JUMP 00000264: JUMPDEST 00000265: CALLVALUE 00000266: DUP1 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: POP 00000272: PUSH2 0x0227 00000275: PUSH1 0x02 00000277: SLOAD 00000278: DUP2 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x0254 0000028b: PUSH2 0x0295 0000028e: CALLDATASIZE 0000028f: PUSH1 0x04 00000291: PUSH2 0x109e 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH2 0x0595 00000299: JUMP 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a6 000002a1: JUMPI 000002a2: PUSH1 0x00 000002a4: DUP1 000002a5: REVERT 000002a6: JUMPDEST 000002a7: POP 000002a8: PUSH2 0x0227 000002ab: PUSH1 0x01 000002ad: SLOAD 000002ae: DUP2 000002af: JUMP 000002b0: JUMPDEST 000002b1: CALLVALUE 000002b2: DUP1 000002b3: ISZERO 000002b4: PUSH2 0x02bc 000002b7: JUMPI 000002b8: PUSH1 0x00 000002ba: DUP1 000002bb: REVERT 000002bc: JUMPDEST 000002bd: POP 000002be: PUSH2 0x02c5 000002c1: PUSH2 0x05c9 000002c4: JUMP 000002c5: JUMPDEST 000002c6: PUSH1 0x40 000002c8: MLOAD 000002c9: PUSH2 0x0231 000002cc: SWAP5 000002cd: SWAP4 000002ce: SWAP3 000002cf: SWAP2 000002d0: SWAP1 000002d1: PUSH2 0x10f2 000002d4: JUMP 000002d5: JUMPDEST 000002d6: CALLVALUE 000002d7: DUP1 000002d8: ISZERO 000002d9: PUSH2 0x02e1 000002dc: JUMPI 000002dd: PUSH1 0x00 000002df: DUP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: POP 000002e3: PUSH2 0x0309 000002e6: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 00000307: DUP2 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: PUSH1 0x01 0000030f: PUSH1 0x01 00000311: PUSH1 0xa0 00000313: SHL 00000314: SUB 00000315: SWAP1 00000316: SWAP2 00000317: AND 00000318: DUP2 00000319: MSTORE 0000031a: PUSH1 0x20 0000031c: ADD 0000031d: PUSH2 0x0231 00000320: JUMP 00000321: JUMPDEST 00000322: CALLVALUE 00000323: DUP1 00000324: ISZERO 00000325: PUSH2 0x032d 00000328: JUMPI 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: REVERT 0000032d: JUMPDEST 0000032e: POP 0000032f: PUSH2 0x0336 00000332: PUSH2 0x0757 00000335: JUMP 00000336: JUMPDEST 00000337: STOP 00000338: JUMPDEST 00000339: CALLVALUE 0000033a: DUP1 0000033b: ISZERO 0000033c: PUSH2 0x0344 0000033f: JUMPI 00000340: PUSH1 0x00 00000342: DUP1 00000343: REVERT 00000344: JUMPDEST 00000345: POP 00000346: PUSH2 0x0227 00000349: PUSH1 0x05 0000034b: SLOAD 0000034c: DUP2 0000034d: JUMP 0000034e: JUMPDEST 0000034f: CALLVALUE 00000350: DUP1 00000351: ISZERO 00000352: PUSH2 0x035a 00000355: JUMPI 00000356: PUSH1 0x00 00000358: DUP1 00000359: REVERT 0000035a: JUMPDEST 0000035b: POP 0000035c: PUSH2 0x0227 0000035f: PUSH1 0x03 00000361: SLOAD 00000362: DUP2 00000363: JUMP 00000364: JUMPDEST 00000365: CALLVALUE 00000366: DUP1 00000367: ISZERO 00000368: PUSH2 0x0370 0000036b: JUMPI 0000036c: PUSH1 0x00 0000036e: DUP1 0000036f: REVERT 00000370: JUMPDEST 00000371: POP 00000372: PUSH2 0x0379 00000375: PUSH2 0x08ca 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH1 0x40 0000037c: MLOAD 0000037d: PUSH2 0x0231 00000380: SWAP2 00000381: SWAP1 00000382: PUSH2 0x11a0 00000385: JUMP 00000386: JUMPDEST 00000387: CALLVALUE 00000388: DUP1 00000389: ISZERO 0000038a: PUSH2 0x0392 0000038d: JUMPI 0000038e: PUSH1 0x00 00000390: DUP1 00000391: REVERT 00000392: JUMPDEST 00000393: POP 00000394: PUSH1 0x00 00000396: SLOAD 00000397: PUSH2 0x0254 0000039a: SWAP1 0000039b: PUSH1 0xff 0000039d: AND 0000039e: DUP2 0000039f: JUMP 000003a0: JUMPDEST 000003a1: CALLVALUE 000003a2: DUP1 000003a3: ISZERO 000003a4: PUSH2 0x03ac 000003a7: JUMPI 000003a8: PUSH1 0x00 000003aa: DUP1 000003ab: REVERT 000003ac: JUMPDEST 000003ad: POP 000003ae: PUSH2 0x0336 000003b1: PUSH2 0x03bb 000003b4: CALLDATASIZE 000003b5: PUSH1 0x04 000003b7: PUSH2 0x11ee 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH2 0x0958 000003bf: JUMP 000003c0: JUMPDEST 000003c1: CALLVALUE 000003c2: DUP1 000003c3: ISZERO 000003c4: PUSH2 0x03cc 000003c7: JUMPI 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: REVERT 000003cc: JUMPDEST 000003cd: POP 000003ce: PUSH2 0x0336 000003d1: PUSH2 0x09d5 000003d4: JUMP 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03e1 000003dc: JUMPI 000003dd: PUSH1 0x00 000003df: DUP1 000003e0: REVERT 000003e1: JUMPDEST 000003e2: POP 000003e3: PUSH2 0x0309 000003e6: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 00000407: DUP2 00000408: JUMP 00000409: JUMPDEST 0000040a: CALLVALUE 0000040b: DUP1 0000040c: ISZERO 0000040d: PUSH2 0x0415 00000410: JUMPI 00000411: PUSH1 0x00 00000413: DUP1 00000414: REVERT 00000415: JUMPDEST 00000416: POP 00000417: PUSH2 0x0336 0000041a: PUSH2 0x0424 0000041d: CALLDATASIZE 0000041e: PUSH1 0x04 00000420: PUSH2 0x109e 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH2 0x0a51 00000428: JUMP 00000429: JUMPDEST 0000042a: CALLVALUE 0000042b: DUP1 0000042c: ISZERO 0000042d: PUSH2 0x0435 00000430: JUMPI 00000431: PUSH1 0x00 00000433: DUP1 00000434: REVERT 00000435: JUMPDEST 00000436: POP 00000437: PUSH2 0x0336 0000043a: PUSH2 0x0444 0000043d: CALLDATASIZE 0000043e: PUSH1 0x04 00000440: PUSH2 0x12ba 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH2 0x0ac0 00000448: JUMP 00000449: JUMPDEST 0000044a: PUSH2 0x0336 0000044d: PUSH2 0x0b5f 00000450: JUMP 00000451: JUMPDEST 00000452: CALLVALUE 00000453: DUP1 00000454: ISZERO 00000455: PUSH2 0x045d 00000458: JUMPI 00000459: PUSH1 0x00 0000045b: DUP1 0000045c: REVERT 0000045d: JUMPDEST 0000045e: POP 0000045f: PUSH2 0x0227 00000462: PUSH1 0x04 00000464: SLOAD 00000465: DUP2 00000466: JUMP 00000467: JUMPDEST 00000468: CALLVALUE 00000469: DUP1 0000046a: ISZERO 0000046b: PUSH2 0x0473 0000046e: JUMPI 0000046f: PUSH1 0x00 00000471: DUP1 00000472: REVERT 00000473: JUMPDEST 00000474: POP 00000475: PUSH2 0x0227 00000478: PUSH2 0x0482 0000047b: CALLDATASIZE 0000047c: PUSH1 0x04 0000047e: PUSH2 0x109e 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH2 0x0b6b 00000486: JUMP 00000487: JUMPDEST 00000488: CALLVALUE 00000489: DUP1 0000048a: ISZERO 0000048b: PUSH2 0x0493 0000048e: JUMPI 0000048f: PUSH1 0x00 00000491: DUP1 00000492: REVERT 00000493: JUMPDEST 00000494: POP 00000495: PUSH2 0x0336 00000498: PUSH2 0x04a2 0000049b: CALLDATASIZE 0000049c: PUSH1 0x04 0000049e: PUSH2 0x12f7 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH2 0x0b7b 000004a6: JUMP 000004a7: JUMPDEST 000004a8: CALLVALUE 000004a9: DUP1 000004aa: ISZERO 000004ab: PUSH2 0x04b3 000004ae: JUMPI 000004af: PUSH1 0x00 000004b1: DUP1 000004b2: REVERT 000004b3: JUMPDEST 000004b4: POP 000004b5: PUSH1 0x0f 000004b7: SLOAD 000004b8: PUSH2 0x0309 000004bb: SWAP1 000004bc: PUSH1 0x01 000004be: PUSH1 0x01 000004c0: PUSH1 0xa0 000004c2: SHL 000004c3: SUB 000004c4: AND 000004c5: DUP2 000004c6: JUMP 000004c7: JUMPDEST 000004c8: CALLVALUE 000004c9: DUP1 000004ca: ISZERO 000004cb: PUSH2 0x04d3 000004ce: JUMPI 000004cf: PUSH1 0x00 000004d1: DUP1 000004d2: REVERT 000004d3: JUMPDEST 000004d4: POP 000004d5: PUSH2 0x0227 000004d8: PUSH1 0x07 000004da: SLOAD 000004db: DUP2 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH2 0x0336 000004e1: PUSH2 0x0c46 000004e4: JUMP 000004e5: JUMPDEST 000004e6: CALLVALUE 000004e7: DUP1 000004e8: ISZERO 000004e9: PUSH2 0x04f1 000004ec: JUMPI 000004ed: PUSH1 0x00 000004ef: DUP1 000004f0: REVERT 000004f1: JUMPDEST 000004f2: POP 000004f3: PUSH2 0x0227 000004f6: PUSH2 0x0500 000004f9: CALLDATASIZE 000004fa: PUSH1 0x04 000004fc: PUSH2 0x133e 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH2 0x0c50 00000504: JUMP 00000505: JUMPDEST 00000506: CALLVALUE 00000507: DUP1 00000508: ISZERO 00000509: PUSH2 0x0511 0000050c: JUMPI 0000050d: PUSH1 0x00 0000050f: DUP1 00000510: REVERT 00000511: JUMPDEST 00000512: POP 00000513: PUSH2 0x0309 00000516: PUSH2 0x0520 00000519: CALLDATASIZE 0000051a: PUSH1 0x04 0000051c: PUSH2 0x109e 0000051f: JUMP 00000520: JUMPDEST 00000521: PUSH2 0x0cdb 00000524: JUMP 00000525: JUMPDEST 00000526: CALLVALUE 00000527: DUP1 00000528: ISZERO 00000529: PUSH2 0x0531 0000052c: JUMPI 0000052d: PUSH1 0x00 0000052f: DUP1 00000530: REVERT 00000531: JUMPDEST 00000532: POP 00000533: PUSH2 0x0379 00000536: PUSH2 0x0d05 00000539: JUMP 0000053a: JUMPDEST 0000053b: CALLVALUE 0000053c: DUP1 0000053d: ISZERO 0000053e: PUSH2 0x0546 00000541: JUMPI 00000542: PUSH1 0x00 00000544: DUP1 00000545: REVERT 00000546: JUMPDEST 00000547: POP 00000548: PUSH1 0x06 0000054a: SLOAD 0000054b: PUSH2 0x0254 0000054e: SWAP1 0000054f: PUSH1 0xff 00000551: AND 00000552: DUP2 00000553: JUMP 00000554: JUMPDEST 00000555: CALLVALUE 00000556: DUP1 00000557: ISZERO 00000558: PUSH2 0x0560 0000055b: JUMPI 0000055c: PUSH1 0x00 0000055e: DUP1 0000055f: REVERT 00000560: JUMPDEST 00000561: POP 00000562: PUSH2 0x0336 00000565: PUSH2 0x056f 00000568: CALLDATASIZE 00000569: PUSH1 0x04 0000056b: PUSH2 0x133e 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH2 0x0d12 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x0c 00000577: DUP2 00000578: DUP2 00000579: SLOAD 0000057a: DUP2 0000057b: LT 0000057c: PUSH2 0x0584 0000057f: JUMPI 00000580: PUSH1 0x00 00000582: DUP1 00000583: REVERT 00000584: JUMPDEST 00000585: PUSH1 0x00 00000587: SWAP2 00000588: DUP3 00000589: MSTORE 0000058a: PUSH1 0x20 0000058c: SWAP1 0000058d: SWAP2 0000058e: KECCAK256 0000058f: ADD 00000590: SLOAD 00000591: SWAP1 00000592: POP 00000593: DUP2 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH1 0x0b 00000598: DUP2 00000599: DUP2 0000059a: SLOAD 0000059b: DUP2 0000059c: LT 0000059d: PUSH2 0x05a5 000005a0: JUMPI 000005a1: PUSH1 0x00 000005a3: DUP1 000005a4: REVERT 000005a5: JUMPDEST 000005a6: SWAP1 000005a7: PUSH1 0x00 000005a9: MSTORE 000005aa: PUSH1 0x20 000005ac: PUSH1 0x00 000005ae: KECCAK256 000005af: SWAP1 000005b0: PUSH1 0x20 000005b2: SWAP2 000005b3: DUP3 000005b4: DUP3 000005b5: DIV 000005b6: ADD 000005b7: SWAP2 000005b8: SWAP1 000005b9: MOD 000005ba: SWAP2 000005bb: POP 000005bc: SLOAD 000005bd: SWAP1 000005be: PUSH2 0x0100 000005c1: EXP 000005c2: SWAP1 000005c3: DIV 000005c4: PUSH1 0xff 000005c6: AND 000005c7: DUP2 000005c8: JUMP 000005c9: JUMPDEST 000005ca: PUSH1 0x60 000005cc: DUP1 000005cd: PUSH1 0x60 000005cf: DUP1 000005d0: PUSH1 0x0e 000005d2: PUSH1 0x0c 000005d4: PUSH1 0x0b 000005d6: PUSH1 0x0d 000005d8: DUP4 000005d9: DUP1 000005da: SLOAD 000005db: DUP1 000005dc: PUSH1 0x20 000005de: MUL 000005df: PUSH1 0x20 000005e1: ADD 000005e2: PUSH1 0x40 000005e4: MLOAD 000005e5: SWAP1 000005e6: DUP2 000005e7: ADD 000005e8: PUSH1 0x40 000005ea: MSTORE 000005eb: DUP1 000005ec: SWAP3 000005ed: SWAP2 000005ee: SWAP1 000005ef: DUP2 000005f0: DUP2 000005f1: MSTORE 000005f2: PUSH1 0x20 000005f4: ADD 000005f5: DUP3 000005f6: DUP1 000005f7: SLOAD 000005f8: DUP1 000005f9: ISZERO 000005fa: PUSH2 0x062c 000005fd: JUMPI 000005fe: PUSH1 0x20 00000600: MUL 00000601: DUP3 00000602: ADD 00000603: SWAP2 00000604: SWAP1 00000605: PUSH1 0x00 00000607: MSTORE 00000608: PUSH1 0x20 0000060a: PUSH1 0x00 0000060c: KECCAK256 0000060d: SWAP1 0000060e: JUMPDEST 0000060f: DUP2 00000610: SLOAD 00000611: PUSH1 0x01 00000613: PUSH1 0x01 00000615: PUSH1 0xa0 00000617: SHL 00000618: SUB 00000619: AND 0000061a: DUP2 0000061b: MSTORE 0000061c: PUSH1 0x01 0000061e: SWAP1 0000061f: SWAP2 00000620: ADD 00000621: SWAP1 00000622: PUSH1 0x20 00000624: ADD 00000625: DUP1 00000626: DUP4 00000627: GT 00000628: PUSH2 0x060e 0000062b: JUMPI 0000062c: JUMPDEST 0000062d: POP 0000062e: POP 0000062f: POP 00000630: POP 00000631: POP 00000632: SWAP4 00000633: POP 00000634: DUP3 00000635: DUP1 00000636: SLOAD 00000637: DUP1 00000638: PUSH1 0x20 0000063a: MUL 0000063b: PUSH1 0x20 0000063d: ADD 0000063e: PUSH1 0x40 00000640: MLOAD 00000641: SWAP1 00000642: DUP2 00000643: ADD 00000644: PUSH1 0x40 00000646: MSTORE 00000647: DUP1 00000648: SWAP3 00000649: SWAP2 0000064a: SWAP1 0000064b: DUP2 0000064c: DUP2 0000064d: MSTORE 0000064e: PUSH1 0x20 00000650: ADD 00000651: DUP3 00000652: DUP1 00000653: SLOAD 00000654: DUP1 00000655: ISZERO 00000656: PUSH2 0x067e 00000659: JUMPI 0000065a: PUSH1 0x20 0000065c: MUL 0000065d: DUP3 0000065e: ADD 0000065f: SWAP2 00000660: SWAP1 00000661: PUSH1 0x00 00000663: MSTORE 00000664: PUSH1 0x20 00000666: PUSH1 0x00 00000668: KECCAK256 00000669: SWAP1 0000066a: JUMPDEST 0000066b: DUP2 0000066c: SLOAD 0000066d: DUP2 0000066e: MSTORE 0000066f: PUSH1 0x20 00000671: ADD 00000672: SWAP1 00000673: PUSH1 0x01 00000675: ADD 00000676: SWAP1 00000677: DUP1 00000678: DUP4 00000679: GT 0000067a: PUSH2 0x066a 0000067d: JUMPI 0000067e: JUMPDEST 0000067f: POP 00000680: POP 00000681: POP 00000682: POP 00000683: POP 00000684: SWAP3 00000685: POP 00000686: DUP2 00000687: DUP1 00000688: SLOAD 00000689: DUP1 0000068a: PUSH1 0x20 0000068c: MUL 0000068d: PUSH1 0x20 0000068f: ADD 00000690: PUSH1 0x40 00000692: MLOAD 00000693: SWAP1 00000694: DUP2 00000695: ADD 00000696: PUSH1 0x40 00000698: MSTORE 00000699: DUP1 0000069a: SWAP3 0000069b: SWAP2 0000069c: SWAP1 0000069d: DUP2 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x20 000006a2: ADD 000006a3: DUP3 000006a4: DUP1 000006a5: SLOAD 000006a6: DUP1 000006a7: ISZERO 000006a8: PUSH2 0x06f0 000006ab: JUMPI 000006ac: PUSH1 0x20 000006ae: MUL 000006af: DUP3 000006b0: ADD 000006b1: SWAP2 000006b2: SWAP1 000006b3: PUSH1 0x00 000006b5: MSTORE 000006b6: PUSH1 0x20 000006b8: PUSH1 0x00 000006ba: KECCAK256 000006bb: SWAP1 000006bc: PUSH1 0x00 000006be: SWAP1 000006bf: JUMPDEST 000006c0: DUP3 000006c1: SLOAD 000006c2: PUSH2 0x0100 000006c5: DUP4 000006c6: SWAP1 000006c7: EXP 000006c8: SWAP1 000006c9: DIV 000006ca: PUSH1 0xff 000006cc: AND 000006cd: ISZERO 000006ce: ISZERO 000006cf: DUP2 000006d0: MSTORE 000006d1: PUSH1 0x20 000006d3: PUSH1 0x01 000006d5: SWAP3 000006d6: DUP4 000006d7: ADD 000006d8: DUP2 000006d9: DUP2 000006da: DIV 000006db: SWAP5 000006dc: DUP6 000006dd: ADD 000006de: SWAP5 000006df: SWAP1 000006e0: SWAP4 000006e1: SUB 000006e2: SWAP1 000006e3: SWAP3 000006e4: MUL 000006e5: SWAP2 000006e6: ADD 000006e7: DUP1 000006e8: DUP5 000006e9: GT 000006ea: PUSH2 0x06bf 000006ed: JUMPI 000006ee: SWAP1 000006ef: POP 000006f0: JUMPDEST 000006f1: POP 000006f2: POP 000006f3: POP 000006f4: POP 000006f5: POP 000006f6: SWAP2 000006f7: POP 000006f8: DUP1 000006f9: DUP1 000006fa: SLOAD 000006fb: DUP1 000006fc: PUSH1 0x20 000006fe: MUL 000006ff: PUSH1 0x20 00000701: ADD 00000702: PUSH1 0x40 00000704: MLOAD 00000705: SWAP1 00000706: DUP2 00000707: ADD 00000708: PUSH1 0x40 0000070a: MSTORE 0000070b: DUP1 0000070c: SWAP3 0000070d: SWAP2 0000070e: SWAP1 0000070f: DUP2 00000710: DUP2 00000711: MSTORE 00000712: PUSH1 0x20 00000714: ADD 00000715: DUP3 00000716: DUP1 00000717: SLOAD 00000718: DUP1 00000719: ISZERO 0000071a: PUSH2 0x0742 0000071d: JUMPI 0000071e: PUSH1 0x20 00000720: MUL 00000721: DUP3 00000722: ADD 00000723: SWAP2 00000724: SWAP1 00000725: PUSH1 0x00 00000727: MSTORE 00000728: PUSH1 0x20 0000072a: PUSH1 0x00 0000072c: KECCAK256 0000072d: SWAP1 0000072e: JUMPDEST 0000072f: DUP2 00000730: SLOAD 00000731: DUP2 00000732: MSTORE 00000733: PUSH1 0x20 00000735: ADD 00000736: SWAP1 00000737: PUSH1 0x01 00000739: ADD 0000073a: SWAP1 0000073b: DUP1 0000073c: DUP4 0000073d: GT 0000073e: PUSH2 0x072e 00000741: JUMPI 00000742: JUMPDEST 00000743: POP 00000744: POP 00000745: POP 00000746: POP 00000747: POP 00000748: SWAP1 00000749: POP 0000074a: SWAP4 0000074b: POP 0000074c: SWAP4 0000074d: POP 0000074e: SWAP4 0000074f: POP 00000750: SWAP4 00000751: POP 00000752: SWAP1 00000753: SWAP2 00000754: SWAP3 00000755: SWAP4 00000756: JUMP 00000757: JUMPDEST 00000758: CALLER 00000759: PUSH1 0x01 0000075b: PUSH1 0x01 0000075d: PUSH1 0xa0 0000075f: SHL 00000760: SUB 00000761: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 00000782: AND 00000783: EQ 00000784: PUSH2 0x07e9 00000787: JUMPI 00000788: PUSH1 0x40 0000078a: MLOAD 0000078b: PUSH3 0x461bcd 0000078f: PUSH1 0xe5 00000791: SHL 00000792: DUP2 00000793: MSTORE 00000794: PUSH1 0x20 00000796: PUSH1 0x04 00000798: DUP3 00000799: ADD 0000079a: MSTORE 0000079b: PUSH1 0x2c 0000079d: PUSH1 0x24 0000079f: DUP3 000007a0: ADD 000007a1: MSTORE 000007a2: PUSH32 0x4f6e6c79207468652062656e65666963696172792063616e2063616c6c207468 000007c3: PUSH1 0x44 000007c5: DUP3 000007c6: ADD 000007c7: MSTORE 000007c8: PUSH12 0x34b990333ab731ba34b7b717 000007d5: PUSH1 0xa1 000007d7: SHL 000007d8: PUSH1 0x64 000007da: DUP3 000007db: ADD 000007dc: MSTORE 000007dd: PUSH1 0x84 000007df: ADD 000007e0: JUMPDEST 000007e1: PUSH1 0x40 000007e3: MLOAD 000007e4: DUP1 000007e5: SWAP2 000007e6: SUB 000007e7: SWAP1 000007e8: REVERT 000007e9: JUMPDEST 000007ea: PUSH1 0x00 000007ec: SLOAD 000007ed: PUSH1 0xff 000007ef: AND 000007f0: PUSH2 0x080b 000007f3: JUMPI 000007f4: PUSH1 0x40 000007f6: MLOAD 000007f7: PUSH3 0x461bcd 000007fb: PUSH1 0xe5 000007fd: SHL 000007fe: DUP2 000007ff: MSTORE 00000800: PUSH1 0x04 00000802: ADD 00000803: PUSH2 0x07e0 00000806: SWAP1 00000807: PUSH2 0x1367 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH1 0x40 0000080e: MLOAD 0000080f: SELFBALANCE 00000810: SWAP1 00000811: PUSH1 0x01 00000813: PUSH1 0x01 00000815: PUSH1 0xa0 00000817: SHL 00000818: SUB 00000819: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 0000083a: AND 0000083b: SWAP1 0000083c: DUP3 0000083d: ISZERO 0000083e: PUSH2 0x08fc 00000841: MUL 00000842: SWAP1 00000843: DUP4 00000844: SWAP1 00000845: PUSH1 0x00 00000847: DUP2 00000848: DUP2 00000849: DUP2 0000084a: DUP6 0000084b: DUP9 0000084c: DUP9 0000084d: CALL 0000084e: SWAP4 0000084f: POP 00000850: POP 00000851: POP 00000852: POP 00000853: ISZERO 00000854: DUP1 00000855: ISZERO 00000856: PUSH2 0x0863 00000859: JUMPI 0000085a: RETURNDATASIZE 0000085b: PUSH1 0x00 0000085d: DUP1 0000085e: RETURNDATACOPY 0000085f: RETURNDATASIZE 00000860: PUSH1 0x00 00000862: REVERT 00000863: JUMPDEST 00000864: POP 00000865: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 00000886: PUSH1 0x01 00000888: PUSH1 0x01 0000088a: PUSH1 0xa0 0000088c: SHL 0000088d: SUB 0000088e: AND 0000088f: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 000008b0: DUP3 000008b1: PUSH1 0x40 000008b3: MLOAD 000008b4: PUSH2 0x08bf 000008b7: SWAP2 000008b8: DUP2 000008b9: MSTORE 000008ba: PUSH1 0x20 000008bc: ADD 000008bd: SWAP1 000008be: JUMP 000008bf: JUMPDEST 000008c0: PUSH1 0x40 000008c2: MLOAD 000008c3: DUP1 000008c4: SWAP2 000008c5: SUB 000008c6: SWAP1 000008c7: LOG2 000008c8: POP 000008c9: JUMP 000008ca: JUMPDEST 000008cb: PUSH1 0x09 000008cd: DUP1 000008ce: SLOAD 000008cf: PUSH2 0x08d7 000008d2: SWAP1 000008d3: PUSH2 0x13af 000008d6: JUMP 000008d7: JUMPDEST 000008d8: DUP1 000008d9: PUSH1 0x1f 000008db: ADD 000008dc: PUSH1 0x20 000008de: DUP1 000008df: SWAP2 000008e0: DIV 000008e1: MUL 000008e2: PUSH1 0x20 000008e4: ADD 000008e5: PUSH1 0x40 000008e7: MLOAD 000008e8: SWAP1 000008e9: DUP2 000008ea: ADD 000008eb: PUSH1 0x40 000008ed: MSTORE 000008ee: DUP1 000008ef: SWAP3 000008f0: SWAP2 000008f1: SWAP1 000008f2: DUP2 000008f3: DUP2 000008f4: MSTORE 000008f5: PUSH1 0x20 000008f7: ADD 000008f8: DUP3 000008f9: DUP1 000008fa: SLOAD 000008fb: PUSH2 0x0903 000008fe: SWAP1 000008ff: PUSH2 0x13af 00000902: JUMP 00000903: JUMPDEST 00000904: DUP1 00000905: ISZERO 00000906: PUSH2 0x0950 00000909: JUMPI 0000090a: DUP1 0000090b: PUSH1 0x1f 0000090d: LT 0000090e: PUSH2 0x0925 00000911: JUMPI 00000912: PUSH2 0x0100 00000915: DUP1 00000916: DUP4 00000917: SLOAD 00000918: DIV 00000919: MUL 0000091a: DUP4 0000091b: MSTORE 0000091c: SWAP2 0000091d: PUSH1 0x20 0000091f: ADD 00000920: SWAP2 00000921: PUSH2 0x0950 00000924: JUMP 00000925: JUMPDEST 00000926: DUP3 00000927: ADD 00000928: SWAP2 00000929: SWAP1 0000092a: PUSH1 0x00 0000092c: MSTORE 0000092d: PUSH1 0x20 0000092f: PUSH1 0x00 00000931: KECCAK256 00000932: SWAP1 00000933: JUMPDEST 00000934: DUP2 00000935: SLOAD 00000936: DUP2 00000937: MSTORE 00000938: SWAP1 00000939: PUSH1 0x01 0000093b: ADD 0000093c: SWAP1 0000093d: PUSH1 0x20 0000093f: ADD 00000940: DUP1 00000941: DUP4 00000942: GT 00000943: PUSH2 0x0933 00000946: JUMPI 00000947: DUP3 00000948: SWAP1 00000949: SUB 0000094a: PUSH1 0x1f 0000094c: AND 0000094d: DUP3 0000094e: ADD 0000094f: SWAP2 00000950: JUMPDEST 00000951: POP 00000952: POP 00000953: POP 00000954: POP 00000955: POP 00000956: DUP2 00000957: JUMP 00000958: JUMPDEST 00000959: CALLER 0000095a: PUSH1 0x01 0000095c: PUSH1 0x01 0000095e: PUSH1 0xa0 00000960: SHL 00000961: SUB 00000962: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 00000983: AND 00000984: EQ 00000985: PUSH2 0x09a0 00000988: JUMPI 00000989: PUSH1 0x40 0000098b: MLOAD 0000098c: PUSH3 0x461bcd 00000990: PUSH1 0xe5 00000992: SHL 00000993: DUP2 00000994: MSTORE 00000995: PUSH1 0x04 00000997: ADD 00000998: PUSH2 0x07e0 0000099b: SWAP1 0000099c: PUSH2 0x13e9 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x0a 000009a3: SLOAD 000009a4: PUSH1 0xff 000009a6: AND 000009a7: PUSH2 0x09c2 000009aa: JUMPI 000009ab: PUSH1 0x40 000009ad: MLOAD 000009ae: PUSH3 0x461bcd 000009b2: PUSH1 0xe5 000009b4: SHL 000009b5: DUP2 000009b6: MSTORE 000009b7: PUSH1 0x04 000009b9: ADD 000009ba: PUSH2 0x07e0 000009bd: SWAP1 000009be: PUSH2 0x1438 000009c1: JUMP 000009c2: JUMPDEST 000009c3: PUSH1 0x00 000009c5: DUP1 000009c6: SLOAD 000009c7: PUSH1 0xff 000009c9: NOT 000009ca: AND 000009cb: SWAP2 000009cc: ISZERO 000009cd: ISZERO 000009ce: SWAP2 000009cf: SWAP1 000009d0: SWAP2 000009d1: OR 000009d2: SWAP1 000009d3: SSTORE 000009d4: JUMP 000009d5: JUMPDEST 000009d6: CALLER 000009d7: PUSH1 0x01 000009d9: PUSH1 0x01 000009db: PUSH1 0xa0 000009dd: SHL 000009de: SUB 000009df: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 00000a00: AND 00000a01: EQ 00000a02: PUSH2 0x0a1d 00000a05: JUMPI 00000a06: PUSH1 0x40 00000a08: MLOAD 00000a09: PUSH3 0x461bcd 00000a0d: PUSH1 0xe5 00000a0f: SHL 00000a10: DUP2 00000a11: MSTORE 00000a12: PUSH1 0x04 00000a14: ADD 00000a15: PUSH2 0x07e0 00000a18: SWAP1 00000a19: PUSH2 0x13e9 00000a1c: JUMP 00000a1d: JUMPDEST 00000a1e: PUSH1 0x0a 00000a20: SLOAD 00000a21: PUSH1 0xff 00000a23: AND 00000a24: PUSH2 0x0a3f 00000a27: JUMPI 00000a28: PUSH1 0x40 00000a2a: MLOAD 00000a2b: PUSH3 0x461bcd 00000a2f: PUSH1 0xe5 00000a31: SHL 00000a32: DUP2 00000a33: MSTORE 00000a34: PUSH1 0x04 00000a36: ADD 00000a37: PUSH2 0x07e0 00000a3a: SWAP1 00000a3b: PUSH2 0x1438 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x02 00000a42: SLOAD 00000a43: PUSH2 0x0a4c 00000a46: SWAP1 00000a47: TIMESTAMP 00000a48: PUSH2 0x1499 00000a4b: JUMP 00000a4c: JUMPDEST 00000a4d: PUSH1 0x01 00000a4f: SSTORE 00000a50: JUMP 00000a51: JUMPDEST 00000a52: CALLER 00000a53: PUSH1 0x01 00000a55: PUSH1 0x01 00000a57: PUSH1 0xa0 00000a59: SHL 00000a5a: SUB 00000a5b: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 00000a7c: AND 00000a7d: EQ 00000a7e: PUSH2 0x0a99 00000a81: JUMPI 00000a82: PUSH1 0x40 00000a84: MLOAD 00000a85: PUSH3 0x461bcd 00000a89: PUSH1 0xe5 00000a8b: SHL 00000a8c: DUP2 00000a8d: MSTORE 00000a8e: PUSH1 0x04 00000a90: ADD 00000a91: PUSH2 0x07e0 00000a94: SWAP1 00000a95: PUSH2 0x13e9 00000a98: JUMP 00000a99: JUMPDEST 00000a9a: PUSH1 0x0a 00000a9c: SLOAD 00000a9d: PUSH1 0xff 00000a9f: AND 00000aa0: PUSH2 0x0abb 00000aa3: JUMPI 00000aa4: PUSH1 0x40 00000aa6: MLOAD 00000aa7: PUSH3 0x461bcd 00000aab: PUSH1 0xe5 00000aad: SHL 00000aae: DUP2 00000aaf: MSTORE 00000ab0: PUSH1 0x04 00000ab2: ADD 00000ab3: PUSH2 0x07e0 00000ab6: SWAP1 00000ab7: PUSH2 0x1438 00000aba: JUMP 00000abb: JUMPDEST 00000abc: PUSH1 0x03 00000abe: SSTORE 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: PUSH1 0x00 00000ac3: SLOAD 00000ac4: PUSH1 0xff 00000ac6: AND 00000ac7: PUSH2 0x0ae2 00000aca: JUMPI 00000acb: PUSH1 0x40 00000acd: MLOAD 00000ace: PUSH3 0x461bcd 00000ad2: PUSH1 0xe5 00000ad4: SHL 00000ad5: DUP2 00000ad6: MSTORE 00000ad7: PUSH1 0x04 00000ad9: ADD 00000ada: PUSH2 0x07e0 00000add: SWAP1 00000ade: PUSH2 0x1367 00000ae1: JUMP 00000ae2: JUMPDEST 00000ae3: PUSH1 0x07 00000ae5: SLOAD 00000ae6: DUP2 00000ae7: MLOAD 00000ae8: PUSH1 0x20 00000aea: DUP4 00000aeb: ADD 00000aec: KECCAK256 00000aed: EQ 00000aee: PUSH2 0x0b4f 00000af1: JUMPI 00000af2: PUSH1 0x40 00000af4: MLOAD 00000af5: PUSH3 0x461bcd 00000af9: PUSH1 0xe5 00000afb: SHL 00000afc: DUP2 00000afd: MSTORE 00000afe: PUSH1 0x20 00000b00: PUSH1 0x04 00000b02: DUP3 00000b03: ADD 00000b04: MSTORE 00000b05: PUSH1 0x2d 00000b07: PUSH1 0x24 00000b09: DUP3 00000b0a: ADD 00000b0b: MSTORE 00000b0c: PUSH32 0x496e76616c6964207365637265742070726f76696465642c206861736820646f 00000b2d: PUSH1 0x44 00000b2f: DUP3 00000b30: ADD 00000b31: MSTORE 00000b32: PUSH13 0x32b9903737ba1036b0ba31b417 00000b40: PUSH1 0x99 00000b42: SHL 00000b43: PUSH1 0x64 00000b45: DUP3 00000b46: ADD 00000b47: MSTORE 00000b48: PUSH1 0x84 00000b4a: ADD 00000b4b: PUSH2 0x07e0 00000b4e: JUMP 00000b4f: JUMPDEST 00000b50: PUSH1 0x09 00000b52: PUSH2 0x0b5b 00000b55: DUP3 00000b56: DUP3 00000b57: PUSH2 0x1501 00000b5a: JUMP 00000b5b: JUMPDEST 00000b5c: POP 00000b5d: POP 00000b5e: JUMP 00000b5f: JUMPDEST 00000b60: PUSH2 0x0b69 00000b63: PUSH1 0x01 00000b65: PUSH2 0x0d7c 00000b68: JUMP 00000b69: JUMPDEST 00000b6a: JUMP 00000b6b: JUMPDEST 00000b6c: PUSH1 0x0d 00000b6e: DUP2 00000b6f: DUP2 00000b70: SLOAD 00000b71: DUP2 00000b72: LT 00000b73: PUSH2 0x0584 00000b76: JUMPI 00000b77: PUSH1 0x00 00000b79: DUP1 00000b7a: REVERT 00000b7b: JUMPDEST 00000b7c: CALLER 00000b7d: PUSH1 0x01 00000b7f: PUSH1 0x01 00000b81: PUSH1 0xa0 00000b83: SHL 00000b84: SUB 00000b85: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 00000ba6: AND 00000ba7: EQ 00000ba8: PUSH2 0x0bc3 00000bab: JUMPI 00000bac: PUSH1 0x40 00000bae: MLOAD 00000baf: PUSH3 0x461bcd 00000bb3: PUSH1 0xe5 00000bb5: SHL 00000bb6: DUP2 00000bb7: MSTORE 00000bb8: PUSH1 0x04 00000bba: ADD 00000bbb: PUSH2 0x07e0 00000bbe: SWAP1 00000bbf: PUSH2 0x13e9 00000bc2: JUMP 00000bc3: JUMPDEST 00000bc4: PUSH1 0x0a 00000bc6: SLOAD 00000bc7: PUSH1 0xff 00000bc9: AND 00000bca: PUSH2 0x0c13 00000bcd: JUMPI 00000bce: PUSH1 0x06 00000bd0: SLOAD 00000bd1: PUSH1 0xff 00000bd3: AND 00000bd4: ISZERO 00000bd5: PUSH2 0x0c13 00000bd8: JUMPI 00000bd9: PUSH1 0x40 00000bdb: MLOAD 00000bdc: PUSH3 0x461bcd 00000be0: PUSH1 0xe5 00000be2: SHL 00000be3: DUP2 00000be4: MSTORE 00000be5: PUSH1 0x20 00000be7: PUSH1 0x04 00000be9: DUP3 00000bea: ADD 00000beb: MSTORE 00000bec: PUSH1 0x10 00000bee: PUSH1 0x24 00000bf0: DUP3 00000bf1: ADD 00000bf2: MSTORE 00000bf3: PUSH16 0x25b2bc9030b63932b0b23c9039b2ba17 00000c04: PUSH1 0x81 00000c06: SHL 00000c07: PUSH1 0x44 00000c09: DUP3 00000c0a: ADD 00000c0b: MSTORE 00000c0c: PUSH1 0x64 00000c0e: ADD 00000c0f: PUSH2 0x07e0 00000c12: JUMP 00000c13: JUMPDEST 00000c14: PUSH1 0x07 00000c16: DUP3 00000c17: SWAP1 00000c18: SSTORE 00000c19: PUSH1 0x08 00000c1b: PUSH2 0x0c24 00000c1e: DUP3 00000c1f: DUP3 00000c20: PUSH2 0x1501 00000c23: JUMP 00000c24: JUMPDEST 00000c25: POP 00000c26: PUSH1 0x06 00000c28: DUP1 00000c29: SLOAD 00000c2a: PUSH1 0xff 00000c2c: NOT 00000c2d: AND 00000c2e: PUSH1 0x01 00000c30: OR 00000c31: SWAP1 00000c32: SSTORE 00000c33: PUSH1 0x05 00000c35: SLOAD 00000c36: PUSH2 0x0c3f 00000c39: SWAP1 00000c3a: TIMESTAMP 00000c3b: PUSH2 0x1499 00000c3e: JUMP 00000c3f: JUMPDEST 00000c40: PUSH1 0x01 00000c42: SSTORE 00000c43: POP 00000c44: POP 00000c45: JUMP 00000c46: JUMPDEST 00000c47: PUSH2 0x0b69 00000c4a: PUSH1 0x00 00000c4c: PUSH2 0x0d7c 00000c4f: JUMP 00000c50: JUMPDEST 00000c51: PUSH1 0x00 00000c53: DUP1 00000c54: DUP1 00000c55: JUMPDEST 00000c56: PUSH1 0x0e 00000c58: SLOAD 00000c59: DUP2 00000c5a: LT 00000c5b: ISZERO 00000c5c: PUSH2 0x0cd4 00000c5f: JUMPI 00000c60: DUP4 00000c61: PUSH1 0x01 00000c63: PUSH1 0x01 00000c65: PUSH1 0xa0 00000c67: SHL 00000c68: SUB 00000c69: AND 00000c6a: PUSH1 0x0e 00000c6c: DUP3 00000c6d: DUP2 00000c6e: SLOAD 00000c6f: DUP2 00000c70: LT 00000c71: PUSH2 0x0c7c 00000c74: JUMPI 00000c75: PUSH2 0x0c7c 00000c78: PUSH2 0x15c1 00000c7b: JUMP 00000c7c: JUMPDEST 00000c7d: PUSH1 0x00 00000c7f: SWAP2 00000c80: DUP3 00000c81: MSTORE 00000c82: PUSH1 0x20 00000c84: SWAP1 00000c85: SWAP2 00000c86: KECCAK256 00000c87: ADD 00000c88: SLOAD 00000c89: PUSH1 0x01 00000c8b: PUSH1 0x01 00000c8d: PUSH1 0xa0 00000c8f: SHL 00000c90: SUB 00000c91: AND 00000c92: SUB 00000c93: PUSH2 0x0cc2 00000c96: JUMPI 00000c97: PUSH1 0x0c 00000c99: DUP2 00000c9a: DUP2 00000c9b: SLOAD 00000c9c: DUP2 00000c9d: LT 00000c9e: PUSH2 0x0ca9 00000ca1: JUMPI 00000ca2: PUSH2 0x0ca9 00000ca5: PUSH2 0x15c1 00000ca8: JUMP 00000ca9: JUMPDEST 00000caa: SWAP1 00000cab: PUSH1 0x00 00000cad: MSTORE 00000cae: PUSH1 0x20 00000cb0: PUSH1 0x00 00000cb2: KECCAK256 00000cb3: ADD 00000cb4: SLOAD 00000cb5: DUP3 00000cb6: PUSH2 0x0cbf 00000cb9: SWAP2 00000cba: SWAP1 00000cbb: PUSH2 0x1499 00000cbe: JUMP 00000cbf: JUMPDEST 00000cc0: SWAP2 00000cc1: POP 00000cc2: JUMPDEST 00000cc3: DUP1 00000cc4: PUSH2 0x0ccc 00000cc7: DUP2 00000cc8: PUSH2 0x15d7 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: SWAP2 00000cce: POP 00000ccf: POP 00000cd0: PUSH2 0x0c55 00000cd3: JUMP 00000cd4: JUMPDEST 00000cd5: POP 00000cd6: SWAP3 00000cd7: SWAP2 00000cd8: POP 00000cd9: POP 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH1 0x0e 00000cde: DUP2 00000cdf: DUP2 00000ce0: SLOAD 00000ce1: DUP2 00000ce2: LT 00000ce3: PUSH2 0x0ceb 00000ce6: JUMPI 00000ce7: PUSH1 0x00 00000ce9: DUP1 00000cea: REVERT 00000ceb: JUMPDEST 00000cec: PUSH1 0x00 00000cee: SWAP2 00000cef: DUP3 00000cf0: MSTORE 00000cf1: PUSH1 0x20 00000cf3: SWAP1 00000cf4: SWAP2 00000cf5: KECCAK256 00000cf6: ADD 00000cf7: SLOAD 00000cf8: PUSH1 0x01 00000cfa: PUSH1 0x01 00000cfc: PUSH1 0xa0 00000cfe: SHL 00000cff: SUB 00000d00: AND 00000d01: SWAP1 00000d02: POP 00000d03: DUP2 00000d04: JUMP 00000d05: JUMPDEST 00000d06: PUSH1 0x08 00000d08: DUP1 00000d09: SLOAD 00000d0a: PUSH2 0x08d7 00000d0d: SWAP1 00000d0e: PUSH2 0x13af 00000d11: JUMP 00000d12: JUMPDEST 00000d13: CALLER 00000d14: PUSH1 0x01 00000d16: PUSH1 0x01 00000d18: PUSH1 0xa0 00000d1a: SHL 00000d1b: SUB 00000d1c: PUSH32 0x0000000000000000000000004f84b3650dbf651732a41647618e7ff94a633f09 00000d3d: AND 00000d3e: EQ 00000d3f: PUSH2 0x0d5a 00000d42: JUMPI 00000d43: PUSH1 0x40 00000d45: MLOAD 00000d46: PUSH3 0x461bcd 00000d4a: PUSH1 0xe5 00000d4c: SHL 00000d4d: DUP2 00000d4e: MSTORE 00000d4f: PUSH1 0x04 00000d51: ADD 00000d52: PUSH2 0x07e0 00000d55: SWAP1 00000d56: PUSH2 0x13e9 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: PUSH1 0x0f 00000d5d: DUP1 00000d5e: SLOAD 00000d5f: PUSH1 0x01 00000d61: PUSH1 0x01 00000d63: PUSH1 0xa0 00000d65: SHL 00000d66: SUB 00000d67: NOT 00000d68: AND 00000d69: PUSH1 0x01 00000d6b: PUSH1 0x01 00000d6d: PUSH1 0xa0 00000d6f: SHL 00000d70: SUB 00000d71: SWAP3 00000d72: SWAP1 00000d73: SWAP3 00000d74: AND 00000d75: SWAP2 00000d76: SWAP1 00000d77: SWAP2 00000d78: OR 00000d79: SWAP1 00000d7a: SSTORE 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: PUSH1 0x06 00000d7f: SLOAD 00000d80: PUSH1 0xff 00000d82: AND 00000d83: PUSH2 0x0de3 00000d86: JUMPI 00000d87: PUSH1 0x40 00000d89: MLOAD 00000d8a: PUSH3 0x461bcd 00000d8e: PUSH1 0xe5 00000d90: SHL 00000d91: DUP2 00000d92: MSTORE 00000d93: PUSH1 0x20 00000d95: PUSH1 0x04 00000d97: DUP3 00000d98: ADD 00000d99: MSTORE 00000d9a: PUSH1 0x2c 00000d9c: PUSH1 0x24 00000d9e: DUP3 00000d9f: ADD 00000da0: MSTORE 00000da1: PUSH32 0x4d6174657269616c206973206e6f7420726561647920666f7220636f6e747269 00000dc2: PUSH1 0x44 00000dc4: DUP3 00000dc5: ADD 00000dc6: MSTORE 00000dc7: PUSH12 0x313aba34b7b739903cb2ba17 00000dd4: PUSH1 0xa1 00000dd6: SHL 00000dd7: PUSH1 0x64 00000dd9: DUP3 00000dda: ADD 00000ddb: MSTORE 00000ddc: PUSH1 0x84 00000dde: ADD 00000ddf: PUSH2 0x07e0 00000de2: JUMP 00000de3: JUMPDEST 00000de4: PUSH1 0x00 00000de6: SLOAD 00000de7: PUSH1 0xff 00000de9: AND 00000dea: ISZERO 00000deb: DUP1 00000dec: PUSH2 0x0df6 00000def: JUMPI 00000df0: POP 00000df1: PUSH1 0x01 00000df3: SLOAD 00000df4: TIMESTAMP 00000df5: LT 00000df6: JUMPDEST 00000df7: PUSH2 0x0e4e 00000dfa: JUMPI 00000dfb: PUSH1 0x40 00000dfd: MLOAD 00000dfe: PUSH3 0x461bcd 00000e02: PUSH1 0xe5 00000e04: SHL 00000e05: DUP2 00000e06: MSTORE 00000e07: PUSH1 0x20 00000e09: PUSH1 0x04 00000e0b: DUP3 00000e0c: ADD 00000e0d: MSTORE 00000e0e: PUSH1 0x24 00000e10: DUP1 00000e11: DUP3 00000e12: ADD 00000e13: MSTORE 00000e14: PUSH32 0x43616e6e6f7420636f6e74726962757465206166746572207468652064656164 00000e35: PUSH1 0x44 00000e37: DUP3 00000e38: ADD 00000e39: MSTORE 00000e3a: PUSH4 0x6c696e65 00000e3f: PUSH1 0xe0 00000e41: SHL 00000e42: PUSH1 0x64 00000e44: DUP3 00000e45: ADD 00000e46: MSTORE 00000e47: PUSH1 0x84 00000e49: ADD 00000e4a: PUSH2 0x07e0 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: PUSH1 0x04 00000e51: SLOAD 00000e52: CALLVALUE 00000e53: LT 00000e54: ISZERO 00000e55: PUSH2 0x0ec6 00000e58: JUMPI 00000e59: PUSH1 0x40 00000e5b: MLOAD 00000e5c: PUSH3 0x461bcd 00000e60: PUSH1 0xe5 00000e62: SHL 00000e63: DUP2 00000e64: MSTORE 00000e65: PUSH1 0x20 00000e67: PUSH1 0x04 00000e69: DUP3 00000e6a: ADD 00000e6b: MSTORE 00000e6c: PUSH1 0x3a 00000e6e: PUSH1 0x24 00000e70: DUP3 00000e71: ADD 00000e72: MSTORE 00000e73: PUSH32 0x436f6e747269627574696f6e206d75737420626520657175616c20746f206f72 00000e94: PUSH1 0x44 00000e96: DUP3 00000e97: ADD 00000e98: MSTORE 00000e99: PUSH32 0x2067726561746572207468616e20746865206d696e696d756d2e000000000000 00000eba: PUSH1 0x64 00000ebc: DUP3 00000ebd: ADD 00000ebe: MSTORE 00000ebf: PUSH1 0x84 00000ec1: ADD 00000ec2: PUSH2 0x07e0 00000ec5: JUMP 00000ec6: JUMPDEST 00000ec7: PUSH1 0x0c 00000ec9: DUP1 00000eca: SLOAD 00000ecb: PUSH1 0x01 00000ecd: DUP2 00000ece: DUP2 00000ecf: ADD 00000ed0: SWAP1 00000ed1: SWAP3 00000ed2: SSTORE 00000ed3: CALLVALUE 00000ed4: PUSH32 0xdf6966c971051c3d54ec59162606531493a51404a002842f56009d7e5cf4a8c7 00000ef5: SWAP1 00000ef6: SWAP2 00000ef7: ADD 00000ef8: SSTORE 00000ef9: PUSH1 0x0e 00000efb: DUP1 00000efc: SLOAD 00000efd: DUP1 00000efe: DUP4 00000eff: ADD 00000f00: SWAP1 00000f01: SWAP2 00000f02: SSTORE 00000f03: PUSH32 0xbb7b4a454dc3493923482f07822329ed19e8244eff582cc204f8554c3620c3fd 00000f24: ADD 00000f25: DUP1 00000f26: SLOAD 00000f27: PUSH1 0x01 00000f29: PUSH1 0x01 00000f2b: PUSH1 0xa0 00000f2d: SHL 00000f2e: SUB 00000f2f: NOT 00000f30: AND 00000f31: CALLER 00000f32: OR 00000f33: SWAP1 00000f34: SSTORE 00000f35: PUSH1 0x0b 00000f37: DUP1 00000f38: SLOAD 00000f39: DUP1 00000f3a: DUP4 00000f3b: ADD 00000f3c: SWAP1 00000f3d: SWAP2 00000f3e: SSTORE 00000f3f: PUSH1 0x20 00000f41: DUP2 00000f42: DIV 00000f43: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9 00000f64: ADD 00000f65: DUP1 00000f66: SLOAD 00000f67: DUP5 00000f68: ISZERO 00000f69: ISZERO 00000f6a: PUSH1 0x1f 00000f6c: SWAP1 00000f6d: SWAP4 00000f6e: AND 00000f6f: PUSH2 0x0100 00000f72: EXP 00000f73: SWAP3 00000f74: DUP4 00000f75: MUL 00000f76: PUSH1 0xff 00000f78: SWAP1 00000f79: SWAP4 00000f7a: MUL 00000f7b: NOT 00000f7c: AND 00000f7d: SWAP2 00000f7e: SWAP1 00000f7f: SWAP2 00000f80: OR 00000f81: SWAP1 00000f82: SSTORE 00000f83: PUSH1 0x0d 00000f85: DUP1 00000f86: SLOAD 00000f87: SWAP2 00000f88: DUP3 00000f89: ADD 00000f8a: DUP2 00000f8b: SSTORE 00000f8c: PUSH1 0x00 00000f8e: MSTORE 00000f8f: TIMESTAMP 00000f90: PUSH32 0xd7b6990105719101dabeb77144f2a3385c8033acd3af97e9423a695e81ad1eb5 00000fb1: SWAP1 00000fb2: SWAP2 00000fb3: ADD 00000fb4: SSTORE 00000fb5: PUSH1 0x03 00000fb7: SLOAD 00000fb8: SELFBALANCE 00000fb9: LT 00000fba: DUP1 00000fbb: ISZERO 00000fbc: SWAP1 00000fbd: PUSH2 0x0fc9 00000fc0: JUMPI 00000fc1: POP 00000fc2: PUSH1 0x00 00000fc4: SLOAD 00000fc5: PUSH1 0xff 00000fc7: AND 00000fc8: ISZERO 00000fc9: JUMPDEST 00000fca: ISZERO 00000fcb: PUSH2 0x1004 00000fce: JUMPI 00000fcf: PUSH1 0x00 00000fd1: DUP1 00000fd2: SLOAD 00000fd3: PUSH1 0xff 00000fd5: NOT 00000fd6: AND 00000fd7: PUSH1 0x01 00000fd9: OR 00000fda: DUP2 00000fdb: SSTORE 00000fdc: PUSH1 0x40 00000fde: MLOAD 00000fdf: CALLER 00000fe0: SWAP2 00000fe1: PUSH32 0x1e17ef2ee49fab16f62cd57dee3fc67c515ccd2ec283a5fd7cc51cfdbfc1fb04 00001002: SWAP2 00001003: LOG2 00001004: JUMPDEST 00001005: PUSH1 0x00 00001007: SLOAD 00001008: PUSH1 0xff 0000100a: AND 0000100b: ISZERO 0000100c: PUSH2 0x106c 0000100f: JUMPI 00001010: PUSH1 0x02 00001012: SLOAD 00001013: TIMESTAMP 00001014: PUSH1 0x01 00001016: SLOAD 00001017: PUSH2 0x1020 0000101a: SWAP2 0000101b: SWAP1 0000101c: PUSH2 0x15f0 0000101f: JUMP 00001020: JUMPDEST 00001021: LT 00001022: ISZERO 00001023: PUSH2 0x106c 00001026: JUMPI 00001027: PUSH1 0x02 00001029: SLOAD 0000102a: PUSH2 0x1033 0000102d: SWAP1 0000102e: TIMESTAMP 0000102f: PUSH2 0x1499 00001032: JUMP 00001033: JUMPDEST 00001034: PUSH1 0x01 00001036: DUP2 00001037: SWAP1 00001038: SSTORE 00001039: PUSH1 0x40 0000103b: MLOAD 0000103c: SWAP1 0000103d: DUP2 0000103e: MSTORE 0000103f: PUSH32 0xf318fcf66c1c2dc9ff2e52b0a1209991fcef6fe08078878d7b9d8893f79adfd1 00001060: SWAP1 00001061: PUSH1 0x20 00001063: ADD 00001064: PUSH1 0x40 00001066: MLOAD 00001067: DUP1 00001068: SWAP2 00001069: SUB 0000106a: SWAP1 0000106b: LOG1 0000106c: JUMPDEST 0000106d: PUSH1 0x40 0000106f: MLOAD 00001070: CALLVALUE 00001071: DUP2 00001072: MSTORE 00001073: CALLER 00001074: SWAP1 00001075: PUSH32 0x906faaf913a60f38b5e8f2d6f5b163239bac2d994fa1a5d21751a51587a94057 00001096: SWAP1 00001097: PUSH1 0x20 00001099: ADD 0000109a: PUSH2 0x08bf 0000109d: JUMP 0000109e: JUMPDEST 0000109f: PUSH1 0x00 000010a1: PUSH1 0x20 000010a3: DUP3 000010a4: DUP5 000010a5: SUB 000010a6: SLT 000010a7: ISZERO 000010a8: PUSH2 0x10b0 000010ab: JUMPI 000010ac: PUSH1 0x00 000010ae: DUP1 000010af: REVERT 000010b0: JUMPDEST 000010b1: POP 000010b2: CALLDATALOAD 000010b3: SWAP2 000010b4: SWAP1 000010b5: POP 000010b6: JUMP 000010b7: JUMPDEST 000010b8: PUSH1 0x00 000010ba: DUP2 000010bb: MLOAD 000010bc: DUP1 000010bd: DUP5 000010be: MSTORE 000010bf: PUSH1 0x20 000010c1: DUP1 000010c2: DUP6 000010c3: ADD 000010c4: SWAP5 000010c5: POP 000010c6: DUP1 000010c7: DUP5 000010c8: ADD 000010c9: PUSH1 0x00 000010cb: JUMPDEST 000010cc: DUP4 000010cd: DUP2 000010ce: LT 000010cf: ISZERO 000010d0: PUSH2 0x10e7 000010d3: JUMPI 000010d4: DUP2 000010d5: MLOAD 000010d6: DUP8 000010d7: MSTORE 000010d8: SWAP6 000010d9: DUP3 000010da: ADD 000010db: SWAP6 000010dc: SWAP1 000010dd: DUP3 000010de: ADD 000010df: SWAP1 000010e0: PUSH1 0x01 000010e2: ADD 000010e3: PUSH2 0x10cb 000010e6: JUMP 000010e7: JUMPDEST 000010e8: POP 000010e9: SWAP5 000010ea: SWAP6 000010eb: SWAP5 000010ec: POP 000010ed: POP 000010ee: POP 000010ef: POP 000010f0: POP 000010f1: JUMP 000010f2: JUMPDEST 000010f3: PUSH1 0x80 000010f5: DUP1 000010f6: DUP3 000010f7: MSTORE 000010f8: DUP6 000010f9: MLOAD 000010fa: SWAP1 000010fb: DUP3 000010fc: ADD 000010fd: DUP2 000010fe: SWAP1 000010ff: MSTORE 00001100: PUSH1 0x00 00001102: SWAP1 00001103: PUSH1 0x20 00001105: SWAP1 00001106: PUSH1 0xa0 00001108: DUP5 00001109: ADD 0000110a: SWAP1 0000110b: DUP3 0000110c: DUP10 0000110d: ADD 0000110e: DUP5 0000110f: JUMPDEST 00001110: DUP3 00001111: DUP2 00001112: LT 00001113: ISZERO 00001114: PUSH2 0x1134 00001117: JUMPI 00001118: DUP2 00001119: MLOAD 0000111a: PUSH1 0x01 0000111c: PUSH1 0x01 0000111e: PUSH1 0xa0 00001120: SHL 00001121: SUB 00001122: AND 00001123: DUP5 00001124: MSTORE 00001125: SWAP3 00001126: DUP5 00001127: ADD 00001128: SWAP3 00001129: SWAP1 0000112a: DUP5 0000112b: ADD 0000112c: SWAP1 0000112d: PUSH1 0x01 0000112f: ADD 00001130: PUSH2 0x110f 00001133: JUMP 00001134: JUMPDEST 00001135: POP 00001136: POP 00001137: POP 00001138: DUP4 00001139: DUP2 0000113a: SUB 0000113b: DUP3 0000113c: DUP6 0000113d: ADD 0000113e: MSTORE 0000113f: PUSH2 0x1148 00001142: DUP2 00001143: DUP9 00001144: PUSH2 0x10b7 00001147: JUMP 00001148: JUMPDEST 00001149: DUP5 0000114a: DUP2 0000114b: SUB 0000114c: PUSH1 0x40 0000114e: DUP7 0000114f: ADD 00001150: MSTORE 00001151: DUP7 00001152: MLOAD 00001153: DUP1 00001154: DUP3 00001155: MSTORE 00001156: DUP4 00001157: DUP9 00001158: ADD 00001159: SWAP3 0000115a: POP 0000115b: SWAP1 0000115c: DUP4 0000115d: ADD 0000115e: SWAP1 0000115f: PUSH1 0x00 00001161: JUMPDEST 00001162: DUP2 00001163: DUP2 00001164: LT 00001165: ISZERO 00001166: PUSH2 0x117f 00001169: JUMPI 0000116a: DUP4 0000116b: MLOAD 0000116c: ISZERO 0000116d: ISZERO 0000116e: DUP4 0000116f: MSTORE 00001170: SWAP3 00001171: DUP5 00001172: ADD 00001173: SWAP3 00001174: SWAP2 00001175: DUP5 00001176: ADD 00001177: SWAP2 00001178: PUSH1 0x01 0000117a: ADD 0000117b: PUSH2 0x1161 0000117e: JUMP 0000117f: JUMPDEST 00001180: POP 00001181: POP 00001182: DUP5 00001183: DUP2 00001184: SUB 00001185: PUSH1 0x60 00001187: DUP7 00001188: ADD 00001189: MSTORE 0000118a: PUSH2 0x1193 0000118d: DUP2 0000118e: DUP8 0000118f: PUSH2 0x10b7 00001192: JUMP 00001193: JUMPDEST 00001194: SWAP10 00001195: SWAP9 00001196: POP 00001197: POP 00001198: POP 00001199: POP 0000119a: POP 0000119b: POP 0000119c: POP 0000119d: POP 0000119e: POP 0000119f: JUMP 000011a0: JUMPDEST 000011a1: PUSH1 0x00 000011a3: PUSH1 0x20 000011a5: DUP1 000011a6: DUP4 000011a7: MSTORE 000011a8: DUP4 000011a9: MLOAD 000011aa: DUP1 000011ab: DUP3 000011ac: DUP6 000011ad: ADD 000011ae: MSTORE 000011af: PUSH1 0x00 000011b1: JUMPDEST 000011b2: DUP2 000011b3: DUP2 000011b4: LT 000011b5: ISZERO 000011b6: PUSH2 0x11cd 000011b9: JUMPI 000011ba: DUP6 000011bb: DUP2 000011bc: ADD 000011bd: DUP4 000011be: ADD 000011bf: MLOAD 000011c0: DUP6 000011c1: DUP3 000011c2: ADD 000011c3: PUSH1 0x40 000011c5: ADD 000011c6: MSTORE 000011c7: DUP3 000011c8: ADD 000011c9: PUSH2 0x11b1 000011cc: JUMP 000011cd: JUMPDEST 000011ce: POP 000011cf: PUSH1 0x00 000011d1: PUSH1 0x40 000011d3: DUP3 000011d4: DUP7 000011d5: ADD 000011d6: ADD 000011d7: MSTORE 000011d8: PUSH1 0x40 000011da: PUSH1 0x1f 000011dc: NOT 000011dd: PUSH1 0x1f 000011df: DUP4 000011e0: ADD 000011e1: AND 000011e2: DUP6 000011e3: ADD 000011e4: ADD 000011e5: SWAP3 000011e6: POP 000011e7: POP 000011e8: POP 000011e9: SWAP3 000011ea: SWAP2 000011eb: POP 000011ec: POP 000011ed: JUMP 000011ee: JUMPDEST 000011ef: PUSH1 0x00 000011f1: PUSH1 0x20 000011f3: DUP3 000011f4: DUP5 000011f5: SUB 000011f6: SLT 000011f7: ISZERO 000011f8: PUSH2 0x1200 000011fb: JUMPI 000011fc: PUSH1 0x00 000011fe: DUP1 000011ff: REVERT 00001200: JUMPDEST 00001201: DUP2 00001202: CALLDATALOAD 00001203: DUP1 00001204: ISZERO 00001205: ISZERO 00001206: DUP2 00001207: EQ 00001208: PUSH2 0x1210 0000120b: JUMPI 0000120c: PUSH1 0x00 0000120e: DUP1 0000120f: REVERT 00001210: JUMPDEST 00001211: SWAP4 00001212: SWAP3 00001213: POP 00001214: POP 00001215: POP 00001216: JUMP 00001217: JUMPDEST 00001218: PUSH4 0x4e487b71 0000121d: PUSH1 0xe0 0000121f: SHL 00001220: PUSH1 0x00 00001222: MSTORE 00001223: PUSH1 0x41 00001225: PUSH1 0x04 00001227: MSTORE 00001228: PUSH1 0x24 0000122a: PUSH1 0x00 0000122c: REVERT 0000122d: JUMPDEST 0000122e: PUSH1 0x00 00001230: DUP3 00001231: PUSH1 0x1f 00001233: DUP4 00001234: ADD 00001235: SLT 00001236: PUSH2 0x123e 00001239: JUMPI 0000123a: PUSH1 0x00 0000123c: DUP1 0000123d: REVERT 0000123e: JUMPDEST 0000123f: DUP2 00001240: CALLDATALOAD 00001241: PUSH8 0xffffffffffffffff 0000124a: DUP1 0000124b: DUP3 0000124c: GT 0000124d: ISZERO 0000124e: PUSH2 0x1259 00001251: JUMPI 00001252: PUSH2 0x1259 00001255: PUSH2 0x1217 00001258: JUMP 00001259: JUMPDEST 0000125a: PUSH1 0x40 0000125c: MLOAD 0000125d: PUSH1 0x1f 0000125f: DUP4 00001260: ADD 00001261: PUSH1 0x1f 00001263: NOT 00001264: SWAP1 00001265: DUP2 00001266: AND 00001267: PUSH1 0x3f 00001269: ADD 0000126a: AND 0000126b: DUP2 0000126c: ADD 0000126d: SWAP1 0000126e: DUP3 0000126f: DUP3 00001270: GT 00001271: DUP2 00001272: DUP4 00001273: LT 00001274: OR 00001275: ISZERO 00001276: PUSH2 0x1281 00001279: JUMPI 0000127a: PUSH2 0x1281 0000127d: PUSH2 0x1217 00001280: JUMP 00001281: JUMPDEST 00001282: DUP2 00001283: PUSH1 0x40 00001285: MSTORE 00001286: DUP4 00001287: DUP2 00001288: MSTORE 00001289: DUP7 0000128a: PUSH1 0x20 0000128c: DUP6 0000128d: DUP9 0000128e: ADD 0000128f: ADD 00001290: GT 00001291: ISZERO 00001292: PUSH2 0x129a 00001295: JUMPI 00001296: PUSH1 0x00 00001298: DUP1 00001299: REVERT 0000129a: JUMPDEST 0000129b: DUP4 0000129c: PUSH1 0x20 0000129e: DUP8 0000129f: ADD 000012a0: PUSH1 0x20 000012a2: DUP4 000012a3: ADD 000012a4: CALLDATACOPY 000012a5: PUSH1 0x00 000012a7: PUSH1 0x20 000012a9: DUP6 000012aa: DUP4 000012ab: ADD 000012ac: ADD 000012ad: MSTORE 000012ae: DUP1 000012af: SWAP5 000012b0: POP 000012b1: POP 000012b2: POP 000012b3: POP 000012b4: POP 000012b5: SWAP3 000012b6: SWAP2 000012b7: POP 000012b8: POP 000012b9: JUMP 000012ba: JUMPDEST 000012bb: PUSH1 0x00 000012bd: PUSH1 0x20 000012bf: DUP3 000012c0: DUP5 000012c1: SUB 000012c2: SLT 000012c3: ISZERO 000012c4: PUSH2 0x12cc 000012c7: JUMPI 000012c8: PUSH1 0x00 000012ca: DUP1 000012cb: REVERT 000012cc: JUMPDEST 000012cd: DUP2 000012ce: CALLDATALOAD 000012cf: PUSH8 0xffffffffffffffff 000012d8: DUP2 000012d9: GT 000012da: ISZERO 000012db: PUSH2 0x12e3 000012de: JUMPI 000012df: PUSH1 0x00 000012e1: DUP1 000012e2: REVERT 000012e3: JUMPDEST 000012e4: PUSH2 0x12ef 000012e7: DUP5 000012e8: DUP3 000012e9: DUP6 000012ea: ADD 000012eb: PUSH2 0x122d 000012ee: JUMP 000012ef: JUMPDEST 000012f0: SWAP5 000012f1: SWAP4 000012f2: POP 000012f3: POP 000012f4: POP 000012f5: POP 000012f6: JUMP 000012f7: JUMPDEST 000012f8: PUSH1 0x00 000012fa: DUP1 000012fb: PUSH1 0x40 000012fd: DUP4 000012fe: DUP6 000012ff: SUB 00001300: SLT 00001301: ISZERO 00001302: PUSH2 0x130a 00001305: JUMPI 00001306: PUSH1 0x00 00001308: DUP1 00001309: REVERT 0000130a: JUMPDEST 0000130b: DUP3 0000130c: CALLDATALOAD 0000130d: SWAP2 0000130e: POP 0000130f: PUSH1 0x20 00001311: DUP4 00001312: ADD 00001313: CALLDATALOAD 00001314: PUSH8 0xffffffffffffffff 0000131d: DUP2 0000131e: GT 0000131f: ISZERO 00001320: PUSH2 0x1328 00001323: JUMPI 00001324: PUSH1 0x00 00001326: DUP1 00001327: REVERT 00001328: JUMPDEST 00001329: PUSH2 0x1334 0000132c: DUP6 0000132d: DUP3 0000132e: DUP7 0000132f: ADD 00001330: PUSH2 0x122d 00001333: JUMP 00001334: JUMPDEST 00001335: SWAP2 00001336: POP 00001337: POP 00001338: SWAP3 00001339: POP 0000133a: SWAP3 0000133b: SWAP1 0000133c: POP 0000133d: JUMP 0000133e: JUMPDEST 0000133f: PUSH1 0x00 00001341: PUSH1 0x20 00001343: DUP3 00001344: DUP5 00001345: SUB 00001346: SLT 00001347: ISZERO 00001348: PUSH2 0x1350 0000134b: JUMPI 0000134c: PUSH1 0x00 0000134e: DUP1 0000134f: REVERT 00001350: JUMPDEST 00001351: DUP2 00001352: CALLDATALOAD 00001353: PUSH1 0x01 00001355: PUSH1 0x01 00001357: PUSH1 0xa0 00001359: SHL 0000135a: SUB 0000135b: DUP2 0000135c: AND 0000135d: DUP2 0000135e: EQ 0000135f: PUSH2 0x1210 00001362: JUMPI 00001363: PUSH1 0x00 00001365: DUP1 00001366: REVERT 00001367: JUMPDEST 00001368: PUSH1 0x20 0000136a: DUP1 0000136b: DUP3 0000136c: MSTORE 0000136d: PUSH1 0x28 0000136f: SWAP1 00001370: DUP3 00001371: ADD 00001372: MSTORE 00001373: PUSH32 0x4d6174657269616c20686173206e6f74206265656e2073657420666f72206120 00001394: PUSH1 0x40 00001396: DUP3 00001397: ADD 00001398: MSTORE 00001399: PUSH8 0x3932b632b0b9b297 000013a2: PUSH1 0xc1 000013a4: SHL 000013a5: PUSH1 0x60 000013a7: DUP3 000013a8: ADD 000013a9: MSTORE 000013aa: PUSH1 0x80 000013ac: ADD 000013ad: SWAP1 000013ae: JUMP 000013af: JUMPDEST 000013b0: PUSH1 0x01 000013b2: DUP2 000013b3: DUP2 000013b4: SHR 000013b5: SWAP1 000013b6: DUP3 000013b7: AND 000013b8: DUP1 000013b9: PUSH2 0x13c3 000013bc: JUMPI 000013bd: PUSH1 0x7f 000013bf: DUP3 000013c0: AND 000013c1: SWAP2 000013c2: POP 000013c3: JUMPDEST 000013c4: PUSH1 0x20 000013c6: DUP3 000013c7: LT 000013c8: DUP2 000013c9: SUB 000013ca: PUSH2 0x13e3 000013cd: JUMPI 000013ce: PUSH4 0x4e487b71 000013d3: PUSH1 0xe0 000013d5: SHL 000013d6: PUSH1 0x00 000013d8: MSTORE 000013d9: PUSH1 0x22 000013db: PUSH1 0x04 000013dd: MSTORE 000013de: PUSH1 0x24 000013e0: PUSH1 0x00 000013e2: REVERT 000013e3: JUMPDEST 000013e4: POP 000013e5: SWAP2 000013e6: SWAP1 000013e7: POP 000013e8: JUMP 000013e9: JUMPDEST 000013ea: PUSH1 0x20 000013ec: DUP1 000013ed: DUP3 000013ee: MSTORE 000013ef: PUSH1 0x2f 000013f1: SWAP1 000013f2: DUP3 000013f3: ADD 000013f4: MSTORE 000013f5: PUSH32 0x4f6e6c792074686520636f6e7472616374206f776e65722063616e2063616c6c 00001416: PUSH1 0x40 00001418: DUP3 00001419: ADD 0000141a: MSTORE 0000141b: PUSH15 0x103a3434b990333ab731ba34b7b717 0000142b: PUSH1 0x89 0000142d: SHL 0000142e: PUSH1 0x60 00001430: DUP3 00001431: ADD 00001432: MSTORE 00001433: PUSH1 0x80 00001435: ADD 00001436: SWAP1 00001437: JUMP 00001438: JUMPDEST 00001439: PUSH1 0x20 0000143b: DUP1 0000143c: DUP3 0000143d: MSTORE 0000143e: PUSH1 0x2b 00001440: SWAP1 00001441: DUP3 00001442: ADD 00001443: MSTORE 00001444: PUSH32 0x546869732066756e6374696f6e206973206f6e6c7920617661696c61626c6520 00001465: PUSH1 0x40 00001467: DUP3 00001468: ADD 00001469: MSTORE 0000146a: PUSH11 0x37b7103a32b9ba3732ba17 00001476: PUSH1 0xa9 00001478: SHL 00001479: PUSH1 0x60 0000147b: DUP3 0000147c: ADD 0000147d: MSTORE 0000147e: PUSH1 0x80 00001480: ADD 00001481: SWAP1 00001482: JUMP 00001483: JUMPDEST 00001484: PUSH4 0x4e487b71 00001489: PUSH1 0xe0 0000148b: SHL 0000148c: PUSH1 0x00 0000148e: MSTORE 0000148f: PUSH1 0x11 00001491: PUSH1 0x04 00001493: MSTORE 00001494: PUSH1 0x24 00001496: PUSH1 0x00 00001498: REVERT 00001499: JUMPDEST 0000149a: DUP1 0000149b: DUP3 0000149c: ADD 0000149d: DUP1 0000149e: DUP3 0000149f: GT 000014a0: ISZERO 000014a1: PUSH2 0x14ac 000014a4: JUMPI 000014a5: PUSH2 0x14ac 000014a8: PUSH2 0x1483 000014ab: JUMP 000014ac: JUMPDEST 000014ad: SWAP3 000014ae: SWAP2 000014af: POP 000014b0: POP 000014b1: JUMP 000014b2: JUMPDEST 000014b3: PUSH1 0x1f 000014b5: DUP3 000014b6: GT 000014b7: ISZERO 000014b8: PUSH2 0x14fc 000014bb: JUMPI 000014bc: PUSH1 0x00 000014be: DUP2 000014bf: DUP2 000014c0: MSTORE 000014c1: PUSH1 0x20 000014c3: DUP2 000014c4: KECCAK256 000014c5: PUSH1 0x1f 000014c7: DUP6 000014c8: ADD 000014c9: PUSH1 0x05 000014cb: SHR 000014cc: DUP2 000014cd: ADD 000014ce: PUSH1 0x20 000014d0: DUP7 000014d1: LT 000014d2: ISZERO 000014d3: PUSH2 0x14d9 000014d6: JUMPI 000014d7: POP 000014d8: DUP1 000014d9: JUMPDEST 000014da: PUSH1 0x1f 000014dc: DUP6 000014dd: ADD 000014de: PUSH1 0x05 000014e0: SHR 000014e1: DUP3 000014e2: ADD 000014e3: SWAP2 000014e4: POP 000014e5: JUMPDEST 000014e6: DUP2 000014e7: DUP2 000014e8: LT 000014e9: ISZERO 000014ea: PUSH2 0x14f8 000014ed: JUMPI 000014ee: DUP3 000014ef: DUP2 000014f0: SSTORE 000014f1: PUSH1 0x01 000014f3: ADD 000014f4: PUSH2 0x14e5 000014f7: JUMP 000014f8: JUMPDEST 000014f9: POP 000014fa: POP 000014fb: POP 000014fc: JUMPDEST 000014fd: POP 000014fe: POP 000014ff: POP 00001500: JUMP 00001501: JUMPDEST 00001502: DUP2 00001503: MLOAD 00001504: PUSH8 0xffffffffffffffff 0000150d: DUP2 0000150e: GT 0000150f: ISZERO 00001510: PUSH2 0x151b 00001513: JUMPI 00001514: PUSH2 0x151b 00001517: PUSH2 0x1217 0000151a: JUMP 0000151b: JUMPDEST 0000151c: PUSH2 0x152f 0000151f: DUP2 00001520: PUSH2 0x1529 00001523: DUP5 00001524: SLOAD 00001525: PUSH2 0x13af 00001528: JUMP 00001529: JUMPDEST 0000152a: DUP5 0000152b: PUSH2 0x14b2 0000152e: JUMP 0000152f: JUMPDEST 00001530: PUSH1 0x20 00001532: DUP1 00001533: PUSH1 0x1f 00001535: DUP4 00001536: GT 00001537: PUSH1 0x01 00001539: DUP2 0000153a: EQ 0000153b: PUSH2 0x1564 0000153e: JUMPI 0000153f: PUSH1 0x00 00001541: DUP5 00001542: ISZERO 00001543: PUSH2 0x154c 00001546: JUMPI 00001547: POP 00001548: DUP6 00001549: DUP4 0000154a: ADD 0000154b: MLOAD 0000154c: JUMPDEST 0000154d: PUSH1 0x00 0000154f: NOT 00001550: PUSH1 0x03 00001552: DUP7 00001553: SWAP1 00001554: SHL 00001555: SHR 00001556: NOT 00001557: AND 00001558: PUSH1 0x01 0000155a: DUP6 0000155b: SWAP1 0000155c: SHL 0000155d: OR 0000155e: DUP6 0000155f: SSTORE 00001560: PUSH2 0x14f8 00001563: JUMP 00001564: JUMPDEST 00001565: PUSH1 0x00 00001567: DUP6 00001568: DUP2 00001569: MSTORE 0000156a: PUSH1 0x20 0000156c: DUP2 0000156d: KECCAK256 0000156e: PUSH1 0x1f 00001570: NOT 00001571: DUP7 00001572: AND 00001573: SWAP2 00001574: JUMPDEST 00001575: DUP3 00001576: DUP2 00001577: LT 00001578: ISZERO 00001579: PUSH2 0x1593 0000157c: JUMPI 0000157d: DUP9 0000157e: DUP7 0000157f: ADD 00001580: MLOAD 00001581: DUP3 00001582: SSTORE 00001583: SWAP5 00001584: DUP5 00001585: ADD 00001586: SWAP5 00001587: PUSH1 0x01 00001589: SWAP1 0000158a: SWAP2 0000158b: ADD 0000158c: SWAP1 0000158d: DUP5 0000158e: ADD 0000158f: PUSH2 0x1574 00001592: JUMP 00001593: JUMPDEST 00001594: POP 00001595: DUP6 00001596: DUP3 00001597: LT 00001598: ISZERO 00001599: PUSH2 0x15b1 0000159c: JUMPI 0000159d: DUP8 0000159e: DUP6 0000159f: ADD 000015a0: MLOAD 000015a1: PUSH1 0x00 000015a3: NOT 000015a4: PUSH1 0x03 000015a6: DUP9 000015a7: SWAP1 000015a8: SHL 000015a9: PUSH1 0xf8 000015ab: AND 000015ac: SHR 000015ad: NOT 000015ae: AND 000015af: DUP2 000015b0: SSTORE 000015b1: JUMPDEST 000015b2: POP 000015b3: POP 000015b4: POP 000015b5: POP 000015b6: POP 000015b7: PUSH1 0x01 000015b9: SWAP1 000015ba: DUP2 000015bb: SHL 000015bc: ADD 000015bd: SWAP1 000015be: SSTORE 000015bf: POP 000015c0: JUMP 000015c1: JUMPDEST 000015c2: PUSH4 0x4e487b71 000015c7: PUSH1 0xe0 000015c9: SHL 000015ca: PUSH1 0x00 000015cc: MSTORE 000015cd: PUSH1 0x32 000015cf: PUSH1 0x04 000015d1: MSTORE 000015d2: PUSH1 0x24 000015d4: PUSH1 0x00 000015d6: REVERT 000015d7: JUMPDEST 000015d8: PUSH1 0x00 000015da: PUSH1 0x01 000015dc: DUP3 000015dd: ADD 000015de: PUSH2 0x15e9 000015e1: JUMPI 000015e2: PUSH2 0x15e9 000015e5: PUSH2 0x1483 000015e8: JUMP 000015e9: JUMPDEST 000015ea: POP 000015eb: PUSH1 0x01 000015ed: ADD 000015ee: SWAP1 000015ef: JUMP 000015f0: JUMPDEST 000015f1: DUP2 000015f2: DUP2 000015f3: SUB 000015f4: DUP2 000015f5: DUP2 000015f6: GT 000015f7: ISZERO 000015f8: PUSH2 0x14ac 000015fb: JUMPI 000015fc: PUSH2 0x14ac 000015ff: PUSH2 0x1483 00001602: JUMP 00001603: INVALID 00001604: LOG2 00001605: PUSH5 0x6970667358 0000160b: UNKNOWN(0x22) 0000160c: SLT 0000160d: KECCAK256 0000160e: SLOAD 0000160f: PUSH22 0x93897e319c876ef82775ffdedffca6c057680562964f 00001626: PUSH19
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa755dcf7df0fb9ff8282c91d523b3899eb6beabd7854a43b8f1d439c41adb9f1
call_targets:
0xa812137eff2b368d0b2880a39b609fb60c426850
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa755dcf7df0fb9ff8282c91d523b3899eb6beabd7854a43b8f1d439c41adb9f1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa812137eff2b368d0b2880a39b609fb60c426850"
],
"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": "0xe654485e",
"selector": "0xe654485e",
"calldata_variants": [
"0xe654485e",
"0xe654485e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebbc1dc3",
"selector": "0xebbc1dc3",
"calldata_variants": [
"0xebbc1dc3",
"0xebbc1dc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf99eb9bf",
"selector": "0xf99eb9bf",
"calldata_variants": [
"0xf99eb9bf",
"0xf99eb9bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9ae4cb6",
"selector": "0xf9ae4cb6",
"calldata_variants": [
"0xf9ae4cb6",
"0xf9ae4cb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd045169",
"selector": "0xbd045169",
"calldata_variants": [
"0xbd045169",
"0xbd0451690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfff00c2",
"selector": "0xbfff00c2",
"calldata_variants": [
"0xbfff00c2",
"0xbfff00c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xded7127d",
"selector": "0xded7127d",
"calldata_variants": [
"0xded7127d",
"0xded7127d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2125,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa755dcf7df0fb9ff8282c91d523b3899eb6beabd7854a43b8f1d439c41adb9f1
call_targets:
0xa812137eff2b368d0b2880a39b609fb60c426850
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa755dcf7df0fb9ff8282c91d523b3899eb6beabd7854a43b8f1d439c41adb9f1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa812137eff2b368d0b2880a39b609fb60c426850"
],
"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": "0xe654485e",
"selector": "0xe654485e",
"calldata_variants": [
"0xe654485e",
"0xe654485e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebbc1dc3",
"selector": "0xebbc1dc3",
"calldata_variants": [
"0xebbc1dc3",
"0xebbc1dc30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf99eb9bf",
"selector": "0xf99eb9bf",
"calldata_variants": [
"0xf99eb9bf",
"0xf99eb9bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9ae4cb6",
"selector": "0xf9ae4cb6",
"calldata_variants": [
"0xf9ae4cb6",
"0xf9ae4cb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd045169",
"selector": "0xbd045169",
"calldata_variants": [
"0xbd045169",
"0xbd0451690000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfff00c2",
"selector": "0xbfff00c2",
"calldata_variants": [
"0xbfff00c2",
"0xbfff00c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xded7127d",
"selector": "0xded7127d",
"calldata_variants": [
"0xded7127d",
"0xded7127d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2125,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|