019b477e-d32e-704b-aa92-b00d1867dedd
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 |
|---|---|---|---|---|
| 28097 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28098 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103321 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103322 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103323 | detector.run | complete | 1 / 3 | 1 week ago |
| 103324 | 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: DUP2 00000005: DUP2 00000006: MSTORE 00000007: PUSH1 0x04 00000009: SWAP2 0000000a: DUP3 0000000b: CALLDATASIZE 0000000c: LT 0000000d: ISZERO 0000000e: PUSH2 0x01e3 00000011: JUMPI 00000012: JUMPDEST 00000013: POP 00000014: CALLDATASIZE 00000015: ISZERO 00000016: PUSH2 0x001e 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: DUP1 0000001d: REVERT 0000001e: JUMPDEST 0000001f: CALLVALUE 00000020: ISZERO 00000021: PUSH2 0x01b7 00000024: JUMPI 00000025: PUSH1 0x00 00000027: SWAP1 00000028: CALLER 00000029: DUP3 0000002a: MSTORE 0000002b: PUSH1 0x03 0000002d: PUSH1 0x20 0000002f: MSTORE 00000030: DUP1 00000031: DUP3 00000032: KECCAK256 00000033: SLOAD 00000034: ISZERO 00000035: PUSH2 0x013c 00000038: JUMPI 00000039: JUMPDEST 0000003a: CALLER 0000003b: DUP3 0000003c: MSTORE 0000003d: PUSH1 0x03 0000003f: PUSH1 0x20 00000041: MSTORE 00000042: DUP2 00000043: KECCAK256 00000044: PUSH2 0x004e 00000047: CALLVALUE 00000048: DUP3 00000049: SLOAD 0000004a: PUSH2 0x1242 0000004d: JUMP 0000004e: JUMPDEST 0000004f: SWAP1 00000050: SSTORE 00000051: PUSH2 0x005c 00000054: CALLVALUE 00000055: PUSH1 0x09 00000057: SLOAD 00000058: PUSH2 0x1242 0000005b: JUMP 0000005c: JUMPDEST 0000005d: PUSH1 0x09 0000005f: SSTORE 00000060: DUP2 00000061: SLOAD 00000062: DUP1 00000063: PUSH2 0x007a 00000066: JUMPI 00000067: POP 00000068: POP 00000069: POP 0000006a: PUSH2 0x0075 0000006d: CALLVALUE 0000006e: PUSH1 0x06 00000070: SLOAD 00000071: PUSH2 0x1242 00000074: JUMP 00000075: JUMPDEST 00000076: PUSH1 0x06 00000078: SSTORE 00000079: STOP 0000007a: JUMPDEST 0000007b: PUSH1 0x08 0000007d: SLOAD 0000007e: DUP1 0000007f: PUSH2 0x00cc 00000082: JUMPI 00000083: POP 00000084: POP 00000085: PUSH10 0xd3c21bcecceda1000000 00000090: SWAP1 00000091: DUP2 00000092: CALLVALUE 00000093: MUL 00000094: SWAP2 00000095: CALLVALUE 00000096: DUP4 00000097: DIV 00000098: SUB 00000099: PUSH2 0x00b9 0000009c: JUMPI 0000009d: POP 0000009e: PUSH2 0x00ac 000000a1: SWAP1 000000a2: PUSH2 0x00b4 000000a5: SWAP3 000000a6: SLOAD 000000a7: SWAP1 000000a8: PUSH2 0x1215 000000ab: JUMP 000000ac: JUMPDEST 000000ad: PUSH1 0x07 000000af: SLOAD 000000b0: PUSH2 0x1242 000000b3: JUMP 000000b4: JUMPDEST 000000b5: PUSH1 0x07 000000b7: SSTORE 000000b8: STOP 000000b9: JUMPDEST 000000ba: PUSH4 0x4e487b71 000000bf: PUSH1 0xe0 000000c1: SHL 000000c2: DUP2 000000c3: MSTORE 000000c4: PUSH1 0x11 000000c6: DUP4 000000c7: MSTORE 000000c8: PUSH1 0x24 000000ca: SWAP1 000000cb: REVERT 000000cc: JUMPDEST 000000cd: SWAP2 000000ce: SWAP3 000000cf: SWAP1 000000d0: SWAP2 000000d1: CALLVALUE 000000d2: DUP2 000000d3: LT 000000d4: PUSH2 0x00ec 000000d7: JUMPI 000000d8: POP 000000d9: POP 000000da: POP 000000db: POP 000000dc: PUSH2 0x00e7 000000df: CALLVALUE 000000e0: PUSH1 0x08 000000e2: SLOAD 000000e3: PUSH2 0x1235 000000e6: JUMP 000000e7: JUMPDEST 000000e8: PUSH1 0x08 000000ea: SSTORE 000000eb: STOP 000000ec: JUMPDEST 000000ed: PUSH2 0x00f6 000000f0: SWAP1 000000f1: CALLVALUE 000000f2: PUSH2 0x1235 000000f5: JUMP 000000f6: JUMPDEST 000000f7: SWAP1 000000f8: PUSH10 0xd3c21bcecceda1000000 00000103: SWAP2 00000104: DUP3 00000105: DUP2 00000106: MUL 00000107: SWAP3 00000108: DUP2 00000109: DUP5 0000010a: DIV 0000010b: EQ 0000010c: SWAP1 0000010d: ISZERO 0000010e: OR 0000010f: ISZERO 00000110: PUSH2 0x0129 00000113: JUMPI 00000114: POP 00000115: PUSH2 0x0121 00000118: SWAP2 00000119: PUSH2 0x00ac 0000011c: SWAP2 0000011d: PUSH2 0x1215 00000120: JUMP 00000121: JUMPDEST 00000122: PUSH1 0x07 00000124: SSTORE 00000125: PUSH1 0x08 00000127: SSTORE 00000128: STOP 00000129: JUMPDEST 0000012a: PUSH4 0x4e487b71 0000012f: PUSH1 0xe0 00000131: SHL 00000132: DUP5 00000133: MSTORE 00000134: PUSH1 0x11 00000136: SWAP1 00000137: MSTORE 00000138: PUSH1 0x24 0000013a: DUP4 0000013b: REVERT 0000013c: JUMPDEST 0000013d: PUSH1 0x0b 0000013f: SLOAD 00000140: PUSH1 0x01 00000142: PUSH1 0x40 00000144: SHL 00000145: DUP2 00000146: LT 00000147: ISZERO 00000148: PUSH2 0x01a4 0000014b: JUMPI 0000014c: PUSH1 0x01 0000014e: DUP2 0000014f: ADD 00000150: DUP1 00000151: PUSH1 0x0b 00000153: SSTORE 00000154: DUP2 00000155: LT 00000156: ISZERO 00000157: PUSH2 0x0191 0000015a: JUMPI 0000015b: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9 0000017c: ADD 0000017d: DUP1 0000017e: SLOAD 0000017f: PUSH1 0x01 00000181: PUSH1 0x01 00000183: PUSH1 0xa0 00000185: SHL 00000186: SUB 00000187: NOT 00000188: AND 00000189: CALLER 0000018a: OR 0000018b: SWAP1 0000018c: SSTORE 0000018d: PUSH2 0x0039 00000190: JUMP 00000191: JUMPDEST 00000192: PUSH4 0x4e487b71 00000197: PUSH1 0xe0 00000199: SHL 0000019a: DUP4 0000019b: MSTORE 0000019c: PUSH1 0x32 0000019e: DUP5 0000019f: MSTORE 000001a0: PUSH1 0x24 000001a2: DUP4 000001a3: REVERT 000001a4: JUMPDEST 000001a5: PUSH4 0x4e487b71 000001aa: PUSH1 0xe0 000001ac: SHL 000001ad: DUP4 000001ae: MSTORE 000001af: PUSH1 0x41 000001b1: DUP5 000001b2: MSTORE 000001b3: PUSH1 0x24 000001b5: DUP4 000001b6: REVERT 000001b7: JUMPDEST 000001b8: SWAP1 000001b9: PUSH1 0x20 000001bb: PUSH1 0x64 000001bd: SWAP3 000001be: MLOAD 000001bf: SWAP2 000001c0: PUSH3 0x461bcd 000001c4: PUSH1 0xe5 000001c6: SHL 000001c7: DUP4 000001c8: MSTORE 000001c9: DUP3 000001ca: ADD 000001cb: MSTORE 000001cc: PUSH1 0x06 000001ce: PUSH1 0x24 000001d0: DUP3 000001d1: ADD 000001d2: MSTORE 000001d3: PUSH6 0x0dcde408aa89 000001da: PUSH1 0xd3 000001dc: SHL 000001dd: PUSH1 0x44 000001df: DUP3 000001e0: ADD 000001e1: MSTORE 000001e2: REVERT 000001e3: JUMPDEST 000001e4: PUSH1 0x00 000001e6: SWAP1 000001e7: DUP2 000001e8: CALLDATALOAD 000001e9: PUSH1 0xe0 000001eb: SHR 000001ec: SWAP1 000001ed: DUP2 000001ee: PUSH4 0x0e94a0ee 000001f3: EQ 000001f4: PUSH2 0x110d 000001f7: JUMPI 000001f8: POP 000001f9: DUP1 000001fa: PUSH4 0x156f685a 000001ff: EQ 00000200: PUSH2 0x10ee 00000203: JUMPI 00000204: DUP1 00000205: PUSH4 0x1959a002 0000020a: EQ 0000020b: PUSH2 0x106b 0000020e: JUMPI 0000020f: DUP1 00000210: PUSH4 0x1967e945 00000215: EQ 00000216: PUSH2 0x0fa4 00000219: JUMPI 0000021a: DUP1 0000021b: PUSH4 0x27f9c4c1 00000220: EQ 00000221: PUSH2 0x0930 00000224: JUMPI 00000225: DUP1 00000226: PUSH4 0x2e17de78 0000022b: EQ 0000022c: PUSH2 0x0e51 0000022f: JUMPI 00000230: DUP1 00000231: PUSH4 0x308e401e 00000236: EQ 00000237: PUSH2 0x0de9 0000023a: JUMPI 0000023b: DUP1 0000023c: PUSH4 0x31fd5222 00000241: EQ 00000242: PUSH2 0x0dac 00000245: JUMPI 00000246: DUP1 00000247: PUSH4 0x372500ab 0000024c: EQ 0000024d: PUSH2 0x0c45 00000250: JUMPI 00000251: DUP1 00000252: PUSH4 0x3e58a27a 00000257: EQ 00000258: PUSH2 0x0b2e 0000025b: JUMPI 0000025c: DUP1 0000025d: PUSH4 0x43352d61 00000262: EQ 00000263: PUSH2 0x0aac 00000266: JUMPI 00000267: DUP1 00000268: PUSH4 0x567e98f9 0000026d: EQ 0000026e: PUSH2 0x0a8e 00000271: JUMPI 00000272: DUP1 00000273: PUSH4 0x5873eb9b 00000278: EQ 00000279: PUSH2 0x0a54 0000027c: JUMPI 0000027d: DUP1 0000027e: PUSH4 0x6c7b7f2e 00000283: EQ 00000284: PUSH2 0x09c4 00000287: JUMPI 00000288: DUP1 00000289: PUSH4 0x715018a6 0000028e: EQ 0000028f: PUSH2 0x096a 00000292: JUMPI 00000293: DUP1 00000294: PUSH4 0x7166465c 00000299: EQ 0000029a: PUSH2 0x0930 0000029d: JUMPI 0000029e: DUP1 0000029f: PUSH4 0x7407c695 000002a4: EQ 000002a5: PUSH2 0x08f5 000002a8: JUMPI 000002a9: DUP1 000002aa: PUSH4 0x7aba20bf 000002af: EQ 000002b0: PUSH2 0x08d6 000002b3: JUMPI 000002b4: DUP1 000002b5: PUSH4 0x7cbaccd5 000002ba: EQ 000002bb: PUSH2 0x08b7 000002be: JUMPI 000002bf: DUP1 000002c0: PUSH4 0x7dfcdd29 000002c5: EQ 000002c6: PUSH2 0x0898 000002c9: JUMPI 000002ca: DUP1 000002cb: PUSH4 0x8da5cb5b 000002d0: EQ 000002d1: PUSH2 0x0870 000002d4: JUMPI 000002d5: DUP1 000002d6: PUSH4 0xa694fc3a 000002db: EQ 000002dc: PUSH2 0x060e 000002df: JUMPI 000002e0: DUP1 000002e1: PUSH4 0xb0541908 000002e6: EQ 000002e7: PUSH2 0x04b1 000002ea: JUMPI 000002eb: DUP1 000002ec: PUSH4 0xc42452a6 000002f1: EQ 000002f2: PUSH2 0x0492 000002f5: JUMPI 000002f6: DUP1 000002f7: PUSH4 0xcd15ab33 000002fc: EQ 000002fd: PUSH2 0x046c 00000300: JUMPI 00000301: DUP1 00000302: PUSH4 0xe82b4feb 00000307: EQ 00000308: PUSH2 0x03e3 0000030b: JUMPI 0000030c: PUSH4 0xf2fde38b 00000311: SUB 00000312: PUSH2 0x0012 00000315: JUMPI 00000316: SWAP2 00000317: SWAP1 00000318: CALLVALUE 00000319: PUSH2 0x03df 0000031c: JUMPI 0000031d: PUSH1 0x20 0000031f: CALLDATASIZE 00000320: PUSH1 0x03 00000322: NOT 00000323: ADD 00000324: SLT 00000325: PUSH2 0x03df 00000328: JUMPI 00000329: PUSH1 0x01 0000032b: PUSH1 0x01 0000032d: PUSH1 0xa0 0000032f: SHL 00000330: SUB 00000331: DUP3 00000332: CALLDATALOAD 00000333: DUP2 00000334: DUP2 00000335: AND 00000336: SWAP4 00000337: SWAP2 00000338: SWAP3 00000339: SWAP1 0000033a: DUP5 0000033b: SWAP1 0000033c: SUB 0000033d: PUSH2 0x03db 00000340: JUMPI 00000341: PUSH2 0x0348 00000344: PUSH2 0x1194 00000347: JUMP 00000348: JUMPDEST 00000349: DUP4 0000034a: ISZERO 0000034b: PUSH2 0x0389 0000034e: JUMPI 0000034f: POP 00000350: POP 00000351: DUP3 00000352: SLOAD 00000353: PUSH1 0x01 00000355: PUSH1 0x01 00000357: PUSH1 0xa0 00000359: SHL 0000035a: SUB 0000035b: NOT 0000035c: DUP2 0000035d: AND 0000035e: DUP4 0000035f: OR 00000360: DUP5 00000361: SSTORE 00000362: AND 00000363: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000384: DUP4 00000385: DUP1 00000386: LOG3 00000387: DUP1 00000388: RETURN 00000389: JUMPDEST 0000038a: SWAP1 0000038b: PUSH1 0x20 0000038d: PUSH1 0x84 0000038f: SWAP3 00000390: MLOAD 00000391: SWAP2 00000392: PUSH3 0x461bcd 00000396: PUSH1 0xe5 00000398: SHL 00000399: DUP4 0000039a: MSTORE 0000039b: DUP3 0000039c: ADD 0000039d: MSTORE 0000039e: PUSH1 0x26 000003a0: PUSH1 0x24 000003a2: DUP3 000003a3: ADD 000003a4: MSTORE 000003a5: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000003c6: PUSH1 0x44 000003c8: DUP3 000003c9: ADD 000003ca: MSTORE 000003cb: PUSH6 0x646472657373 000003d2: PUSH1 0xd0 000003d4: SHL 000003d5: PUSH1 0x64 000003d7: DUP3 000003d8: ADD 000003d9: MSTORE 000003da: REVERT 000003db: JUMPDEST 000003dc: DUP5 000003dd: DUP1 000003de: REVERT 000003df: JUMPDEST 000003e0: DUP3 000003e1: DUP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: POP 000003e5: SWAP2 000003e6: SWAP1 000003e7: CALLVALUE 000003e8: PUSH2 0x03df 000003eb: JUMPI 000003ec: DUP3 000003ed: PUSH1 0x03 000003ef: NOT 000003f0: CALLDATASIZE 000003f1: ADD 000003f2: SLT 000003f3: PUSH2 0x03df 000003f6: JUMPI 000003f7: PUSH2 0x03fe 000003fa: PUSH2 0x1194 000003fd: JUMP 000003fe: JUMPDEST 000003ff: DUP3 00000400: DUP1 00000401: DUP1 00000402: DUP1 00000403: SELFBALANCE 00000404: PUSH2 0x040f 00000407: DUP2 00000408: PUSH1 0x08 0000040a: SLOAD 0000040b: PUSH2 0x1242 0000040e: JUMP 0000040f: JUMPDEST 00000410: PUSH1 0x08 00000412: SSTORE 00000413: CALLER 00000414: GAS 00000415: CALL 00000416: PUSH2 0x041d 00000419: PUSH2 0x138f 0000041c: JUMP 0000041d: JUMPDEST 0000041e: POP 0000041f: ISZERO 00000420: PUSH2 0x0427 00000423: JUMPI 00000424: DUP3 00000425: DUP1 00000426: RETURN 00000427: JUMPDEST 00000428: PUSH2 0x0468 0000042b: SWAP3 0000042c: POP 0000042d: MLOAD 0000042e: SWAP2 0000042f: DUP3 00000430: SWAP2 00000431: PUSH3 0x461bcd 00000435: PUSH1 0xe5 00000437: SHL 00000438: DUP4 00000439: MSTORE 0000043a: DUP3 0000043b: ADD 0000043c: PUSH1 0x60 0000043e: SWAP1 0000043f: PUSH1 0x20 00000441: DUP2 00000442: MSTORE 00000443: PUSH1 0x12 00000445: PUSH1 0x20 00000447: DUP3 00000448: ADD 00000449: MSTORE 0000044a: PUSH18 0x1cd95b991a5b99c81155120819985a5b1959 0000045d: PUSH1 0x72 0000045f: SHL 00000460: PUSH1 0x40 00000462: DUP3 00000463: ADD 00000464: MSTORE 00000465: ADD 00000466: SWAP1 00000467: JUMP 00000468: JUMPDEST 00000469: SUB 0000046a: SWAP1 0000046b: REVERT 0000046c: JUMPDEST 0000046d: POP 0000046e: DUP3 0000046f: CALLVALUE 00000470: PUSH2 0x048e 00000473: JUMPI 00000474: PUSH1 0x20 00000476: CALLDATASIZE 00000477: PUSH1 0x03 00000479: NOT 0000047a: ADD 0000047b: SLT 0000047c: PUSH2 0x048e 0000047f: JUMPI 00000480: PUSH2 0x0487 00000483: PUSH2 0x1194 00000486: JUMP 00000487: JUMPDEST 00000488: CALLDATALOAD 00000489: PUSH1 0x05 0000048b: SSTORE 0000048c: DUP1 0000048d: RETURN 0000048e: JUMPDEST 0000048f: POP 00000490: DUP1 00000491: REVERT 00000492: JUMPDEST 00000493: POP 00000494: SWAP1 00000495: CALLVALUE 00000496: PUSH2 0x048e 00000499: JUMPI 0000049a: DUP2 0000049b: PUSH1 0x03 0000049d: NOT 0000049e: CALLDATASIZE 0000049f: ADD 000004a0: SLT 000004a1: PUSH2 0x048e 000004a4: JUMPI 000004a5: PUSH1 0x20 000004a7: SWAP1 000004a8: PUSH1 0x05 000004aa: SLOAD 000004ab: SWAP1 000004ac: MLOAD 000004ad: SWAP1 000004ae: DUP2 000004af: MSTORE 000004b0: RETURN 000004b1: JUMPDEST 000004b2: POP 000004b3: SWAP1 000004b4: CALLVALUE 000004b5: PUSH2 0x048e 000004b8: JUMPI 000004b9: DUP2 000004ba: PUSH1 0x03 000004bc: NOT 000004bd: CALLDATASIZE 000004be: ADD 000004bf: SLT 000004c0: PUSH2 0x048e 000004c3: JUMPI 000004c4: CALLER 000004c5: DUP3 000004c6: MSTORE 000004c7: PUSH1 0x01 000004c9: PUSH1 0x20 000004cb: MSTORE 000004cc: DUP1 000004cd: DUP3 000004ce: KECCAK256 000004cf: SWAP1 000004d0: PUSH1 0x05 000004d2: DUP3 000004d3: ADD 000004d4: DUP1 000004d5: SLOAD 000004d6: SWAP3 000004d7: DUP4 000004d8: ISZERO 000004d9: PUSH2 0x05cd 000004dc: JUMPI 000004dd: DUP6 000004de: ADD 000004df: SLOAD 000004e0: PUSH1 0x05 000004e2: SLOAD 000004e3: PUSH2 0x04eb 000004e6: SWAP2 000004e7: PUSH2 0x1242 000004ea: JUMP 000004eb: JUMPDEST 000004ec: TIMESTAMP 000004ed: LT 000004ee: PUSH2 0x0596 000004f1: JUMPI 000004f2: DUP4 000004f3: SWAP1 000004f4: SSTORE 000004f5: DUP1 000004f6: MLOAD 000004f7: PUSH4 0xa9059cbb 000004fc: PUSH1 0xe0 000004fe: SHL 000004ff: PUSH1 0x20 00000501: DUP3 00000502: ADD 00000503: MSTORE 00000504: CALLER 00000505: PUSH1 0x24 00000507: DUP3 00000508: ADD 00000509: MSTORE 0000050a: PUSH1 0x44 0000050c: DUP1 0000050d: DUP3 0000050e: ADD 0000050f: DUP5 00000510: SWAP1 00000511: MSTORE 00000512: DUP2 00000513: MSTORE 00000514: PUSH1 0x80 00000516: DUP2 00000517: ADD 00000518: PUSH8 0xffffffffffffffff 00000521: DUP2 00000522: GT 00000523: DUP3 00000524: DUP3 00000525: LT 00000526: OR 00000527: PUSH2 0x0583 0000052a: JUMPI 0000052b: DUP3 0000052c: MSTORE 0000052d: PUSH2 0x0556 00000530: SWAP1 00000531: PUSH32 0x0000000000000000000000009b4a69de6ca0defdd02c0c4ce6cb84de5202944e 00000552: PUSH2 0x1287 00000555: JUMP 00000556: JUMPDEST 00000557: MLOAD 00000558: SWAP1 00000559: DUP2 0000055a: MSTORE 0000055b: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 0000057c: PUSH1 0x20 0000057e: CALLER 0000057f: SWAP3 00000580: LOG2 00000581: DUP1 00000582: RETURN 00000583: JUMPDEST 00000584: PUSH4 0x4e487b71 00000589: PUSH1 0xe0 0000058b: SHL 0000058c: DUP6 0000058d: MSTORE 0000058e: PUSH1 0x41 00000590: DUP7 00000591: MSTORE 00000592: PUSH1 0x24 00000594: DUP6 00000595: REVERT 00000596: JUMPDEST 00000597: DUP2 00000598: MLOAD 00000599: PUSH3 0x461bcd 0000059d: PUSH1 0xe5 0000059f: SHL 000005a0: DUP2 000005a1: MSTORE 000005a2: PUSH1 0x20 000005a4: DUP2 000005a5: DUP8 000005a6: ADD 000005a7: MSTORE 000005a8: PUSH1 0x11 000005aa: PUSH1 0x24 000005ac: DUP3 000005ad: ADD 000005ae: MSTORE 000005af: PUSH17 0x756e7374616b65206e6f74207265616479 000005c1: PUSH1 0x78 000005c3: SHL 000005c4: PUSH1 0x44 000005c6: DUP3 000005c7: ADD 000005c8: MSTORE 000005c9: PUSH1 0x64 000005cb: SWAP1 000005cc: REVERT 000005cd: JUMPDEST 000005ce: DUP3 000005cf: MLOAD 000005d0: PUSH3 0x461bcd 000005d4: PUSH1 0xe5 000005d6: SHL 000005d7: DUP2 000005d8: MSTORE 000005d9: PUSH1 0x20 000005db: DUP2 000005dc: DUP9 000005dd: ADD 000005de: DUP2 000005df: DUP2 000005e0: MSTORE 000005e1: PUSH1 0x13 000005e3: SWAP2 000005e4: DUP2 000005e5: ADD 000005e6: SWAP2 000005e7: SWAP1 000005e8: SWAP2 000005e9: MSTORE 000005ea: PUSH19 0x4e6f2070656e64696e6720756e7374616b6573 000005fe: PUSH1 0x68 00000600: SHL 00000601: PUSH1 0x40 00000603: DUP3 00000604: ADD 00000605: MSTORE 00000606: DUP2 00000607: SWAP1 00000608: PUSH1 0x60 0000060a: ADD 0000060b: SUB 0000060c: SWAP1 0000060d: REVERT 0000060e: JUMPDEST 0000060f: POP 00000610: SWAP2 00000611: SWAP1 00000612: CALLVALUE 00000613: PUSH2 0x03df 00000616: JUMPI 00000617: PUSH1 0x20 00000619: CALLDATASIZE 0000061a: PUSH1 0x03 0000061c: NOT 0000061d: ADD 0000061e: SLT 0000061f: PUSH2 0x03df 00000622: JUMPI 00000623: DUP2 00000624: CALLDATALOAD 00000625: SWAP2 00000626: CALLER 00000627: DUP5 00000628: MSTORE 00000629: PUSH1 0x01 0000062b: PUSH1 0x20 0000062d: MSTORE 0000062e: DUP2 0000062f: DUP5 00000630: KECCAK256 00000631: DUP5 00000632: SWAP2 00000633: DUP5 00000634: ISZERO 00000635: PUSH2 0x083e 00000638: JUMPI 00000639: PUSH1 0x06 0000063b: DUP3 0000063c: ADD 0000063d: DUP1 0000063e: SLOAD 0000063f: PUSH1 0xff 00000641: DUP2 00000642: AND 00000643: ISZERO 00000644: PUSH2 0x07b4 00000647: JUMPI 00000648: JUMPDEST 00000649: POP 0000064a: POP 0000064b: DUP2 0000064c: SLOAD 0000064d: DUP1 0000064e: PUSH2 0x0783 00000651: JUMPI 00000652: JUMPDEST 00000653: POP 00000654: PUSH1 0x05 00000656: DUP3 00000657: ADD 00000658: DUP1 00000659: SLOAD 0000065a: DUP8 0000065b: SWAP1 0000065c: DUP8 0000065d: DUP2 0000065e: LT 0000065f: PUSH2 0x06f7 00000662: JUMPI 00000663: POP 00000664: POP 00000665: PUSH2 0x066f 00000668: DUP7 00000669: DUP3 0000066a: SLOAD 0000066b: PUSH2 0x1235 0000066e: JUMP 0000066f: JUMPDEST 00000670: SWAP1 00000671: SSTORE 00000672: JUMPDEST 00000673: PUSH10 0xd3c21bcecceda1000000 0000067e: PUSH2 0x0697 00000681: PUSH2 0x068b 00000684: DUP8 00000685: DUP6 00000686: SLOAD 00000687: PUSH2 0x1242 0000068a: JUMP 0000068b: JUMPDEST 0000068c: DUP1 0000068d: DUP6 0000068e: SSTORE 0000068f: PUSH1 0x07 00000691: SLOAD 00000692: SWAP1 00000693: PUSH2 0x11ec 00000696: JUMP 00000697: JUMPDEST 00000698: DIV 00000699: PUSH1 0x01 0000069b: DUP4 0000069c: ADD 0000069d: SSTORE 0000069e: PUSH2 0x06a8 000006a1: DUP6 000006a2: DUP3 000006a3: SLOAD 000006a4: PUSH2 0x1242 000006a7: JUMP 000006a8: JUMPDEST 000006a9: SWAP1 000006aa: SSTORE 000006ab: DUP2 000006ac: PUSH2 0x06df 000006af: JUMPI 000006b0: JUMPDEST 000006b1: POP 000006b2: POP 000006b3: MLOAD 000006b4: SWAP1 000006b5: DUP2 000006b6: MSTORE 000006b7: PUSH32 0xebedb8b3c678666e7f36970bc8f57abf6d8fa2e828c0da91ea5b75bf68ed101a 000006d8: PUSH1 0x20 000006da: CALLER 000006db: SWAP3 000006dc: LOG2 000006dd: DUP1 000006de: RETURN 000006df: JUMPDEST 000006e0: PUSH1 0x03 000006e2: PUSH2 0x06ee 000006e5: SWAP2 000006e6: ADD 000006e7: SWAP2 000006e8: DUP3 000006e9: SLOAD 000006ea: PUSH2 0x1242 000006ed: JUMP 000006ee: JUMPDEST 000006ef: SWAP1 000006f0: SSTORE 000006f1: CODESIZE 000006f2: DUP1 000006f3: PUSH2 0x06b0 000006f6: JUMP 000006f7: JUMPDEST 000006f8: PUSH2 0x0701 000006fb: SWAP1 000006fc: DUP9 000006fd: PUSH2 0x1235 00000700: JUMP 00000701: JUMPDEST 00000702: SWAP2 00000703: SSTORE 00000704: DUP5 00000705: MLOAD 00000706: SWAP1 00000707: PUSH4 0x23b872dd 0000070c: PUSH1 0xe0 0000070e: SHL 0000070f: PUSH1 0x20 00000711: DUP4 00000712: ADD 00000713: MSTORE 00000714: CALLER 00000715: PUSH1 0x24 00000717: DUP4 00000718: ADD 00000719: MSTORE 0000071a: ADDRESS 0000071b: PUSH1 0x44 0000071d: DUP4 0000071e: ADD 0000071f: MSTORE 00000720: PUSH1 0x64 00000722: DUP3 00000723: ADD 00000724: MSTORE 00000725: PUSH1 0x64 00000727: DUP2 00000728: MSTORE 00000729: PUSH1 0xa0 0000072b: DUP2 0000072c: ADD 0000072d: DUP2 0000072e: DUP2 0000072f: LT 00000730: PUSH8 0xffffffffffffffff 00000739: DUP3 0000073a: GT 0000073b: OR 0000073c: PUSH2 0x0770 0000073f: JUMPI 00000740: DUP6 00000741: MSTORE 00000742: PUSH2 0x076b 00000745: SWAP1 00000746: PUSH32 0x0000000000000000000000009b4a69de6ca0defdd02c0c4ce6cb84de5202944e 00000767: PUSH2 0x1287 0000076a: JUMP 0000076b: JUMPDEST 0000076c: PUSH2 0x0672 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH4 0x4e487b71 00000776: PUSH1 0xe0 00000778: SHL 00000779: DUP9 0000077a: MSTORE 0000077b: PUSH1 0x41 0000077d: DUP4 0000077e: MSTORE 0000077f: PUSH1 0x24 00000781: DUP9 00000782: REVERT 00000783: JUMPDEST 00000784: PUSH2 0x07ad 00000787: SWAP2 00000788: SWAP4 00000789: POP 0000078a: PUSH2 0x07a1 0000078d: PUSH10 0xd3c21bcecceda1000000 00000798: SWAP2 00000799: PUSH1 0x07 0000079b: SLOAD 0000079c: SWAP1 0000079d: PUSH2 0x11ec 000007a0: JUMP 000007a1: JUMPDEST 000007a2: DIV 000007a3: PUSH1 0x01 000007a5: DUP4 000007a6: ADD 000007a7: SLOAD 000007a8: SWAP1 000007a9: PUSH2 0x1235 000007ac: JUMP 000007ad: JUMPDEST 000007ae: SWAP2 000007af: CODESIZE 000007b0: PUSH2 0x0652 000007b3: JUMP 000007b4: JUMPDEST 000007b5: PUSH1 0xff 000007b7: NOT 000007b8: AND 000007b9: PUSH1 0x01 000007bb: OR 000007bc: SWAP1 000007bd: SSTORE 000007be: PUSH1 0x0a 000007c0: SLOAD 000007c1: PUSH1 0x01 000007c3: PUSH1 0x40 000007c5: SHL 000007c6: DUP2 000007c7: LT 000007c8: ISZERO 000007c9: PUSH2 0x082b 000007cc: JUMPI 000007cd: PUSH1 0x01 000007cf: DUP2 000007d0: ADD 000007d1: DUP1 000007d2: PUSH1 0x0a 000007d4: SSTORE 000007d5: DUP2 000007d6: LT 000007d7: ISZERO 000007d8: PUSH2 0x0818 000007db: JUMPI 000007dc: PUSH1 0x0a 000007de: DUP8 000007df: MSTORE 000007e0: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8 00000801: ADD 00000802: DUP1 00000803: SLOAD 00000804: PUSH1 0x01 00000806: PUSH1 0x01 00000808: PUSH1 0xa0 0000080a: SHL 0000080b: SUB 0000080c: NOT 0000080d: AND 0000080e: CALLER 0000080f: OR 00000810: SWAP1 00000811: SSTORE 00000812: CODESIZE 00000813: DUP1 00000814: PUSH2 0x0648 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH4 0x4e487b71 0000081e: PUSH1 0xe0 00000820: SHL 00000821: DUP8 00000822: MSTORE 00000823: PUSH1 0x32 00000825: DUP3 00000826: MSTORE 00000827: PUSH1 0x24 00000829: DUP8 0000082a: REVERT 0000082b: JUMPDEST 0000082c: PUSH4 0x4e487b71 00000831: PUSH1 0xe0 00000833: SHL 00000834: DUP8 00000835: MSTORE 00000836: PUSH1 0x41 00000838: DUP3 00000839: MSTORE 0000083a: PUSH1 0x24 0000083c: DUP8 0000083d: REVERT 0000083e: JUMPDEST 0000083f: PUSH1 0x64 00000841: SWAP1 00000842: PUSH1 0x20 00000844: DUP6 00000845: MLOAD 00000846: SWAP2 00000847: PUSH3 0x461bcd 0000084b: PUSH1 0xe5 0000084d: SHL 0000084e: DUP4 0000084f: MSTORE 00000850: DUP3 00000851: ADD 00000852: MSTORE 00000853: PUSH1 0x0c 00000855: PUSH1 0x24 00000857: DUP3 00000858: ADD 00000859: MSTORE 0000085a: PUSH12 0x063616e74207374616b65203 00000867: PUSH1 0xa4 00000869: SHL 0000086a: PUSH1 0x44 0000086c: DUP3 0000086d: ADD 0000086e: MSTORE 0000086f: REVERT 00000870: JUMPDEST 00000871: POP 00000872: SWAP1 00000873: CALLVALUE 00000874: PUSH2 0x048e 00000877: JUMPI 00000878: DUP2 00000879: PUSH1 0x03 0000087b: NOT 0000087c: CALLDATASIZE 0000087d: ADD 0000087e: SLT 0000087f: PUSH2 0x048e 00000882: JUMPI 00000883: SWAP1 00000884: SLOAD 00000885: SWAP1 00000886: MLOAD 00000887: PUSH1 0x01 00000889: PUSH1 0x01 0000088b: PUSH1 0xa0 0000088d: SHL 0000088e: SUB 0000088f: SWAP1 00000890: SWAP2 00000891: AND 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: SWAP1 00000897: RETURN 00000898: JUMPDEST 00000899: POP 0000089a: SWAP1 0000089b: CALLVALUE 0000089c: PUSH2 0x048e 0000089f: JUMPI 000008a0: DUP2 000008a1: PUSH1 0x03 000008a3: NOT 000008a4: CALLDATASIZE 000008a5: ADD 000008a6: SLT 000008a7: PUSH2 0x048e 000008aa: JUMPI 000008ab: PUSH1 0x20 000008ad: SWAP1 000008ae: PUSH1 0x06 000008b0: SLOAD 000008b1: SWAP1 000008b2: MLOAD 000008b3: SWAP1 000008b4: DUP2 000008b5: MSTORE 000008b6: RETURN 000008b7: JUMPDEST 000008b8: POP 000008b9: SWAP1 000008ba: CALLVALUE 000008bb: PUSH2 0x048e 000008be: JUMPI 000008bf: DUP2 000008c0: PUSH1 0x03 000008c2: NOT 000008c3: CALLDATASIZE 000008c4: ADD 000008c5: SLT 000008c6: PUSH2 0x048e 000008c9: JUMPI 000008ca: PUSH1 0x20 000008cc: SWAP1 000008cd: PUSH1 0x07 000008cf: SLOAD 000008d0: SWAP1 000008d1: MLOAD 000008d2: SWAP1 000008d3: DUP2 000008d4: MSTORE 000008d5: RETURN 000008d6: JUMPDEST 000008d7: POP 000008d8: SWAP1 000008d9: CALLVALUE 000008da: PUSH2 0x048e 000008dd: JUMPI 000008de: DUP2 000008df: PUSH1 0x03 000008e1: NOT 000008e2: CALLDATASIZE 000008e3: ADD 000008e4: SLT 000008e5: PUSH2 0x048e 000008e8: JUMPI 000008e9: PUSH1 0x20 000008eb: SWAP1 000008ec: PUSH1 0x09 000008ee: SLOAD 000008ef: SWAP1 000008f0: MLOAD 000008f1: SWAP1 000008f2: DUP2 000008f3: MSTORE 000008f4: RETURN 000008f5: JUMPDEST 000008f6: POP 000008f7: SWAP2 000008f8: CALLVALUE 000008f9: PUSH2 0x03df 000008fc: JUMPI 000008fd: PUSH1 0x20 000008ff: CALLDATASIZE 00000900: PUSH1 0x03 00000902: NOT 00000903: ADD 00000904: SLT 00000905: PUSH2 0x03df 00000908: JUMPI 00000909: CALLDATALOAD 0000090a: SWAP2 0000090b: PUSH1 0x01 0000090d: PUSH1 0x01 0000090f: PUSH1 0xa0 00000911: SHL 00000912: SUB 00000913: DUP4 00000914: AND 00000915: DUP4 00000916: SUB 00000917: PUSH2 0x092d 0000091a: JUMPI 0000091b: POP 0000091c: PUSH2 0x0926 0000091f: PUSH1 0x20 00000921: SWAP3 00000922: PUSH2 0x14a3 00000925: JUMP 00000926: JUMPDEST 00000927: SWAP1 00000928: MLOAD 00000929: SWAP1 0000092a: DUP2 0000092b: MSTORE 0000092c: RETURN 0000092d: JUMPDEST 0000092e: DUP1 0000092f: REVERT 00000930: JUMPDEST 00000931: POP 00000932: SWAP2 00000933: CALLVALUE 00000934: PUSH2 0x03df 00000937: JUMPI 00000938: PUSH1 0x20 0000093a: CALLDATASIZE 0000093b: PUSH1 0x03 0000093d: NOT 0000093e: ADD 0000093f: SLT 00000940: PUSH2 0x03df 00000943: JUMPI 00000944: CALLDATALOAD 00000945: PUSH1 0x01 00000947: PUSH1 0x01 00000949: PUSH1 0xa0 0000094b: SHL 0000094c: SUB 0000094d: DUP2 0000094e: AND 0000094f: SWAP1 00000950: DUP2 00000951: SWAP1 00000952: SUB 00000953: PUSH2 0x03df 00000956: JUMPI 00000957: DUP3 00000958: DUP3 00000959: SWAP2 0000095a: PUSH1 0x20 0000095c: SWAP5 0000095d: MSTORE 0000095e: PUSH1 0x03 00000960: DUP5 00000961: MSTORE 00000962: KECCAK256 00000963: SLOAD 00000964: SWAP1 00000965: MLOAD 00000966: SWAP1 00000967: DUP2 00000968: MSTORE 00000969: RETURN 0000096a: JUMPDEST 0000096b: POP 0000096c: CALLVALUE 0000096d: PUSH2 0x092d 00000970: JUMPI 00000971: DUP1 00000972: PUSH1 0x03 00000974: NOT 00000975: CALLDATASIZE 00000976: ADD 00000977: SLT 00000978: PUSH2 0x092d 0000097b: JUMPI 0000097c: PUSH2 0x0983 0000097f: PUSH2 0x1194 00000982: JUMP 00000983: JUMPDEST 00000984: DUP1 00000985: SLOAD 00000986: PUSH1 0x01 00000988: PUSH1 0x01 0000098a: PUSH1 0xa0 0000098c: SHL 0000098d: SUB 0000098e: NOT 0000098f: DUP2 00000990: AND 00000991: DUP3 00000992: SSTORE 00000993: DUP2 00000994: SWAP1 00000995: PUSH1 0x01 00000997: PUSH1 0x01 00000999: PUSH1 0xa0 0000099b: SHL 0000099c: SUB 0000099d: AND 0000099e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000009bf: DUP3 000009c0: DUP1 000009c1: LOG3 000009c2: DUP1 000009c3: RETURN 000009c4: JUMPDEST 000009c5: POP 000009c6: CALLVALUE 000009c7: PUSH2 0x092d 000009ca: JUMPI 000009cb: DUP1 000009cc: PUSH1 0x03 000009ce: NOT 000009cf: CALLDATASIZE 000009d0: ADD 000009d1: SLT 000009d2: PUSH2 0x092d 000009d5: JUMPI 000009d6: DUP2 000009d7: MLOAD 000009d8: SWAP2 000009d9: DUP3 000009da: SWAP2 000009db: PUSH1 0x0b 000009dd: SLOAD 000009de: DUP1 000009df: DUP6 000009e0: MSTORE 000009e1: PUSH1 0x20 000009e3: DUP1 000009e4: SWAP6 000009e5: ADD 000009e6: SWAP5 000009e7: PUSH1 0x0b 000009e9: DUP4 000009ea: MSTORE 000009eb: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9 00000a0c: SWAP3 00000a0d: SWAP1 00000a0e: JUMPDEST 00000a0f: DUP3 00000a10: DUP3 00000a11: LT 00000a12: PUSH2 0x0a34 00000a15: JUMPI 00000a16: PUSH2 0x0a30 00000a19: DUP7 00000a1a: DUP7 00000a1b: PUSH2 0x0a26 00000a1e: DUP3 00000a1f: DUP12 00000a20: SUB 00000a21: DUP4 00000a22: PUSH2 0x124f 00000a25: JUMP 00000a26: JUMPDEST 00000a27: MLOAD 00000a28: SWAP2 00000a29: DUP3 00000a2a: SWAP2 00000a2b: DUP3 00000a2c: PUSH2 0x1150 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: SUB 00000a32: SWAP1 00000a33: RETURN 00000a34: JUMPDEST 00000a35: DUP4 00000a36: SLOAD 00000a37: PUSH1 0x01 00000a39: PUSH1 0x01 00000a3b: PUSH1 0xa0 00000a3d: SHL 00000a3e: SUB 00000a3f: AND 00000a40: DUP8 00000a41: MSTORE 00000a42: SWAP6 00000a43: DUP7 00000a44: ADD 00000a45: SWAP6 00000a46: PUSH1 0x01 00000a48: SWAP4 00000a49: DUP5 00000a4a: ADD 00000a4b: SWAP4 00000a4c: SWAP1 00000a4d: SWAP2 00000a4e: ADD 00000a4f: SWAP1 00000a50: PUSH2 0x0a0e 00000a53: JUMP 00000a54: JUMPDEST 00000a55: POP 00000a56: SWAP2 00000a57: CALLVALUE 00000a58: PUSH2 0x03df 00000a5b: JUMPI 00000a5c: PUSH1 0x20 00000a5e: CALLDATASIZE 00000a5f: PUSH1 0x03 00000a61: NOT 00000a62: ADD 00000a63: SLT 00000a64: PUSH2 0x03df 00000a67: JUMPI 00000a68: CALLDATALOAD 00000a69: PUSH1 0x01 00000a6b: PUSH1 0x01 00000a6d: PUSH1 0xa0 00000a6f: SHL 00000a70: SUB 00000a71: DUP2 00000a72: AND 00000a73: SWAP1 00000a74: DUP2 00000a75: SWAP1 00000a76: SUB 00000a77: PUSH2 0x03df 00000a7a: JUMPI 00000a7b: DUP3 00000a7c: DUP3 00000a7d: SWAP2 00000a7e: PUSH1 0x20 00000a80: SWAP5 00000a81: MSTORE 00000a82: PUSH1 0x02 00000a84: DUP5 00000a85: MSTORE 00000a86: KECCAK256 00000a87: SLOAD 00000a88: SWAP1 00000a89: MLOAD 00000a8a: SWAP1 00000a8b: DUP2 00000a8c: MSTORE 00000a8d: RETURN 00000a8e: JUMPDEST 00000a8f: POP 00000a90: SWAP2 00000a91: CALLVALUE 00000a92: PUSH2 0x03df 00000a95: JUMPI 00000a96: DUP3 00000a97: PUSH1 0x03 00000a99: NOT 00000a9a: CALLDATASIZE 00000a9b: ADD 00000a9c: SLT 00000a9d: PUSH2 0x03df 00000aa0: JUMPI 00000aa1: PUSH1 0x20 00000aa3: SWAP3 00000aa4: POP 00000aa5: SLOAD 00000aa6: SWAP1 00000aa7: MLOAD 00000aa8: SWAP1 00000aa9: DUP2 00000aaa: MSTORE 00000aab: RETURN 00000aac: JUMPDEST 00000aad: POP 00000aae: CALLVALUE 00000aaf: PUSH2 0x092d 00000ab2: JUMPI 00000ab3: DUP1 00000ab4: PUSH1 0x03 00000ab6: NOT 00000ab7: CALLDATASIZE 00000ab8: ADD 00000ab9: SLT 00000aba: PUSH2 0x092d 00000abd: JUMPI 00000abe: DUP2 00000abf: MLOAD 00000ac0: SWAP2 00000ac1: DUP3 00000ac2: SWAP2 00000ac3: PUSH1 0x0a 00000ac5: SLOAD 00000ac6: DUP1 00000ac7: DUP6 00000ac8: MSTORE 00000ac9: PUSH1 0x20 00000acb: DUP1 00000acc: SWAP6 00000acd: ADD 00000ace: SWAP5 00000acf: PUSH1 0x0a 00000ad1: DUP4 00000ad2: MSTORE 00000ad3: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8 00000af4: SWAP3 00000af5: SWAP1 00000af6: JUMPDEST 00000af7: DUP3 00000af8: DUP3 00000af9: LT 00000afa: PUSH2 0x0b0e 00000afd: JUMPI 00000afe: PUSH2 0x0a30 00000b01: DUP7 00000b02: DUP7 00000b03: PUSH2 0x0a26 00000b06: DUP3 00000b07: DUP12 00000b08: SUB 00000b09: DUP4 00000b0a: PUSH2 0x124f 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: DUP4 00000b10: SLOAD 00000b11: PUSH1 0x01 00000b13: PUSH1 0x01 00000b15: PUSH1 0xa0 00000b17: SHL 00000b18: SUB 00000b19: AND 00000b1a: DUP8 00000b1b: MSTORE 00000b1c: SWAP6 00000b1d: DUP7 00000b1e: ADD 00000b1f: SWAP6 00000b20: PUSH1 0x01 00000b22: SWAP4 00000b23: DUP5 00000b24: ADD 00000b25: SWAP4 00000b26: SWAP1 00000b27: SWAP2 00000b28: ADD 00000b29: SWAP1 00000b2a: PUSH2 0x0af6 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: POP 00000b30: SWAP2 00000b31: CALLVALUE 00000b32: PUSH2 0x03df 00000b35: JUMPI 00000b36: DUP3 00000b37: PUSH1 0x03 00000b39: NOT 00000b3a: CALLDATASIZE 00000b3b: ADD 00000b3c: SLT 00000b3d: PUSH2 0x03df 00000b40: JUMPI 00000b41: CALLER 00000b42: DUP4 00000b43: MSTORE 00000b44: PUSH1 0x01 00000b46: PUSH1 0x20 00000b48: MSTORE 00000b49: DUP2 00000b4a: DUP4 00000b4b: KECCAK256 00000b4c: SWAP1 00000b4d: DUP4 00000b4e: SWAP3 00000b4f: PUSH1 0x05 00000b51: DUP4 00000b52: ADD 00000b53: DUP1 00000b54: SLOAD 00000b55: SWAP2 00000b56: DUP3 00000b57: ISZERO 00000b58: PUSH2 0x0c05 00000b5b: JUMPI 00000b5c: POP 00000b5d: DUP6 00000b5e: DUP5 00000b5f: SLOAD 00000b60: SWAP2 00000b61: DUP3 00000b62: PUSH2 0x0bc0 00000b65: JUMPI 00000b66: JUMPDEST 00000b67: PUSH2 0x0b85 00000b6a: DUP5 00000b6b: PUSH2 0x0b9e 00000b6e: SWAP6 00000b6f: SWAP5 00000b70: PUSH10 0xd3c21bcecceda1000000 00000b7b: SWAP5 00000b7c: PUSH2 0x0b91 00000b7f: SWAP5 00000b80: SSTORE 00000b81: PUSH2 0x1242 00000b84: JUMP 00000b85: JUMPDEST 00000b86: DUP1 00000b87: DUP8 00000b88: SSTORE 00000b89: PUSH1 0x07 00000b8b: SLOAD 00000b8c: SWAP1 00000b8d: PUSH2 0x11ec 00000b90: JUMP 00000b91: JUMPDEST 00000b92: DIV 00000b93: PUSH1 0x01 00000b95: DUP6 00000b96: ADD 00000b97: SSTORE 00000b98: DUP3 00000b99: SLOAD 00000b9a: PUSH2 0x1242 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: SWAP1 00000ba0: SSTORE 00000ba1: DUP2 00000ba2: PUSH2 0x0ba9 00000ba5: JUMPI 00000ba6: DUP3 00000ba7: DUP1 00000ba8: RETURN 00000ba9: JUMPDEST 00000baa: PUSH1 0x03 00000bac: PUSH2 0x0bb8 00000baf: SWAP2 00000bb0: ADD 00000bb1: SWAP2 00000bb2: DUP3 00000bb3: SLOAD 00000bb4: PUSH2 0x1242 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: SWAP1 00000bba: SSTORE 00000bbb: CODESIZE 00000bbc: DUP1 00000bbd: DUP3 00000bbe: DUP1 00000bbf: RETURN 00000bc0: JUMPDEST 00000bc1: SWAP6 00000bc2: POP 00000bc3: PUSH2 0x0b91 00000bc6: PUSH2 0x0b85 00000bc9: DUP5 00000bca: PUSH2 0x0b9e 00000bcd: SWAP6 00000bce: SWAP5 00000bcf: PUSH10 0xd3c21bcecceda1000000 00000bda: SWAP5 00000bdb: PUSH2 0x0bf6 00000bde: DUP7 00000bdf: PUSH2 0x0bea 00000be2: PUSH1 0x07 00000be4: SLOAD 00000be5: DUP6 00000be6: PUSH2 0x11ec 00000be9: JUMP 00000bea: JUMPDEST 00000beb: DIV 00000bec: PUSH1 0x01 00000bee: DUP13 00000bef: ADD 00000bf0: SLOAD 00000bf1: SWAP1 00000bf2: PUSH2 0x1235 00000bf5: JUMP 00000bf6: JUMPDEST 00000bf7: SWAP11 00000bf8: SWAP5 00000bf9: POP 00000bfa: SWAP5 00000bfb: POP 00000bfc: SWAP5 00000bfd: POP 00000bfe: SWAP5 00000bff: POP 00000c00: POP 00000c01: PUSH2 0x0b66 00000c04: JUMP 00000c05: JUMPDEST 00000c06: MLOAD 00000c07: PUSH3 0x461bcd 00000c0b: PUSH1 0xe5 00000c0d: SHL 00000c0e: DUP2 00000c0f: MSTORE 00000c10: PUSH1 0x20 00000c12: DUP2 00000c13: DUP6 00000c14: ADD 00000c15: DUP2 00000c16: DUP2 00000c17: MSTORE 00000c18: PUSH1 0x13 00000c1a: SWAP2 00000c1b: DUP2 00000c1c: ADD 00000c1d: SWAP2 00000c1e: SWAP1 00000c1f: SWAP2 00000c20: MSTORE 00000c21: PUSH19 0x4e6f2070656e64696e6720756e7374616b6573 00000c35: PUSH1 0x68 00000c37: SHL 00000c38: PUSH1 0x40 00000c3a: DUP3 00000c3b: ADD 00000c3c: MSTORE 00000c3d: DUP2 00000c3e: SWAP1 00000c3f: PUSH1 0x60 00000c41: ADD 00000c42: SUB 00000c43: SWAP1 00000c44: REVERT 00000c45: JUMPDEST 00000c46: POP 00000c47: SWAP2 00000c48: SWAP1 00000c49: CALLVALUE 00000c4a: PUSH2 0x03df 00000c4d: JUMPI 00000c4e: DUP3 00000c4f: PUSH1 0x03 00000c51: NOT 00000c52: CALLDATASIZE 00000c53: ADD 00000c54: SLT 00000c55: PUSH2 0x03df 00000c58: JUMPI 00000c59: CALLER 00000c5a: DUP4 00000c5b: MSTORE 00000c5c: PUSH1 0x01 00000c5e: PUSH1 0x20 00000c60: MSTORE 00000c61: DUP1 00000c62: DUP4 00000c63: KECCAK256 00000c64: SWAP2 00000c65: DUP3 00000c66: SLOAD 00000c67: SWAP3 00000c68: PUSH10 0xd3c21bcecceda1000000 00000c73: DUP1 00000c74: PUSH2 0x0c7f 00000c77: PUSH1 0x07 00000c79: SLOAD 00000c7a: DUP8 00000c7b: PUSH2 0x11ec 00000c7e: JUMP 00000c7f: JUMPDEST 00000c80: DIV 00000c81: PUSH2 0x0c90 00000c84: PUSH1 0x01 00000c86: DUP5 00000c87: ADD 00000c88: SWAP2 00000c89: DUP3 00000c8a: SLOAD 00000c8b: SWAP1 00000c8c: PUSH2 0x1235 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: SWAP2 00000c92: PUSH2 0x0ca0 00000c95: PUSH1 0x03 00000c97: DUP6 00000c98: ADD 00000c99: SWAP4 00000c9a: DUP5 00000c9b: SLOAD 00000c9c: PUSH2 0x1242 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: SWAP7 00000ca2: DUP8 00000ca3: DUP5 00000ca4: SSTORE 00000ca5: DUP8 00000ca6: ISZERO 00000ca7: PUSH2 0x0d73 00000caa: JUMPI 00000cab: SWAP1 00000cac: PUSH2 0x0cbd 00000caf: PUSH1 0x02 00000cb1: SWAP6 00000cb2: SWAP5 00000cb3: SWAP4 00000cb4: SWAP3 00000cb5: PUSH1 0x07 00000cb7: SLOAD 00000cb8: SWAP1 00000cb9: PUSH2 0x11ec 00000cbc: JUMP 00000cbd: JUMPDEST 00000cbe: DIV 00000cbf: SWAP1 00000cc0: SSTORE 00000cc1: DUP6 00000cc2: SELFBALANCE 00000cc3: GT 00000cc4: PUSH1 0x00 00000cc6: EQ 00000cc7: PUSH2 0x0d68 00000cca: JUMPI 00000ccb: PUSH2 0x0cd4 00000cce: DUP7 00000ccf: DUP1 00000cd0: PUSH2 0x1235 00000cd3: JUMP 00000cd4: JUMPDEST 00000cd5: SWAP1 00000cd6: SSTORE 00000cd7: ADD 00000cd8: PUSH2 0x0ce2 00000cdb: DUP5 00000cdc: DUP3 00000cdd: SLOAD 00000cde: PUSH2 0x1242 00000ce1: JUMP 00000ce2: JUMPDEST 00000ce3: SWAP1 00000ce4: SSTORE 00000ce5: DUP4 00000ce6: DUP1 00000ce7: DUP1 00000ce8: DUP1 00000ce9: DUP7 00000cea: CALLER 00000ceb: GAS 00000cec: CALL 00000ced: PUSH2 0x0cf4 00000cf0: PUSH2 0x138f 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: POP 00000cf6: ISZERO 00000cf7: PUSH2 0x0d28 00000cfa: JUMPI 00000cfb: POP 00000cfc: MLOAD 00000cfd: SWAP1 00000cfe: DUP2 00000cff: MSTORE 00000d00: PUSH32 0x47cee97cb7acd717b3c0aa1435d004cd5b3c8c57d70dbceb4e4458bbd60e39d4 00000d21: PUSH1 0x20 00000d23: CALLER 00000d24: SWAP3 00000d25: LOG2 00000d26: DUP1 00000d27: RETURN 00000d28: JUMPDEST 00000d29: PUSH2 0x0468 00000d2c: SWAP2 00000d2d: MLOAD 00000d2e: SWAP2 00000d2f: DUP3 00000d30: SWAP2 00000d31: PUSH3 0x461bcd 00000d35: PUSH1 0xe5 00000d37: SHL 00000d38: DUP4 00000d39: MSTORE 00000d3a: DUP3 00000d3b: ADD 00000d3c: PUSH1 0x60 00000d3e: SWAP1 00000d3f: PUSH1 0x20 00000d41: DUP2 00000d42: MSTORE 00000d43: PUSH1 0x12 00000d45: PUSH1 0x20 00000d47: DUP3 00000d48: ADD 00000d49: MSTORE 00000d4a: PUSH18 0x1cd95b991a5b99c81155120819985a5b1959 00000d5d: PUSH1 0x72 00000d5f: SHL 00000d60: PUSH1 0x40 00000d62: DUP3 00000d63: ADD 00000d64: MSTORE 00000d65: ADD 00000d66: SWAP1 00000d67: JUMP 00000d68: JUMPDEST 00000d69: PUSH2 0x0cd4 00000d6c: SELFBALANCE 00000d6d: DUP1 00000d6e: SWAP8 00000d6f: PUSH2 0x1235 00000d72: JUMP 00000d73: JUMPDEST 00000d74: DUP7 00000d75: MLOAD 00000d76: PUSH3 0x461bcd 00000d7a: PUSH1 0xe5 00000d7c: SHL 00000d7d: DUP2 00000d7e: MSTORE 00000d7f: PUSH1 0x20 00000d81: DUP2 00000d82: DUP9 00000d83: ADD 00000d84: MSTORE 00000d85: PUSH1 0x13 00000d87: PUSH1 0x24 00000d89: DUP3 00000d8a: ADD 00000d8b: MSTORE 00000d8c: PUSH19 0x6e6f207265776172647320746f20636c61696d 00000da0: PUSH1 0x68 00000da2: SHL 00000da3: PUSH1 0x44 00000da5: DUP3 00000da6: ADD 00000da7: MSTORE 00000da8: PUSH1 0x64 00000daa: SWAP1 00000dab: REVERT 00000dac: JUMPDEST 00000dad: POP 00000dae: SWAP2 00000daf: CALLVALUE 00000db0: PUSH2 0x03df 00000db3: JUMPI 00000db4: PUSH1 0x20 00000db6: CALLDATASIZE 00000db7: PUSH1 0x03 00000db9: NOT 00000dba: ADD 00000dbb: SLT 00000dbc: PUSH2 0x03df 00000dbf: JUMPI 00000dc0: CALLDATALOAD 00000dc1: PUSH1 0x01 00000dc3: PUSH1 0x01 00000dc5: PUSH1 0xa0 00000dc7: SHL 00000dc8: SUB 00000dc9: DUP2 00000dca: AND 00000dcb: SWAP1 00000dcc: DUP2 00000dcd: SWAP1 00000dce: SUB 00000dcf: PUSH2 0x03df 00000dd2: JUMPI 00000dd3: DUP2 00000dd4: DUP4 00000dd5: PUSH1 0x05 00000dd7: SWAP3 00000dd8: PUSH1 0x20 00000dda: SWAP6 00000ddb: MSTORE 00000ddc: PUSH1 0x01 00000dde: DUP6 00000ddf: MSTORE 00000de0: KECCAK256 00000de1: ADD 00000de2: SLOAD 00000de3: SWAP1 00000de4: MLOAD 00000de5: SWAP1 00000de6: DUP2 00000de7: MSTORE 00000de8: RETURN 00000de9: JUMPDEST 00000dea: POP 00000deb: SWAP2 00000dec: CALLVALUE 00000ded: PUSH2 0x03df 00000df0: JUMPI 00000df1: PUSH1 0x20 00000df3: CALLDATASIZE 00000df4: PUSH1 0x03 00000df6: NOT 00000df7: ADD 00000df8: SLT 00000df9: PUSH2 0x03df 00000dfc: JUMPI 00000dfd: CALLDATALOAD 00000dfe: PUSH1 0x01 00000e00: PUSH1 0x01 00000e02: PUSH1 0xa0 00000e04: SHL 00000e05: SUB 00000e06: DUP2 00000e07: AND 00000e08: SWAP1 00000e09: DUP2 00000e0a: SWAP1 00000e0b: SUB 00000e0c: PUSH2 0x03df 00000e0f: JUMPI 00000e10: DUP2 00000e11: DUP4 00000e12: PUSH2 0x0926 00000e15: SWAP3 00000e16: PUSH1 0x20 00000e18: SWAP6 00000e19: MSTORE 00000e1a: PUSH1 0x01 00000e1c: DUP6 00000e1d: MSTORE 00000e1e: KECCAK256 00000e1f: PUSH1 0x01 00000e21: PUSH2 0x0e48 00000e24: PUSH1 0x03 00000e26: DUP4 00000e27: ADD 00000e28: SLOAD 00000e29: PUSH10 0xd3c21bcecceda1000000 00000e34: PUSH2 0x0e41 00000e37: DUP6 00000e38: SLOAD 00000e39: PUSH1 0x07 00000e3b: SLOAD 00000e3c: SWAP1 00000e3d: PUSH2 0x11ec 00000e40: JUMP 00000e41: JUMPDEST 00000e42: DIV 00000e43: SWAP1 00000e44: PUSH2 0x1242 00000e47: JUMP 00000e48: JUMPDEST 00000e49: SWAP2 00000e4a: ADD 00000e4b: SLOAD 00000e4c: SWAP1 00000e4d: PUSH2 0x1235 00000e50: JUMP 00000e51: JUMPDEST 00000e52: POP 00000e53: SWAP2 00000e54: SWAP1 00000e55: CALLVALUE 00000e56: PUSH2 0x03df 00000e59: JUMPI 00000e5a: PUSH1 0x20 00000e5c: CALLDATASIZE 00000e5d: PUSH1 0x03 00000e5f: NOT 00000e60: ADD 00000e61: SLT 00000e62: PUSH2 0x03df 00000e65: JUMPI 00000e66: DUP2 00000e67: CALLDATALOAD 00000e68: SWAP2 00000e69: CALLER 00000e6a: DUP5 00000e6b: MSTORE 00000e6c: PUSH1 0x01 00000e6e: PUSH1 0x20 00000e70: MSTORE 00000e71: DUP2 00000e72: DUP5 00000e73: KECCAK256 00000e74: DUP4 00000e75: ISZERO 00000e76: PUSH2 0x0f70 00000e79: JUMPI 00000e7a: DUP1 00000e7b: SLOAD 00000e7c: SWAP2 00000e7d: DUP5 00000e7e: DUP4 00000e7f: LT 00000e80: PUSH2 0x0f39 00000e83: JUMPI 00000e84: PUSH10 0xd3c21bcecceda1000000 00000e8f: DUP1 00000e90: PUSH2 0x0e9b 00000e93: PUSH1 0x07 00000e95: SLOAD 00000e96: DUP7 00000e97: PUSH2 0x11ec 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: DIV 00000e9d: SWAP1 00000e9e: PUSH2 0x0edc 00000ea1: PUSH2 0x0eba 00000ea4: DUP9 00000ea5: PUSH2 0x0eb4 00000ea8: PUSH1 0x01 00000eaa: DUP9 00000eab: ADD 00000eac: SWAP6 00000ead: DUP7 00000eae: SLOAD 00000eaf: SWAP1 00000eb0: PUSH2 0x1235 00000eb3: JUMP 00000eb4: JUMPDEST 00000eb5: SWAP8 00000eb6: PUSH2 0x1235 00000eb9: JUMP 00000eba: JUMPDEST 00000ebb: DUP1 00000ebc: DUP7 00000ebd: SSTORE 00000ebe: TIMESTAMP 00000ebf: DUP6 00000ec0: DUP8 00000ec1: ADD 00000ec2: SSTORE 00000ec3: PUSH1 0x05 00000ec5: DUP7 00000ec6: ADD 00000ec7: PUSH2 0x0ed1 00000eca: DUP11 00000ecb: DUP3 00000ecc: SLOAD 00000ecd: PUSH2 0x1242 00000ed0: JUMP 00000ed1: JUMPDEST 00000ed2: SWAP1 00000ed3: SSTORE 00000ed4: PUSH1 0x07 00000ed6: SLOAD 00000ed7: SWAP1 00000ed8: PUSH2 0x11ec 00000edb: JUMP 00000edc: JUMPDEST 00000edd: DIV 00000ede: SWAP1 00000edf: SSTORE 00000ee0: PUSH2 0x0eea 00000ee3: DUP6 00000ee4: DUP3 00000ee5: SLOAD 00000ee6: PUSH2 0x1235 00000ee9: JUMP 00000eea: JUMPDEST 00000eeb: SWAP1 00000eec: SSTORE 00000eed: DUP2 00000eee: PUSH2 0x0f21 00000ef1: JUMPI 00000ef2: JUMPDEST 00000ef3: POP 00000ef4: POP 00000ef5: MLOAD 00000ef6: SWAP1 00000ef7: DUP2 00000ef8: MSTORE 00000ef9: PUSH32 0x85082129d87b2fe11527cb1b3b7a520aeb5aa6913f88a3d8757fe40d1db02fdd 00000f1a: PUSH1 0x20 00000f1c: CALLER 00000f1d: SWAP3 00000f1e: LOG2 00000f1f: DUP1 00000f20: RETURN 00000f21: JUMPDEST 00000f22: PUSH1 0x03 00000f24: PUSH2 0x0f30 00000f27: SWAP2 00000f28: ADD 00000f29: SWAP2 00000f2a: DUP3 00000f2b: SLOAD 00000f2c: PUSH2 0x1242 00000f2f: JUMP 00000f30: JUMPDEST 00000f31: SWAP1 00000f32: SSTORE 00000f33: CODESIZE 00000f34: DUP1 00000f35: PUSH2 0x0ef2 00000f38: JUMP 00000f39: JUMPDEST 00000f3a: PUSH1 0x64 00000f3c: SWAP1 00000f3d: PUSH1 0x20 00000f3f: DUP6 00000f40: MLOAD 00000f41: SWAP2 00000f42: PUSH3 0x461bcd 00000f46: PUSH1 0xe5 00000f48: SHL 00000f49: DUP4 00000f4a: MSTORE 00000f4b: DUP3 00000f4c: ADD 00000f4d: MSTORE 00000f4e: PUSH1 0x11 00000f50: PUSH1 0x24 00000f52: DUP3 00000f53: ADD 00000f54: MSTORE 00000f55: PUSH17 0x1b9bdd08195b9bdd59da081cdd185ad959 00000f67: PUSH1 0x7a 00000f69: SHL 00000f6a: PUSH1 0x44 00000f6c: DUP3 00000f6d: ADD 00000f6e: MSTORE 00000f6f: REVERT 00000f70: JUMPDEST 00000f71: POP 00000f72: PUSH1 0x20 00000f74: PUSH1 0x64 00000f76: SWAP3 00000f77: MLOAD 00000f78: SWAP2 00000f79: PUSH3 0x461bcd 00000f7d: PUSH1 0xe5 00000f7f: SHL 00000f80: DUP4 00000f81: MSTORE 00000f82: DUP3 00000f83: ADD 00000f84: MSTORE 00000f85: PUSH1 0x0e 00000f87: PUSH1 0x24 00000f89: DUP3 00000f8a: ADD 00000f8b: MSTORE 00000f8c: PUSH14 0x063616e7420756e7374616b65203 00000f9b: PUSH1 0x94 00000f9d: SHL 00000f9e: PUSH1 0x44 00000fa0: DUP3 00000fa1: ADD 00000fa2: MSTORE 00000fa3: REVERT 00000fa4: JUMPDEST 00000fa5: POP 00000fa6: SWAP2 00000fa7: CALLVALUE 00000fa8: PUSH2 0x03df 00000fab: JUMPI 00000fac: DUP3 00000fad: PUSH1 0x03 00000faf: NOT 00000fb0: CALLDATASIZE 00000fb1: ADD 00000fb2: SLT 00000fb3: PUSH2 0x03df 00000fb6: JUMPI 00000fb7: PUSH2 0x0fbe 00000fba: PUSH2 0x1194 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH1 0x06 00000fc1: SLOAD 00000fc2: SWAP1 00000fc3: DUP2 00000fc4: ISZERO 00000fc5: PUSH2 0x1033 00000fc8: JUMPI 00000fc9: DUP1 00000fca: SLOAD 00000fcb: SWAP3 00000fcc: DUP4 00000fcd: ISZERO 00000fce: PUSH2 0x1000 00000fd1: JUMPI 00000fd2: POP 00000fd3: DUP4 00000fd4: PUSH1 0x06 00000fd6: SSTORE 00000fd7: PUSH10 0xd3c21bcecceda1000000 00000fe2: DUP1 00000fe3: DUP4 00000fe4: MUL 00000fe5: SWAP3 00000fe6: DUP4 00000fe7: DIV 00000fe8: SUB 00000fe9: PUSH2 0x0129 00000fec: JUMPI 00000fed: POP 00000fee: PUSH2 0x0ffa 00000ff1: SWAP2 00000ff2: PUSH2 0x00ac 00000ff5: SWAP2 00000ff6: PUSH2 0x1215 00000ff9: JUMP 00000ffa: JUMPDEST 00000ffb: PUSH1 0x07 00000ffd: SSTORE 00000ffe: DUP1 00000fff: RETURN 00001000: JUMPDEST 00001001: MLOAD 00001002: PUSH3 0x461bcd 00001006: PUSH1 0xe5 00001008: SHL 00001009: DUP2 0000100a: MSTORE 0000100b: PUSH1 0x20 0000100d: SWAP2 0000100e: DUP2 0000100f: ADD 00001010: SWAP2 00001011: SWAP1 00001012: SWAP2 00001013: MSTORE 00001014: PUSH1 0x0b 00001016: PUSH1 0x24 00001018: DUP3 00001019: ADD 0000101a: MSTORE 0000101b: PUSH11 0x226e6f20686f6c64657273 00001027: PUSH1 0xa8 00001029: SHL 0000102a: PUSH1 0x44 0000102c: DUP3 0000102d: ADD 0000102e: MSTORE 0000102f: PUSH1 0x64 00001031: SWAP1 00001032: REVERT 00001033: JUMPDEST 00001034: PUSH1 0x64 00001036: SWAP1 00001037: PUSH1 0x20 00001039: DUP5 0000103a: MLOAD 0000103b: SWAP2 0000103c: PUSH3 0x461bcd 00001040: PUSH1 0xe5 00001042: SHL 00001043: DUP4 00001044: MSTORE 00001045: DUP3 00001046: ADD 00001047: MSTORE 00001048: PUSH1 0x12 0000104a: PUSH1 0x24 0000104c: DUP3 0000104d: ADD 0000104e: MSTORE 0000104f: PUSH18 0x0dcde40eadcc2d8d8dec6c2e8cac8408aa89 00001062: PUSH1 0x73 00001064: SHL 00001065: PUSH1 0x44 00001067: DUP3 00001068: ADD 00001069: MSTORE 0000106a: REVERT 0000106b: JUMPDEST 0000106c: POP 0000106d: SWAP2 0000106e: CALLVALUE 0000106f: PUSH2 0x03df 00001072: JUMPI 00001073: PUSH1 0x20 00001075: CALLDATASIZE 00001076: PUSH1 0x03 00001078: NOT 00001079: ADD 0000107a: SLT 0000107b: PUSH2 0x03df 0000107e: JUMPI 0000107f: DUP1 00001080: CALLDATALOAD 00001081: PUSH1 0x01 00001083: PUSH1 0x01 00001085: PUSH1 0xa0 00001087: SHL 00001088: SUB 00001089: DUP2 0000108a: AND 0000108b: SWAP1 0000108c: DUP2 0000108d: SWAP1 0000108e: SUB 0000108f: PUSH2 0x10ea 00001092: JUMPI 00001093: DUP4 00001094: DUP4 00001095: SWAP2 00001096: PUSH1 0xe0 00001098: SWAP6 00001099: MSTORE 0000109a: PUSH1 0x01 0000109c: PUSH1 0x20 0000109e: MSTORE 0000109f: KECCAK256 000010a0: DUP1 000010a1: SLOAD 000010a2: SWAP3 000010a3: PUSH1 0x01 000010a5: DUP3 000010a6: ADD 000010a7: SLOAD 000010a8: SWAP3 000010a9: PUSH1 0x02 000010ab: DUP4 000010ac: ADD 000010ad: SLOAD 000010ae: PUSH1 0x03 000010b0: DUP5 000010b1: ADD 000010b2: SLOAD 000010b3: SWAP2 000010b4: DUP5 000010b5: ADD 000010b6: SLOAD 000010b7: SWAP3 000010b8: PUSH1 0xff 000010ba: PUSH1 0x06 000010bc: PUSH1 0x05 000010be: DUP8 000010bf: ADD 000010c0: SLOAD 000010c1: SWAP7 000010c2: ADD 000010c3: SLOAD 000010c4: AND 000010c5: SWAP6 000010c6: DUP2 000010c7: MLOAD 000010c8: SWAP8 000010c9: DUP9 000010ca: MSTORE 000010cb: PUSH1 0x20 000010cd: DUP9 000010ce: ADD 000010cf: MSTORE 000010d0: DUP7 000010d1: ADD 000010d2: MSTORE 000010d3: PUSH1 0x60 000010d5: DUP6 000010d6: ADD 000010d7: MSTORE 000010d8: PUSH1 0x80 000010da: DUP5 000010db: ADD 000010dc: MSTORE 000010dd: PUSH1 0xa0 000010df: DUP4 000010e0: ADD 000010e1: MSTORE 000010e2: ISZERO 000010e3: ISZERO 000010e4: PUSH1 0xc0 000010e6: DUP3 000010e7: ADD 000010e8: MSTORE 000010e9: RETURN 000010ea: JUMPDEST 000010eb: DUP4 000010ec: DUP1 000010ed: REVERT 000010ee: JUMPDEST 000010ef: POP 000010f0: SWAP1 000010f1: CALLVALUE 000010f2: PUSH2 0x048e 000010f5: JUMPI 000010f6: DUP2 000010f7: PUSH1 0x03 000010f9: NOT 000010fa: CALLDATASIZE 000010fb: ADD 000010fc: SLT 000010fd: PUSH2 0x048e 00001100: JUMPI 00001101: PUSH1 0x20 00001103: SWAP1 00001104: PUSH1 0x08 00001106: SLOAD 00001107: SWAP1 00001108: MLOAD 00001109: SWAP1 0000110a: DUP2 0000110b: MSTORE 0000110c: RETURN 0000110d: JUMPDEST 0000110e: SWAP1 0000110f: POP 00001110: CALLVALUE 00001111: PUSH2 0x048e 00001114: JUMPI 00001115: DUP2 00001116: PUSH1 0x03 00001118: NOT 00001119: CALLDATASIZE 0000111a: ADD 0000111b: SLT 0000111c: PUSH2 0x048e 0000111f: JUMPI 00001120: PUSH32 0x0000000000000000000000009b4a69de6ca0defdd02c0c4ce6cb84de5202944e 00001141: PUSH1 0x01 00001143: PUSH1 0x01 00001145: PUSH1 0xa0 00001147: SHL 00001148: SUB 00001149: AND 0000114a: DUP2 0000114b: MSTORE 0000114c: PUSH1 0x20 0000114e: SWAP1 0000114f: RETURN 00001150: JUMPDEST 00001151: PUSH1 0x20 00001153: SWAP1 00001154: DUP2 00001155: PUSH1 0x40 00001157: DUP2 00001158: DUP4 00001159: ADD 0000115a: SWAP3 0000115b: DUP3 0000115c: DUP2 0000115d: MSTORE 0000115e: DUP6 0000115f: MLOAD 00001160: DUP1 00001161: SWAP5 00001162: MSTORE 00001163: ADD 00001164: SWAP4 00001165: ADD 00001166: SWAP2 00001167: PUSH1 0x00 00001169: JUMPDEST 0000116a: DUP3 0000116b: DUP2 0000116c: LT 0000116d: PUSH2 0x1177 00001170: JUMPI 00001171: POP 00001172: POP 00001173: POP 00001174: POP 00001175: SWAP1 00001176: JUMP 00001177: JUMPDEST 00001178: DUP4 00001179: MLOAD 0000117a: PUSH1 0x01 0000117c: PUSH1 0x01 0000117e: PUSH1 0xa0 00001180: SHL 00001181: SUB 00001182: AND 00001183: DUP6 00001184: MSTORE 00001185: SWAP4 00001186: DUP2 00001187: ADD 00001188: SWAP4 00001189: SWAP3 0000118a: DUP2 0000118b: ADD 0000118c: SWAP3 0000118d: PUSH1 0x01 0000118f: ADD 00001190: PUSH2 0x1169 00001193: JUMP 00001194: JUMPDEST 00001195: PUSH1 0x00 00001197: SLOAD 00001198: PUSH1 0x01 0000119a: PUSH1 0x01 0000119c: PUSH1 0xa0 0000119e: SHL 0000119f: SUB 000011a0: AND 000011a1: CALLER 000011a2: SUB 000011a3: PUSH2 0x11a8 000011a6: JUMPI 000011a7: JUMP 000011a8: JUMPDEST 000011a9: PUSH1 0x64 000011ab: PUSH1 0x40 000011ad: MLOAD 000011ae: PUSH3 0x461bcd 000011b2: PUSH1 0xe5 000011b4: SHL 000011b5: DUP2 000011b6: MSTORE 000011b7: PUSH1 0x20 000011b9: PUSH1 0x04 000011bb: DUP3 000011bc: ADD 000011bd: MSTORE 000011be: PUSH1 0x20 000011c0: PUSH1 0x24 000011c2: DUP3 000011c3: ADD 000011c4: MSTORE 000011c5: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000011e6: PUSH1 0x44 000011e8: DUP3 000011e9: ADD 000011ea: MSTORE 000011eb: REVERT 000011ec: JUMPDEST 000011ed: DUP2 000011ee: DUP2 000011ef: MUL 000011f0: SWAP3 000011f1: SWAP2 000011f2: DUP2 000011f3: ISZERO 000011f4: SWAP2 000011f5: DUP5 000011f6: DIV 000011f7: EQ 000011f8: OR 000011f9: ISZERO 000011fa: PUSH2 0x11ff 000011fd: JUMPI 000011fe: JUMP 000011ff: JUMPDEST 00001200: PUSH4 0x4e487b71 00001205: PUSH1 0xe0 00001207: SHL 00001208: PUSH1 0x00 0000120a: MSTORE 0000120b: PUSH1 0x11 0000120d: PUSH1 0x04 0000120f: MSTORE 00001210: PUSH1 0x24 00001212: PUSH1 0x00 00001214: REVERT 00001215: JUMPDEST 00001216: DUP2 00001217: ISZERO 00001218: PUSH2 0x121f 0000121b: JUMPI 0000121c: DIV 0000121d: SWAP1 0000121e: JUMP 0000121f: JUMPDEST 00001220: PUSH4 0x4e487b71 00001225: PUSH1 0xe0 00001227: SHL 00001228: PUSH1 0x00 0000122a: MSTORE 0000122b: PUSH1 0x12 0000122d: PUSH1 0x04 0000122f: MSTORE 00001230: PUSH1 0x24 00001232: PUSH1 0x00 00001234: REVERT 00001235: JUMPDEST 00001236: SWAP2 00001237: SWAP1 00001238: DUP3 00001239: SUB 0000123a: SWAP2 0000123b: DUP3 0000123c: GT 0000123d: PUSH2 0x11ff 00001240: JUMPI 00001241: JUMP 00001242: JUMPDEST 00001243: SWAP2 00001244: SWAP1 00001245: DUP3 00001246: ADD 00001247: DUP1 00001248: SWAP3 00001249: GT 0000124a: PUSH2 0x11ff 0000124d: JUMPI 0000124e: JUMP 0000124f: JUMPDEST 00001250: SWAP1 00001251: PUSH1 0x1f 00001253: DUP1 00001254: NOT 00001255: SWAP2 00001256: ADD 00001257: AND 00001258: DUP2 00001259: ADD 0000125a: SWAP1 0000125b: DUP2 0000125c: LT 0000125d: PUSH8 0xffffffffffffffff 00001266: DUP3 00001267: GT 00001268: OR 00001269: PUSH2 0x1271 0000126c: JUMPI 0000126d: PUSH1 0x40 0000126f: MSTORE 00001270: JUMP 00001271: JUMPDEST 00001272: PUSH4 0x4e487b71 00001277: PUSH1 0xe0 00001279: SHL 0000127a: PUSH1 0x00 0000127c: MSTORE 0000127d: PUSH1 0x41 0000127f: PUSH1 0x04 00001281: MSTORE 00001282: PUSH1 0x24 00001284: PUSH1 0x00 00001286: REVERT 00001287: JUMPDEST 00001288: PUSH1 0x01 0000128a: DUP1 0000128b: PUSH1 0xa0 0000128d: SHL 0000128e: SUB 0000128f: AND 00001290: SWAP1 00001291: PUSH1 0x40 00001293: MLOAD 00001294: PUSH1 0x40 00001296: DUP2 00001297: ADD 00001298: SWAP1 00001299: DUP1 0000129a: DUP3 0000129b: LT 0000129c: PUSH8 0xffffffffffffffff 000012a5: DUP4 000012a6: GT 000012a7: OR 000012a8: PUSH2 0x1271 000012ab: JUMPI 000012ac: PUSH2 0x12f9 000012af: SWAP2 000012b0: PUSH1 0x40 000012b2: MSTORE 000012b3: PUSH1 0x20 000012b5: SWAP4 000012b6: DUP5 000012b7: DUP3 000012b8: MSTORE 000012b9: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000012da: DUP6 000012db: DUP4 000012dc: ADD 000012dd: MSTORE 000012de: PUSH1 0x00 000012e0: DUP1 000012e1: DUP6 000012e2: DUP8 000012e3: DUP3 000012e4: SWAP8 000012e5: MLOAD 000012e6: SWAP2 000012e7: ADD 000012e8: DUP3 000012e9: DUP6 000012ea: GAS 000012eb: CALL 000012ec: PUSH2 0x12f3 000012ef: PUSH2 0x138f 000012f2: JUMP 000012f3: JUMPDEST 000012f4: SWAP2 000012f5: PUSH2 0x13cf 000012f8: JUMP 000012f9: JUMPDEST 000012fa: DUP1 000012fb: MLOAD 000012fc: SWAP2 000012fd: DUP3 000012fe: ISZERO 000012ff: SWAP2 00001300: DUP5 00001301: DUP4 00001302: ISZERO 00001303: PUSH2 0x136b 00001306: JUMPI 00001307: JUMPDEST 00001308: POP 00001309: POP 0000130a: POP 0000130b: SWAP1 0000130c: POP 0000130d: ISZERO 0000130e: PUSH2 0x1314 00001311: JUMPI 00001312: POP 00001313: JUMP 00001314: JUMPDEST 00001315: PUSH1 0x84 00001317: SWAP1 00001318: PUSH1 0x40 0000131a: MLOAD 0000131b: SWAP1 0000131c: PUSH3 0x461bcd 00001320: PUSH1 0xe5 00001322: SHL 00001323: DUP3 00001324: MSTORE 00001325: PUSH1 0x04 00001327: DUP3 00001328: ADD 00001329: MSTORE 0000132a: PUSH1 0x2a 0000132c: PUSH1 0x24 0000132e: DUP3 0000132f: ADD 00001330: MSTORE 00001331: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00001352: PUSH1 0x44 00001354: DUP3 00001355: ADD 00001356: MSTORE 00001357: PUSH10 0x1bdd081cdd58d8d95959 00001362: PUSH1 0xb2 00001364: SHL 00001365: PUSH1 0x64 00001367: DUP3 00001368: ADD 00001369: MSTORE 0000136a: REVERT 0000136b: JUMPDEST 0000136c: SWAP2 0000136d: SWAP4 0000136e: DUP2 0000136f: DUP1 00001370: SWAP5 00001371: POP 00001372: ADD 00001373: SUB 00001374: SLT 00001375: PUSH2 0x048e 00001378: JUMPI 00001379: DUP3 0000137a: ADD 0000137b: MLOAD 0000137c: SWAP1 0000137d: DUP2 0000137e: ISZERO 0000137f: ISZERO 00001380: DUP3 00001381: SUB 00001382: PUSH2 0x092d 00001385: JUMPI 00001386: POP 00001387: DUP1 00001388: CODESIZE 00001389: DUP1 0000138a: DUP5 0000138b: PUSH2 0x1307 0000138e: JUMP 0000138f: JUMPDEST 00001390: RETURNDATASIZE 00001391: ISZERO 00001392: PUSH2 0x13ca 00001395: JUMPI 00001396: RETURNDATASIZE 00001397: SWAP1 00001398: PUSH8 0xffffffffffffffff 000013a1: DUP3 000013a2: GT 000013a3: PUSH2 0x1271 000013a6: JUMPI 000013a7: PUSH1 0x40 000013a9: MLOAD 000013aa: SWAP2 000013ab: PUSH2 0x13be 000013ae: PUSH1 0x1f 000013b0: DUP3 000013b1: ADD 000013b2: PUSH1 0x1f 000013b4: NOT 000013b5: AND 000013b6: PUSH1 0x20 000013b8: ADD 000013b9: DUP5 000013ba: PUSH2 0x124f 000013bd: JUMP 000013be: JUMPDEST 000013bf: DUP3 000013c0: MSTORE 000013c1: RETURNDATASIZE 000013c2: PUSH1 0x00 000013c4: PUSH1 0x20 000013c6: DUP5 000013c7: ADD 000013c8: RETURNDATACOPY 000013c9: JUMP 000013ca: JUMPDEST 000013cb: PUSH1 0x60 000013cd: SWAP1 000013ce: JUMP 000013cf: JUMPDEST 000013d0: SWAP2 000013d1: SWAP3 000013d2: SWAP1 000013d3: ISZERO 000013d4: PUSH2 0x1431 000013d7: JUMPI 000013d8: POP 000013d9: DUP2 000013da: MLOAD 000013db: ISZERO 000013dc: PUSH2 0x13e3 000013df: JUMPI 000013e0: POP 000013e1: SWAP1 000013e2: JUMP 000013e3: JUMPDEST 000013e4: EXTCODESIZE 000013e5: ISZERO 000013e6: PUSH2 0x13ec 000013e9: JUMPI 000013ea: SWAP1 000013eb: JUMP 000013ec: JUMPDEST 000013ed: PUSH1 0x40 000013ef: MLOAD 000013f0: PUSH3 0x461bcd 000013f4: PUSH1 0xe5 000013f6: SHL 000013f7: DUP2 000013f8: MSTORE 000013f9: PUSH1 0x20 000013fb: PUSH1 0x04 000013fd: DUP3 000013fe: ADD 000013ff: MSTORE 00001400: PUSH1 0x1d 00001402: PUSH1 0x24 00001404: DUP3 00001405: ADD 00001406: MSTORE 00001407: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001428: PUSH1 0x44 0000142a: DUP3 0000142b: ADD 0000142c: MSTORE 0000142d: PUSH1 0x64 0000142f: SWAP1 00001430: REVERT 00001431: JUMPDEST 00001432: DUP3 00001433: MLOAD 00001434: SWAP1 00001435: SWAP2 00001436: POP 00001437: ISZERO 00001438: PUSH2 0x1444 0000143b: JUMPI 0000143c: POP 0000143d: DUP1 0000143e: MLOAD 0000143f: SWAP1 00001440: PUSH1 0x20 00001442: ADD 00001443: REVERT 00001444: JUMPDEST 00001445: PUSH1 0x40 00001447: MLOAD 00001448: SWAP1 00001449: PUSH3 0x461bcd 0000144d: PUSH1 0xe5 0000144f: SHL 00001450: DUP3 00001451: MSTORE 00001452: DUP2 00001453: PUSH1 0x20 00001455: DUP1 00001456: PUSH1 0x04 00001458: DUP4 00001459: ADD 0000145a: MSTORE 0000145b: DUP3 0000145c: MLOAD 0000145d: SWAP1 0000145e: DUP2 0000145f: PUSH1 0x24 00001461: DUP5 00001462: ADD 00001463: MSTORE 00001464: PUSH1 0x00 00001466: SWAP4 00001467: JUMPDEST 00001468: DUP3 00001469: DUP6 0000146a: LT 0000146b: PUSH2 0x148a 0000146e: JUMPI 0000146f: POP 00001470: POP 00001471: PUSH1 0x44 00001473: SWAP3 00001474: POP 00001475: PUSH1 0x00 00001477: DUP4 00001478: DUP3 00001479: DUP5 0000147a: ADD 0000147b: ADD 0000147c: MSTORE 0000147d: PUSH1 0x1f 0000147f: DUP1 00001480: NOT 00001481: SWAP2 00001482: ADD 00001483: AND 00001484: DUP2 00001485: ADD 00001486: SUB 00001487: ADD 00001488: SWAP1 00001489: REVERT 0000148a: JUMPDEST 0000148b: DUP5 0000148c: DUP2 0000148d: ADD 0000148e: DUP3 0000148f: ADD 00001490: MLOAD 00001491: DUP7 00001492: DUP7 00001493: ADD 00001494: PUSH1 0x44 00001496: ADD 00001497: MSTORE 00001498: SWAP4 00001499: DUP2 0000149a: ADD 0000149b: SWAP4 0000149c: DUP6 0000149d: SWAP4 0000149e: POP 0000149f: PUSH2 0x1467 000014a2: JUMP 000014a3: JUMPDEST 000014a4: PUSH1 0x01 000014a6: PUSH1 0x01 000014a8: PUSH1 0xa0 000014aa: SHL 000014ab: SUB 000014ac: AND 000014ad: PUSH1 0x00 000014af: SWAP1 000014b0: DUP2 000014b1: MSTORE 000014b2: PUSH1 0x01 000014b4: PUSH1 0x20 000014b6: MSTORE 000014b7: PUSH1 0x40 000014b9: SWAP1 000014ba: KECCAK256 000014bb: PUSH1 0x04 000014bd: DUP2 000014be: ADD 000014bf: SLOAD 000014c0: PUSH1 0x05 000014c2: SLOAD 000014c3: PUSH2 0x14cb 000014c6: SWAP2 000014c7: PUSH2 0x1242 000014ca: JUMP 000014cb: JUMPDEST 000014cc: TIMESTAMP 000014cd: LT 000014ce: PUSH2 0x14d8 000014d1: JUMPI 000014d2: PUSH1 0x05 000014d4: ADD 000014d5: SLOAD 000014d6: SWAP1 000014d7: JUMP 000014d8: JUMPDEST 000014d9: POP 000014da: PUSH1 0x00 000014dc: SWAP1 000014dd: JUMP 000014de: INVALID 000014df: LOG2 000014e0: PUSH5 0x6970667358 000014e6: UNKNOWN(0x22) 000014e7: SLT 000014e8: KECCAK256 000014e9: GASLIMIT 000014ea: UNKNOWN(0xE0) 000014eb: SGT 000014ec: PUSH20 0xee1d5583cb299158573a5cad4e42d110c70970d8 00001501: UNKNOWN(0xB1) 00001502: UNKNOWN(0xB2) 00001503: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xdddff97fbb9d027506fc6f13bb5ec4619322df123a8a6fc2e937e7a45878121b
call_targets:
0x377e168af6a06075423aede50856de177efaac3e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdddff97fbb9d027506fc6f13bb5ec4619322df123a8a6fc2e937e7a45878121b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x377e168af6a06075423aede50856de177efaac3e"
],
"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": "0x0e94a0ee",
"selector": "0x0e94a0ee",
"calldata_variants": [
"0x0e94a0ee",
"0x0e94a0ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x156f685a",
"selector": "0x156f685a",
"calldata_variants": [
"0x156f685a",
"0x156f685a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1959a002",
"selector": "0x1959a002",
"calldata_variants": [
"0x1959a002",
"0x1959a0020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1967e945",
"selector": "0x1967e945",
"calldata_variants": [
"0x1967e945",
"0x1967e9450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27f9c4c1",
"selector": "0x27f9c4c1",
"calldata_variants": [
"0x27f9c4c1",
"0x27f9c4c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e17de78",
"selector": "0x2e17de78",
"calldata_variants": [
"0x2e17de78",
"0x2e17de780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x308e401e",
"selector": "0x308e401e",
"calldata_variants": [
"0x308e401e",
"0x308e401e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31fd5222",
"selector": "0x31fd5222",
"calldata_variants": [
"0x31fd5222",
"0x31fd52220000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1045,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3308,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4843,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xdddff97fbb9d027506fc6f13bb5ec4619322df123a8a6fc2e937e7a45878121b
call_targets:
0x377e168af6a06075423aede50856de177efaac3e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdddff97fbb9d027506fc6f13bb5ec4619322df123a8a6fc2e937e7a45878121b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x377e168af6a06075423aede50856de177efaac3e"
],
"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": "0x0e94a0ee",
"selector": "0x0e94a0ee",
"calldata_variants": [
"0x0e94a0ee",
"0x0e94a0ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x156f685a",
"selector": "0x156f685a",
"calldata_variants": [
"0x156f685a",
"0x156f685a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1959a002",
"selector": "0x1959a002",
"calldata_variants": [
"0x1959a002",
"0x1959a0020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1967e945",
"selector": "0x1967e945",
"calldata_variants": [
"0x1967e945",
"0x1967e9450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27f9c4c1",
"selector": "0x27f9c4c1",
"calldata_variants": [
"0x27f9c4c1",
"0x27f9c4c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e17de78",
"selector": "0x2e17de78",
"calldata_variants": [
"0x2e17de78",
"0x2e17de780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x308e401e",
"selector": "0x308e401e",
"calldata_variants": [
"0x308e401e",
"0x308e401e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31fd5222",
"selector": "0x31fd5222",
"calldata_variants": [
"0x31fd5222",
"0x31fd52220000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1045,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3308,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4843,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|