019b477e-ca24-711e-b129-a99329dabb3a
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 |
|---|---|---|---|---|
| 26457 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26458 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69666 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69667 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69668 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69669 | 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 0x00ec 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6e8790e6 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xce7c2ac2 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xce7c2ac2 0000002f: EQ 00000030: PUSH2 0x02e8 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcfe83070 0000003a: EQ 0000003b: PUSH2 0x0308 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd79779b2 00000045: EQ 00000046: PUSH2 0x034b 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe33b7de3 00000050: EQ 00000051: PUSH2 0x0381 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x6e8790e6 00000060: EQ 00000061: PUSH2 0x025b 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x7d237eac 0000006b: EQ 0000006c: PUSH2 0x027b 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8b83209b 00000076: EQ 00000077: PUSH2 0x029b 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa94d373b 00000081: EQ 00000082: PUSH2 0x02bb 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x37bdc99b 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x37bdc99b 0000009c: EQ 0000009d: PUSH2 0x01af 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x3db9f02a 000000a7: EQ 000000a8: PUSH2 0x01cf 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x6582f4fa 000000b2: EQ 000000b3: PUSH2 0x01ef 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x697b2365 000000bd: EQ 000000be: PUSH2 0x020f 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x0357371d 000000cd: EQ 000000ce: PUSH2 0x013a 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x1908fc5a 000000d8: EQ 000000d9: PUSH2 0x015c 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x1e1ee128 000000e3: EQ 000000e4: PUSH2 0x018f 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: CALLDATASIZE 000000ee: PUSH2 0x0135 000000f1: JUMPI 000000f2: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 00000113: CALLER 00000114: PUSH1 0x40 00000116: DUP1 00000117: MLOAD 00000118: PUSH1 0x01 0000011a: PUSH1 0x01 0000011c: PUSH1 0xa0 0000011e: SHL 0000011f: SUB 00000120: SWAP1 00000121: SWAP3 00000122: AND 00000123: DUP3 00000124: MSTORE 00000125: CALLVALUE 00000126: PUSH1 0x20 00000128: DUP4 00000129: ADD 0000012a: MSTORE 0000012b: ADD 0000012c: PUSH1 0x40 0000012e: MLOAD 0000012f: DUP1 00000130: SWAP2 00000131: SUB 00000132: SWAP1 00000133: LOG1 00000134: STOP 00000135: JUMPDEST 00000136: PUSH1 0x00 00000138: DUP1 00000139: REVERT 0000013a: JUMPDEST 0000013b: CALLVALUE 0000013c: DUP1 0000013d: ISZERO 0000013e: PUSH2 0x0146 00000141: JUMPI 00000142: PUSH1 0x00 00000144: DUP1 00000145: REVERT 00000146: JUMPDEST 00000147: POP 00000148: PUSH2 0x015a 0000014b: PUSH2 0x0155 0000014e: CALLDATASIZE 0000014f: PUSH1 0x04 00000151: PUSH2 0x1121 00000154: JUMP 00000155: JUMPDEST 00000156: PUSH2 0x0396 00000159: JUMP 0000015a: JUMPDEST 0000015b: STOP 0000015c: JUMPDEST 0000015d: CALLVALUE 0000015e: DUP1 0000015f: ISZERO 00000160: PUSH2 0x0168 00000163: JUMPI 00000164: PUSH1 0x00 00000166: DUP1 00000167: REVERT 00000168: JUMPDEST 00000169: POP 0000016a: PUSH2 0x017c 0000016d: PUSH2 0x0177 00000170: CALLDATASIZE 00000171: PUSH1 0x04 00000173: PUSH2 0x11f3 00000176: JUMP 00000177: JUMPDEST 00000178: PUSH2 0x04eb 0000017b: JUMP 0000017c: JUMPDEST 0000017d: PUSH1 0x40 0000017f: MLOAD 00000180: SWAP1 00000181: DUP2 00000182: MSTORE 00000183: PUSH1 0x20 00000185: ADD 00000186: JUMPDEST 00000187: PUSH1 0x40 00000189: MLOAD 0000018a: DUP1 0000018b: SWAP2 0000018c: SUB 0000018d: SWAP1 0000018e: RETURN 0000018f: JUMPDEST 00000190: CALLVALUE 00000191: DUP1 00000192: ISZERO 00000193: PUSH2 0x019b 00000196: JUMPI 00000197: PUSH1 0x00 00000199: DUP1 0000019a: REVERT 0000019b: JUMPDEST 0000019c: POP 0000019d: PUSH2 0x015a 000001a0: PUSH2 0x01aa 000001a3: CALLDATASIZE 000001a4: PUSH1 0x04 000001a6: PUSH2 0x1243 000001a9: JUMP 000001aa: JUMPDEST 000001ab: PUSH2 0x0540 000001ae: JUMP 000001af: JUMPDEST 000001b0: CALLVALUE 000001b1: DUP1 000001b2: ISZERO 000001b3: PUSH2 0x01bb 000001b6: JUMPI 000001b7: PUSH1 0x00 000001b9: DUP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: POP 000001bd: PUSH2 0x015a 000001c0: PUSH2 0x01ca 000001c3: CALLDATASIZE 000001c4: PUSH1 0x04 000001c6: PUSH2 0x1278 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH2 0x0724 000001ce: JUMP 000001cf: JUMPDEST 000001d0: CALLVALUE 000001d1: DUP1 000001d2: ISZERO 000001d3: PUSH2 0x01db 000001d6: JUMPI 000001d7: PUSH1 0x00 000001d9: DUP1 000001da: REVERT 000001db: JUMPDEST 000001dc: POP 000001dd: PUSH2 0x017c 000001e0: PUSH2 0x01ea 000001e3: CALLDATASIZE 000001e4: PUSH1 0x04 000001e6: PUSH2 0x1243 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH2 0x0840 000001ee: JUMP 000001ef: JUMPDEST 000001f0: CALLVALUE 000001f1: DUP1 000001f2: ISZERO 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: POP 000001fd: PUSH2 0x017c 00000200: PUSH2 0x020a 00000203: CALLDATASIZE 00000204: PUSH1 0x04 00000206: PUSH2 0x1278 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH2 0x0886 0000020e: JUMP 0000020f: JUMPDEST 00000210: CALLVALUE 00000211: DUP1 00000212: ISZERO 00000213: PUSH2 0x021b 00000216: JUMPI 00000217: PUSH1 0x00 00000219: DUP1 0000021a: REVERT 0000021b: JUMPDEST 0000021c: POP 0000021d: PUSH2 0x0243 00000220: PUSH32 0x0000000000000000000000001a371de4634c3debf7196a1efc59e620aff0915f 00000241: DUP2 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 0x0186 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 0x017c 0000026c: PUSH2 0x0276 0000026f: CALLDATASIZE 00000270: PUSH1 0x04 00000272: PUSH2 0x1121 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH2 0x08b8 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 0x015a 0000028c: PUSH2 0x0296 0000028f: CALLDATASIZE 00000290: PUSH1 0x04 00000292: PUSH2 0x11f3 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH2 0x0986 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 0x0243 000002ac: PUSH2 0x02b6 000002af: CALLDATASIZE 000002b0: PUSH1 0x04 000002b2: PUSH2 0x1278 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH2 0x0bbf 000002ba: JUMP 000002bb: JUMPDEST 000002bc: CALLVALUE 000002bd: DUP1 000002be: ISZERO 000002bf: PUSH2 0x02c7 000002c2: JUMPI 000002c3: PUSH1 0x00 000002c5: DUP1 000002c6: REVERT 000002c7: JUMPDEST 000002c8: POP 000002c9: PUSH2 0x017c 000002cc: PUSH2 0x02d6 000002cf: CALLDATASIZE 000002d0: PUSH1 0x04 000002d2: PUSH2 0x1278 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH1 0x00 000002d9: SWAP1 000002da: DUP2 000002db: MSTORE 000002dc: PUSH1 0x02 000002de: PUSH1 0x20 000002e0: MSTORE 000002e1: PUSH1 0x40 000002e3: SWAP1 000002e4: KECCAK256 000002e5: SLOAD 000002e6: SWAP1 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 0x017c 000002f9: PUSH2 0x0303 000002fc: CALLDATASIZE 000002fd: PUSH1 0x04 000002ff: PUSH2 0x1291 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH2 0x0c5a 00000307: JUMP 00000308: JUMPDEST 00000309: CALLVALUE 0000030a: DUP1 0000030b: ISZERO 0000030c: PUSH2 0x0314 0000030f: JUMPI 00000310: PUSH1 0x00 00000312: DUP1 00000313: REVERT 00000314: JUMPDEST 00000315: POP 00000316: PUSH2 0x017c 00000319: PUSH2 0x0323 0000031c: CALLDATASIZE 0000031d: PUSH1 0x04 0000031f: PUSH2 0x1121 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH1 0x01 00000326: PUSH1 0x01 00000328: PUSH1 0xa0 0000032a: SHL 0000032b: SUB 0000032c: SWAP2 0000032d: SWAP1 0000032e: SWAP2 0000032f: AND 00000330: PUSH1 0x00 00000332: SWAP1 00000333: DUP2 00000334: MSTORE 00000335: PUSH1 0x04 00000337: PUSH1 0x20 00000339: SWAP1 0000033a: DUP2 0000033b: MSTORE 0000033c: PUSH1 0x40 0000033e: DUP1 0000033f: DUP4 00000340: KECCAK256 00000341: SWAP4 00000342: DUP4 00000343: MSTORE 00000344: SWAP3 00000345: SWAP1 00000346: MSTORE 00000347: KECCAK256 00000348: SLOAD 00000349: SWAP1 0000034a: JUMP 0000034b: JUMPDEST 0000034c: CALLVALUE 0000034d: DUP1 0000034e: ISZERO 0000034f: PUSH2 0x0357 00000352: JUMPI 00000353: PUSH1 0x00 00000355: DUP1 00000356: REVERT 00000357: JUMPDEST 00000358: POP 00000359: PUSH2 0x017c 0000035c: PUSH2 0x0366 0000035f: CALLDATASIZE 00000360: PUSH1 0x04 00000362: PUSH2 0x1291 00000365: JUMP 00000366: JUMPDEST 00000367: PUSH1 0x01 00000369: PUSH1 0x01 0000036b: PUSH1 0xa0 0000036d: SHL 0000036e: SUB 0000036f: AND 00000370: PUSH1 0x00 00000372: SWAP1 00000373: DUP2 00000374: MSTORE 00000375: PUSH1 0x03 00000377: PUSH1 0x20 00000379: MSTORE 0000037a: PUSH1 0x40 0000037c: SWAP1 0000037d: KECCAK256 0000037e: SLOAD 0000037f: SWAP1 00000380: JUMP 00000381: JUMPDEST 00000382: CALLVALUE 00000383: DUP1 00000384: ISZERO 00000385: PUSH2 0x038d 00000388: JUMPI 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: POP 0000038f: PUSH1 0x01 00000391: SLOAD 00000392: PUSH2 0x017c 00000395: JUMP 00000396: JUMPDEST 00000397: PUSH1 0x02 00000399: PUSH1 0x00 0000039b: SLOAD 0000039c: EQ 0000039d: ISZERO 0000039e: PUSH2 0x03c2 000003a1: JUMPI 000003a2: PUSH1 0x40 000003a4: MLOAD 000003a5: PUSH3 0x461bcd 000003a9: PUSH1 0xe5 000003ab: SHL 000003ac: DUP2 000003ad: MSTORE 000003ae: PUSH1 0x04 000003b0: ADD 000003b1: PUSH2 0x03b9 000003b4: SWAP1 000003b5: PUSH2 0x12ae 000003b8: JUMP 000003b9: JUMPDEST 000003ba: PUSH1 0x40 000003bc: MLOAD 000003bd: DUP1 000003be: SWAP2 000003bf: SUB 000003c0: SWAP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: PUSH1 0x02 000003c5: PUSH1 0x00 000003c7: SWAP1 000003c8: DUP2 000003c9: SSTORE 000003ca: PUSH2 0x03d2 000003cd: DUP3 000003ce: PUSH2 0x0bbf 000003d1: JUMP 000003d2: JUMPDEST 000003d3: SWAP1 000003d4: POP 000003d5: PUSH1 0x01 000003d7: PUSH1 0x01 000003d9: PUSH1 0xa0 000003db: SHL 000003dc: SUB 000003dd: DUP2 000003de: AND 000003df: CALLER 000003e0: EQ 000003e1: PUSH2 0x03fd 000003e4: JUMPI 000003e5: PUSH1 0x40 000003e7: MLOAD 000003e8: PUSH4 0x574b16a7 000003ed: PUSH1 0xe1 000003ef: SHL 000003f0: DUP2 000003f1: MSTORE 000003f2: PUSH1 0x04 000003f4: ADD 000003f5: PUSH1 0x40 000003f7: MLOAD 000003f8: DUP1 000003f9: SWAP2 000003fa: SUB 000003fb: SWAP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: PUSH1 0x00 00000400: PUSH2 0x0409 00000403: DUP5 00000404: DUP5 00000405: PUSH2 0x08b8 00000408: JUMP 00000409: JUMPDEST 0000040a: SWAP1 0000040b: POP 0000040c: DUP1 0000040d: PUSH2 0x0429 00000410: JUMPI 00000411: PUSH1 0x40 00000413: MLOAD 00000414: PUSH4 0x574b16a7 00000419: PUSH1 0xe1 0000041b: SHL 0000041c: DUP2 0000041d: MSTORE 0000041e: PUSH1 0x04 00000420: ADD 00000421: PUSH1 0x40 00000423: MLOAD 00000424: DUP1 00000425: SWAP2 00000426: SUB 00000427: SWAP1 00000428: REVERT 00000429: JUMPDEST 0000042a: PUSH1 0x01 0000042c: PUSH1 0x01 0000042e: PUSH1 0xa0 00000430: SHL 00000431: SUB 00000432: DUP5 00000433: AND 00000434: PUSH1 0x00 00000436: SWAP1 00000437: DUP2 00000438: MSTORE 00000439: PUSH1 0x04 0000043b: PUSH1 0x20 0000043d: SWAP1 0000043e: DUP2 0000043f: MSTORE 00000440: PUSH1 0x40 00000442: DUP1 00000443: DUP4 00000444: KECCAK256 00000445: DUP7 00000446: DUP5 00000447: MSTORE 00000448: SWAP1 00000449: SWAP2 0000044a: MSTORE 0000044b: DUP2 0000044c: KECCAK256 0000044d: DUP1 0000044e: SLOAD 0000044f: DUP4 00000450: SWAP3 00000451: SWAP1 00000452: PUSH2 0x045c 00000455: SWAP1 00000456: DUP5 00000457: SWAP1 00000458: PUSH2 0x12fb 0000045b: JUMP 0000045c: JUMPDEST 0000045d: SWAP1 0000045e: SWAP2 0000045f: SSTORE 00000460: POP 00000461: POP 00000462: PUSH1 0x01 00000464: PUSH1 0x01 00000466: PUSH1 0xa0 00000468: SHL 00000469: SUB 0000046a: DUP5 0000046b: AND 0000046c: PUSH1 0x00 0000046e: SWAP1 0000046f: DUP2 00000470: MSTORE 00000471: PUSH1 0x03 00000473: PUSH1 0x20 00000475: MSTORE 00000476: PUSH1 0x40 00000478: DUP2 00000479: KECCAK256 0000047a: DUP1 0000047b: SLOAD 0000047c: DUP4 0000047d: SWAP3 0000047e: SWAP1 0000047f: PUSH2 0x0489 00000482: SWAP1 00000483: DUP5 00000484: SWAP1 00000485: PUSH2 0x12fb 00000488: JUMP 00000489: JUMPDEST 0000048a: SWAP1 0000048b: SWAP2 0000048c: SSTORE 0000048d: POP 0000048e: PUSH2 0x049a 00000491: SWAP1 00000492: POP 00000493: DUP5 00000494: DUP4 00000495: DUP4 00000496: PUSH2 0x0cf8 00000499: JUMP 0000049a: JUMPDEST 0000049b: PUSH1 0x40 0000049d: DUP1 0000049e: MLOAD 0000049f: PUSH1 0x01 000004a1: PUSH1 0x01 000004a3: PUSH1 0xa0 000004a5: SHL 000004a6: SUB 000004a7: DUP5 000004a8: DUP2 000004a9: AND 000004aa: DUP3 000004ab: MSTORE 000004ac: PUSH1 0x20 000004ae: DUP3 000004af: ADD 000004b0: DUP5 000004b1: SWAP1 000004b2: MSTORE 000004b3: DUP7 000004b4: AND 000004b5: SWAP2 000004b6: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 000004d7: SWAP2 000004d8: ADD 000004d9: PUSH1 0x40 000004db: MLOAD 000004dc: DUP1 000004dd: SWAP2 000004de: SUB 000004df: SWAP1 000004e0: LOG2 000004e1: POP 000004e2: POP 000004e3: PUSH1 0x01 000004e5: PUSH1 0x00 000004e7: SSTORE 000004e8: POP 000004e9: POP 000004ea: JUMP 000004eb: JUMPDEST 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: JUMPDEST 000004f0: DUP3 000004f1: MLOAD 000004f2: DUP2 000004f3: LT 000004f4: ISZERO 000004f5: PUSH2 0x0539 000004f8: JUMPI 000004f9: PUSH2 0x051b 000004fc: DUP5 000004fd: DUP5 000004fe: DUP4 000004ff: DUP2 00000500: MLOAD 00000501: DUP2 00000502: LT 00000503: PUSH2 0x050e 00000506: JUMPI 00000507: PUSH2 0x050e 0000050a: PUSH2 0x1313 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH1 0x20 00000511: MUL 00000512: PUSH1 0x20 00000514: ADD 00000515: ADD 00000516: MLOAD 00000517: PUSH2 0x08b8 0000051a: JUMP 0000051b: JUMPDEST 0000051c: PUSH2 0x0525 0000051f: SWAP1 00000520: DUP4 00000521: PUSH2 0x12fb 00000524: JUMP 00000525: JUMPDEST 00000526: SWAP2 00000527: POP 00000528: DUP1 00000529: PUSH2 0x0531 0000052c: DUP2 0000052d: PUSH2 0x1329 00000530: JUMP 00000531: JUMPDEST 00000532: SWAP2 00000533: POP 00000534: POP 00000535: PUSH2 0x04ef 00000538: JUMP 00000539: JUMPDEST 0000053a: POP 0000053b: SWAP3 0000053c: SWAP2 0000053d: POP 0000053e: POP 0000053f: JUMP 00000540: JUMPDEST 00000541: PUSH1 0x40 00000543: MLOAD 00000544: PUSH4 0xad94d901 00000549: PUSH1 0xe0 0000054b: SHL 0000054c: DUP2 0000054d: MSTORE 0000054e: CALLER 0000054f: SWAP1 00000550: PUSH32 0x0000000000000000000000001a371de4634c3debf7196a1efc59e620aff0915f 00000571: PUSH1 0x01 00000573: PUSH1 0x01 00000575: PUSH1 0xa0 00000577: SHL 00000578: SUB 00000579: AND 0000057a: SWAP1 0000057b: PUSH4 0xad94d901 00000580: SWAP1 00000581: PUSH2 0x0590 00000584: SWAP1 00000585: DUP5 00000586: SWAP1 00000587: DUP7 00000588: SWAP1 00000589: PUSH1 0x04 0000058b: ADD 0000058c: PUSH2 0x1344 0000058f: JUMP 00000590: JUMPDEST 00000591: PUSH1 0x20 00000593: PUSH1 0x40 00000595: MLOAD 00000596: DUP1 00000597: DUP4 00000598: SUB 00000599: DUP2 0000059a: DUP7 0000059b: DUP1 0000059c: EXTCODESIZE 0000059d: ISZERO 0000059e: DUP1 0000059f: ISZERO 000005a0: PUSH2 0x05a8 000005a3: JUMPI 000005a4: PUSH1 0x00 000005a6: DUP1 000005a7: REVERT 000005a8: JUMPDEST 000005a9: POP 000005aa: GAS 000005ab: STATICCALL 000005ac: ISZERO 000005ad: DUP1 000005ae: ISZERO 000005af: PUSH2 0x05bc 000005b2: JUMPI 000005b3: RETURNDATASIZE 000005b4: PUSH1 0x00 000005b6: DUP1 000005b7: RETURNDATACOPY 000005b8: RETURNDATASIZE 000005b9: PUSH1 0x00 000005bb: REVERT 000005bc: JUMPDEST 000005bd: POP 000005be: POP 000005bf: POP 000005c0: POP 000005c1: PUSH1 0x40 000005c3: MLOAD 000005c4: RETURNDATASIZE 000005c5: PUSH1 0x1f 000005c7: NOT 000005c8: PUSH1 0x1f 000005ca: DUP3 000005cb: ADD 000005cc: AND 000005cd: DUP3 000005ce: ADD 000005cf: DUP1 000005d0: PUSH1 0x40 000005d2: MSTORE 000005d3: POP 000005d4: DUP2 000005d5: ADD 000005d6: SWAP1 000005d7: PUSH2 0x05e0 000005da: SWAP2 000005db: SWAP1 000005dc: PUSH2 0x139a 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH2 0x05fd 000005e4: JUMPI 000005e5: PUSH1 0x40 000005e7: MLOAD 000005e8: PUSH4 0x574b16a7 000005ed: PUSH1 0xe1 000005ef: SHL 000005f0: DUP2 000005f1: MSTORE 000005f2: PUSH1 0x04 000005f4: ADD 000005f5: PUSH1 0x40 000005f7: MLOAD 000005f8: DUP1 000005f9: SWAP2 000005fa: SUB 000005fb: SWAP1 000005fc: REVERT 000005fd: JUMPDEST 000005fe: PUSH1 0x00 00000600: DUP1 00000601: PUSH1 0x00 00000603: JUMPDEST 00000604: DUP5 00000605: MLOAD 00000606: DUP2 00000607: LT 00000608: ISZERO 00000609: PUSH2 0x069b 0000060c: JUMPI 0000060d: PUSH2 0x062e 00000610: DUP6 00000611: DUP3 00000612: DUP2 00000613: MLOAD 00000614: DUP2 00000615: LT 00000616: PUSH2 0x0621 00000619: JUMPI 0000061a: PUSH2 0x0621 0000061d: PUSH2 0x1313 00000620: JUMP 00000621: JUMPDEST 00000622: PUSH1 0x20 00000624: MUL 00000625: PUSH1 0x20 00000627: ADD 00000628: ADD 00000629: MLOAD 0000062a: PUSH2 0x0886 0000062d: JUMP 0000062e: JUMPDEST 0000062f: SWAP3 00000630: POP 00000631: DUP3 00000632: PUSH2 0x063a 00000635: JUMPI 00000636: PUSH2 0x0689 00000639: JUMP 0000063a: JUMPDEST 0000063b: DUP3 0000063c: PUSH1 0x02 0000063e: PUSH1 0x00 00000640: DUP8 00000641: DUP5 00000642: DUP2 00000643: MLOAD 00000644: DUP2 00000645: LT 00000646: PUSH2 0x0651 00000649: JUMPI 0000064a: PUSH2 0x0651 0000064d: PUSH2 0x1313 00000650: JUMP 00000651: JUMPDEST 00000652: PUSH1 0x20 00000654: MUL 00000655: PUSH1 0x20 00000657: ADD 00000658: ADD 00000659: MLOAD 0000065a: DUP2 0000065b: MSTORE 0000065c: PUSH1 0x20 0000065e: ADD 0000065f: SWAP1 00000660: DUP2 00000661: MSTORE 00000662: PUSH1 0x20 00000664: ADD 00000665: PUSH1 0x00 00000667: KECCAK256 00000668: PUSH1 0x00 0000066a: DUP3 0000066b: DUP3 0000066c: SLOAD 0000066d: PUSH2 0x0676 00000670: SWAP2 00000671: SWAP1 00000672: PUSH2 0x12fb 00000675: JUMP 00000676: JUMPDEST 00000677: SWAP1 00000678: SWAP2 00000679: SSTORE 0000067a: POP 0000067b: PUSH2 0x0686 0000067e: SWAP1 0000067f: POP 00000680: DUP4 00000681: DUP4 00000682: PUSH2 0x12fb 00000685: JUMP 00000686: JUMPDEST 00000687: SWAP2 00000688: POP 00000689: JUMPDEST 0000068a: DUP1 0000068b: PUSH2 0x0693 0000068e: DUP2 0000068f: PUSH2 0x1329 00000692: JUMP 00000693: JUMPDEST 00000694: SWAP2 00000695: POP 00000696: POP 00000697: PUSH2 0x0603 0000069a: JUMP 0000069b: JUMPDEST 0000069c: POP 0000069d: DUP1 0000069e: PUSH2 0x06ba 000006a1: JUMPI 000006a2: PUSH1 0x40 000006a4: MLOAD 000006a5: PUSH4 0x574b16a7 000006aa: PUSH1 0xe1 000006ac: SHL 000006ad: DUP2 000006ae: MSTORE 000006af: PUSH1 0x04 000006b1: ADD 000006b2: PUSH1 0x40 000006b4: MLOAD 000006b5: DUP1 000006b6: SWAP2 000006b7: SUB 000006b8: SWAP1 000006b9: REVERT 000006ba: JUMPDEST 000006bb: DUP1 000006bc: PUSH1 0x01 000006be: PUSH1 0x00 000006c0: DUP3 000006c1: DUP3 000006c2: SLOAD 000006c3: PUSH2 0x06cc 000006c6: SWAP2 000006c7: SWAP1 000006c8: PUSH2 0x12fb 000006cb: JUMP 000006cc: JUMPDEST 000006cd: SWAP1 000006ce: SWAP2 000006cf: SSTORE 000006d0: POP 000006d1: PUSH2 0x06dc 000006d4: SWAP1 000006d5: POP 000006d6: DUP4 000006d7: DUP3 000006d8: PUSH2 0x0d4f 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH1 0x40 000006df: DUP1 000006e0: MLOAD 000006e1: PUSH1 0x01 000006e3: PUSH1 0x01 000006e5: PUSH1 0xa0 000006e7: SHL 000006e8: SUB 000006e9: DUP6 000006ea: AND 000006eb: DUP2 000006ec: MSTORE 000006ed: PUSH1 0x20 000006ef: DUP2 000006f0: ADD 000006f1: DUP4 000006f2: SWAP1 000006f3: MSTORE 000006f4: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 00000715: SWAP2 00000716: ADD 00000717: PUSH1 0x40 00000719: MLOAD 0000071a: DUP1 0000071b: SWAP2 0000071c: SUB 0000071d: SWAP1 0000071e: LOG1 0000071f: POP 00000720: POP 00000721: POP 00000722: POP 00000723: JUMP 00000724: JUMPDEST 00000725: PUSH1 0x02 00000727: PUSH1 0x00 00000729: SLOAD 0000072a: EQ 0000072b: ISZERO 0000072c: PUSH2 0x0747 0000072f: JUMPI 00000730: PUSH1 0x40 00000732: MLOAD 00000733: PUSH3 0x461bcd 00000737: PUSH1 0xe5 00000739: SHL 0000073a: DUP2 0000073b: MSTORE 0000073c: PUSH1 0x04 0000073e: ADD 0000073f: PUSH2 0x03b9 00000742: SWAP1 00000743: PUSH2 0x12ae 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH1 0x02 0000074a: PUSH1 0x00 0000074c: SWAP1 0000074d: DUP2 0000074e: SSTORE 0000074f: PUSH2 0x0757 00000752: DUP3 00000753: PUSH2 0x0bbf 00000756: JUMP 00000757: JUMPDEST 00000758: SWAP1 00000759: POP 0000075a: PUSH1 0x01 0000075c: PUSH1 0x01 0000075e: PUSH1 0xa0 00000760: SHL 00000761: SUB 00000762: DUP2 00000763: AND 00000764: CALLER 00000765: EQ 00000766: PUSH2 0x0782 00000769: JUMPI 0000076a: PUSH1 0x40 0000076c: MLOAD 0000076d: PUSH4 0x574b16a7 00000772: PUSH1 0xe1 00000774: SHL 00000775: DUP2 00000776: MSTORE 00000777: PUSH1 0x04 00000779: ADD 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: DUP1 0000077e: SWAP2 0000077f: SUB 00000780: SWAP1 00000781: REVERT 00000782: JUMPDEST 00000783: PUSH1 0x00 00000785: PUSH2 0x078d 00000788: DUP4 00000789: PUSH2 0x0886 0000078c: JUMP 0000078d: JUMPDEST 0000078e: SWAP1 0000078f: POP 00000790: DUP1 00000791: PUSH2 0x07ad 00000794: JUMPI 00000795: PUSH1 0x40 00000797: MLOAD 00000798: PUSH4 0x574b16a7 0000079d: PUSH1 0xe1 0000079f: SHL 000007a0: DUP2 000007a1: MSTORE 000007a2: PUSH1 0x04 000007a4: ADD 000007a5: PUSH1 0x40 000007a7: MLOAD 000007a8: DUP1 000007a9: SWAP2 000007aa: SUB 000007ab: SWAP1 000007ac: REVERT 000007ad: JUMPDEST 000007ae: PUSH1 0x00 000007b0: DUP4 000007b1: DUP2 000007b2: MSTORE 000007b3: PUSH1 0x02 000007b5: PUSH1 0x20 000007b7: MSTORE 000007b8: PUSH1 0x40 000007ba: DUP2 000007bb: KECCAK256 000007bc: DUP1 000007bd: SLOAD 000007be: DUP4 000007bf: SWAP3 000007c0: SWAP1 000007c1: PUSH2 0x07cb 000007c4: SWAP1 000007c5: DUP5 000007c6: SWAP1 000007c7: PUSH2 0x12fb 000007ca: JUMP 000007cb: JUMPDEST 000007cc: SWAP3 000007cd: POP 000007ce: POP 000007cf: DUP2 000007d0: SWAP1 000007d1: SSTORE 000007d2: POP 000007d3: DUP1 000007d4: PUSH1 0x01 000007d6: PUSH1 0x00 000007d8: DUP3 000007d9: DUP3 000007da: SLOAD 000007db: PUSH2 0x07e4 000007de: SWAP2 000007df: SWAP1 000007e0: PUSH2 0x12fb 000007e3: JUMP 000007e4: JUMPDEST 000007e5: SWAP1 000007e6: SWAP2 000007e7: SSTORE 000007e8: POP 000007e9: PUSH2 0x07f4 000007ec: SWAP1 000007ed: POP 000007ee: DUP3 000007ef: DUP3 000007f0: PUSH2 0x0d4f 000007f3: JUMP 000007f4: JUMPDEST 000007f5: PUSH1 0x40 000007f7: DUP1 000007f8: MLOAD 000007f9: PUSH1 0x01 000007fb: PUSH1 0x01 000007fd: PUSH1 0xa0 000007ff: SHL 00000800: SUB 00000801: DUP5 00000802: AND 00000803: DUP2 00000804: MSTORE 00000805: PUSH1 0x20 00000807: DUP2 00000808: ADD 00000809: DUP4 0000080a: SWAP1 0000080b: MSTORE 0000080c: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 0000082d: SWAP2 0000082e: ADD 0000082f: PUSH1 0x40 00000831: MLOAD 00000832: DUP1 00000833: SWAP2 00000834: SUB 00000835: SWAP1 00000836: LOG1 00000837: POP 00000838: POP 00000839: PUSH1 0x01 0000083b: PUSH1 0x00 0000083d: SSTORE 0000083e: POP 0000083f: JUMP 00000840: JUMPDEST 00000841: PUSH1 0x00 00000843: DUP1 00000844: JUMPDEST 00000845: DUP3 00000846: MLOAD 00000847: DUP2 00000848: LT 00000849: ISZERO 0000084a: PUSH2 0x0880 0000084d: JUMPI 0000084e: PUSH2 0x0862 00000851: DUP4 00000852: DUP3 00000853: DUP2 00000854: MLOAD 00000855: DUP2 00000856: LT 00000857: PUSH2 0x0621 0000085a: JUMPI 0000085b: PUSH2 0x0621 0000085e: PUSH2 0x1313 00000861: JUMP 00000862: JUMPDEST 00000863: PUSH2 0x086c 00000866: SWAP1 00000867: DUP4 00000868: PUSH2 0x12fb 0000086b: JUMP 0000086c: JUMPDEST 0000086d: SWAP2 0000086e: POP 0000086f: DUP1 00000870: PUSH2 0x0878 00000873: DUP2 00000874: PUSH2 0x1329 00000877: JUMP 00000878: JUMPDEST 00000879: SWAP2 0000087a: POP 0000087b: POP 0000087c: PUSH2 0x0844 0000087f: JUMP 00000880: JUMPDEST 00000881: POP 00000882: SWAP2 00000883: SWAP1 00000884: POP 00000885: JUMP 00000886: JUMPDEST 00000887: PUSH1 0x00 00000889: PUSH2 0x08b2 0000088c: PUSH2 0x0894 0000088f: PUSH1 0x01 00000891: SLOAD 00000892: SWAP1 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH2 0x089e 00000898: SWAP1 00000899: SELFBALANCE 0000089a: PUSH2 0x12fb 0000089d: JUMP 0000089e: JUMPDEST 0000089f: PUSH1 0x00 000008a1: DUP5 000008a2: DUP2 000008a3: MSTORE 000008a4: PUSH1 0x02 000008a6: PUSH1 0x20 000008a8: MSTORE 000008a9: PUSH1 0x40 000008ab: SWAP1 000008ac: KECCAK256 000008ad: SLOAD 000008ae: PUSH2 0x0e68 000008b1: JUMP 000008b2: JUMPDEST 000008b3: SWAP3 000008b4: SWAP2 000008b5: POP 000008b6: POP 000008b7: JUMP 000008b8: JUMPDEST 000008b9: PUSH1 0x01 000008bb: PUSH1 0x01 000008bd: PUSH1 0xa0 000008bf: SHL 000008c0: SUB 000008c1: DUP3 000008c2: AND 000008c3: PUSH1 0x00 000008c5: SWAP1 000008c6: DUP2 000008c7: MSTORE 000008c8: PUSH1 0x03 000008ca: PUSH1 0x20 000008cc: MSTORE 000008cd: PUSH1 0x40 000008cf: DUP2 000008d0: KECCAK256 000008d1: SLOAD 000008d2: PUSH2 0x097f 000008d5: SWAP1 000008d6: PUSH1 0x40 000008d8: MLOAD 000008d9: PUSH4 0x70a08231 000008de: PUSH1 0xe0 000008e0: SHL 000008e1: DUP2 000008e2: MSTORE 000008e3: ADDRESS 000008e4: PUSH1 0x04 000008e6: DUP3 000008e7: ADD 000008e8: MSTORE 000008e9: PUSH1 0x01 000008eb: PUSH1 0x01 000008ed: PUSH1 0xa0 000008ef: SHL 000008f0: SUB 000008f1: DUP7 000008f2: AND 000008f3: SWAP1 000008f4: PUSH4 0x70a08231 000008f9: SWAP1 000008fa: PUSH1 0x24 000008fc: ADD 000008fd: PUSH1 0x20 000008ff: PUSH1 0x40 00000901: MLOAD 00000902: DUP1 00000903: DUP4 00000904: SUB 00000905: DUP2 00000906: DUP7 00000907: DUP1 00000908: EXTCODESIZE 00000909: ISZERO 0000090a: DUP1 0000090b: ISZERO 0000090c: PUSH2 0x0914 0000090f: JUMPI 00000910: PUSH1 0x00 00000912: DUP1 00000913: REVERT 00000914: JUMPDEST 00000915: POP 00000916: GAS 00000917: STATICCALL 00000918: ISZERO 00000919: DUP1 0000091a: ISZERO 0000091b: PUSH2 0x0928 0000091e: JUMPI 0000091f: RETURNDATASIZE 00000920: PUSH1 0x00 00000922: DUP1 00000923: RETURNDATACOPY 00000924: RETURNDATASIZE 00000925: PUSH1 0x00 00000927: REVERT 00000928: JUMPDEST 00000929: POP 0000092a: POP 0000092b: POP 0000092c: POP 0000092d: PUSH1 0x40 0000092f: MLOAD 00000930: RETURNDATASIZE 00000931: PUSH1 0x1f 00000933: NOT 00000934: PUSH1 0x1f 00000936: DUP3 00000937: ADD 00000938: AND 00000939: DUP3 0000093a: ADD 0000093b: DUP1 0000093c: PUSH1 0x40 0000093e: MSTORE 0000093f: POP 00000940: DUP2 00000941: ADD 00000942: SWAP1 00000943: PUSH2 0x094c 00000946: SWAP2 00000947: SWAP1 00000948: PUSH2 0x13bc 0000094b: JUMP 0000094c: JUMPDEST 0000094d: PUSH2 0x0956 00000950: SWAP2 00000951: SWAP1 00000952: PUSH2 0x12fb 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH1 0x01 00000959: PUSH1 0x01 0000095b: PUSH1 0xa0 0000095d: SHL 0000095e: SUB 0000095f: DUP6 00000960: AND 00000961: PUSH1 0x00 00000963: SWAP1 00000964: DUP2 00000965: MSTORE 00000966: PUSH1 0x04 00000968: PUSH1 0x20 0000096a: SWAP1 0000096b: DUP2 0000096c: MSTORE 0000096d: PUSH1 0x40 0000096f: DUP1 00000970: DUP4 00000971: KECCAK256 00000972: DUP8 00000973: DUP5 00000974: MSTORE 00000975: SWAP1 00000976: SWAP2 00000977: MSTORE 00000978: SWAP1 00000979: KECCAK256 0000097a: SLOAD 0000097b: PUSH2 0x0e68 0000097e: JUMP 0000097f: JUMPDEST 00000980: SWAP4 00000981: SWAP3 00000982: POP 00000983: POP 00000984: POP 00000985: JUMP 00000986: JUMPDEST 00000987: PUSH1 0x02 00000989: PUSH1 0x00 0000098b: SLOAD 0000098c: EQ 0000098d: ISZERO 0000098e: PUSH2 0x09a9 00000991: JUMPI 00000992: PUSH1 0x40 00000994: MLOAD 00000995: PUSH3 0x461bcd 00000999: PUSH1 0xe5 0000099b: SHL 0000099c: DUP2 0000099d: MSTORE 0000099e: PUSH1 0x04 000009a0: ADD 000009a1: PUSH2 0x03b9 000009a4: SWAP1 000009a5: PUSH2 0x12ae 000009a8: JUMP 000009a9: JUMPDEST 000009aa: PUSH1 0x02 000009ac: PUSH1 0x00 000009ae: SSTORE 000009af: PUSH1 0x40 000009b1: MLOAD 000009b2: PUSH4 0xad94d901 000009b7: PUSH1 0xe0 000009b9: SHL 000009ba: DUP2 000009bb: MSTORE 000009bc: CALLER 000009bd: SWAP1 000009be: PUSH32 0x0000000000000000000000001a371de4634c3debf7196a1efc59e620aff0915f 000009df: PUSH1 0x01 000009e1: PUSH1 0x01 000009e3: PUSH1 0xa0 000009e5: SHL 000009e6: SUB 000009e7: AND 000009e8: SWAP1 000009e9: PUSH4 0xad94d901 000009ee: SWAP1 000009ef: PUSH2 0x09fe 000009f2: SWAP1 000009f3: DUP5 000009f4: SWAP1 000009f5: DUP7 000009f6: SWAP1 000009f7: PUSH1 0x04 000009f9: ADD 000009fa: PUSH2 0x1344 000009fd: JUMP 000009fe: JUMPDEST 000009ff: PUSH1 0x20 00000a01: PUSH1 0x40 00000a03: MLOAD 00000a04: DUP1 00000a05: DUP4 00000a06: SUB 00000a07: DUP2 00000a08: DUP7 00000a09: DUP1 00000a0a: EXTCODESIZE 00000a0b: ISZERO 00000a0c: DUP1 00000a0d: ISZERO 00000a0e: PUSH2 0x0a16 00000a11: JUMPI 00000a12: PUSH1 0x00 00000a14: DUP1 00000a15: REVERT 00000a16: JUMPDEST 00000a17: POP 00000a18: GAS 00000a19: STATICCALL 00000a1a: ISZERO 00000a1b: DUP1 00000a1c: ISZERO 00000a1d: PUSH2 0x0a2a 00000a20: JUMPI 00000a21: RETURNDATASIZE 00000a22: PUSH1 0x00 00000a24: DUP1 00000a25: RETURNDATACOPY 00000a26: RETURNDATASIZE 00000a27: PUSH1 0x00 00000a29: REVERT 00000a2a: JUMPDEST 00000a2b: POP 00000a2c: POP 00000a2d: POP 00000a2e: POP 00000a2f: PUSH1 0x40 00000a31: MLOAD 00000a32: RETURNDATASIZE 00000a33: PUSH1 0x1f 00000a35: NOT 00000a36: PUSH1 0x1f 00000a38: DUP3 00000a39: ADD 00000a3a: AND 00000a3b: DUP3 00000a3c: ADD 00000a3d: DUP1 00000a3e: PUSH1 0x40 00000a40: MSTORE 00000a41: POP 00000a42: DUP2 00000a43: ADD 00000a44: SWAP1 00000a45: PUSH2 0x0a4e 00000a48: SWAP2 00000a49: SWAP1 00000a4a: PUSH2 0x139a 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: PUSH2 0x0a6b 00000a52: JUMPI 00000a53: PUSH1 0x40 00000a55: MLOAD 00000a56: PUSH4 0x574b16a7 00000a5b: PUSH1 0xe1 00000a5d: SHL 00000a5e: DUP2 00000a5f: MSTORE 00000a60: PUSH1 0x04 00000a62: ADD 00000a63: PUSH1 0x40 00000a65: MLOAD 00000a66: DUP1 00000a67: SWAP2 00000a68: SUB 00000a69: SWAP1 00000a6a: REVERT 00000a6b: JUMPDEST 00000a6c: PUSH1 0x00 00000a6e: DUP1 00000a6f: PUSH1 0x00 00000a71: JUMPDEST 00000a72: DUP5 00000a73: MLOAD 00000a74: DUP2 00000a75: LT 00000a76: ISZERO 00000a77: PUSH2 0x0b15 00000a7a: JUMPI 00000a7b: PUSH2 0x0a90 00000a7e: DUP7 00000a7f: DUP7 00000a80: DUP4 00000a81: DUP2 00000a82: MLOAD 00000a83: DUP2 00000a84: LT 00000a85: PUSH2 0x050e 00000a88: JUMPI 00000a89: PUSH2 0x050e 00000a8c: PUSH2 0x1313 00000a8f: JUMP 00000a90: JUMPDEST 00000a91: SWAP3 00000a92: POP 00000a93: DUP3 00000a94: PUSH2 0x0a9c 00000a97: JUMPI 00000a98: PUSH2 0x0b03 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: PUSH1 0x01 00000a9f: PUSH1 0x01 00000aa1: PUSH1 0xa0 00000aa3: SHL 00000aa4: SUB 00000aa5: DUP7 00000aa6: AND 00000aa7: PUSH1 0x00 00000aa9: SWAP1 00000aaa: DUP2 00000aab: MSTORE 00000aac: PUSH1 0x04 00000aae: PUSH1 0x20 00000ab0: MSTORE 00000ab1: PUSH1 0x40 00000ab3: DUP2 00000ab4: KECCAK256 00000ab5: DUP7 00000ab6: MLOAD 00000ab7: DUP6 00000ab8: SWAP3 00000ab9: SWAP1 00000aba: DUP9 00000abb: SWAP1 00000abc: DUP6 00000abd: SWAP1 00000abe: DUP2 00000abf: LT 00000ac0: PUSH2 0x0acb 00000ac3: JUMPI 00000ac4: PUSH2 0x0acb 00000ac7: PUSH2 0x1313 00000aca: JUMP 00000acb: JUMPDEST 00000acc: PUSH1 0x20 00000ace: MUL 00000acf: PUSH1 0x20 00000ad1: ADD 00000ad2: ADD 00000ad3: MLOAD 00000ad4: DUP2 00000ad5: MSTORE 00000ad6: PUSH1 0x20 00000ad8: ADD 00000ad9: SWAP1 00000ada: DUP2 00000adb: MSTORE 00000adc: PUSH1 0x20 00000ade: ADD 00000adf: PUSH1 0x00 00000ae1: KECCAK256 00000ae2: PUSH1 0x00 00000ae4: DUP3 00000ae5: DUP3 00000ae6: SLOAD 00000ae7: PUSH2 0x0af0 00000aea: SWAP2 00000aeb: SWAP1 00000aec: PUSH2 0x12fb 00000aef: JUMP 00000af0: JUMPDEST 00000af1: SWAP1 00000af2: SWAP2 00000af3: SSTORE 00000af4: POP 00000af5: PUSH2 0x0b00 00000af8: SWAP1 00000af9: POP 00000afa: DUP4 00000afb: DUP4 00000afc: PUSH2 0x12fb 00000aff: JUMP 00000b00: JUMPDEST 00000b01: SWAP2 00000b02: POP 00000b03: JUMPDEST 00000b04: DUP1 00000b05: PUSH2 0x0b0d 00000b08: DUP2 00000b09: PUSH2 0x1329 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: SWAP2 00000b0f: POP 00000b10: POP 00000b11: PUSH2 0x0a71 00000b14: JUMP 00000b15: JUMPDEST 00000b16: POP 00000b17: DUP1 00000b18: PUSH2 0x0b34 00000b1b: JUMPI 00000b1c: PUSH1 0x40 00000b1e: MLOAD 00000b1f: PUSH4 0x574b16a7 00000b24: PUSH1 0xe1 00000b26: SHL 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x04 00000b2b: ADD 00000b2c: PUSH1 0x40 00000b2e: MLOAD 00000b2f: DUP1 00000b30: SWAP2 00000b31: SUB 00000b32: SWAP1 00000b33: REVERT 00000b34: JUMPDEST 00000b35: PUSH1 0x01 00000b37: PUSH1 0x01 00000b39: PUSH1 0xa0 00000b3b: SHL 00000b3c: SUB 00000b3d: DUP6 00000b3e: AND 00000b3f: PUSH1 0x00 00000b41: SWAP1 00000b42: DUP2 00000b43: MSTORE 00000b44: PUSH1 0x03 00000b46: PUSH1 0x20 00000b48: MSTORE 00000b49: PUSH1 0x40 00000b4b: DUP2 00000b4c: KECCAK256 00000b4d: DUP1 00000b4e: SLOAD 00000b4f: DUP4 00000b50: SWAP3 00000b51: SWAP1 00000b52: PUSH2 0x0b5c 00000b55: SWAP1 00000b56: DUP5 00000b57: SWAP1 00000b58: PUSH2 0x12fb 00000b5b: JUMP 00000b5c: JUMPDEST 00000b5d: SWAP1 00000b5e: SWAP2 00000b5f: SSTORE 00000b60: POP 00000b61: PUSH2 0x0b6d 00000b64: SWAP1 00000b65: POP 00000b66: DUP6 00000b67: DUP5 00000b68: DUP4 00000b69: PUSH2 0x0cf8 00000b6c: JUMP 00000b6d: JUMPDEST 00000b6e: PUSH1 0x40 00000b70: DUP1 00000b71: MLOAD 00000b72: PUSH1 0x01 00000b74: PUSH1 0x01 00000b76: PUSH1 0xa0 00000b78: SHL 00000b79: SUB 00000b7a: DUP6 00000b7b: DUP2 00000b7c: AND 00000b7d: DUP3 00000b7e: MSTORE 00000b7f: PUSH1 0x20 00000b81: DUP3 00000b82: ADD 00000b83: DUP6 00000b84: SWAP1 00000b85: MSTORE 00000b86: DUP8 00000b87: AND 00000b88: SWAP2 00000b89: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 00000baa: SWAP2 00000bab: ADD 00000bac: PUSH1 0x40 00000bae: MLOAD 00000baf: DUP1 00000bb0: SWAP2 00000bb1: SUB 00000bb2: SWAP1 00000bb3: LOG2 00000bb4: POP 00000bb5: POP 00000bb6: PUSH1 0x01 00000bb8: PUSH1 0x00 00000bba: SSTORE 00000bbb: POP 00000bbc: POP 00000bbd: POP 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: PUSH1 0x40 00000bc2: MLOAD 00000bc3: PUSH4 0x31a9108f 00000bc8: PUSH1 0xe1 00000bca: SHL 00000bcb: DUP2 00000bcc: MSTORE 00000bcd: PUSH1 0x04 00000bcf: DUP2 00000bd0: ADD 00000bd1: DUP3 00000bd2: SWAP1 00000bd3: MSTORE 00000bd4: PUSH1 0x00 00000bd6: SWAP1 00000bd7: PUSH32 0x0000000000000000000000001a371de4634c3debf7196a1efc59e620aff0915f 00000bf8: PUSH1 0x01 00000bfa: PUSH1 0x01 00000bfc: PUSH1 0xa0 00000bfe: SHL 00000bff: SUB 00000c00: AND 00000c01: SWAP1 00000c02: PUSH4 0x6352211e 00000c07: SWAP1 00000c08: PUSH1 0x24 00000c0a: ADD 00000c0b: PUSH1 0x20 00000c0d: PUSH1 0x40 00000c0f: MLOAD 00000c10: DUP1 00000c11: DUP4 00000c12: SUB 00000c13: DUP2 00000c14: DUP7 00000c15: DUP1 00000c16: EXTCODESIZE 00000c17: ISZERO 00000c18: DUP1 00000c19: ISZERO 00000c1a: PUSH2 0x0c22 00000c1d: JUMPI 00000c1e: PUSH1 0x00 00000c20: DUP1 00000c21: REVERT 00000c22: JUMPDEST 00000c23: POP 00000c24: GAS 00000c25: STATICCALL 00000c26: ISZERO 00000c27: DUP1 00000c28: ISZERO 00000c29: PUSH2 0x0c36 00000c2c: JUMPI 00000c2d: RETURNDATASIZE 00000c2e: PUSH1 0x00 00000c30: DUP1 00000c31: RETURNDATACOPY 00000c32: RETURNDATASIZE 00000c33: PUSH1 0x00 00000c35: REVERT 00000c36: JUMPDEST 00000c37: POP 00000c38: POP 00000c39: POP 00000c3a: POP 00000c3b: PUSH1 0x40 00000c3d: MLOAD 00000c3e: RETURNDATASIZE 00000c3f: PUSH1 0x1f 00000c41: NOT 00000c42: PUSH1 0x1f 00000c44: DUP3 00000c45: ADD 00000c46: AND 00000c47: DUP3 00000c48: ADD 00000c49: DUP1 00000c4a: PUSH1 0x40 00000c4c: MSTORE 00000c4d: POP 00000c4e: DUP2 00000c4f: ADD 00000c50: SWAP1 00000c51: PUSH2 0x08b2 00000c54: SWAP2 00000c55: SWAP1 00000c56: PUSH2 0x13d5 00000c59: JUMP 00000c5a: JUMPDEST 00000c5b: PUSH1 0x40 00000c5d: MLOAD 00000c5e: PUSH4 0x70a08231 00000c63: PUSH1 0xe0 00000c65: SHL 00000c66: DUP2 00000c67: MSTORE 00000c68: PUSH1 0x01 00000c6a: PUSH1 0x01 00000c6c: PUSH1 0xa0 00000c6e: SHL 00000c6f: SUB 00000c70: DUP3 00000c71: DUP2 00000c72: AND 00000c73: PUSH1 0x04 00000c75: DUP4 00000c76: ADD 00000c77: MSTORE 00000c78: PUSH1 0x00 00000c7a: SWAP2 00000c7b: PUSH32 0x0000000000000000000000001a371de4634c3debf7196a1efc59e620aff0915f 00000c9c: SWAP1 00000c9d: SWAP2 00000c9e: AND 00000c9f: SWAP1 00000ca0: PUSH4 0x70a08231 00000ca5: SWAP1 00000ca6: PUSH1 0x24 00000ca8: ADD 00000ca9: PUSH1 0x20 00000cab: PUSH1 0x40 00000cad: MLOAD 00000cae: DUP1 00000caf: DUP4 00000cb0: SUB 00000cb1: DUP2 00000cb2: DUP7 00000cb3: DUP1 00000cb4: EXTCODESIZE 00000cb5: ISZERO 00000cb6: DUP1 00000cb7: ISZERO 00000cb8: PUSH2 0x0cc0 00000cbb: JUMPI 00000cbc: PUSH1 0x00 00000cbe: DUP1 00000cbf: REVERT 00000cc0: JUMPDEST 00000cc1: POP 00000cc2: GAS 00000cc3: STATICCALL 00000cc4: ISZERO 00000cc5: DUP1 00000cc6: ISZERO 00000cc7: PUSH2 0x0cd4 00000cca: JUMPI 00000ccb: RETURNDATASIZE 00000ccc: PUSH1 0x00 00000cce: DUP1 00000ccf: RETURNDATACOPY 00000cd0: RETURNDATASIZE 00000cd1: PUSH1 0x00 00000cd3: REVERT 00000cd4: JUMPDEST 00000cd5: POP 00000cd6: POP 00000cd7: POP 00000cd8: POP 00000cd9: PUSH1 0x40 00000cdb: MLOAD 00000cdc: RETURNDATASIZE 00000cdd: PUSH1 0x1f 00000cdf: NOT 00000ce0: PUSH1 0x1f 00000ce2: DUP3 00000ce3: ADD 00000ce4: AND 00000ce5: DUP3 00000ce6: ADD 00000ce7: DUP1 00000ce8: PUSH1 0x40 00000cea: MSTORE 00000ceb: POP 00000cec: DUP2 00000ced: ADD 00000cee: SWAP1 00000cef: PUSH2 0x08b2 00000cf2: SWAP2 00000cf3: SWAP1 00000cf4: PUSH2 0x13bc 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x40 00000cfb: DUP1 00000cfc: MLOAD 00000cfd: PUSH1 0x01 00000cff: PUSH1 0x01 00000d01: PUSH1 0xa0 00000d03: SHL 00000d04: SUB 00000d05: DUP5 00000d06: AND 00000d07: PUSH1 0x24 00000d09: DUP3 00000d0a: ADD 00000d0b: MSTORE 00000d0c: PUSH1 0x44 00000d0e: DUP1 00000d0f: DUP3 00000d10: ADD 00000d11: DUP5 00000d12: SWAP1 00000d13: MSTORE 00000d14: DUP3 00000d15: MLOAD 00000d16: DUP1 00000d17: DUP4 00000d18: SUB 00000d19: SWAP1 00000d1a: SWAP2 00000d1b: ADD 00000d1c: DUP2 00000d1d: MSTORE 00000d1e: PUSH1 0x64 00000d20: SWAP1 00000d21: SWAP2 00000d22: ADD 00000d23: SWAP1 00000d24: SWAP2 00000d25: MSTORE 00000d26: PUSH1 0x20 00000d28: DUP2 00000d29: ADD 00000d2a: DUP1 00000d2b: MLOAD 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0x01 00000d30: PUSH1 0xe0 00000d32: SHL 00000d33: SUB 00000d34: AND 00000d35: PUSH4 0xa9059cbb 00000d3a: PUSH1 0xe0 00000d3c: SHL 00000d3d: OR 00000d3e: SWAP1 00000d3f: MSTORE 00000d40: PUSH2 0x0d4a 00000d43: SWAP1 00000d44: DUP5 00000d45: SWAP1 00000d46: PUSH2 0x0f2c 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: POP 00000d4c: POP 00000d4d: POP 00000d4e: JUMP 00000d4f: JUMPDEST 00000d50: DUP1 00000d51: SELFBALANCE 00000d52: LT 00000d53: ISZERO 00000d54: PUSH2 0x0d9f 00000d57: JUMPI 00000d58: PUSH1 0x40 00000d5a: MLOAD 00000d5b: PUSH3 0x461bcd 00000d5f: PUSH1 0xe5 00000d61: SHL 00000d62: DUP2 00000d63: MSTORE 00000d64: PUSH1 0x20 00000d66: PUSH1 0x04 00000d68: DUP3 00000d69: ADD 00000d6a: MSTORE 00000d6b: PUSH1 0x1d 00000d6d: PUSH1 0x24 00000d6f: DUP3 00000d70: ADD 00000d71: MSTORE 00000d72: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000d93: PUSH1 0x44 00000d95: DUP3 00000d96: ADD 00000d97: MSTORE 00000d98: PUSH1 0x64 00000d9a: ADD 00000d9b: PUSH2 0x03b9 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: PUSH1 0x00 00000da2: DUP3 00000da3: PUSH1 0x01 00000da5: PUSH1 0x01 00000da7: PUSH1 0xa0 00000da9: SHL 00000daa: SUB 00000dab: AND 00000dac: DUP3 00000dad: PUSH1 0x40 00000daf: MLOAD 00000db0: PUSH1 0x00 00000db2: PUSH1 0x40 00000db4: MLOAD 00000db5: DUP1 00000db6: DUP4 00000db7: SUB 00000db8: DUP2 00000db9: DUP6 00000dba: DUP8 00000dbb: GAS 00000dbc: CALL 00000dbd: SWAP3 00000dbe: POP 00000dbf: POP 00000dc0: POP 00000dc1: RETURNDATASIZE 00000dc2: DUP1 00000dc3: PUSH1 0x00 00000dc5: DUP2 00000dc6: EQ 00000dc7: PUSH2 0x0dec 00000dca: JUMPI 00000dcb: PUSH1 0x40 00000dcd: MLOAD 00000dce: SWAP2 00000dcf: POP 00000dd0: PUSH1 0x1f 00000dd2: NOT 00000dd3: PUSH1 0x3f 00000dd5: RETURNDATASIZE 00000dd6: ADD 00000dd7: AND 00000dd8: DUP3 00000dd9: ADD 00000dda: PUSH1 0x40 00000ddc: MSTORE 00000ddd: RETURNDATASIZE 00000dde: DUP3 00000ddf: MSTORE 00000de0: RETURNDATASIZE 00000de1: PUSH1 0x00 00000de3: PUSH1 0x20 00000de5: DUP5 00000de6: ADD 00000de7: RETURNDATACOPY 00000de8: PUSH2 0x0df1 00000deb: JUMP 00000dec: JUMPDEST 00000ded: PUSH1 0x60 00000def: SWAP2 00000df0: POP 00000df1: JUMPDEST 00000df2: POP 00000df3: POP 00000df4: SWAP1 00000df5: POP 00000df6: DUP1 00000df7: PUSH2 0x0d4a 00000dfa: JUMPI 00000dfb: PUSH1 0x40 00000dfd: MLOAD 00000dfe: PUSH3 0x461bcd 00000e02: PUSH1 0xe5 00000e04: SHL 00000e05: DUP2 00000e06: MSTORE 00000e07: PUSH1 0x20 00000e09: PUSH1 0x04 00000e0b: DUP3 00000e0c: ADD 00000e0d: MSTORE 00000e0e: PUSH1 0x3a 00000e10: PUSH1 0x24 00000e12: DUP3 00000e13: ADD 00000e14: MSTORE 00000e15: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000e36: PUSH1 0x44 00000e38: DUP3 00000e39: ADD 00000e3a: MSTORE 00000e3b: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000e5c: PUSH1 0x64 00000e5e: DUP3 00000e5f: ADD 00000e60: MSTORE 00000e61: PUSH1 0x84 00000e63: ADD 00000e64: PUSH2 0x03b9 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x00 00000e6b: DUP1 00000e6c: PUSH32 0x0000000000000000000000001a371de4634c3debf7196a1efc59e620aff0915f 00000e8d: PUSH1 0x01 00000e8f: PUSH1 0x01 00000e91: PUSH1 0xa0 00000e93: SHL 00000e94: SUB 00000e95: AND 00000e96: PUSH4 0x18160ddd 00000e9b: PUSH1 0x40 00000e9d: MLOAD 00000e9e: DUP2 00000e9f: PUSH4 0xffffffff 00000ea4: AND 00000ea5: PUSH1 0xe0 00000ea7: SHL 00000ea8: DUP2 00000ea9: MSTORE 00000eaa: PUSH1 0x04 00000eac: ADD 00000ead: PUSH1 0x20 00000eaf: PUSH1 0x40 00000eb1: MLOAD 00000eb2: DUP1 00000eb3: DUP4 00000eb4: SUB 00000eb5: DUP2 00000eb6: DUP7 00000eb7: DUP1 00000eb8: EXTCODESIZE 00000eb9: ISZERO 00000eba: DUP1 00000ebb: ISZERO 00000ebc: PUSH2 0x0ec4 00000ebf: JUMPI 00000ec0: PUSH1 0x00 00000ec2: DUP1 00000ec3: REVERT 00000ec4: JUMPDEST 00000ec5: POP 00000ec6: GAS 00000ec7: STATICCALL 00000ec8: ISZERO 00000ec9: DUP1 00000eca: ISZERO 00000ecb: PUSH2 0x0ed8 00000ece: JUMPI 00000ecf: RETURNDATASIZE 00000ed0: PUSH1 0x00 00000ed2: DUP1 00000ed3: RETURNDATACOPY 00000ed4: RETURNDATASIZE 00000ed5: PUSH1 0x00 00000ed7: REVERT 00000ed8: JUMPDEST 00000ed9: POP 00000eda: POP 00000edb: POP 00000edc: POP 00000edd: PUSH1 0x40 00000edf: MLOAD 00000ee0: RETURNDATASIZE 00000ee1: PUSH1 0x1f 00000ee3: NOT 00000ee4: PUSH1 0x1f 00000ee6: DUP3 00000ee7: ADD 00000ee8: AND 00000ee9: DUP3 00000eea: ADD 00000eeb: DUP1 00000eec: PUSH1 0x40 00000eee: MSTORE 00000eef: POP 00000ef0: DUP2 00000ef1: ADD 00000ef2: SWAP1 00000ef3: PUSH2 0x0efc 00000ef6: SWAP2 00000ef7: SWAP1 00000ef8: PUSH2 0x13bc 00000efb: JUMP 00000efc: JUMPDEST 00000efd: PUSH2 0x0f06 00000f00: SWAP1 00000f01: DUP6 00000f02: PUSH2 0x13f2 00000f05: JUMP 00000f06: JUMPDEST 00000f07: SWAP1 00000f08: POP 00000f09: DUP3 00000f0a: DUP2 00000f0b: LT 00000f0c: ISZERO 00000f0d: PUSH2 0x0f1a 00000f10: JUMPI 00000f11: PUSH1 0x00 00000f13: SWAP2 00000f14: POP 00000f15: POP 00000f16: PUSH2 0x08b2 00000f19: JUMP 00000f1a: JUMPDEST 00000f1b: PUSH2 0x0f24 00000f1e: DUP4 00000f1f: DUP3 00000f20: PUSH2 0x1414 00000f23: JUMP 00000f24: JUMPDEST 00000f25: SWAP5 00000f26: SWAP4 00000f27: POP 00000f28: POP 00000f29: POP 00000f2a: POP 00000f2b: JUMP 00000f2c: JUMPDEST 00000f2d: PUSH1 0x00 00000f2f: PUSH2 0x0f81 00000f32: DUP3 00000f33: PUSH1 0x40 00000f35: MLOAD 00000f36: DUP1 00000f37: PUSH1 0x40 00000f39: ADD 00000f3a: PUSH1 0x40 00000f3c: MSTORE 00000f3d: DUP1 00000f3e: PUSH1 0x20 00000f40: DUP2 00000f41: MSTORE 00000f42: PUSH1 0x20 00000f44: ADD 00000f45: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000f66: DUP2 00000f67: MSTORE 00000f68: POP 00000f69: DUP6 00000f6a: PUSH1 0x01 00000f6c: PUSH1 0x01 00000f6e: PUSH1 0xa0 00000f70: SHL 00000f71: SUB 00000f72: AND 00000f73: PUSH2 0x0ffe 00000f76: SWAP1 00000f77: SWAP3 00000f78: SWAP2 00000f79: SWAP1 00000f7a: PUSH4 0xffffffff 00000f7f: AND 00000f80: JUMP 00000f81: JUMPDEST 00000f82: DUP1 00000f83: MLOAD 00000f84: SWAP1 00000f85: SWAP2 00000f86: POP 00000f87: ISZERO 00000f88: PUSH2 0x0d4a 00000f8b: JUMPI 00000f8c: DUP1 00000f8d: DUP1 00000f8e: PUSH1 0x20 00000f90: ADD 00000f91: SWAP1 00000f92: MLOAD 00000f93: DUP2 00000f94: ADD 00000f95: SWAP1 00000f96: PUSH2 0x0f9f 00000f99: SWAP2 00000f9a: SWAP1 00000f9b: PUSH2 0x139a 00000f9e: JUMP 00000f9f: JUMPDEST 00000fa0: PUSH2 0x0d4a 00000fa3: JUMPI 00000fa4: PUSH1 0x40 00000fa6: MLOAD 00000fa7: PUSH3 0x461bcd 00000fab: PUSH1 0xe5 00000fad: SHL 00000fae: DUP2 00000faf: MSTORE 00000fb0: PUSH1 0x20 00000fb2: PUSH1 0x04 00000fb4: DUP3 00000fb5: ADD 00000fb6: MSTORE 00000fb7: PUSH1 0x2a 00000fb9: PUSH1 0x24 00000fbb: DUP3 00000fbc: ADD 00000fbd: MSTORE 00000fbe: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000fdf: PUSH1 0x44 00000fe1: DUP3 00000fe2: ADD 00000fe3: MSTORE 00000fe4: PUSH10 0x1bdd081cdd58d8d95959 00000fef: PUSH1 0xb2 00000ff1: SHL 00000ff2: PUSH1 0x64 00000ff4: DUP3 00000ff5: ADD 00000ff6: MSTORE 00000ff7: PUSH1 0x84 00000ff9: ADD 00000ffa: PUSH2 0x03b9 00000ffd: JUMP 00000ffe: JUMPDEST 00000fff: PUSH1 0x60 00001001: PUSH2 0x0f24 00001004: DUP5 00001005: DUP5 00001006: PUSH1 0x00 00001008: DUP6 00001009: DUP6 0000100a: DUP5 0000100b: EXTCODESIZE 0000100c: PUSH2 0x1057 0000100f: JUMPI 00001010: PUSH1 0x40 00001012: MLOAD 00001013: PUSH3 0x461bcd 00001017: PUSH1 0xe5 00001019: SHL 0000101a: DUP2 0000101b: MSTORE 0000101c: PUSH1 0x20 0000101e: PUSH1 0x04 00001020: DUP3 00001021: ADD 00001022: MSTORE 00001023: PUSH1 0x1d 00001025: PUSH1 0x24 00001027: DUP3 00001028: ADD 00001029: MSTORE 0000102a: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 0000104b: PUSH1 0x44 0000104d: DUP3 0000104e: ADD 0000104f: MSTORE 00001050: PUSH1 0x64 00001052: ADD 00001053: PUSH2 0x03b9 00001056: JUMP 00001057: JUMPDEST 00001058: PUSH1 0x00 0000105a: DUP1 0000105b: DUP7 0000105c: PUSH1 0x01 0000105e: PUSH1 0x01 00001060: PUSH1 0xa0 00001062: SHL 00001063: SUB 00001064: AND 00001065: DUP6 00001066: DUP8 00001067: PUSH1 0x40 00001069: MLOAD 0000106a: PUSH2 0x1073 0000106d: SWAP2 0000106e: SWAP1 0000106f: PUSH2 0x145b 00001072: JUMP 00001073: JUMPDEST 00001074: PUSH1 0x00 00001076: PUSH1 0x40 00001078: MLOAD 00001079: DUP1 0000107a: DUP4 0000107b: SUB 0000107c: DUP2 0000107d: DUP6 0000107e: DUP8 0000107f: GAS 00001080: CALL 00001081: SWAP3 00001082: POP 00001083: POP 00001084: POP 00001085: RETURNDATASIZE 00001086: DUP1 00001087: PUSH1 0x00 00001089: DUP2 0000108a: EQ 0000108b: PUSH2 0x10b0 0000108e: JUMPI 0000108f: PUSH1 0x40 00001091: MLOAD 00001092: SWAP2 00001093: POP 00001094: PUSH1 0x1f 00001096: NOT 00001097: PUSH1 0x3f 00001099: RETURNDATASIZE 0000109a: ADD 0000109b: AND 0000109c: DUP3 0000109d: ADD 0000109e: PUSH1 0x40 000010a0: MSTORE 000010a1: RETURNDATASIZE 000010a2: DUP3 000010a3: MSTORE 000010a4: RETURNDATASIZE 000010a5: PUSH1 0x00 000010a7: PUSH1 0x20 000010a9: DUP5 000010aa: ADD 000010ab: RETURNDATACOPY 000010ac: PUSH2 0x10b5 000010af: JUMP 000010b0: JUMPDEST 000010b1: PUSH1 0x60 000010b3: SWAP2 000010b4: POP 000010b5: JUMPDEST 000010b6: POP 000010b7: SWAP2 000010b8: POP 000010b9: SWAP2 000010ba: POP 000010bb: PUSH2 0x10c5 000010be: DUP3 000010bf: DUP3 000010c0: DUP7 000010c1: PUSH2 0x10d0 000010c4: JUMP 000010c5: JUMPDEST 000010c6: SWAP8 000010c7: SWAP7 000010c8: POP 000010c9: POP 000010ca: POP 000010cb: POP 000010cc: POP 000010cd: POP 000010ce: POP 000010cf: JUMP 000010d0: JUMPDEST 000010d1: PUSH1 0x60 000010d3: DUP4 000010d4: ISZERO 000010d5: PUSH2 0x10df 000010d8: JUMPI 000010d9: POP 000010da: DUP2 000010db: PUSH2 0x097f 000010de: JUMP 000010df: JUMPDEST 000010e0: DUP3 000010e1: MLOAD 000010e2: ISZERO 000010e3: PUSH2 0x10ef 000010e6: JUMPI 000010e7: DUP3 000010e8: MLOAD 000010e9: DUP1 000010ea: DUP5 000010eb: PUSH1 0x20 000010ed: ADD 000010ee: REVERT 000010ef: JUMPDEST 000010f0: DUP2 000010f1: PUSH1 0x40 000010f3: MLOAD 000010f4: PUSH3 0x461bcd 000010f8: PUSH1 0xe5 000010fa: SHL 000010fb: DUP2 000010fc: MSTORE 000010fd: PUSH1 0x04 000010ff: ADD 00001100: PUSH2 0x03b9 00001103: SWAP2 00001104: SWAP1 00001105: PUSH2 0x1477 00001108: JUMP 00001109: JUMPDEST 0000110a: PUSH1 0x01 0000110c: PUSH1 0x01 0000110e: PUSH1 0xa0 00001110: SHL 00001111: SUB 00001112: DUP2 00001113: AND 00001114: DUP2 00001115: EQ 00001116: PUSH2 0x111e 00001119: JUMPI 0000111a: PUSH1 0x00 0000111c: DUP1 0000111d: REVERT 0000111e: JUMPDEST 0000111f: POP 00001120: JUMP 00001121: JUMPDEST 00001122: PUSH1 0x00 00001124: DUP1 00001125: PUSH1 0x40 00001127: DUP4 00001128: DUP6 00001129: SUB 0000112a: SLT 0000112b: ISZERO 0000112c: PUSH2 0x1134 0000112f: JUMPI 00001130: PUSH1 0x00 00001132: DUP1 00001133: REVERT 00001134: JUMPDEST 00001135: DUP3 00001136: CALLDATALOAD 00001137: PUSH2 0x113f 0000113a: DUP2 0000113b: PUSH2 0x1109 0000113e: JUMP 0000113f: JUMPDEST 00001140: SWAP5 00001141: PUSH1 0x20 00001143: SWAP4 00001144: SWAP1 00001145: SWAP4 00001146: ADD 00001147: CALLDATALOAD 00001148: SWAP4 00001149: POP 0000114a: POP 0000114b: POP 0000114c: JUMP 0000114d: JUMPDEST 0000114e: PUSH4 0x4e487b71 00001153: PUSH1 0xe0 00001155: SHL 00001156: PUSH1 0x00 00001158: MSTORE 00001159: PUSH1 0x41 0000115b: PUSH1 0x04 0000115d: MSTORE 0000115e: PUSH1 0x24 00001160: PUSH1 0x00 00001162: REVERT 00001163: JUMPDEST 00001164: PUSH1 0x00 00001166: DUP3 00001167: PUSH1 0x1f 00001169: DUP4 0000116a: ADD 0000116b: SLT 0000116c: PUSH2 0x1174 0000116f: JUMPI 00001170: PUSH1 0x00 00001172: DUP1 00001173: REVERT 00001174: JUMPDEST 00001175: DUP2 00001176: CALLDATALOAD 00001177: PUSH1 0x20 00001179: PUSH8 0xffffffffffffffff 00001182: DUP1 00001183: DUP4 00001184: GT 00001185: ISZERO 00001186: PUSH2 0x1191 00001189: JUMPI 0000118a: PUSH2 0x1191 0000118d: PUSH2 0x114d 00001190: JUMP 00001191: JUMPDEST 00001192: DUP3 00001193: PUSH1 0x05 00001195: SHL 00001196: PUSH1 0x40 00001198: MLOAD 00001199: PUSH1 0x1f 0000119b: NOT 0000119c: PUSH1 0x3f 0000119e: DUP4 0000119f: ADD 000011a0: AND 000011a1: DUP2 000011a2: ADD 000011a3: DUP2 000011a4: DUP2 000011a5: LT 000011a6: DUP5 000011a7: DUP3 000011a8: GT 000011a9: OR 000011aa: ISZERO 000011ab: PUSH2 0x11b6 000011ae: JUMPI 000011af: PUSH2 0x11b6 000011b2: PUSH2 0x114d 000011b5: JUMP 000011b6: JUMPDEST 000011b7: PUSH1 0x40 000011b9: MSTORE 000011ba: SWAP4 000011bb: DUP5 000011bc: MSTORE 000011bd: DUP6 000011be: DUP2 000011bf: ADD 000011c0: DUP4 000011c1: ADD 000011c2: SWAP4 000011c3: DUP4 000011c4: DUP2 000011c5: ADD 000011c6: SWAP3 000011c7: POP 000011c8: DUP8 000011c9: DUP6 000011ca: GT 000011cb: ISZERO 000011cc: PUSH2 0x11d4 000011cf: JUMPI 000011d0: PUSH1 0x00 000011d2: DUP1 000011d3: REVERT 000011d4: JUMPDEST 000011d5: DUP4 000011d6: DUP8 000011d7: ADD 000011d8: SWAP2 000011d9: POP 000011da: JUMPDEST 000011db: DUP5 000011dc: DUP3 000011dd: LT 000011de: ISZERO 000011df: PUSH2 0x10c5 000011e2: JUMPI 000011e3: DUP2 000011e4: CALLDATALOAD 000011e5: DUP4 000011e6: MSTORE 000011e7: SWAP2 000011e8: DUP4 000011e9: ADD 000011ea: SWAP2 000011eb: SWAP1 000011ec: DUP4 000011ed: ADD 000011ee: SWAP1 000011ef: PUSH2 0x11da 000011f2: JUMP 000011f3: JUMPDEST 000011f4: PUSH1 0x00 000011f6: DUP1 000011f7: PUSH1 0x40 000011f9: DUP4 000011fa: DUP6 000011fb: SUB 000011fc: SLT 000011fd: ISZERO 000011fe: PUSH2 0x1206 00001201: JUMPI 00001202: PUSH1 0x00 00001204: DUP1 00001205: REVERT 00001206: JUMPDEST 00001207: DUP3 00001208: CALLDATALOAD 00001209: PUSH2 0x1211 0000120c: DUP2 0000120d: PUSH2 0x1109 00001210: JUMP 00001211: JUMPDEST 00001212: SWAP2 00001213: POP 00001214: PUSH1 0x20 00001216: DUP4 00001217: ADD 00001218: CALLDATALOAD 00001219: PUSH8 0xffffffffffffffff 00001222: DUP2 00001223: GT 00001224: ISZERO 00001225: PUSH2 0x122d 00001228: JUMPI 00001229: PUSH1 0x00 0000122b: DUP1 0000122c: REVERT 0000122d: JUMPDEST 0000122e: PUSH2 0x1239 00001231: DUP6 00001232: DUP3 00001233: DUP7 00001234: ADD 00001235: PUSH2 0x1163 00001238: JUMP 00001239: JUMPDEST 0000123a: SWAP2 0000123b: POP 0000123c: POP 0000123d: SWAP3 0000123e: POP 0000123f: SWAP3 00001240: SWAP1 00001241: POP 00001242: JUMP 00001243: JUMPDEST 00001244: PUSH1 0x00 00001246: PUSH1 0x20 00001248: DUP3 00001249: DUP5 0000124a: SUB 0000124b: SLT 0000124c: ISZERO 0000124d: PUSH2 0x1255 00001250: JUMPI 00001251: PUSH1 0x00 00001253: DUP1 00001254: REVERT 00001255: JUMPDEST 00001256: DUP2 00001257: CALLDATALOAD 00001258: PUSH8 0xffffffffffffffff 00001261: DUP2 00001262: GT 00001263: ISZERO 00001264: PUSH2 0x126c 00001267: JUMPI 00001268: PUSH1 0x00 0000126a: DUP1 0000126b: REVERT 0000126c: JUMPDEST 0000126d: PUSH2 0x0f24 00001270: DUP5 00001271: DUP3 00001272: DUP6 00001273: ADD 00001274: PUSH2 0x1163 00001277: JUMP 00001278: JUMPDEST 00001279: PUSH1 0x00 0000127b: PUSH1 0x20 0000127d: DUP3 0000127e: DUP5 0000127f: SUB 00001280: SLT 00001281: ISZERO 00001282: PUSH2 0x128a 00001285: JUMPI 00001286: PUSH1 0x00 00001288: DUP1 00001289: REVERT 0000128a: JUMPDEST 0000128b: POP 0000128c: CALLDATALOAD 0000128d: SWAP2 0000128e: SWAP1 0000128f: POP 00001290: JUMP 00001291: JUMPDEST 00001292: PUSH1 0x00 00001294: PUSH1 0x20 00001296: DUP3 00001297: DUP5 00001298: SUB 00001299: SLT 0000129a: ISZERO 0000129b: PUSH2 0x12a3 0000129e: JUMPI 0000129f: PUSH1 0x00 000012a1: DUP1 000012a2: REVERT 000012a3: JUMPDEST 000012a4: DUP2 000012a5: CALLDATALOAD 000012a6: PUSH2 0x097f 000012a9: DUP2 000012aa: PUSH2 0x1109 000012ad: JUMP 000012ae: JUMPDEST 000012af: PUSH1 0x20 000012b1: DUP1 000012b2: DUP3 000012b3: MSTORE 000012b4: PUSH1 0x1f 000012b6: SWAP1 000012b7: DUP3 000012b8: ADD 000012b9: MSTORE 000012ba: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000012db: PUSH1 0x40 000012dd: DUP3 000012de: ADD 000012df: MSTORE 000012e0: PUSH1 0x60 000012e2: ADD 000012e3: SWAP1 000012e4: JUMP 000012e5: JUMPDEST 000012e6: PUSH4 0x4e487b71 000012eb: PUSH1 0xe0 000012ed: SHL 000012ee: PUSH1 0x00 000012f0: MSTORE 000012f1: PUSH1 0x11 000012f3: PUSH1 0x04 000012f5: MSTORE 000012f6: PUSH1 0x24 000012f8: PUSH1 0x00 000012fa: REVERT 000012fb: JUMPDEST 000012fc: PUSH1 0x00 000012fe: DUP3 000012ff: NOT 00001300: DUP3 00001301: GT 00001302: ISZERO 00001303: PUSH2 0x130e 00001306: JUMPI 00001307: PUSH2 0x130e 0000130a: PUSH2 0x12e5 0000130d: JUMP 0000130e: JUMPDEST 0000130f: POP 00001310: ADD 00001311: SWAP1 00001312: JUMP 00001313: JUMPDEST 00001314: PUSH4 0x4e487b71 00001319: PUSH1 0xe0 0000131b: SHL 0000131c: PUSH1 0x00 0000131e: MSTORE 0000131f: PUSH1 0x32 00001321: PUSH1 0x04 00001323: MSTORE 00001324: PUSH1 0x24 00001326: PUSH1 0x00 00001328: REVERT 00001329: JUMPDEST 0000132a: PUSH1 0x00 0000132c: PUSH1 0x00 0000132e: NOT 0000132f: DUP3 00001330: EQ 00001331: ISZERO 00001332: PUSH2 0x133d 00001335: JUMPI 00001336: PUSH2 0x133d 00001339: PUSH2 0x12e5 0000133c: JUMP 0000133d: JUMPDEST 0000133e: POP 0000133f: PUSH1 0x01 00001341: ADD 00001342: SWAP1 00001343: JUMP 00001344: JUMPDEST 00001345: PUSH1 0x01 00001347: PUSH1 0x01 00001349: PUSH1 0xa0 0000134b: SHL 0000134c: SUB 0000134d: DUP4 0000134e: AND 0000134f: DUP2 00001350: MSTORE 00001351: PUSH1 0x40 00001353: PUSH1 0x20 00001355: DUP1 00001356: DUP4 00001357: ADD 00001358: DUP3 00001359: SWAP1 0000135a: MSTORE 0000135b: DUP4 0000135c: MLOAD 0000135d: SWAP2 0000135e: DUP4 0000135f: ADD 00001360: DUP3 00001361: SWAP1 00001362: MSTORE 00001363: PUSH1 0x00 00001365: SWAP2 00001366: DUP5 00001367: DUP3 00001368: ADD 00001369: SWAP2 0000136a: SWAP1 0000136b: PUSH1 0x60 0000136d: DUP6 0000136e: ADD 0000136f: SWAP1 00001370: DUP5 00001371: JUMPDEST 00001372: DUP2 00001373: DUP2 00001374: LT 00001375: ISZERO 00001376: PUSH2 0x138d 00001379: JUMPI 0000137a: DUP5 0000137b: MLOAD 0000137c: DUP4 0000137d: MSTORE 0000137e: SWAP4 0000137f: DUP4 00001380: ADD 00001381: SWAP4 00001382: SWAP2 00001383: DUP4 00001384: ADD 00001385: SWAP2 00001386: PUSH1 0x01 00001388: ADD 00001389: PUSH2 0x1371 0000138c: JUMP 0000138d: JUMPDEST 0000138e: POP 0000138f: SWAP1 00001390: SWAP8 00001391: SWAP7 00001392: POP 00001393: POP 00001394: POP 00001395: POP 00001396: POP 00001397: POP 00001398: POP 00001399: JUMP 0000139a: JUMPDEST 0000139b: PUSH1 0x00 0000139d: PUSH1 0x20 0000139f: DUP3 000013a0: DUP5 000013a1: SUB 000013a2: SLT 000013a3: ISZERO 000013a4: PUSH2 0x13ac 000013a7: JUMPI 000013a8: PUSH1 0x00 000013aa: DUP1 000013ab: REVERT 000013ac: JUMPDEST 000013ad: DUP2 000013ae: MLOAD 000013af: DUP1 000013b0: ISZERO 000013b1: ISZERO 000013b2: DUP2 000013b3: EQ 000013b4: PUSH2 0x097f 000013b7: JUMPI 000013b8: PUSH1 0x00 000013ba: DUP1 000013bb: REVERT 000013bc: JUMPDEST 000013bd: PUSH1 0x00 000013bf: PUSH1 0x20 000013c1: DUP3 000013c2: DUP5 000013c3: SUB 000013c4: SLT 000013c5: ISZERO 000013c6: PUSH2 0x13ce 000013c9: JUMPI 000013ca: PUSH1 0x00 000013cc: DUP1 000013cd: REVERT 000013ce: JUMPDEST 000013cf: POP 000013d0: MLOAD 000013d1: SWAP2 000013d2: SWAP1 000013d3: POP 000013d4: JUMP 000013d5: JUMPDEST 000013d6: PUSH1 0x00 000013d8: PUSH1 0x20 000013da: DUP3 000013db: DUP5 000013dc: SUB 000013dd: SLT 000013de: ISZERO 000013df: PUSH2 0x13e7 000013e2: JUMPI 000013e3: PUSH1 0x00 000013e5: DUP1 000013e6: REVERT 000013e7: JUMPDEST 000013e8: DUP2 000013e9: MLOAD 000013ea: PUSH2 0x097f 000013ed: DUP2 000013ee: PUSH2 0x1109 000013f1: JUMP 000013f2: JUMPDEST 000013f3: PUSH1 0x00 000013f5: DUP3 000013f6: PUSH2 0x140f 000013f9: JUMPI 000013fa: PUSH4 0x4e487b71 000013ff: PUSH1 0xe0 00001401: SHL 00001402: PUSH1 0x00 00001404: MSTORE 00001405: PUSH1 0x12 00001407: PUSH1 0x04 00001409: MSTORE 0000140a: PUSH1 0x24 0000140c: PUSH1 0x00 0000140e: REVERT 0000140f: JUMPDEST 00001410: POP 00001411: DIV 00001412: SWAP1 00001413: JUMP 00001414: JUMPDEST 00001415: PUSH1 0x00 00001417: DUP3 00001418: DUP3 00001419: LT 0000141a: ISZERO 0000141b: PUSH2 0x1426 0000141e: JUMPI 0000141f: PUSH2 0x1426 00001422: PUSH2 0x12e5 00001425: JUMP 00001426: JUMPDEST 00001427: POP 00001428: SUB 00001429: SWAP1 0000142a: JUMP 0000142b: JUMPDEST 0000142c: PUSH1 0x00 0000142e: JUMPDEST 0000142f: DUP4 00001430: DUP2 00001431: LT 00001432: ISZERO 00001433: PUSH2 0x1446 00001436: JUMPI 00001437: DUP2 00001438: DUP2 00001439: ADD 0000143a: MLOAD 0000143b: DUP4 0000143c: DUP3 0000143d: ADD 0000143e: MSTORE 0000143f: PUSH1 0x20 00001441: ADD 00001442: PUSH2 0x142e 00001445: JUMP 00001446: JUMPDEST 00001447: DUP4 00001448: DUP2 00001449: GT 0000144a: ISZERO 0000144b: PUSH2 0x1455 0000144e: JUMPI 0000144f: PUSH1 0x00 00001451: DUP5 00001452: DUP5 00001453: ADD 00001454: MSTORE 00001455: JUMPDEST 00001456: POP 00001457: POP 00001458: POP 00001459: POP 0000145a: JUMP 0000145b: JUMPDEST 0000145c: PUSH1 0x00 0000145e: DUP3 0000145f: MLOAD 00001460: PUSH2 0x146d 00001463: DUP2 00001464: DUP5 00001465: PUSH1 0x20 00001467: DUP8 00001468: ADD 00001469: PUSH2 0x142b 0000146c: JUMP 0000146d: JUMPDEST 0000146e: SWAP2 0000146f: SWAP1 00001470: SWAP2 00001471: ADD 00001472: SWAP3 00001473: SWAP2 00001474: POP 00001475: POP 00001476: JUMP 00001477: JUMPDEST 00001478: PUSH1 0x20 0000147a: DUP2 0000147b: MSTORE 0000147c: PUSH1 0x00 0000147e: DUP3 0000147f: MLOAD 00001480: DUP1 00001481: PUSH1 0x20 00001483: DUP5 00001484: ADD 00001485: MSTORE 00001486: PUSH2 0x1496 00001489: DUP2 0000148a: PUSH1 0x40 0000148c: DUP6 0000148d: ADD 0000148e: PUSH1 0x20 00001490: DUP8 00001491: ADD 00001492: PUSH2 0x142b 00001495: JUMP 00001496: JUMPDEST 00001497: PUSH1 0x1f 00001499: ADD 0000149a: PUSH1 0x1f 0000149c: NOT 0000149d: AND 0000149e: SWAP2 0000149f: SWAP1 000014a0: SWAP2 000014a1: ADD 000014a2: PUSH1 0x40 000014a4: ADD 000014a5: SWAP3 000014a6: SWAP2 000014a7: POP 000014a8: POP 000014a9: JUMP 000014aa: INVALID 000014ab: LOG2 000014ac: PUSH5 0x6970667358 000014b2: UNKNOWN(0x22) 000014b3: SLT 000014b4: KECCAK256 000014b5: UNKNOWN(0xBA) 000014b6: CALLER 000014b7: SWAP10 000014b8: UNKNOWN(0xB6) 000014b9: SWAP13 000014ba: DUP15 000014bb: UNKNOWN(0xCE) 000014bc: UNKNOWN(0xC8) 000014bd: DIV 000014be: UNKNOWN(0xB6) 000014bf: UNKNOWN(0xB2) 000014c0: UNKNOWN(0xFC) 000014c1: UNKNOWN(0x2E) 000014c2: PUSH14 0xb6313659ccb9c5a3cbbaf8e12162 000014d1: UNKNOWN(0xDE) 000014d2: SWAP11 000014d3: XOR 000014d4: UNKNOWN(0xBC) 000014d5: PUSH5 0x736f6c6343 000014db: STOP 000014dc: ADDMOD 000014dd: MULMOD 000014de: STOP 000014df: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x2409832f8a9d36fa9c9632336ac69abdf280ca38c57dbb0537321c028849dccd
call_targets:
0x837844a20cfe576057b58bcf6f1556bf6795fb2f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2409832f8a9d36fa9c9632336ac69abdf280ca38c57dbb0537321c028849dccd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x837844a20cfe576057b58bcf6f1556bf6795fb2f"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcfe83070",
"selector": "0xcfe83070",
"calldata_variants": [
"0xcfe83070",
"0xcfe830700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e8790e6",
"selector": "0x6e8790e6",
"calldata_variants": [
"0x6e8790e6",
"0x6e8790e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d237eac",
"selector": "0x7d237eac",
"calldata_variants": [
"0x7d237eac",
"0x7d237eac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa94d373b",
"selector": "0xa94d373b",
"calldata_variants": [
"0xa94d373b",
"0xa94d373b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3516,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4224,
"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: 0x2409832f8a9d36fa9c9632336ac69abdf280ca38c57dbb0537321c028849dccd
call_targets:
0x837844a20cfe576057b58bcf6f1556bf6795fb2f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2409832f8a9d36fa9c9632336ac69abdf280ca38c57dbb0537321c028849dccd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x837844a20cfe576057b58bcf6f1556bf6795fb2f"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcfe83070",
"selector": "0xcfe83070",
"calldata_variants": [
"0xcfe83070",
"0xcfe830700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e8790e6",
"selector": "0x6e8790e6",
"calldata_variants": [
"0x6e8790e6",
"0x6e8790e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d237eac",
"selector": "0x7d237eac",
"calldata_variants": [
"0x7d237eac",
"0x7d237eac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa94d373b",
"selector": "0xa94d373b",
"calldata_variants": [
"0xa94d373b",
"0xa94d373b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3516,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4224,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|