019b477e-ca9d-715d-ae71-a26c4de76958
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 |
|---|---|---|---|---|
| 26541 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26542 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69826 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69827 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69828 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69829 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x010d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x94cc032b 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb9d26adc 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb9d26adc 0000002f: EQ 00000030: PUSH2 0x036a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xca15c873 0000003a: EQ 0000003b: PUSH2 0x03a9 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd547741f 00000045: EQ 00000046: PUSH2 0x03c9 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd73792a9 00000050: EQ 00000051: PUSH2 0x03e9 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xeecad0bc 0000005b: EQ 0000005c: PUSH2 0x03ff 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x94cc032b 0000006b: EQ 0000006c: PUSH2 0x02c8 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x97713592 00000076: EQ 00000077: PUSH2 0x02e8 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x9f6a3ddd 00000081: EQ 00000082: PUSH2 0x030a 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xa217fddf 0000008c: EQ 0000008d: PUSH2 0x0355 00000090: JUMPI 00000091: PUSH1 0x00 00000093: DUP1 00000094: REVERT 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x392ac59a 0000009c: GT 0000009d: PUSH2 0x00dc 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x392ac59a 000000a7: EQ 000000a8: PUSH2 0x0203 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x6f5d4669 000000b2: EQ 000000b3: PUSH2 0x0223 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x9010d07c 000000bd: EQ 000000be: PUSH2 0x025b 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x91d14854 000000c8: EQ 000000c9: PUSH2 0x027b 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x9317bb2a 000000d3: EQ 000000d4: PUSH2 0x029b 000000d7: JUMPI 000000d8: PUSH1 0x00 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH4 0x01ffc9a7 000000e3: EQ 000000e4: PUSH2 0x014e 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x248a9ca3 000000ee: EQ 000000ef: PUSH2 0x0183 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x2f2ff15d 000000f9: EQ 000000fa: PUSH2 0x01c1 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x36568abe 00000104: EQ 00000105: PUSH2 0x01e3 00000108: JUMPI 00000109: PUSH1 0x00 0000010b: DUP1 0000010c: REVERT 0000010d: JUMPDEST 0000010e: CALLDATASIZE 0000010f: PUSH2 0x0149 00000112: JUMPI 00000113: PUSH1 0x40 00000115: MLOAD 00000116: CALLVALUE 00000117: DUP2 00000118: MSTORE 00000119: CALLER 0000011a: SWAP1 0000011b: PUSH32 0x7e71433ddf847725166244795048ecf3e3f9f35628254ecbf736056664233493 0000013c: SWAP1 0000013d: PUSH1 0x20 0000013f: ADD 00000140: PUSH1 0x40 00000142: MLOAD 00000143: DUP1 00000144: SWAP2 00000145: SUB 00000146: SWAP1 00000147: LOG2 00000148: STOP 00000149: JUMPDEST 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: CALLVALUE 00000150: DUP1 00000151: ISZERO 00000152: PUSH2 0x015a 00000155: JUMPI 00000156: PUSH1 0x00 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: POP 0000015c: PUSH2 0x016e 0000015f: PUSH2 0x0169 00000162: CALLDATASIZE 00000163: PUSH1 0x04 00000165: PUSH2 0x1055 00000168: JUMP 00000169: JUMPDEST 0000016a: PUSH2 0x041f 0000016d: JUMP 0000016e: JUMPDEST 0000016f: PUSH1 0x40 00000171: MLOAD 00000172: SWAP1 00000173: ISZERO 00000174: ISZERO 00000175: DUP2 00000176: MSTORE 00000177: PUSH1 0x20 00000179: ADD 0000017a: JUMPDEST 0000017b: PUSH1 0x40 0000017d: MLOAD 0000017e: DUP1 0000017f: SWAP2 00000180: SUB 00000181: SWAP1 00000182: RETURN 00000183: JUMPDEST 00000184: CALLVALUE 00000185: DUP1 00000186: ISZERO 00000187: PUSH2 0x018f 0000018a: JUMPI 0000018b: PUSH1 0x00 0000018d: DUP1 0000018e: REVERT 0000018f: JUMPDEST 00000190: POP 00000191: PUSH2 0x01b3 00000194: PUSH2 0x019e 00000197: CALLDATASIZE 00000198: PUSH1 0x04 0000019a: PUSH2 0x107f 0000019d: JUMP 0000019e: JUMPDEST 0000019f: PUSH1 0x00 000001a1: SWAP1 000001a2: DUP2 000001a3: MSTORE 000001a4: PUSH1 0x20 000001a6: DUP2 000001a7: SWAP1 000001a8: MSTORE 000001a9: PUSH1 0x40 000001ab: SWAP1 000001ac: KECCAK256 000001ad: PUSH1 0x01 000001af: ADD 000001b0: SLOAD 000001b1: SWAP1 000001b2: JUMP 000001b3: JUMPDEST 000001b4: PUSH1 0x40 000001b6: MLOAD 000001b7: SWAP1 000001b8: DUP2 000001b9: MSTORE 000001ba: PUSH1 0x20 000001bc: ADD 000001bd: PUSH2 0x017a 000001c0: JUMP 000001c1: JUMPDEST 000001c2: CALLVALUE 000001c3: DUP1 000001c4: ISZERO 000001c5: PUSH2 0x01cd 000001c8: JUMPI 000001c9: PUSH1 0x00 000001cb: DUP1 000001cc: REVERT 000001cd: JUMPDEST 000001ce: POP 000001cf: PUSH2 0x01e1 000001d2: PUSH2 0x01dc 000001d5: CALLDATASIZE 000001d6: PUSH1 0x04 000001d8: PUSH2 0x10ad 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH2 0x0465 000001e0: JUMP 000001e1: JUMPDEST 000001e2: STOP 000001e3: JUMPDEST 000001e4: CALLVALUE 000001e5: DUP1 000001e6: ISZERO 000001e7: PUSH2 0x01ef 000001ea: JUMPI 000001eb: PUSH1 0x00 000001ed: DUP1 000001ee: REVERT 000001ef: JUMPDEST 000001f0: POP 000001f1: PUSH2 0x01e1 000001f4: PUSH2 0x01fe 000001f7: CALLDATASIZE 000001f8: PUSH1 0x04 000001fa: PUSH2 0x10ad 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH2 0x048f 00000202: JUMP 00000203: JUMPDEST 00000204: CALLVALUE 00000205: DUP1 00000206: ISZERO 00000207: PUSH2 0x020f 0000020a: JUMPI 0000020b: PUSH1 0x00 0000020d: DUP1 0000020e: REVERT 0000020f: JUMPDEST 00000210: POP 00000211: PUSH2 0x01e1 00000214: PUSH2 0x021e 00000217: CALLDATASIZE 00000218: PUSH1 0x04 0000021a: PUSH2 0x10dd 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH2 0x0512 00000222: JUMP 00000223: JUMPDEST 00000224: CALLVALUE 00000225: DUP1 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: POP 00000231: PUSH2 0x0243 00000234: PUSH2 0x023e 00000237: CALLDATASIZE 00000238: PUSH1 0x04 0000023a: PUSH2 0x10ff 0000023d: JUMP 0000023e: JUMPDEST 0000023f: POP 00000240: ADDRESS 00000241: SWAP1 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH1 0x40 00000246: MLOAD 00000247: PUSH1 0x01 00000249: PUSH1 0x01 0000024b: PUSH1 0xa0 0000024d: SHL 0000024e: SUB 0000024f: SWAP1 00000250: SWAP2 00000251: AND 00000252: DUP2 00000253: MSTORE 00000254: PUSH1 0x20 00000256: ADD 00000257: PUSH2 0x017a 0000025a: JUMP 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: POP 00000269: PUSH2 0x0243 0000026c: PUSH2 0x0276 0000026f: CALLDATASIZE 00000270: PUSH1 0x04 00000272: PUSH2 0x10dd 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH2 0x0592 0000027a: JUMP 0000027b: JUMPDEST 0000027c: CALLVALUE 0000027d: DUP1 0000027e: ISZERO 0000027f: PUSH2 0x0287 00000282: JUMPI 00000283: PUSH1 0x00 00000285: DUP1 00000286: REVERT 00000287: JUMPDEST 00000288: POP 00000289: PUSH2 0x016e 0000028c: PUSH2 0x0296 0000028f: CALLDATASIZE 00000290: PUSH1 0x04 00000292: PUSH2 0x10ad 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH2 0x05b1 0000029a: JUMP 0000029b: JUMPDEST 0000029c: CALLVALUE 0000029d: DUP1 0000029e: ISZERO 0000029f: PUSH2 0x02a7 000002a2: JUMPI 000002a3: PUSH1 0x00 000002a5: DUP1 000002a6: REVERT 000002a7: JUMPDEST 000002a8: POP 000002a9: PUSH2 0x01b3 000002ac: PUSH2 0x02b6 000002af: CALLDATASIZE 000002b0: PUSH1 0x04 000002b2: PUSH2 0x107f 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH1 0x02 000002b9: PUSH1 0x20 000002bb: MSTORE 000002bc: PUSH1 0x00 000002be: SWAP1 000002bf: DUP2 000002c0: MSTORE 000002c1: PUSH1 0x40 000002c3: SWAP1 000002c4: KECCAK256 000002c5: SLOAD 000002c6: DUP2 000002c7: JUMP 000002c8: JUMPDEST 000002c9: CALLVALUE 000002ca: DUP1 000002cb: ISZERO 000002cc: PUSH2 0x02d4 000002cf: JUMPI 000002d0: PUSH1 0x00 000002d2: DUP1 000002d3: REVERT 000002d4: JUMPDEST 000002d5: POP 000002d6: PUSH2 0x01e1 000002d9: PUSH2 0x02e3 000002dc: CALLDATASIZE 000002dd: PUSH1 0x04 000002df: PUSH2 0x116e 000002e2: JUMP 000002e3: JUMPDEST 000002e4: PUSH2 0x05da 000002e7: JUMP 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: POP 000002f6: PUSH2 0x01b3 000002f9: PUSH1 0x00 000002fb: DUP1 000002fc: MLOAD 000002fd: PUSH1 0x20 000002ff: PUSH2 0x1443 00000302: DUP4 00000303: CODECOPY 00000304: DUP2 00000305: MLOAD 00000306: SWAP2 00000307: MSTORE 00000308: DUP2 00000309: JUMP 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: DUP1 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: PUSH2 0x01b3 0000031b: PUSH2 0x0325 0000031e: CALLDATASIZE 0000031f: PUSH1 0x04 00000321: PUSH2 0x10ff 00000324: JUMP 00000325: JUMPDEST 00000326: POP 00000327: PUSH1 0x01 00000329: PUSH1 0x00 0000032b: MSTORE 0000032c: PUSH1 0x02 0000032e: PUSH1 0x20 00000330: MSTORE 00000331: PUSH32 0xe90b7bceb6e7df5418fb78d8ee546e97c83a08bbccc01a0644d599ccd2a7c2e0 00000352: SLOAD 00000353: SWAP1 00000354: JUMP 00000355: JUMPDEST 00000356: CALLVALUE 00000357: DUP1 00000358: ISZERO 00000359: PUSH2 0x0361 0000035c: JUMPI 0000035d: PUSH1 0x00 0000035f: DUP1 00000360: REVERT 00000361: JUMPDEST 00000362: POP 00000363: PUSH2 0x01b3 00000366: PUSH1 0x00 00000368: DUP2 00000369: JUMP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x038a 0000037b: PUSH2 0x0385 0000037e: CALLDATASIZE 0000037f: PUSH1 0x04 00000381: PUSH2 0x11b0 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH2 0x076c 00000389: JUMP 0000038a: JUMPDEST 0000038b: PUSH1 0x40 0000038d: DUP1 0000038e: MLOAD 0000038f: PUSH1 0x01 00000391: PUSH1 0x01 00000393: PUSH1 0xa0 00000395: SHL 00000396: SUB 00000397: SWAP1 00000398: SWAP4 00000399: AND 0000039a: DUP4 0000039b: MSTORE 0000039c: PUSH1 0x20 0000039e: DUP4 0000039f: ADD 000003a0: SWAP2 000003a1: SWAP1 000003a2: SWAP2 000003a3: MSTORE 000003a4: ADD 000003a5: PUSH2 0x017a 000003a8: JUMP 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x01b3 000003ba: PUSH2 0x03c4 000003bd: CALLDATASIZE 000003be: PUSH1 0x04 000003c0: PUSH2 0x107f 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH2 0x07a5 000003c8: JUMP 000003c9: JUMPDEST 000003ca: CALLVALUE 000003cb: DUP1 000003cc: ISZERO 000003cd: PUSH2 0x03d5 000003d0: JUMPI 000003d1: PUSH1 0x00 000003d3: DUP1 000003d4: REVERT 000003d5: JUMPDEST 000003d6: POP 000003d7: PUSH2 0x01e1 000003da: PUSH2 0x03e4 000003dd: CALLDATASIZE 000003de: PUSH1 0x04 000003e0: PUSH2 0x10ad 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH2 0x07bc 000003e8: JUMP 000003e9: JUMPDEST 000003ea: CALLVALUE 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: POP 000003f7: PUSH2 0x01b3 000003fa: PUSH2 0x2710 000003fd: DUP2 000003fe: JUMP 000003ff: JUMPDEST 00000400: CALLVALUE 00000401: DUP1 00000402: ISZERO 00000403: PUSH2 0x040b 00000406: JUMPI 00000407: PUSH1 0x00 00000409: DUP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: POP 0000040d: PUSH2 0x01e1 00000410: PUSH2 0x041a 00000413: CALLDATASIZE 00000414: PUSH1 0x04 00000416: PUSH2 0x11e2 00000419: JUMP 0000041a: JUMPDEST 0000041b: PUSH2 0x07e1 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH1 0x00 00000422: PUSH1 0x01 00000424: PUSH1 0x01 00000426: PUSH1 0xe0 00000428: SHL 00000429: SUB 0000042a: NOT 0000042b: DUP3 0000042c: AND 0000042d: PUSH4 0x5560a9ef 00000432: PUSH1 0xe1 00000434: SHL 00000435: EQ 00000436: DUP1 00000437: PUSH2 0x0450 0000043a: JUMPI 0000043b: POP 0000043c: PUSH1 0x01 0000043e: PUSH1 0x01 00000440: PUSH1 0xe0 00000442: SHL 00000443: SUB 00000444: NOT 00000445: DUP3 00000446: AND 00000447: PUSH4 0x2e749ab7 0000044c: PUSH1 0xe2 0000044e: SHL 0000044f: EQ 00000450: JUMPDEST 00000451: DUP1 00000452: PUSH2 0x045f 00000455: JUMPI 00000456: POP 00000457: PUSH2 0x045f 0000045a: DUP3 0000045b: PUSH2 0x0a8e 0000045e: JUMP 0000045f: JUMPDEST 00000460: SWAP3 00000461: SWAP2 00000462: POP 00000463: POP 00000464: JUMP 00000465: JUMPDEST 00000466: PUSH1 0x00 00000468: DUP3 00000469: DUP2 0000046a: MSTORE 0000046b: PUSH1 0x20 0000046d: DUP2 0000046e: SWAP1 0000046f: MSTORE 00000470: PUSH1 0x40 00000472: SWAP1 00000473: KECCAK256 00000474: PUSH1 0x01 00000476: ADD 00000477: SLOAD 00000478: PUSH2 0x0480 0000047b: DUP2 0000047c: PUSH2 0x0ab3 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH2 0x048a 00000484: DUP4 00000485: DUP4 00000486: PUSH2 0x0ac0 00000489: JUMP 0000048a: JUMPDEST 0000048b: POP 0000048c: POP 0000048d: POP 0000048e: JUMP 0000048f: JUMPDEST 00000490: PUSH1 0x01 00000492: PUSH1 0x01 00000494: PUSH1 0xa0 00000496: SHL 00000497: SUB 00000498: DUP2 00000499: AND 0000049a: CALLER 0000049b: EQ 0000049c: PUSH2 0x0504 0000049f: JUMPI 000004a0: PUSH1 0x40 000004a2: MLOAD 000004a3: PUSH3 0x461bcd 000004a7: PUSH1 0xe5 000004a9: SHL 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0x20 000004ae: PUSH1 0x04 000004b0: DUP3 000004b1: ADD 000004b2: MSTORE 000004b3: PUSH1 0x2f 000004b5: PUSH1 0x24 000004b7: DUP3 000004b8: ADD 000004b9: MSTORE 000004ba: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 000004db: PUSH1 0x44 000004dd: DUP3 000004de: ADD 000004df: MSTORE 000004e0: PUSH15 0x103937b632b9903337b91039b2b633 000004f0: PUSH1 0x89 000004f2: SHL 000004f3: PUSH1 0x64 000004f5: DUP3 000004f6: ADD 000004f7: MSTORE 000004f8: PUSH1 0x84 000004fa: ADD 000004fb: JUMPDEST 000004fc: PUSH1 0x40 000004fe: MLOAD 000004ff: DUP1 00000500: SWAP2 00000501: SUB 00000502: SWAP1 00000503: REVERT 00000504: JUMPDEST 00000505: PUSH2 0x050e 00000508: DUP3 00000509: DUP3 0000050a: PUSH2 0x0ae2 0000050d: JUMP 0000050e: JUMPDEST 0000050f: POP 00000510: POP 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH2 0x051d 00000516: PUSH1 0x00 00000518: CALLER 00000519: PUSH2 0x05b1 0000051c: JUMP 0000051d: JUMPDEST 0000051e: ISZERO 0000051f: DUP1 00000520: ISZERO 00000521: PUSH2 0x053f 00000524: JUMPI 00000525: POP 00000526: PUSH2 0x053d 00000529: PUSH1 0x00 0000052b: DUP1 0000052c: MLOAD 0000052d: PUSH1 0x20 0000052f: PUSH2 0x1443 00000532: DUP4 00000533: CODECOPY 00000534: DUP2 00000535: MLOAD 00000536: SWAP2 00000537: MSTORE 00000538: CALLER 00000539: PUSH2 0x05b1 0000053c: JUMP 0000053d: JUMPDEST 0000053e: ISZERO 0000053f: JUMPDEST 00000540: ISZERO 00000541: PUSH2 0x055d 00000544: JUMPI 00000545: PUSH1 0x40 00000547: MLOAD 00000548: PUSH4 0x7bf6a16f 0000054d: PUSH1 0xe0 0000054f: SHL 00000550: DUP2 00000551: MSTORE 00000552: PUSH1 0x04 00000554: ADD 00000555: PUSH1 0x40 00000557: MLOAD 00000558: DUP1 00000559: SWAP2 0000055a: SUB 0000055b: SWAP1 0000055c: REVERT 0000055d: JUMPDEST 0000055e: PUSH2 0x2710 00000561: DUP2 00000562: GT 00000563: ISZERO 00000564: PUSH2 0x0580 00000567: JUMPI 00000568: PUSH1 0x40 0000056a: MLOAD 0000056b: PUSH4 0x800c7e91 00000570: PUSH1 0xe0 00000572: SHL 00000573: DUP2 00000574: MSTORE 00000575: PUSH1 0x04 00000577: ADD 00000578: PUSH1 0x40 0000057a: MLOAD 0000057b: DUP1 0000057c: SWAP2 0000057d: SUB 0000057e: SWAP1 0000057f: REVERT 00000580: JUMPDEST 00000581: PUSH1 0x00 00000583: SWAP2 00000584: DUP3 00000585: MSTORE 00000586: PUSH1 0x02 00000588: PUSH1 0x20 0000058a: MSTORE 0000058b: PUSH1 0x40 0000058d: SWAP1 0000058e: SWAP2 0000058f: KECCAK256 00000590: SSTORE 00000591: JUMP 00000592: JUMPDEST 00000593: PUSH1 0x00 00000595: DUP3 00000596: DUP2 00000597: MSTORE 00000598: PUSH1 0x01 0000059a: PUSH1 0x20 0000059c: MSTORE 0000059d: PUSH1 0x40 0000059f: DUP2 000005a0: KECCAK256 000005a1: PUSH2 0x05aa 000005a4: SWAP1 000005a5: DUP4 000005a6: PUSH2 0x0b04 000005a9: JUMP 000005aa: JUMPDEST 000005ab: SWAP4 000005ac: SWAP3 000005ad: POP 000005ae: POP 000005af: POP 000005b0: JUMP 000005b1: JUMPDEST 000005b2: PUSH1 0x00 000005b4: SWAP2 000005b5: DUP3 000005b6: MSTORE 000005b7: PUSH1 0x20 000005b9: DUP3 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH1 0x40 000005be: DUP1 000005bf: DUP5 000005c0: KECCAK256 000005c1: PUSH1 0x01 000005c3: PUSH1 0x01 000005c5: PUSH1 0xa0 000005c7: SHL 000005c8: SUB 000005c9: SWAP4 000005ca: SWAP1 000005cb: SWAP4 000005cc: AND 000005cd: DUP5 000005ce: MSTORE 000005cf: SWAP2 000005d0: SWAP1 000005d1: MSTORE 000005d2: SWAP1 000005d3: KECCAK256 000005d4: SLOAD 000005d5: PUSH1 0xff 000005d7: AND 000005d8: SWAP1 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH2 0x05e5 000005de: PUSH1 0x00 000005e0: CALLER 000005e1: PUSH2 0x05b1 000005e4: JUMP 000005e5: JUMPDEST 000005e6: ISZERO 000005e7: DUP1 000005e8: ISZERO 000005e9: PUSH2 0x0607 000005ec: JUMPI 000005ed: POP 000005ee: PUSH2 0x0605 000005f1: PUSH1 0x00 000005f3: DUP1 000005f4: MLOAD 000005f5: PUSH1 0x20 000005f7: PUSH2 0x1443 000005fa: DUP4 000005fb: CODECOPY 000005fc: DUP2 000005fd: MLOAD 000005fe: SWAP2 000005ff: MSTORE 00000600: CALLER 00000601: PUSH2 0x05b1 00000604: JUMP 00000605: JUMPDEST 00000606: ISZERO 00000607: JUMPDEST 00000608: ISZERO 00000609: PUSH2 0x0625 0000060c: JUMPI 0000060d: PUSH1 0x40 0000060f: MLOAD 00000610: PUSH4 0x7bf6a16f 00000615: PUSH1 0xe0 00000617: SHL 00000618: DUP2 00000619: MSTORE 0000061a: PUSH1 0x04 0000061c: ADD 0000061d: PUSH1 0x40 0000061f: MLOAD 00000620: DUP1 00000621: SWAP2 00000622: SUB 00000623: SWAP1 00000624: REVERT 00000625: JUMPDEST 00000626: PUSH1 0x00 00000628: JUMPDEST 00000629: DUP2 0000062a: DUP2 0000062b: LT 0000062c: ISZERO 0000062d: PUSH2 0x048a 00000630: JUMPI 00000631: PUSH1 0x00 00000633: DUP4 00000634: DUP4 00000635: DUP4 00000636: DUP2 00000637: DUP2 00000638: LT 00000639: PUSH2 0x0644 0000063c: JUMPI 0000063d: PUSH2 0x0644 00000640: PUSH2 0x1237 00000643: JUMP 00000644: JUMPDEST 00000645: PUSH2 0x065a 00000648: SWAP3 00000649: PUSH1 0x20 0000064b: PUSH1 0x40 0000064d: SWAP1 0000064e: SWAP3 0000064f: MUL 00000650: ADD 00000651: SWAP1 00000652: DUP2 00000653: ADD 00000654: SWAP2 00000655: POP 00000656: PUSH2 0x124d 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH1 0x01 0000065d: PUSH1 0x01 0000065f: PUSH1 0xa0 00000661: SHL 00000662: SUB 00000663: AND 00000664: SUB 00000665: PUSH2 0x0681 00000668: JUMPI 00000669: PUSH1 0x40 0000066b: MLOAD 0000066c: PUSH4 0x3d6f3b75 00000671: PUSH1 0xe1 00000673: SHL 00000674: DUP2 00000675: MSTORE 00000676: PUSH1 0x04 00000678: ADD 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: DUP1 0000067d: SWAP2 0000067e: SUB 0000067f: SWAP1 00000680: REVERT 00000681: JUMPDEST 00000682: PUSH2 0x06d7 00000685: DUP4 00000686: DUP4 00000687: DUP4 00000688: DUP2 00000689: DUP2 0000068a: LT 0000068b: PUSH2 0x0696 0000068e: JUMPI 0000068f: PUSH2 0x0696 00000692: PUSH2 0x1237 00000695: JUMP 00000696: JUMPDEST 00000697: SWAP1 00000698: POP 00000699: PUSH1 0x40 0000069b: MUL 0000069c: ADD 0000069d: PUSH1 0x20 0000069f: ADD 000006a0: CALLDATALOAD 000006a1: DUP5 000006a2: DUP5 000006a3: DUP5 000006a4: DUP2 000006a5: DUP2 000006a6: LT 000006a7: PUSH2 0x06b2 000006aa: JUMPI 000006ab: PUSH2 0x06b2 000006ae: PUSH2 0x1237 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH2 0x06c8 000006b6: SWAP3 000006b7: PUSH1 0x20 000006b9: PUSH1 0x40 000006bb: SWAP1 000006bc: SWAP3 000006bd: MUL 000006be: ADD 000006bf: SWAP1 000006c0: DUP2 000006c1: ADD 000006c2: SWAP2 000006c3: POP 000006c4: PUSH2 0x124d 000006c7: JUMP 000006c8: JUMPDEST 000006c9: PUSH1 0x01 000006cb: PUSH1 0x01 000006cd: PUSH1 0xa0 000006cf: SHL 000006d0: SUB 000006d1: AND 000006d2: SWAP1 000006d3: PUSH2 0x0b10 000006d6: JUMP 000006d7: JUMPDEST 000006d8: DUP3 000006d9: DUP3 000006da: DUP3 000006db: DUP2 000006dc: DUP2 000006dd: LT 000006de: PUSH2 0x06e9 000006e1: JUMPI 000006e2: PUSH2 0x06e9 000006e5: PUSH2 0x1237 000006e8: JUMP 000006e9: JUMPDEST 000006ea: PUSH2 0x06ff 000006ed: SWAP3 000006ee: PUSH1 0x20 000006f0: PUSH1 0x40 000006f2: SWAP1 000006f3: SWAP3 000006f4: MUL 000006f5: ADD 000006f6: SWAP1 000006f7: DUP2 000006f8: ADD 000006f9: SWAP2 000006fa: POP 000006fb: PUSH2 0x124d 000006fe: JUMP 000006ff: JUMPDEST 00000700: PUSH1 0x01 00000702: PUSH1 0x01 00000704: PUSH1 0xa0 00000706: SHL 00000707: SUB 00000708: AND 00000709: PUSH32 0x5724630c7039b7451802c963e5285779ee0776995655e2fb2cc6215d909493d9 0000072a: DUP5 0000072b: DUP5 0000072c: DUP5 0000072d: DUP2 0000072e: DUP2 0000072f: LT 00000730: PUSH2 0x073b 00000733: JUMPI 00000734: PUSH2 0x073b 00000737: PUSH2 0x1237 0000073a: JUMP 0000073b: JUMPDEST 0000073c: SWAP1 0000073d: POP 0000073e: PUSH1 0x40 00000740: MUL 00000741: ADD 00000742: PUSH1 0x20 00000744: ADD 00000745: CALLDATALOAD 00000746: PUSH1 0x40 00000748: MLOAD 00000749: PUSH2 0x0754 0000074c: SWAP2 0000074d: DUP2 0000074e: MSTORE 0000074f: PUSH1 0x20 00000751: ADD 00000752: SWAP1 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH1 0x40 00000757: MLOAD 00000758: DUP1 00000759: SWAP2 0000075a: SUB 0000075b: SWAP1 0000075c: LOG2 0000075d: PUSH2 0x0765 00000760: DUP2 00000761: PUSH2 0x1280 00000764: JUMP 00000765: JUMPDEST 00000766: SWAP1 00000767: POP 00000768: PUSH2 0x0628 0000076b: JUMP 0000076c: JUMPDEST 0000076d: PUSH1 0x00 0000076f: DUP5 00000770: DUP2 00000771: MSTORE 00000772: PUSH1 0x02 00000774: PUSH1 0x20 00000776: MSTORE 00000777: PUSH1 0x40 00000779: DUP2 0000077a: KECCAK256 0000077b: SLOAD 0000077c: DUP2 0000077d: SWAP1 0000077e: DUP2 0000077f: SWAP1 00000780: PUSH2 0x2710 00000783: SWAP1 00000784: PUSH2 0x078d 00000787: SWAP1 00000788: DUP7 00000789: PUSH2 0x1299 0000078c: JUMP 0000078d: JUMPDEST 0000078e: PUSH2 0x0797 00000791: SWAP2 00000792: SWAP1 00000793: PUSH2 0x12b8 00000796: JUMP 00000797: JUMPDEST 00000798: ADDRESS 00000799: SWAP9 0000079a: SWAP1 0000079b: SWAP8 0000079c: POP 0000079d: SWAP6 0000079e: POP 0000079f: POP 000007a0: POP 000007a1: POP 000007a2: POP 000007a3: POP 000007a4: JUMP 000007a5: JUMPDEST 000007a6: PUSH1 0x00 000007a8: DUP2 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x01 000007ad: PUSH1 0x20 000007af: MSTORE 000007b0: PUSH1 0x40 000007b2: DUP2 000007b3: KECCAK256 000007b4: PUSH2 0x045f 000007b7: SWAP1 000007b8: PUSH2 0x0c29 000007bb: JUMP 000007bc: JUMPDEST 000007bd: PUSH1 0x00 000007bf: DUP3 000007c0: DUP2 000007c1: MSTORE 000007c2: PUSH1 0x20 000007c4: DUP2 000007c5: SWAP1 000007c6: MSTORE 000007c7: PUSH1 0x40 000007c9: SWAP1 000007ca: KECCAK256 000007cb: PUSH1 0x01 000007cd: ADD 000007ce: SLOAD 000007cf: PUSH2 0x07d7 000007d2: DUP2 000007d3: PUSH2 0x0ab3 000007d6: JUMP 000007d7: JUMPDEST 000007d8: PUSH2 0x048a 000007db: DUP4 000007dc: DUP4 000007dd: PUSH2 0x0ae2 000007e0: JUMP 000007e1: JUMPDEST 000007e2: PUSH2 0x07ec 000007e5: PUSH1 0x00 000007e7: CALLER 000007e8: PUSH2 0x05b1 000007eb: JUMP 000007ec: JUMPDEST 000007ed: ISZERO 000007ee: DUP1 000007ef: ISZERO 000007f0: PUSH2 0x080e 000007f3: JUMPI 000007f4: POP 000007f5: PUSH2 0x080c 000007f8: PUSH1 0x00 000007fa: DUP1 000007fb: MLOAD 000007fc: PUSH1 0x20 000007fe: PUSH2 0x1443 00000801: DUP4 00000802: CODECOPY 00000803: DUP2 00000804: MLOAD 00000805: SWAP2 00000806: MSTORE 00000807: CALLER 00000808: PUSH2 0x05b1 0000080b: JUMP 0000080c: JUMPDEST 0000080d: ISZERO 0000080e: JUMPDEST 0000080f: ISZERO 00000810: PUSH2 0x082c 00000813: JUMPI 00000814: PUSH1 0x40 00000816: MLOAD 00000817: PUSH4 0x7bf6a16f 0000081c: PUSH1 0xe0 0000081e: SHL 0000081f: DUP2 00000820: MSTORE 00000821: PUSH1 0x04 00000823: ADD 00000824: PUSH1 0x40 00000826: MLOAD 00000827: DUP1 00000828: SWAP2 00000829: SUB 0000082a: SWAP1 0000082b: REVERT 0000082c: JUMPDEST 0000082d: PUSH1 0x00 0000082f: JUMPDEST 00000830: DUP2 00000831: DUP2 00000832: LT 00000833: ISZERO 00000834: PUSH2 0x09ef 00000837: JUMPI 00000838: PUSH1 0x00 0000083a: DUP4 0000083b: DUP4 0000083c: DUP4 0000083d: DUP2 0000083e: DUP2 0000083f: LT 00000840: PUSH2 0x084b 00000843: JUMPI 00000844: PUSH2 0x084b 00000847: PUSH2 0x1237 0000084a: JUMP 0000084b: JUMPDEST 0000084c: PUSH2 0x0861 0000084f: SWAP3 00000850: PUSH1 0x20 00000852: PUSH1 0x40 00000854: SWAP1 00000855: SWAP3 00000856: MUL 00000857: ADD 00000858: SWAP1 00000859: DUP2 0000085a: ADD 0000085b: SWAP2 0000085c: POP 0000085d: PUSH2 0x124d 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH1 0x01 00000864: PUSH1 0x01 00000866: PUSH1 0xa0 00000868: SHL 00000869: SUB 0000086a: AND 0000086b: SUB 0000086c: PUSH2 0x0888 0000086f: JUMPI 00000870: PUSH1 0x40 00000872: MLOAD 00000873: PUSH4 0x3d6f3b75 00000878: PUSH1 0xe1 0000087a: SHL 0000087b: DUP2 0000087c: MSTORE 0000087d: PUSH1 0x04 0000087f: ADD 00000880: PUSH1 0x40 00000882: MLOAD 00000883: DUP1 00000884: SWAP2 00000885: SUB 00000886: SWAP1 00000887: REVERT 00000888: JUMPDEST 00000889: DUP4 0000088a: PUSH1 0x01 0000088c: PUSH1 0x01 0000088e: PUSH1 0xa0 00000890: SHL 00000891: SUB 00000892: AND 00000893: PUSH4 0xa9059cbb 00000898: DUP5 00000899: DUP5 0000089a: DUP5 0000089b: DUP2 0000089c: DUP2 0000089d: LT 0000089e: PUSH2 0x08a9 000008a1: JUMPI 000008a2: PUSH2 0x08a9 000008a5: PUSH2 0x1237 000008a8: JUMP 000008a9: JUMPDEST 000008aa: PUSH2 0x08bf 000008ad: SWAP3 000008ae: PUSH1 0x20 000008b0: PUSH1 0x40 000008b2: SWAP1 000008b3: SWAP3 000008b4: MUL 000008b5: ADD 000008b6: SWAP1 000008b7: DUP2 000008b8: ADD 000008b9: SWAP2 000008ba: POP 000008bb: PUSH2 0x124d 000008be: JUMP 000008bf: JUMPDEST 000008c0: DUP6 000008c1: DUP6 000008c2: DUP6 000008c3: DUP2 000008c4: DUP2 000008c5: LT 000008c6: PUSH2 0x08d1 000008c9: JUMPI 000008ca: PUSH2 0x08d1 000008cd: PUSH2 0x1237 000008d0: JUMP 000008d1: JUMPDEST 000008d2: SWAP1 000008d3: POP 000008d4: PUSH1 0x40 000008d6: MUL 000008d7: ADD 000008d8: PUSH1 0x20 000008da: ADD 000008db: CALLDATALOAD 000008dc: PUSH1 0x40 000008de: MLOAD 000008df: DUP4 000008e0: PUSH4 0xffffffff 000008e5: AND 000008e6: PUSH1 0xe0 000008e8: SHL 000008e9: DUP2 000008ea: MSTORE 000008eb: PUSH1 0x04 000008ed: ADD 000008ee: PUSH2 0x090c 000008f1: SWAP3 000008f2: SWAP2 000008f3: SWAP1 000008f4: PUSH1 0x01 000008f6: PUSH1 0x01 000008f8: PUSH1 0xa0 000008fa: SHL 000008fb: SUB 000008fc: SWAP3 000008fd: SWAP1 000008fe: SWAP3 000008ff: AND 00000900: DUP3 00000901: MSTORE 00000902: PUSH1 0x20 00000904: DUP3 00000905: ADD 00000906: MSTORE 00000907: PUSH1 0x40 00000909: ADD 0000090a: SWAP1 0000090b: JUMP 0000090c: JUMPDEST 0000090d: PUSH1 0x20 0000090f: PUSH1 0x40 00000911: MLOAD 00000912: DUP1 00000913: DUP4 00000914: SUB 00000915: DUP2 00000916: PUSH1 0x00 00000918: DUP8 00000919: GAS 0000091a: CALL 0000091b: ISZERO 0000091c: DUP1 0000091d: ISZERO 0000091e: PUSH2 0x092b 00000921: JUMPI 00000922: RETURNDATASIZE 00000923: PUSH1 0x00 00000925: DUP1 00000926: RETURNDATACOPY 00000927: RETURNDATASIZE 00000928: PUSH1 0x00 0000092a: REVERT 0000092b: JUMPDEST 0000092c: POP 0000092d: POP 0000092e: POP 0000092f: POP 00000930: PUSH1 0x40 00000932: MLOAD 00000933: RETURNDATASIZE 00000934: PUSH1 0x1f 00000936: NOT 00000937: PUSH1 0x1f 00000939: DUP3 0000093a: ADD 0000093b: AND 0000093c: DUP3 0000093d: ADD 0000093e: DUP1 0000093f: PUSH1 0x40 00000941: MSTORE 00000942: POP 00000943: DUP2 00000944: ADD 00000945: SWAP1 00000946: PUSH2 0x094f 00000949: SWAP2 0000094a: SWAP1 0000094b: PUSH2 0x12da 0000094e: JUMP 0000094f: JUMPDEST 00000950: POP 00000951: DUP3 00000952: DUP3 00000953: DUP3 00000954: DUP2 00000955: DUP2 00000956: LT 00000957: PUSH2 0x0962 0000095a: JUMPI 0000095b: PUSH2 0x0962 0000095e: PUSH2 0x1237 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH2 0x0978 00000966: SWAP3 00000967: PUSH1 0x20 00000969: PUSH1 0x40 0000096b: SWAP1 0000096c: SWAP3 0000096d: MUL 0000096e: ADD 0000096f: SWAP1 00000970: DUP2 00000971: ADD 00000972: SWAP2 00000973: POP 00000974: PUSH2 0x124d 00000977: JUMP 00000978: JUMPDEST 00000979: PUSH1 0x01 0000097b: PUSH1 0x01 0000097d: PUSH1 0xa0 0000097f: SHL 00000980: SUB 00000981: AND 00000982: DUP5 00000983: PUSH1 0x01 00000985: PUSH1 0x01 00000987: PUSH1 0xa0 00000989: SHL 0000098a: SUB 0000098b: AND 0000098c: PUSH32 0xd1fdb060ebcebbe0f64716e26e573d67fd29e5ec9229ba5da5d1c361f6ef9808 000009ad: DUP6 000009ae: DUP6 000009af: DUP6 000009b0: DUP2 000009b1: DUP2 000009b2: LT 000009b3: PUSH2 0x09be 000009b6: JUMPI 000009b7: PUSH2 0x09be 000009ba: PUSH2 0x1237 000009bd: JUMP 000009be: JUMPDEST 000009bf: SWAP1 000009c0: POP 000009c1: PUSH1 0x40 000009c3: MUL 000009c4: ADD 000009c5: PUSH1 0x20 000009c7: ADD 000009c8: CALLDATALOAD 000009c9: PUSH1 0x40 000009cb: MLOAD 000009cc: PUSH2 0x09d7 000009cf: SWAP2 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x20 000009d4: ADD 000009d5: SWAP1 000009d6: JUMP 000009d7: JUMPDEST 000009d8: PUSH1 0x40 000009da: MLOAD 000009db: DUP1 000009dc: SWAP2 000009dd: SUB 000009de: SWAP1 000009df: LOG3 000009e0: PUSH2 0x09e8 000009e3: DUP2 000009e4: PUSH2 0x1280 000009e7: JUMP 000009e8: JUMPDEST 000009e9: SWAP1 000009ea: POP 000009eb: PUSH2 0x082f 000009ee: JUMP 000009ef: JUMPDEST 000009f0: POP 000009f1: POP 000009f2: POP 000009f3: POP 000009f4: JUMP 000009f5: JUMPDEST 000009f6: PUSH2 0x09ff 000009f9: DUP3 000009fa: DUP3 000009fb: PUSH2 0x05b1 000009fe: JUMP 000009ff: JUMPDEST 00000a00: PUSH2 0x050e 00000a03: JUMPI 00000a04: PUSH1 0x00 00000a06: DUP3 00000a07: DUP2 00000a08: MSTORE 00000a09: PUSH1 0x20 00000a0b: DUP2 00000a0c: DUP2 00000a0d: MSTORE 00000a0e: PUSH1 0x40 00000a10: DUP1 00000a11: DUP4 00000a12: KECCAK256 00000a13: PUSH1 0x01 00000a15: PUSH1 0x01 00000a17: PUSH1 0xa0 00000a19: SHL 00000a1a: SUB 00000a1b: DUP6 00000a1c: AND 00000a1d: DUP5 00000a1e: MSTORE 00000a1f: SWAP1 00000a20: SWAP2 00000a21: MSTORE 00000a22: SWAP1 00000a23: KECCAK256 00000a24: DUP1 00000a25: SLOAD 00000a26: PUSH1 0xff 00000a28: NOT 00000a29: AND 00000a2a: PUSH1 0x01 00000a2c: OR 00000a2d: SWAP1 00000a2e: SSTORE 00000a2f: PUSH2 0x0a35 00000a32: CALLER 00000a33: SWAP1 00000a34: JUMP 00000a35: JUMPDEST 00000a36: PUSH1 0x01 00000a38: PUSH1 0x01 00000a3a: PUSH1 0xa0 00000a3c: SHL 00000a3d: SUB 00000a3e: AND 00000a3f: DUP2 00000a40: PUSH1 0x01 00000a42: PUSH1 0x01 00000a44: PUSH1 0xa0 00000a46: SHL 00000a47: SUB 00000a48: AND 00000a49: DUP4 00000a4a: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00000a6b: PUSH1 0x40 00000a6d: MLOAD 00000a6e: PUSH1 0x40 00000a70: MLOAD 00000a71: DUP1 00000a72: SWAP2 00000a73: SUB 00000a74: SWAP1 00000a75: LOG4 00000a76: POP 00000a77: POP 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: PUSH1 0x00 00000a7c: PUSH2 0x05aa 00000a7f: DUP4 00000a80: PUSH1 0x01 00000a82: PUSH1 0x01 00000a84: PUSH1 0xa0 00000a86: SHL 00000a87: SUB 00000a88: DUP5 00000a89: AND 00000a8a: PUSH2 0x0c33 00000a8d: JUMP 00000a8e: JUMPDEST 00000a8f: PUSH1 0x00 00000a91: PUSH1 0x01 00000a93: PUSH1 0x01 00000a95: PUSH1 0xe0 00000a97: SHL 00000a98: SUB 00000a99: NOT 00000a9a: DUP3 00000a9b: AND 00000a9c: PUSH4 0x5a05180f 00000aa1: PUSH1 0xe0 00000aa3: SHL 00000aa4: EQ 00000aa5: DUP1 00000aa6: PUSH2 0x045f 00000aa9: JUMPI 00000aaa: POP 00000aab: PUSH2 0x045f 00000aae: DUP3 00000aaf: PUSH2 0x0c82 00000ab2: JUMP 00000ab3: JUMPDEST 00000ab4: PUSH2 0x0abd 00000ab7: DUP2 00000ab8: CALLER 00000ab9: PUSH2 0x0cb7 00000abc: JUMP 00000abd: JUMPDEST 00000abe: POP 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: PUSH2 0x0aca 00000ac4: DUP3 00000ac5: DUP3 00000ac6: PUSH2 0x09f5 00000ac9: JUMP 00000aca: JUMPDEST 00000acb: PUSH1 0x00 00000acd: DUP3 00000ace: DUP2 00000acf: MSTORE 00000ad0: PUSH1 0x01 00000ad2: PUSH1 0x20 00000ad4: MSTORE 00000ad5: PUSH1 0x40 00000ad7: SWAP1 00000ad8: KECCAK256 00000ad9: PUSH2 0x048a 00000adc: SWAP1 00000add: DUP3 00000ade: PUSH2 0x0a79 00000ae1: JUMP 00000ae2: JUMPDEST 00000ae3: PUSH2 0x0aec 00000ae6: DUP3 00000ae7: DUP3 00000ae8: PUSH2 0x0d10 00000aeb: JUMP 00000aec: JUMPDEST 00000aed: PUSH1 0x00 00000aef: DUP3 00000af0: DUP2 00000af1: MSTORE 00000af2: PUSH1 0x01 00000af4: PUSH1 0x20 00000af6: MSTORE 00000af7: PUSH1 0x40 00000af9: SWAP1 00000afa: KECCAK256 00000afb: PUSH2 0x048a 00000afe: SWAP1 00000aff: DUP3 00000b00: PUSH2 0x0d75 00000b03: JUMP 00000b04: JUMPDEST 00000b05: PUSH1 0x00 00000b07: PUSH2 0x05aa 00000b0a: DUP4 00000b0b: DUP4 00000b0c: PUSH2 0x0d8a 00000b0f: JUMP 00000b10: JUMPDEST 00000b11: DUP1 00000b12: SELFBALANCE 00000b13: LT 00000b14: ISZERO 00000b15: PUSH2 0x0b60 00000b18: JUMPI 00000b19: PUSH1 0x40 00000b1b: MLOAD 00000b1c: PUSH3 0x461bcd 00000b20: PUSH1 0xe5 00000b22: SHL 00000b23: DUP2 00000b24: MSTORE 00000b25: PUSH1 0x20 00000b27: PUSH1 0x04 00000b29: DUP3 00000b2a: ADD 00000b2b: MSTORE 00000b2c: PUSH1 0x1d 00000b2e: PUSH1 0x24 00000b30: DUP3 00000b31: ADD 00000b32: MSTORE 00000b33: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000b54: PUSH1 0x44 00000b56: DUP3 00000b57: ADD 00000b58: MSTORE 00000b59: PUSH1 0x64 00000b5b: ADD 00000b5c: PUSH2 0x04fb 00000b5f: JUMP 00000b60: JUMPDEST 00000b61: PUSH1 0x00 00000b63: DUP3 00000b64: PUSH1 0x01 00000b66: PUSH1 0x01 00000b68: PUSH1 0xa0 00000b6a: SHL 00000b6b: SUB 00000b6c: AND 00000b6d: DUP3 00000b6e: PUSH1 0x40 00000b70: MLOAD 00000b71: PUSH1 0x00 00000b73: PUSH1 0x40 00000b75: MLOAD 00000b76: DUP1 00000b77: DUP4 00000b78: SUB 00000b79: DUP2 00000b7a: DUP6 00000b7b: DUP8 00000b7c: GAS 00000b7d: CALL 00000b7e: SWAP3 00000b7f: POP 00000b80: POP 00000b81: POP 00000b82: RETURNDATASIZE 00000b83: DUP1 00000b84: PUSH1 0x00 00000b86: DUP2 00000b87: EQ 00000b88: PUSH2 0x0bad 00000b8b: JUMPI 00000b8c: PUSH1 0x40 00000b8e: MLOAD 00000b8f: SWAP2 00000b90: POP 00000b91: PUSH1 0x1f 00000b93: NOT 00000b94: PUSH1 0x3f 00000b96: RETURNDATASIZE 00000b97: ADD 00000b98: AND 00000b99: DUP3 00000b9a: ADD 00000b9b: PUSH1 0x40 00000b9d: MSTORE 00000b9e: RETURNDATASIZE 00000b9f: DUP3 00000ba0: MSTORE 00000ba1: RETURNDATASIZE 00000ba2: PUSH1 0x00 00000ba4: PUSH1 0x20 00000ba6: DUP5 00000ba7: ADD 00000ba8: RETURNDATACOPY 00000ba9: PUSH2 0x0bb2 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH1 0x60 00000bb0: SWAP2 00000bb1: POP 00000bb2: JUMPDEST 00000bb3: POP 00000bb4: POP 00000bb5: SWAP1 00000bb6: POP 00000bb7: DUP1 00000bb8: PUSH2 0x048a 00000bbb: JUMPI 00000bbc: PUSH1 0x40 00000bbe: MLOAD 00000bbf: PUSH3 0x461bcd 00000bc3: PUSH1 0xe5 00000bc5: SHL 00000bc6: DUP2 00000bc7: MSTORE 00000bc8: PUSH1 0x20 00000bca: PUSH1 0x04 00000bcc: DUP3 00000bcd: ADD 00000bce: MSTORE 00000bcf: PUSH1 0x3a 00000bd1: PUSH1 0x24 00000bd3: DUP3 00000bd4: ADD 00000bd5: MSTORE 00000bd6: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000bf7: PUSH1 0x44 00000bf9: DUP3 00000bfa: ADD 00000bfb: MSTORE 00000bfc: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000c1d: PUSH1 0x64 00000c1f: DUP3 00000c20: ADD 00000c21: MSTORE 00000c22: PUSH1 0x84 00000c24: ADD 00000c25: PUSH2 0x04fb 00000c28: JUMP 00000c29: JUMPDEST 00000c2a: PUSH1 0x00 00000c2c: PUSH2 0x045f 00000c2f: DUP3 00000c30: SLOAD 00000c31: SWAP1 00000c32: JUMP 00000c33: JUMPDEST 00000c34: PUSH1 0x00 00000c36: DUP2 00000c37: DUP2 00000c38: MSTORE 00000c39: PUSH1 0x01 00000c3b: DUP4 00000c3c: ADD 00000c3d: PUSH1 0x20 00000c3f: MSTORE 00000c40: PUSH1 0x40 00000c42: DUP2 00000c43: KECCAK256 00000c44: SLOAD 00000c45: PUSH2 0x0c7a 00000c48: JUMPI 00000c49: POP 00000c4a: DUP2 00000c4b: SLOAD 00000c4c: PUSH1 0x01 00000c4e: DUP2 00000c4f: DUP2 00000c50: ADD 00000c51: DUP5 00000c52: SSTORE 00000c53: PUSH1 0x00 00000c55: DUP5 00000c56: DUP2 00000c57: MSTORE 00000c58: PUSH1 0x20 00000c5a: DUP1 00000c5b: DUP3 00000c5c: KECCAK256 00000c5d: SWAP1 00000c5e: SWAP4 00000c5f: ADD 00000c60: DUP5 00000c61: SWAP1 00000c62: SSTORE 00000c63: DUP5 00000c64: SLOAD 00000c65: DUP5 00000c66: DUP3 00000c67: MSTORE 00000c68: DUP3 00000c69: DUP7 00000c6a: ADD 00000c6b: SWAP1 00000c6c: SWAP4 00000c6d: MSTORE 00000c6e: PUSH1 0x40 00000c70: SWAP1 00000c71: KECCAK256 00000c72: SWAP2 00000c73: SWAP1 00000c74: SWAP2 00000c75: SSTORE 00000c76: PUSH2 0x045f 00000c79: JUMP 00000c7a: JUMPDEST 00000c7b: POP 00000c7c: PUSH1 0x00 00000c7e: PUSH2 0x045f 00000c81: JUMP 00000c82: JUMPDEST 00000c83: PUSH1 0x00 00000c85: PUSH1 0x01 00000c87: PUSH1 0x01 00000c89: PUSH1 0xe0 00000c8b: SHL 00000c8c: SUB 00000c8d: NOT 00000c8e: DUP3 00000c8f: AND 00000c90: PUSH4 0x7965db0b 00000c95: PUSH1 0xe0 00000c97: SHL 00000c98: EQ 00000c99: DUP1 00000c9a: PUSH2 0x045f 00000c9d: JUMPI 00000c9e: POP 00000c9f: PUSH4 0x01ffc9a7 00000ca4: PUSH1 0xe0 00000ca6: SHL 00000ca7: PUSH1 0x01 00000ca9: PUSH1 0x01 00000cab: PUSH1 0xe0 00000cad: SHL 00000cae: SUB 00000caf: NOT 00000cb0: DUP4 00000cb1: AND 00000cb2: EQ 00000cb3: PUSH2 0x045f 00000cb6: JUMP 00000cb7: JUMPDEST 00000cb8: PUSH2 0x0cc1 00000cbb: DUP3 00000cbc: DUP3 00000cbd: PUSH2 0x05b1 00000cc0: JUMP 00000cc1: JUMPDEST 00000cc2: PUSH2 0x050e 00000cc5: JUMPI 00000cc6: PUSH2 0x0cce 00000cc9: DUP2 00000cca: PUSH2 0x0db4 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: PUSH2 0x0cd9 00000cd2: DUP4 00000cd3: PUSH1 0x20 00000cd5: PUSH2 0x0dc6 00000cd8: JUMP 00000cd9: JUMPDEST 00000cda: PUSH1 0x40 00000cdc: MLOAD 00000cdd: PUSH1 0x20 00000cdf: ADD 00000ce0: PUSH2 0x0cea 00000ce3: SWAP3 00000ce4: SWAP2 00000ce5: SWAP1 00000ce6: PUSH2 0x1328 00000ce9: JUMP 00000cea: JUMPDEST 00000ceb: PUSH1 0x40 00000ced: DUP1 00000cee: MLOAD 00000cef: PUSH1 0x1f 00000cf1: NOT 00000cf2: DUP2 00000cf3: DUP5 00000cf4: SUB 00000cf5: ADD 00000cf6: DUP2 00000cf7: MSTORE 00000cf8: SWAP1 00000cf9: DUP3 00000cfa: SWAP1 00000cfb: MSTORE 00000cfc: PUSH3 0x461bcd 00000d00: PUSH1 0xe5 00000d02: SHL 00000d03: DUP3 00000d04: MSTORE 00000d05: PUSH2 0x04fb 00000d08: SWAP2 00000d09: PUSH1 0x04 00000d0b: ADD 00000d0c: PUSH2 0x139d 00000d0f: JUMP 00000d10: JUMPDEST 00000d11: PUSH2 0x0d1a 00000d14: DUP3 00000d15: DUP3 00000d16: PUSH2 0x05b1 00000d19: JUMP 00000d1a: JUMPDEST 00000d1b: ISZERO 00000d1c: PUSH2 0x050e 00000d1f: JUMPI 00000d20: PUSH1 0x00 00000d22: DUP3 00000d23: DUP2 00000d24: MSTORE 00000d25: PUSH1 0x20 00000d27: DUP2 00000d28: DUP2 00000d29: MSTORE 00000d2a: PUSH1 0x40 00000d2c: DUP1 00000d2d: DUP4 00000d2e: KECCAK256 00000d2f: PUSH1 0x01 00000d31: PUSH1 0x01 00000d33: PUSH1 0xa0 00000d35: SHL 00000d36: SUB 00000d37: DUP6 00000d38: AND 00000d39: DUP1 00000d3a: DUP6 00000d3b: MSTORE 00000d3c: SWAP3 00000d3d: MSTORE 00000d3e: DUP1 00000d3f: DUP4 00000d40: KECCAK256 00000d41: DUP1 00000d42: SLOAD 00000d43: PUSH1 0xff 00000d45: NOT 00000d46: AND 00000d47: SWAP1 00000d48: SSTORE 00000d49: MLOAD 00000d4a: CALLER 00000d4b: SWAP3 00000d4c: DUP6 00000d4d: SWAP2 00000d4e: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00000d6f: SWAP2 00000d70: SWAP1 00000d71: LOG4 00000d72: POP 00000d73: POP 00000d74: JUMP 00000d75: JUMPDEST 00000d76: PUSH1 0x00 00000d78: PUSH2 0x05aa 00000d7b: DUP4 00000d7c: PUSH1 0x01 00000d7e: PUSH1 0x01 00000d80: PUSH1 0xa0 00000d82: SHL 00000d83: SUB 00000d84: DUP5 00000d85: AND 00000d86: PUSH2 0x0f62 00000d89: JUMP 00000d8a: JUMPDEST 00000d8b: PUSH1 0x00 00000d8d: DUP3 00000d8e: PUSH1 0x00 00000d90: ADD 00000d91: DUP3 00000d92: DUP2 00000d93: SLOAD 00000d94: DUP2 00000d95: LT 00000d96: PUSH2 0x0da1 00000d99: JUMPI 00000d9a: PUSH2 0x0da1 00000d9d: PUSH2 0x1237 00000da0: JUMP 00000da1: JUMPDEST 00000da2: SWAP1 00000da3: PUSH1 0x00 00000da5: MSTORE 00000da6: PUSH1 0x20 00000da8: PUSH1 0x00 00000daa: KECCAK256 00000dab: ADD 00000dac: SLOAD 00000dad: SWAP1 00000dae: POP 00000daf: SWAP3 00000db0: SWAP2 00000db1: POP 00000db2: POP 00000db3: JUMP 00000db4: JUMPDEST 00000db5: PUSH1 0x60 00000db7: PUSH2 0x045f 00000dba: PUSH1 0x01 00000dbc: PUSH1 0x01 00000dbe: PUSH1 0xa0 00000dc0: SHL 00000dc1: SUB 00000dc2: DUP4 00000dc3: AND 00000dc4: PUSH1 0x14 00000dc6: JUMPDEST 00000dc7: PUSH1 0x60 00000dc9: PUSH1 0x00 00000dcb: PUSH2 0x0dd5 00000dce: DUP4 00000dcf: PUSH1 0x02 00000dd1: PUSH2 0x1299 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: PUSH2 0x0de0 00000dd9: SWAP1 00000dda: PUSH1 0x02 00000ddc: PUSH2 0x13d0 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: PUSH8 0xffffffffffffffff 00000dea: DUP2 00000deb: GT 00000dec: ISZERO 00000ded: PUSH2 0x0df8 00000df0: JUMPI 00000df1: PUSH2 0x0df8 00000df4: PUSH2 0x13e8 00000df7: JUMP 00000df8: JUMPDEST 00000df9: PUSH1 0x40 00000dfb: MLOAD 00000dfc: SWAP1 00000dfd: DUP1 00000dfe: DUP3 00000dff: MSTORE 00000e00: DUP1 00000e01: PUSH1 0x1f 00000e03: ADD 00000e04: PUSH1 0x1f 00000e06: NOT 00000e07: AND 00000e08: PUSH1 0x20 00000e0a: ADD 00000e0b: DUP3 00000e0c: ADD 00000e0d: PUSH1 0x40 00000e0f: MSTORE 00000e10: DUP1 00000e11: ISZERO 00000e12: PUSH2 0x0e22 00000e15: JUMPI 00000e16: PUSH1 0x20 00000e18: DUP3 00000e19: ADD 00000e1a: DUP2 00000e1b: DUP1 00000e1c: CALLDATASIZE 00000e1d: DUP4 00000e1e: CALLDATACOPY 00000e1f: ADD 00000e20: SWAP1 00000e21: POP 00000e22: JUMPDEST 00000e23: POP 00000e24: SWAP1 00000e25: POP 00000e26: PUSH1 0x03 00000e28: PUSH1 0xfc 00000e2a: SHL 00000e2b: DUP2 00000e2c: PUSH1 0x00 00000e2e: DUP2 00000e2f: MLOAD 00000e30: DUP2 00000e31: LT 00000e32: PUSH2 0x0e3d 00000e35: JUMPI 00000e36: PUSH2 0x0e3d 00000e39: PUSH2 0x1237 00000e3c: JUMP 00000e3d: JUMPDEST 00000e3e: PUSH1 0x20 00000e40: ADD 00000e41: ADD 00000e42: SWAP1 00000e43: PUSH1 0x01 00000e45: PUSH1 0x01 00000e47: PUSH1 0xf8 00000e49: SHL 00000e4a: SUB 00000e4b: NOT 00000e4c: AND 00000e4d: SWAP1 00000e4e: DUP2 00000e4f: PUSH1 0x00 00000e51: BYTE 00000e52: SWAP1 00000e53: MSTORE8 00000e54: POP 00000e55: PUSH1 0x0f 00000e57: PUSH1 0xfb 00000e59: SHL 00000e5a: DUP2 00000e5b: PUSH1 0x01 00000e5d: DUP2 00000e5e: MLOAD 00000e5f: DUP2 00000e60: LT 00000e61: PUSH2 0x0e6c 00000e64: JUMPI 00000e65: PUSH2 0x0e6c 00000e68: PUSH2 0x1237 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: PUSH1 0x20 00000e6f: ADD 00000e70: ADD 00000e71: SWAP1 00000e72: PUSH1 0x01 00000e74: PUSH1 0x01 00000e76: PUSH1 0xf8 00000e78: SHL 00000e79: SUB 00000e7a: NOT 00000e7b: AND 00000e7c: SWAP1 00000e7d: DUP2 00000e7e: PUSH1 0x00 00000e80: BYTE 00000e81: SWAP1 00000e82: MSTORE8 00000e83: POP 00000e84: PUSH1 0x00 00000e86: PUSH2 0x0e90 00000e89: DUP5 00000e8a: PUSH1 0x02 00000e8c: PUSH2 0x1299 00000e8f: JUMP 00000e90: JUMPDEST 00000e91: PUSH2 0x0e9b 00000e94: SWAP1 00000e95: PUSH1 0x01 00000e97: PUSH2 0x13d0 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: SWAP1 00000e9d: POP 00000e9e: JUMPDEST 00000e9f: PUSH1 0x01 00000ea1: DUP2 00000ea2: GT 00000ea3: ISZERO 00000ea4: PUSH2 0x0f13 00000ea7: JUMPI 00000ea8: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3 00000eb9: PUSH1 0x81 00000ebb: SHL 00000ebc: DUP6 00000ebd: PUSH1 0x0f 00000ebf: AND 00000ec0: PUSH1 0x10 00000ec2: DUP2 00000ec3: LT 00000ec4: PUSH2 0x0ecf 00000ec7: JUMPI 00000ec8: PUSH2 0x0ecf 00000ecb: PUSH2 0x1237 00000ece: JUMP 00000ecf: JUMPDEST 00000ed0: BYTE 00000ed1: PUSH1 0xf8 00000ed3: SHL 00000ed4: DUP3 00000ed5: DUP3 00000ed6: DUP2 00000ed7: MLOAD 00000ed8: DUP2 00000ed9: LT 00000eda: PUSH2 0x0ee5 00000edd: JUMPI 00000ede: PUSH2 0x0ee5 00000ee1: PUSH2 0x1237 00000ee4: JUMP 00000ee5: JUMPDEST 00000ee6: PUSH1 0x20 00000ee8: ADD 00000ee9: ADD 00000eea: SWAP1 00000eeb: PUSH1 0x01 00000eed: PUSH1 0x01 00000eef: PUSH1 0xf8 00000ef1: SHL 00000ef2: SUB 00000ef3: NOT 00000ef4: AND 00000ef5: SWAP1 00000ef6: DUP2 00000ef7: PUSH1 0x00 00000ef9: BYTE 00000efa: SWAP1 00000efb: MSTORE8 00000efc: POP 00000efd: PUSH1 0x04 00000eff: SWAP5 00000f00: SWAP1 00000f01: SWAP5 00000f02: SHR 00000f03: SWAP4 00000f04: PUSH2 0x0f0c 00000f07: DUP2 00000f08: PUSH2 0x13fe 00000f0b: JUMP 00000f0c: JUMPDEST 00000f0d: SWAP1 00000f0e: POP 00000f0f: PUSH2 0x0e9e 00000f12: JUMP 00000f13: JUMPDEST 00000f14: POP 00000f15: DUP4 00000f16: ISZERO 00000f17: PUSH2 0x05aa 00000f1a: JUMPI 00000f1b: PUSH1 0x40 00000f1d: MLOAD 00000f1e: PUSH3 0x461bcd 00000f22: PUSH1 0xe5 00000f24: SHL 00000f25: DUP2 00000f26: MSTORE 00000f27: PUSH1 0x20 00000f29: PUSH1 0x04 00000f2b: DUP3 00000f2c: ADD 00000f2d: DUP2 00000f2e: SWAP1 00000f2f: MSTORE 00000f30: PUSH1 0x24 00000f32: DUP3 00000f33: ADD 00000f34: MSTORE 00000f35: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 00000f56: PUSH1 0x44 00000f58: DUP3 00000f59: ADD 00000f5a: MSTORE 00000f5b: PUSH1 0x64 00000f5d: ADD 00000f5e: PUSH2 0x04fb 00000f61: JUMP 00000f62: JUMPDEST 00000f63: PUSH1 0x00 00000f65: DUP2 00000f66: DUP2 00000f67: MSTORE 00000f68: PUSH1 0x01 00000f6a: DUP4 00000f6b: ADD 00000f6c: PUSH1 0x20 00000f6e: MSTORE 00000f6f: PUSH1 0x40 00000f71: DUP2 00000f72: KECCAK256 00000f73: SLOAD 00000f74: DUP1 00000f75: ISZERO 00000f76: PUSH2 0x104b 00000f79: JUMPI 00000f7a: PUSH1 0x00 00000f7c: PUSH2 0x0f86 00000f7f: PUSH1 0x01 00000f81: DUP4 00000f82: PUSH2 0x1415 00000f85: JUMP 00000f86: JUMPDEST 00000f87: DUP6 00000f88: SLOAD 00000f89: SWAP1 00000f8a: SWAP2 00000f8b: POP 00000f8c: PUSH1 0x00 00000f8e: SWAP1 00000f8f: PUSH2 0x0f9a 00000f92: SWAP1 00000f93: PUSH1 0x01 00000f95: SWAP1 00000f96: PUSH2 0x1415 00000f99: JUMP 00000f9a: JUMPDEST 00000f9b: SWAP1 00000f9c: POP 00000f9d: DUP2 00000f9e: DUP2 00000f9f: EQ 00000fa0: PUSH2 0x0fff 00000fa3: JUMPI 00000fa4: PUSH1 0x00 00000fa6: DUP7 00000fa7: PUSH1 0x00 00000fa9: ADD 00000faa: DUP3 00000fab: DUP2 00000fac: SLOAD 00000fad: DUP2 00000fae: LT 00000faf: PUSH2 0x0fba 00000fb2: JUMPI 00000fb3: PUSH2 0x0fba 00000fb6: PUSH2 0x1237 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: SWAP1 00000fbc: PUSH1 0x00 00000fbe: MSTORE 00000fbf: PUSH1 0x20 00000fc1: PUSH1 0x00 00000fc3: KECCAK256 00000fc4: ADD 00000fc5: SLOAD 00000fc6: SWAP1 00000fc7: POP 00000fc8: DUP1 00000fc9: DUP8 00000fca: PUSH1 0x00 00000fcc: ADD 00000fcd: DUP5 00000fce: DUP2 00000fcf: SLOAD 00000fd0: DUP2 00000fd1: LT 00000fd2: PUSH2 0x0fdd 00000fd5: JUMPI 00000fd6: PUSH2 0x0fdd 00000fd9: PUSH2 0x1237 00000fdc: JUMP 00000fdd: JUMPDEST 00000fde: PUSH1 0x00 00000fe0: SWAP2 00000fe1: DUP3 00000fe2: MSTORE 00000fe3: PUSH1 0x20 00000fe5: DUP1 00000fe6: DUP4 00000fe7: KECCAK256 00000fe8: SWAP1 00000fe9: SWAP2 00000fea: ADD 00000feb: SWAP3 00000fec: SWAP1 00000fed: SWAP3 00000fee: SSTORE 00000fef: SWAP2 00000ff0: DUP3 00000ff1: MSTORE 00000ff2: PUSH1 0x01 00000ff4: DUP9 00000ff5: ADD 00000ff6: SWAP1 00000ff7: MSTORE 00000ff8: PUSH1 0x40 00000ffa: SWAP1 00000ffb: KECCAK256 00000ffc: DUP4 00000ffd: SWAP1 00000ffe: SSTORE 00000fff: JUMPDEST 00001000: DUP6 00001001: SLOAD 00001002: DUP7 00001003: SWAP1 00001004: DUP1 00001005: PUSH2 0x1010 00001008: JUMPI 00001009: PUSH2 0x1010 0000100c: PUSH2 0x142c 0000100f: JUMP 00001010: JUMPDEST 00001011: PUSH1 0x01 00001013: SWAP1 00001014: SUB 00001015: DUP2 00001016: DUP2 00001017: SWAP1 00001018: PUSH1 0x00 0000101a: MSTORE 0000101b: PUSH1 0x20 0000101d: PUSH1 0x00 0000101f: KECCAK256 00001020: ADD 00001021: PUSH1 0x00 00001023: SWAP1 00001024: SSTORE 00001025: SWAP1 00001026: SSTORE 00001027: DUP6 00001028: PUSH1 0x01 0000102a: ADD 0000102b: PUSH1 0x00 0000102d: DUP7 0000102e: DUP2 0000102f: MSTORE 00001030: PUSH1 0x20 00001032: ADD 00001033: SWAP1 00001034: DUP2 00001035: MSTORE 00001036: PUSH1 0x20 00001038: ADD 00001039: PUSH1 0x00 0000103b: KECCAK256 0000103c: PUSH1 0x00 0000103e: SWAP1 0000103f: SSTORE 00001040: PUSH1 0x01 00001042: SWAP4 00001043: POP 00001044: POP 00001045: POP 00001046: POP 00001047: PUSH2 0x045f 0000104a: JUMP 0000104b: JUMPDEST 0000104c: PUSH1 0x00 0000104e: SWAP2 0000104f: POP 00001050: POP 00001051: PUSH2 0x045f 00001054: JUMP 00001055: JUMPDEST 00001056: PUSH1 0x00 00001058: PUSH1 0x20 0000105a: DUP3 0000105b: DUP5 0000105c: SUB 0000105d: SLT 0000105e: ISZERO 0000105f: PUSH2 0x1067 00001062: JUMPI 00001063: PUSH1 0x00 00001065: DUP1 00001066: REVERT 00001067: JUMPDEST 00001068: DUP2 00001069: CALLDATALOAD 0000106a: PUSH1 0x01 0000106c: PUSH1 0x01 0000106e: PUSH1 0xe0 00001070: SHL 00001071: SUB 00001072: NOT 00001073: DUP2 00001074: AND 00001075: DUP2 00001076: EQ 00001077: PUSH2 0x05aa 0000107a: JUMPI 0000107b: PUSH1 0x00 0000107d: DUP1 0000107e: REVERT 0000107f: JUMPDEST 00001080: PUSH1 0x00 00001082: PUSH1 0x20 00001084: DUP3 00001085: DUP5 00001086: SUB 00001087: SLT 00001088: ISZERO 00001089: PUSH2 0x1091 0000108c: JUMPI 0000108d: PUSH1 0x00 0000108f: DUP1 00001090: REVERT 00001091: JUMPDEST 00001092: POP 00001093: CALLDATALOAD 00001094: SWAP2 00001095: SWAP1 00001096: POP 00001097: JUMP 00001098: JUMPDEST 00001099: PUSH1 0x01 0000109b: PUSH1 0x01 0000109d: PUSH1 0xa0 0000109f: SHL 000010a0: SUB 000010a1: DUP2 000010a2: AND 000010a3: DUP2 000010a4: EQ 000010a5: PUSH2 0x0abd 000010a8: JUMPI 000010a9: PUSH1 0x00 000010ab: DUP1 000010ac: REVERT 000010ad: JUMPDEST 000010ae: PUSH1 0x00 000010b0: DUP1 000010b1: PUSH1 0x40 000010b3: DUP4 000010b4: DUP6 000010b5: SUB 000010b6: SLT 000010b7: ISZERO 000010b8: PUSH2 0x10c0 000010bb: JUMPI 000010bc: PUSH1 0x00 000010be: DUP1 000010bf: REVERT 000010c0: JUMPDEST 000010c1: DUP3 000010c2: CALLDATALOAD 000010c3: SWAP2 000010c4: POP 000010c5: PUSH1 0x20 000010c7: DUP4 000010c8: ADD 000010c9: CALLDATALOAD 000010ca: PUSH2 0x10d2 000010cd: DUP2 000010ce: PUSH2 0x1098 000010d1: JUMP 000010d2: JUMPDEST 000010d3: DUP1 000010d4: SWAP2 000010d5: POP 000010d6: POP 000010d7: SWAP3 000010d8: POP 000010d9: SWAP3 000010da: SWAP1 000010db: POP 000010dc: JUMP 000010dd: JUMPDEST 000010de: PUSH1 0x00 000010e0: DUP1 000010e1: PUSH1 0x40 000010e3: DUP4 000010e4: DUP6 000010e5: SUB 000010e6: SLT 000010e7: ISZERO 000010e8: PUSH2 0x10f0 000010eb: JUMPI 000010ec: PUSH1 0x00 000010ee: DUP1 000010ef: REVERT 000010f0: JUMPDEST 000010f1: POP 000010f2: POP 000010f3: DUP1 000010f4: CALLDATALOAD 000010f5: SWAP3 000010f6: PUSH1 0x20 000010f8: SWAP1 000010f9: SWAP2 000010fa: ADD 000010fb: CALLDATALOAD 000010fc: SWAP2 000010fd: POP 000010fe: JUMP 000010ff: JUMPDEST 00001100: PUSH1 0x00 00001102: PUSH1 0x20 00001104: DUP3 00001105: DUP5 00001106: SUB 00001107: SLT 00001108: ISZERO 00001109: PUSH2 0x1111 0000110c: JUMPI 0000110d: PUSH1 0x00 0000110f: DUP1 00001110: REVERT 00001111: JUMPDEST 00001112: DUP2 00001113: CALLDATALOAD 00001114: PUSH1 0xff 00001116: DUP2 00001117: AND 00001118: DUP2 00001119: EQ 0000111a: PUSH2 0x05aa 0000111d: JUMPI 0000111e: PUSH1 0x00 00001120: DUP1 00001121: REVERT 00001122: JUMPDEST 00001123: PUSH1 0x00 00001125: DUP1 00001126: DUP4 00001127: PUSH1 0x1f 00001129: DUP5 0000112a: ADD 0000112b: SLT 0000112c: PUSH2 0x1134 0000112f: JUMPI 00001130: PUSH1 0x00 00001132: DUP1 00001133: REVERT 00001134: JUMPDEST 00001135: POP 00001136: DUP2 00001137: CALLDATALOAD 00001138: PUSH8 0xffffffffffffffff 00001141: DUP2 00001142: GT 00001143: ISZERO 00001144: PUSH2 0x114c 00001147: JUMPI 00001148: PUSH1 0x00 0000114a: DUP1 0000114b: REVERT 0000114c: JUMPDEST 0000114d: PUSH1 0x20 0000114f: DUP4 00001150: ADD 00001151: SWAP2 00001152: POP 00001153: DUP4 00001154: PUSH1 0x20 00001156: DUP3 00001157: PUSH1 0x06 00001159: SHL 0000115a: DUP6 0000115b: ADD 0000115c: ADD 0000115d: GT 0000115e: ISZERO 0000115f: PUSH2 0x1167 00001162: JUMPI 00001163: PUSH1 0x00 00001165: DUP1 00001166: REVERT 00001167: JUMPDEST 00001168: SWAP3 00001169: POP 0000116a: SWAP3 0000116b: SWAP1 0000116c: POP 0000116d: JUMP 0000116e: JUMPDEST 0000116f: PUSH1 0x00 00001171: DUP1 00001172: PUSH1 0x20 00001174: DUP4 00001175: DUP6 00001176: SUB 00001177: SLT 00001178: ISZERO 00001179: PUSH2 0x1181 0000117c: JUMPI 0000117d: PUSH1 0x00 0000117f: DUP1 00001180: REVERT 00001181: JUMPDEST 00001182: DUP3 00001183: CALLDATALOAD 00001184: PUSH8 0xffffffffffffffff 0000118d: DUP2 0000118e: GT 0000118f: ISZERO 00001190: PUSH2 0x1198 00001193: JUMPI 00001194: PUSH1 0x00 00001196: DUP1 00001197: REVERT 00001198: JUMPDEST 00001199: PUSH2 0x11a4 0000119c: DUP6 0000119d: DUP3 0000119e: DUP7 0000119f: ADD 000011a0: PUSH2 0x1122 000011a3: JUMP 000011a4: JUMPDEST 000011a5: SWAP1 000011a6: SWAP7 000011a7: SWAP1 000011a8: SWAP6 000011a9: POP 000011aa: SWAP4 000011ab: POP 000011ac: POP 000011ad: POP 000011ae: POP 000011af: JUMP 000011b0: JUMPDEST 000011b1: PUSH1 0x00 000011b3: DUP1 000011b4: PUSH1 0x00 000011b6: DUP1 000011b7: PUSH1 0x80 000011b9: DUP6 000011ba: DUP8 000011bb: SUB 000011bc: SLT 000011bd: ISZERO 000011be: PUSH2 0x11c6 000011c1: JUMPI 000011c2: PUSH1 0x00 000011c4: DUP1 000011c5: REVERT 000011c6: JUMPDEST 000011c7: POP 000011c8: POP 000011c9: DUP3 000011ca: CALLDATALOAD 000011cb: SWAP5 000011cc: PUSH1 0x20 000011ce: DUP5 000011cf: ADD 000011d0: CALLDATALOAD 000011d1: SWAP5 000011d2: POP 000011d3: PUSH1 0x40 000011d5: DUP5 000011d6: ADD 000011d7: CALLDATALOAD 000011d8: SWAP4 000011d9: PUSH1 0x60 000011db: ADD 000011dc: CALLDATALOAD 000011dd: SWAP3 000011de: POP 000011df: SWAP1 000011e0: POP 000011e1: JUMP 000011e2: JUMPDEST 000011e3: PUSH1 0x00 000011e5: DUP1 000011e6: PUSH1 0x00 000011e8: PUSH1 0x40 000011ea: DUP5 000011eb: DUP7 000011ec: SUB 000011ed: SLT 000011ee: ISZERO 000011ef: PUSH2 0x11f7 000011f2: JUMPI 000011f3: PUSH1 0x00 000011f5: DUP1 000011f6: REVERT 000011f7: JUMPDEST 000011f8: DUP4 000011f9: CALLDATALOAD 000011fa: PUSH2 0x1202 000011fd: DUP2 000011fe: PUSH2 0x1098 00001201: JUMP 00001202: JUMPDEST 00001203: SWAP3 00001204: POP 00001205: PUSH1 0x20 00001207: DUP5 00001208: ADD 00001209: CALLDATALOAD 0000120a: PUSH8 0xffffffffffffffff 00001213: DUP2 00001214: GT 00001215: ISZERO 00001216: PUSH2 0x121e 00001219: JUMPI 0000121a: PUSH1 0x00 0000121c: DUP1 0000121d: REVERT 0000121e: JUMPDEST 0000121f: PUSH2 0x122a 00001222: DUP7 00001223: DUP3 00001224: DUP8 00001225: ADD 00001226: PUSH2 0x1122 00001229: JUMP 0000122a: JUMPDEST 0000122b: SWAP5 0000122c: SWAP8 0000122d: SWAP1 0000122e: SWAP7 0000122f: POP 00001230: SWAP4 00001231: SWAP5 00001232: POP 00001233: POP 00001234: POP 00001235: POP 00001236: JUMP 00001237: JUMPDEST 00001238: PUSH4 0x4e487b71 0000123d: PUSH1 0xe0 0000123f: SHL 00001240: PUSH1 0x00 00001242: MSTORE 00001243: PUSH1 0x32 00001245: PUSH1 0x04 00001247: MSTORE 00001248: PUSH1 0x24 0000124a: PUSH1 0x00 0000124c: REVERT 0000124d: JUMPDEST 0000124e: PUSH1 0x00 00001250: PUSH1 0x20 00001252: DUP3 00001253: DUP5 00001254: SUB 00001255: SLT 00001256: ISZERO 00001257: PUSH2 0x125f 0000125a: JUMPI 0000125b: PUSH1 0x00 0000125d: DUP1 0000125e: REVERT 0000125f: JUMPDEST 00001260: DUP2 00001261: CALLDATALOAD 00001262: PUSH2 0x05aa 00001265: DUP2 00001266: PUSH2 0x1098 00001269: JUMP 0000126a: JUMPDEST 0000126b: PUSH4 0x4e487b71 00001270: PUSH1 0xe0 00001272: SHL 00001273: PUSH1 0x00 00001275: MSTORE 00001276: PUSH1 0x11 00001278: PUSH1 0x04 0000127a: MSTORE 0000127b: PUSH1 0x24 0000127d: PUSH1 0x00 0000127f: REVERT 00001280: JUMPDEST 00001281: PUSH1 0x00 00001283: PUSH1 0x01 00001285: DUP3 00001286: ADD 00001287: PUSH2 0x1292 0000128a: JUMPI 0000128b: PUSH2 0x1292 0000128e: PUSH2 0x126a 00001291: JUMP 00001292: JUMPDEST 00001293: POP 00001294: PUSH1 0x01 00001296: ADD 00001297: SWAP1 00001298: JUMP 00001299: JUMPDEST 0000129a: PUSH1 0x00 0000129c: DUP2 0000129d: PUSH1 0x00 0000129f: NOT 000012a0: DIV 000012a1: DUP4 000012a2: GT 000012a3: DUP3 000012a4: ISZERO 000012a5: ISZERO 000012a6: AND 000012a7: ISZERO 000012a8: PUSH2 0x12b3 000012ab: JUMPI 000012ac: PUSH2 0x12b3 000012af: PUSH2 0x126a 000012b2: JUMP 000012b3: JUMPDEST 000012b4: POP 000012b5: MUL 000012b6: SWAP1 000012b7: JUMP 000012b8: JUMPDEST 000012b9: PUSH1 0x00 000012bb: DUP3 000012bc: PUSH2 0x12d5 000012bf: JUMPI 000012c0: PUSH4 0x4e487b71 000012c5: PUSH1 0xe0 000012c7: SHL 000012c8: PUSH1 0x00 000012ca: MSTORE 000012cb: PUSH1 0x12 000012cd: PUSH1 0x04 000012cf: MSTORE 000012d0: PUSH1 0x24 000012d2: PUSH1 0x00 000012d4: REVERT 000012d5: JUMPDEST 000012d6: POP 000012d7: DIV 000012d8: SWAP1 000012d9: JUMP 000012da: JUMPDEST 000012db: PUSH1 0x00 000012dd: PUSH1 0x20 000012df: DUP3 000012e0: DUP5 000012e1: SUB 000012e2: SLT 000012e3: ISZERO 000012e4: PUSH2 0x12ec 000012e7: JUMPI 000012e8: PUSH1 0x00 000012ea: DUP1 000012eb: REVERT 000012ec: JUMPDEST 000012ed: DUP2 000012ee: MLOAD 000012ef: DUP1 000012f0: ISZERO 000012f1: ISZERO 000012f2: DUP2 000012f3: EQ 000012f4: PUSH2 0x05aa 000012f7: JUMPI 000012f8: PUSH1 0x00 000012fa: DUP1 000012fb: REVERT 000012fc: JUMPDEST 000012fd: PUSH1 0x00 000012ff: JUMPDEST 00001300: DUP4 00001301: DUP2 00001302: LT 00001303: ISZERO 00001304: PUSH2 0x1317 00001307: JUMPI 00001308: DUP2 00001309: DUP2 0000130a: ADD 0000130b: MLOAD 0000130c: DUP4 0000130d: DUP3 0000130e: ADD 0000130f: MSTORE 00001310: PUSH1 0x20 00001312: ADD 00001313: PUSH2 0x12ff 00001316: JUMP 00001317: JUMPDEST 00001318: DUP4 00001319: DUP2 0000131a: GT 0000131b: ISZERO 0000131c: PUSH2 0x09ef 0000131f: JUMPI 00001320: POP 00001321: POP 00001322: PUSH1 0x00 00001324: SWAP2 00001325: ADD 00001326: MSTORE 00001327: JUMP 00001328: JUMPDEST 00001329: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 0000134a: DUP2 0000134b: MSTORE 0000134c: PUSH1 0x00 0000134e: DUP4 0000134f: MLOAD 00001350: PUSH2 0x1360 00001353: DUP2 00001354: PUSH1 0x17 00001356: DUP6 00001357: ADD 00001358: PUSH1 0x20 0000135a: DUP9 0000135b: ADD 0000135c: PUSH2 0x12fc 0000135f: JUMP 00001360: JUMPDEST 00001361: PUSH17 0x01034b99036b4b9b9b4b733903937b6329 00001373: PUSH1 0x7d 00001375: SHL 00001376: PUSH1 0x17 00001378: SWAP2 00001379: DUP5 0000137a: ADD 0000137b: SWAP2 0000137c: DUP3 0000137d: ADD 0000137e: MSTORE 0000137f: DUP4 00001380: MLOAD 00001381: PUSH2 0x1391 00001384: DUP2 00001385: PUSH1 0x28 00001387: DUP5 00001388: ADD 00001389: PUSH1 0x20 0000138b: DUP9 0000138c: ADD 0000138d: PUSH2 0x12fc 00001390: JUMP 00001391: JUMPDEST 00001392: ADD 00001393: PUSH1 0x28 00001395: ADD 00001396: SWAP5 00001397: SWAP4 00001398: POP 00001399: POP 0000139a: POP 0000139b: POP 0000139c: JUMP 0000139d: JUMPDEST 0000139e: PUSH1 0x20 000013a0: DUP2 000013a1: MSTORE 000013a2: PUSH1 0x00 000013a4: DUP3 000013a5: MLOAD 000013a6: DUP1 000013a7: PUSH1 0x20 000013a9: DUP5 000013aa: ADD 000013ab: MSTORE 000013ac: PUSH2 0x13bc 000013af: DUP2 000013b0: PUSH1 0x40 000013b2: DUP6 000013b3: ADD 000013b4: PUSH1 0x20 000013b6: DUP8 000013b7: ADD 000013b8: PUSH2 0x12fc 000013bb: JUMP 000013bc: JUMPDEST 000013bd: PUSH1 0x1f 000013bf: ADD 000013c0: PUSH1 0x1f 000013c2: NOT 000013c3: AND 000013c4: SWAP2 000013c5: SWAP1 000013c6: SWAP2 000013c7: ADD 000013c8: PUSH1 0x40 000013ca: ADD 000013cb: SWAP3 000013cc: SWAP2 000013cd: POP 000013ce: POP 000013cf: JUMP 000013d0: JUMPDEST 000013d1: PUSH1 0x00 000013d3: DUP3 000013d4: NOT 000013d5: DUP3 000013d6: GT 000013d7: ISZERO 000013d8: PUSH2 0x13e3 000013db: JUMPI 000013dc: PUSH2 0x13e3 000013df: PUSH2 0x126a 000013e2: JUMP 000013e3: JUMPDEST 000013e4: POP 000013e5: ADD 000013e6: SWAP1 000013e7: JUMP 000013e8: JUMPDEST 000013e9: PUSH4 0x4e487b71 000013ee: PUSH1 0xe0 000013f0: SHL 000013f1: PUSH1 0x00 000013f3: MSTORE 000013f4: PUSH1 0x41 000013f6: PUSH1 0x04 000013f8: MSTORE 000013f9: PUSH1 0x24 000013fb: PUSH1 0x00 000013fd: REVERT 000013fe: JUMPDEST 000013ff: PUSH1 0x00 00001401: DUP2 00001402: PUSH2 0x140d 00001405: JUMPI 00001406: PUSH2 0x140d 00001409: PUSH2 0x126a 0000140c: JUMP 0000140d: JUMPDEST 0000140e: POP 0000140f: PUSH1 0x00 00001411: NOT 00001412: ADD 00001413: SWAP1 00001414: JUMP 00001415: JUMPDEST 00001416: PUSH1 0x00 00001418: DUP3 00001419: DUP3 0000141a: LT 0000141b: ISZERO 0000141c: PUSH2 0x1427 0000141f: JUMPI 00001420: PUSH2 0x1427 00001423: PUSH2 0x126a 00001426: JUMP 00001427: JUMPDEST 00001428: POP 00001429: SUB 0000142a: SWAP1 0000142b: JUMP 0000142c: JUMPDEST 0000142d: PUSH4 0x4e487b71 00001432: PUSH1 0xe0 00001434: SHL 00001435: PUSH1 0x00 00001437: MSTORE 00001438: PUSH1 0x31 0000143a: PUSH1 0x04 0000143c: MSTORE 0000143d: PUSH1 0x24 0000143f: PUSH1 0x00 00001441: REVERT 00001442: INVALID 00001443: DUP9 00001444: BLOBHASH 00001445: CALLDATASIZE 00001446: SWAP7 00001447: SWAP10 00001448: SSTORE 00001449: UNKNOWN(0xAE) 0000144a: UNKNOWN(0xD5) 0000144b: UNKNOWN(0xD5) 0000144c: CALLVALUE 0000144d: SWAP16 0000144e: SLT 0000144f: SWAP4 00001450: UNKNOWN(0xCC) 00001451: UNKNOWN(0xEA) 00001452: UNKNOWN(0x4B) 00001453: UNKNOWN(0xC1) 00001454: INVALID 00001455: SWAP3 00001456: UNKNOWN(0x2E) 00001457: GAS 00001458: EXTCODECOPY 00001459: CALLDATALOAD 0000145a: PUSH3 0xd74bb2 0000145e: DUP7 0000145f: PUSH14 0x1e9ccea264697066735822122071 0000146e: UNKNOWN(0xA8) 0000146f: SWAP10 00001470: UNKNOWN(0xE7) 00001471: PUSH12 0x1acd4ab41b773a238efaa0fe 0000147e: BASEFEE 0000147f: PUSH9 0xd737b589f0cf141bb9 00001489: UNKNOWN(0xB2) 0000148a: PUSH18
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe1a7741128812cc3c775df382187f30ac5fa51a8ae301954df22b5058a0b7f89
call_targets:
0x099702990a705d25ee427e46d63da3002913c3e1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe1a7741128812cc3c775df382187f30ac5fa51a8ae301954df22b5058a0b7f89",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x099702990a705d25ee427e46d63da3002913c3e1"
],
"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": "0xb9d26adc",
"selector": "0xb9d26adc",
"calldata_variants": [
"0xb9d26adc",
"0xb9d26adc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd73792a9",
"selector": "0xd73792a9",
"calldata_variants": [
"0xd73792a9",
"0xd73792a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeecad0bc",
"selector": "0xeecad0bc",
"calldata_variants": [
"0xeecad0bc",
"0xeecad0bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94cc032b",
"selector": "0x94cc032b",
"calldata_variants": [
"0x94cc032b",
"0x94cc032b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x97713592",
"selector": "0x97713592",
"calldata_variants": [
"0x97713592",
"0x977135920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f6a3ddd",
"selector": "0x9f6a3ddd",
"calldata_variants": [
"0x9f6a3ddd",
"0x9f6a3ddd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2330,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2941,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe1a7741128812cc3c775df382187f30ac5fa51a8ae301954df22b5058a0b7f89
call_targets:
0x099702990a705d25ee427e46d63da3002913c3e1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe1a7741128812cc3c775df382187f30ac5fa51a8ae301954df22b5058a0b7f89",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x099702990a705d25ee427e46d63da3002913c3e1"
],
"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": "0xb9d26adc",
"selector": "0xb9d26adc",
"calldata_variants": [
"0xb9d26adc",
"0xb9d26adc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd73792a9",
"selector": "0xd73792a9",
"calldata_variants": [
"0xd73792a9",
"0xd73792a90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeecad0bc",
"selector": "0xeecad0bc",
"calldata_variants": [
"0xeecad0bc",
"0xeecad0bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x94cc032b",
"selector": "0x94cc032b",
"calldata_variants": [
"0x94cc032b",
"0x94cc032b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x97713592",
"selector": "0x97713592",
"calldata_variants": [
"0x97713592",
"0x977135920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9f6a3ddd",
"selector": "0x9f6a3ddd",
"calldata_variants": [
"0x9f6a3ddd",
"0x9f6a3ddd0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2330,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2941,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|