019b477e-acbe-72e3-8594-765ebd7fa4eb
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 |
|---|---|---|---|---|
| 21281 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21282 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101475 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 101476 | capability.graph | complete | 1 / 3 | 1 week ago |
| 101477 | detector.run | complete | 1 / 3 | 1 week ago |
| 101478 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0110 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x9f9262 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x011a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x0130 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x095ea7b3 00000050: EQ 00000051: PUSH2 0x01ba 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x18160ddd 0000005b: EQ 0000005c: PUSH2 0x01f0 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x23b872dd 00000066: EQ 00000067: PUSH2 0x0215 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x313ce567 00000071: EQ 00000072: PUSH2 0x023d 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x3f4ba83a 0000007c: EQ 0000007d: PUSH2 0x0250 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x5c975abb 00000087: EQ 00000088: PUSH2 0x0263 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x70a08231 00000092: EQ 00000093: PUSH2 0x0276 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x827f32c0 0000009d: EQ 0000009e: PUSH2 0x0295 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x83edf023 000000a8: EQ 000000a9: PUSH2 0x02b7 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x8456cb59 000000b3: EQ 000000b4: PUSH2 0x02ca 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x84e3ac94 000000be: EQ 000000bf: PUSH2 0x02dd 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x8da5cb5b 000000c9: EQ 000000ca: PUSH2 0x02f0 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x95d89b41 000000d4: EQ 000000d5: PUSH2 0x031f 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xa9059cbb 000000df: EQ 000000e0: PUSH2 0x0332 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xdd62ed3e 000000ea: EQ 000000eb: PUSH2 0x0354 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xe8315742 000000f5: EQ 000000f6: PUSH2 0x0379 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xf2fde38b 00000100: EQ 00000101: PUSH2 0x038c 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xf3fef3a3 0000010b: EQ 0000010c: PUSH2 0x03ab 0000010f: JUMPI 00000110: JUMPDEST 00000111: PUSH2 0x0118 00000114: PUSH2 0x03cd 00000117: JUMP 00000118: JUMPDEST 00000119: STOP 0000011a: JUMPDEST 0000011b: CALLVALUE 0000011c: ISZERO 0000011d: PUSH2 0x0125 00000120: JUMPI 00000121: PUSH1 0x00 00000123: DUP1 00000124: REVERT 00000125: JUMPDEST 00000126: PUSH2 0x0118 00000129: PUSH1 0x04 0000012b: CALLDATALOAD 0000012c: PUSH2 0x0441 0000012f: JUMP 00000130: JUMPDEST 00000131: CALLVALUE 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: PUSH2 0x0143 0000013f: PUSH2 0x04ce 00000142: JUMP 00000143: JUMPDEST 00000144: PUSH1 0x40 00000146: MLOAD 00000147: PUSH1 0x20 00000149: DUP1 0000014a: DUP3 0000014b: MSTORE 0000014c: DUP2 0000014d: SWAP1 0000014e: DUP2 0000014f: ADD 00000150: DUP4 00000151: DUP2 00000152: DUP2 00000153: MLOAD 00000154: DUP2 00000155: MSTORE 00000156: PUSH1 0x20 00000158: ADD 00000159: SWAP2 0000015a: POP 0000015b: DUP1 0000015c: MLOAD 0000015d: SWAP1 0000015e: PUSH1 0x20 00000160: ADD 00000161: SWAP1 00000162: DUP1 00000163: DUP4 00000164: DUP4 00000165: PUSH1 0x00 00000167: JUMPDEST 00000168: DUP4 00000169: DUP2 0000016a: LT 0000016b: ISZERO 0000016c: PUSH2 0x017f 0000016f: JUMPI 00000170: DUP1 00000171: DUP3 00000172: ADD 00000173: MLOAD 00000174: DUP4 00000175: DUP3 00000176: ADD 00000177: MSTORE 00000178: PUSH1 0x20 0000017a: ADD 0000017b: PUSH2 0x0167 0000017e: JUMP 0000017f: JUMPDEST 00000180: POP 00000181: POP 00000182: POP 00000183: POP 00000184: SWAP1 00000185: POP 00000186: SWAP1 00000187: DUP2 00000188: ADD 00000189: SWAP1 0000018a: PUSH1 0x1f 0000018c: AND 0000018d: DUP1 0000018e: ISZERO 0000018f: PUSH2 0x01ac 00000192: JUMPI 00000193: DUP1 00000194: DUP3 00000195: SUB 00000196: DUP1 00000197: MLOAD 00000198: PUSH1 0x01 0000019a: DUP4 0000019b: PUSH1 0x20 0000019d: SUB 0000019e: PUSH2 0x0100 000001a1: EXP 000001a2: SUB 000001a3: NOT 000001a4: AND 000001a5: DUP2 000001a6: MSTORE 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: SWAP2 000001ab: POP 000001ac: JUMPDEST 000001ad: POP 000001ae: SWAP3 000001af: POP 000001b0: POP 000001b1: POP 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: DUP1 000001b6: SWAP2 000001b7: SUB 000001b8: SWAP1 000001b9: RETURN 000001ba: JUMPDEST 000001bb: CALLVALUE 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: PUSH2 0x01dc 000001c9: PUSH1 0x01 000001cb: PUSH1 0xa0 000001cd: PUSH1 0x02 000001cf: EXP 000001d0: SUB 000001d1: PUSH1 0x04 000001d3: CALLDATALOAD 000001d4: AND 000001d5: PUSH1 0x24 000001d7: CALLDATALOAD 000001d8: PUSH2 0x0505 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH1 0x40 000001df: MLOAD 000001e0: SWAP1 000001e1: ISZERO 000001e2: ISZERO 000001e3: DUP2 000001e4: MSTORE 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: PUSH1 0x40 000001ea: MLOAD 000001eb: DUP1 000001ec: SWAP2 000001ed: SUB 000001ee: SWAP1 000001ef: RETURN 000001f0: JUMPDEST 000001f1: CALLVALUE 000001f2: ISZERO 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: PUSH2 0x0203 000001ff: PUSH2 0x0572 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH1 0x40 00000206: MLOAD 00000207: SWAP1 00000208: DUP2 00000209: MSTORE 0000020a: PUSH1 0x20 0000020c: ADD 0000020d: PUSH1 0x40 0000020f: MLOAD 00000210: DUP1 00000211: SWAP2 00000212: SUB 00000213: SWAP1 00000214: RETURN 00000215: JUMPDEST 00000216: CALLVALUE 00000217: ISZERO 00000218: PUSH2 0x0220 0000021b: JUMPI 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: REVERT 00000220: JUMPDEST 00000221: PUSH2 0x01dc 00000224: PUSH1 0x01 00000226: PUSH1 0xa0 00000228: PUSH1 0x02 0000022a: EXP 0000022b: SUB 0000022c: PUSH1 0x04 0000022e: CALLDATALOAD 0000022f: DUP2 00000230: AND 00000231: SWAP1 00000232: PUSH1 0x24 00000234: CALLDATALOAD 00000235: AND 00000236: PUSH1 0x44 00000238: CALLDATALOAD 00000239: PUSH2 0x0578 0000023c: JUMP 0000023d: JUMPDEST 0000023e: CALLVALUE 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH1 0x00 00000246: DUP1 00000247: REVERT 00000248: JUMPDEST 00000249: PUSH2 0x0203 0000024c: PUSH2 0x0670 0000024f: JUMP 00000250: JUMPDEST 00000251: CALLVALUE 00000252: ISZERO 00000253: PUSH2 0x025b 00000256: JUMPI 00000257: PUSH1 0x00 00000259: DUP1 0000025a: REVERT 0000025b: JUMPDEST 0000025c: PUSH2 0x0118 0000025f: PUSH2 0x0675 00000262: JUMP 00000263: JUMPDEST 00000264: CALLVALUE 00000265: ISZERO 00000266: PUSH2 0x026e 00000269: JUMPI 0000026a: PUSH1 0x00 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: PUSH2 0x01dc 00000272: PUSH2 0x06f4 00000275: JUMP 00000276: JUMPDEST 00000277: CALLVALUE 00000278: ISZERO 00000279: PUSH2 0x0281 0000027c: JUMPI 0000027d: PUSH1 0x00 0000027f: DUP1 00000280: REVERT 00000281: JUMPDEST 00000282: PUSH2 0x0203 00000285: PUSH1 0x01 00000287: PUSH1 0xa0 00000289: PUSH1 0x02 0000028b: EXP 0000028c: SUB 0000028d: PUSH1 0x04 0000028f: CALLDATALOAD 00000290: AND 00000291: PUSH2 0x0704 00000294: JUMP 00000295: JUMPDEST 00000296: CALLVALUE 00000297: ISZERO 00000298: PUSH2 0x02a0 0000029b: JUMPI 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: PUSH2 0x0118 000002a4: PUSH1 0x01 000002a6: PUSH1 0xa0 000002a8: PUSH1 0x02 000002aa: EXP 000002ab: SUB 000002ac: PUSH1 0x04 000002ae: CALLDATALOAD 000002af: AND 000002b0: PUSH1 0x24 000002b2: CALLDATALOAD 000002b3: PUSH2 0x071f 000002b6: JUMP 000002b7: JUMPDEST 000002b8: CALLVALUE 000002b9: ISZERO 000002ba: PUSH2 0x02c2 000002bd: JUMPI 000002be: PUSH1 0x00 000002c0: DUP1 000002c1: REVERT 000002c2: JUMPDEST 000002c3: PUSH2 0x0203 000002c6: PUSH2 0x07bc 000002c9: JUMP 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: ISZERO 000002cd: PUSH2 0x02d5 000002d0: JUMPI 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: REVERT 000002d5: JUMPDEST 000002d6: PUSH2 0x0118 000002d9: PUSH2 0x07c2 000002dc: JUMP 000002dd: JUMPDEST 000002de: CALLVALUE 000002df: ISZERO 000002e0: PUSH2 0x02e8 000002e3: JUMPI 000002e4: PUSH1 0x00 000002e6: DUP1 000002e7: REVERT 000002e8: JUMPDEST 000002e9: PUSH2 0x0203 000002ec: PUSH2 0x0846 000002ef: JUMP 000002f0: JUMPDEST 000002f1: CALLVALUE 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: PUSH2 0x0303 000002ff: PUSH2 0x084c 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH1 0x40 00000306: MLOAD 00000307: PUSH1 0x01 00000309: PUSH1 0xa0 0000030b: PUSH1 0x02 0000030d: EXP 0000030e: SUB 0000030f: SWAP1 00000310: SWAP2 00000311: AND 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x20 00000316: ADD 00000317: PUSH1 0x40 00000319: MLOAD 0000031a: DUP1 0000031b: SWAP2 0000031c: SUB 0000031d: SWAP1 0000031e: RETURN 0000031f: JUMPDEST 00000320: CALLVALUE 00000321: ISZERO 00000322: PUSH2 0x032a 00000325: JUMPI 00000326: PUSH1 0x00 00000328: DUP1 00000329: REVERT 0000032a: JUMPDEST 0000032b: PUSH2 0x0143 0000032e: PUSH2 0x085b 00000331: JUMP 00000332: JUMPDEST 00000333: CALLVALUE 00000334: ISZERO 00000335: PUSH2 0x033d 00000338: JUMPI 00000339: PUSH1 0x00 0000033b: DUP1 0000033c: REVERT 0000033d: JUMPDEST 0000033e: PUSH2 0x01dc 00000341: PUSH1 0x01 00000343: PUSH1 0xa0 00000345: PUSH1 0x02 00000347: EXP 00000348: SUB 00000349: PUSH1 0x04 0000034b: CALLDATALOAD 0000034c: AND 0000034d: PUSH1 0x24 0000034f: CALLDATALOAD 00000350: PUSH2 0x0892 00000353: JUMP 00000354: JUMPDEST 00000355: CALLVALUE 00000356: ISZERO 00000357: PUSH2 0x035f 0000035a: JUMPI 0000035b: PUSH1 0x00 0000035d: DUP1 0000035e: REVERT 0000035f: JUMPDEST 00000360: PUSH2 0x0203 00000363: PUSH1 0x01 00000365: PUSH1 0xa0 00000367: PUSH1 0x02 00000369: EXP 0000036a: SUB 0000036b: PUSH1 0x04 0000036d: CALLDATALOAD 0000036e: DUP2 0000036f: AND 00000370: SWAP1 00000371: PUSH1 0x24 00000373: CALLDATALOAD 00000374: AND 00000375: PUSH2 0x0935 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: PUSH2 0x0203 00000388: PUSH2 0x0960 0000038b: JUMP 0000038c: JUMPDEST 0000038d: CALLVALUE 0000038e: ISZERO 0000038f: PUSH2 0x0397 00000392: JUMPI 00000393: PUSH1 0x00 00000395: DUP1 00000396: REVERT 00000397: JUMPDEST 00000398: PUSH2 0x0118 0000039b: PUSH1 0x01 0000039d: PUSH1 0xa0 0000039f: PUSH1 0x02 000003a1: EXP 000003a2: SUB 000003a3: PUSH1 0x04 000003a5: CALLDATALOAD 000003a6: AND 000003a7: PUSH2 0x096f 000003aa: JUMP 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: PUSH2 0x0118 000003ba: PUSH1 0x01 000003bc: PUSH1 0xa0 000003be: PUSH1 0x02 000003c0: EXP 000003c1: SUB 000003c2: PUSH1 0x04 000003c4: CALLDATALOAD 000003c5: AND 000003c6: PUSH1 0x24 000003c8: CALLDATALOAD 000003c9: PUSH2 0x09ce 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH1 0x03 000003d0: SLOAD 000003d1: PUSH1 0x00 000003d3: SWAP1 000003d4: DUP2 000003d5: SWAP1 000003d6: DUP2 000003d7: SWAP1 000003d8: PUSH1 0xa0 000003da: PUSH1 0x02 000003dc: EXP 000003dd: SWAP1 000003de: DIV 000003df: PUSH1 0xff 000003e1: AND 000003e2: ISZERO 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: PUSH5 0x02540be400 000003f2: SWAP3 000003f3: POP 000003f4: DUP3 000003f5: PUSH2 0x0406 000003f8: CALLVALUE 000003f9: PUSH4 0x05f5e100 000003fe: MUL 000003ff: PUSH1 0x04 00000401: SLOAD 00000402: PUSH2 0x0a77 00000405: JUMP 00000406: JUMPDEST 00000407: MUL 00000408: SWAP2 00000409: POP 0000040a: PUSH2 0x0415 0000040d: PUSH1 0x00 0000040f: SLOAD 00000410: DUP4 00000411: PUSH2 0x0aab 00000414: JUMP 00000415: JUMPDEST 00000416: SWAP1 00000417: POP 00000418: PUSH11 0x108b2a2c28029094000000 00000424: DUP2 00000425: GT 00000426: PUSH2 0x0437 00000429: JUMPI 0000042a: PUSH2 0x0432 0000042d: DUP3 0000042e: PUSH2 0x0ac8 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH2 0x043c 00000436: JUMP 00000437: JUMPDEST 00000438: PUSH1 0x00 0000043a: DUP1 0000043b: REVERT 0000043c: JUMPDEST 0000043d: POP 0000043e: POP 0000043f: POP 00000440: JUMP 00000441: JUMPDEST 00000442: PUSH1 0x03 00000444: SLOAD 00000445: CALLER 00000446: PUSH1 0x01 00000448: PUSH1 0xa0 0000044a: PUSH1 0x02 0000044c: EXP 0000044d: SUB 0000044e: SWAP1 0000044f: DUP2 00000450: AND 00000451: SWAP2 00000452: AND 00000453: EQ 00000454: PUSH2 0x045c 00000457: JUMPI 00000458: PUSH1 0x00 0000045a: DUP1 0000045b: REVERT 0000045c: JUMPDEST 0000045d: PUSH1 0x04 0000045f: DUP2 00000460: SWAP1 00000461: SSTORE 00000462: PUSH32 0x29ecd1e0988af1492e43256007437db411881757b3e6e808c9f04847b264178c 00000483: DUP2 00000484: PUSH1 0x40 00000486: MLOAD 00000487: PUSH1 0x20 00000489: DUP2 0000048a: ADD 0000048b: SWAP2 0000048c: SWAP1 0000048d: SWAP2 0000048e: MSTORE 0000048f: PUSH1 0x40 00000491: DUP1 00000492: DUP3 00000493: MSTORE 00000494: PUSH1 0x0d 00000496: DUP2 00000497: DUP4 00000498: ADD 00000499: MSTORE 0000049a: PUSH32 0x4e65772070726963652073657400000000000000000000000000000000000000 000004bb: PUSH1 0x60 000004bd: DUP4 000004be: ADD 000004bf: MSTORE 000004c0: PUSH1 0x80 000004c2: SWAP1 000004c3: SWAP2 000004c4: ADD 000004c5: SWAP1 000004c6: MLOAD 000004c7: DUP1 000004c8: SWAP2 000004c9: SUB 000004ca: SWAP1 000004cb: LOG1 000004cc: POP 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH1 0x40 000004d1: DUP1 000004d2: MLOAD 000004d3: SWAP1 000004d4: DUP2 000004d5: ADD 000004d6: PUSH1 0x40 000004d8: MSTORE 000004d9: PUSH1 0x09 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH32 0x41434920546f6b656e0000000000000000000000000000000000000000000000 000004fe: PUSH1 0x20 00000500: DUP3 00000501: ADD 00000502: MSTORE 00000503: DUP2 00000504: JUMP 00000505: JUMPDEST 00000506: PUSH1 0x01 00000508: PUSH1 0xa0 0000050a: PUSH1 0x02 0000050c: EXP 0000050d: SUB 0000050e: CALLER 0000050f: DUP2 00000510: AND 00000511: PUSH1 0x00 00000513: DUP2 00000514: DUP2 00000515: MSTORE 00000516: PUSH1 0x02 00000518: PUSH1 0x20 0000051a: SWAP1 0000051b: DUP2 0000051c: MSTORE 0000051d: PUSH1 0x40 0000051f: DUP1 00000520: DUP4 00000521: KECCAK256 00000522: SWAP5 00000523: DUP8 00000524: AND 00000525: DUP1 00000526: DUP5 00000527: MSTORE 00000528: SWAP5 00000529: SWAP1 0000052a: SWAP2 0000052b: MSTORE 0000052c: DUP1 0000052d: DUP3 0000052e: KECCAK256 0000052f: DUP6 00000530: SWAP1 00000531: SSTORE 00000532: SWAP1 00000533: SWAP3 00000534: SWAP2 00000535: SWAP1 00000536: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000557: SWAP1 00000558: DUP6 00000559: SWAP1 0000055a: MLOAD 0000055b: SWAP1 0000055c: DUP2 0000055d: MSTORE 0000055e: PUSH1 0x20 00000560: ADD 00000561: PUSH1 0x40 00000563: MLOAD 00000564: DUP1 00000565: SWAP2 00000566: SUB 00000567: SWAP1 00000568: LOG3 00000569: POP 0000056a: PUSH1 0x01 0000056c: JUMPDEST 0000056d: SWAP3 0000056e: SWAP2 0000056f: POP 00000570: POP 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH1 0x00 00000575: SLOAD 00000576: DUP2 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH1 0x01 0000057b: PUSH1 0xa0 0000057d: PUSH1 0x02 0000057f: EXP 00000580: SUB 00000581: DUP4 00000582: AND 00000583: PUSH1 0x00 00000585: SWAP1 00000586: DUP2 00000587: MSTORE 00000588: PUSH1 0x01 0000058a: PUSH1 0x20 0000058c: MSTORE 0000058d: PUSH1 0x40 0000058f: DUP2 00000590: KECCAK256 00000591: SLOAD 00000592: DUP3 00000593: SWAP1 00000594: LT 00000595: DUP1 00000596: ISZERO 00000597: SWAP1 00000598: PUSH2 0x05c8 0000059b: JUMPI 0000059c: POP 0000059d: PUSH1 0x01 0000059f: PUSH1 0xa0 000005a1: PUSH1 0x02 000005a3: EXP 000005a4: SUB 000005a5: DUP1 000005a6: DUP6 000005a7: AND 000005a8: PUSH1 0x00 000005aa: SWAP1 000005ab: DUP2 000005ac: MSTORE 000005ad: PUSH1 0x02 000005af: PUSH1 0x20 000005b1: SWAP1 000005b2: DUP2 000005b3: MSTORE 000005b4: PUSH1 0x40 000005b6: DUP1 000005b7: DUP4 000005b8: KECCAK256 000005b9: CALLER 000005ba: SWAP1 000005bb: SWAP5 000005bc: AND 000005bd: DUP4 000005be: MSTORE 000005bf: SWAP3 000005c0: SWAP1 000005c1: MSTORE 000005c2: KECCAK256 000005c3: SLOAD 000005c4: DUP3 000005c5: SWAP1 000005c6: LT 000005c7: ISZERO 000005c8: JUMPDEST 000005c9: DUP1 000005ca: ISZERO 000005cb: PUSH2 0x05d4 000005ce: JUMPI 000005cf: POP 000005d0: PUSH1 0x00 000005d2: DUP3 000005d3: GT 000005d4: JUMPDEST 000005d5: ISZERO 000005d6: PUSH2 0x0665 000005d9: JUMPI 000005da: PUSH1 0x01 000005dc: PUSH1 0xa0 000005de: PUSH1 0x02 000005e0: EXP 000005e1: SUB 000005e2: DUP1 000005e3: DUP5 000005e4: AND 000005e5: PUSH1 0x00 000005e7: DUP2 000005e8: DUP2 000005e9: MSTORE 000005ea: PUSH1 0x01 000005ec: PUSH1 0x20 000005ee: SWAP1 000005ef: DUP2 000005f0: MSTORE 000005f1: PUSH1 0x40 000005f3: DUP1 000005f4: DUP4 000005f5: KECCAK256 000005f6: DUP1 000005f7: SLOAD 000005f8: DUP9 000005f9: ADD 000005fa: SWAP1 000005fb: SSTORE 000005fc: DUP9 000005fd: DUP6 000005fe: AND 000005ff: DUP1 00000600: DUP5 00000601: MSTORE 00000602: DUP2 00000603: DUP5 00000604: KECCAK256 00000605: DUP1 00000606: SLOAD 00000607: DUP10 00000608: SWAP1 00000609: SUB 0000060a: SWAP1 0000060b: SSTORE 0000060c: PUSH1 0x02 0000060e: DUP4 0000060f: MSTORE 00000610: DUP2 00000611: DUP5 00000612: KECCAK256 00000613: CALLER 00000614: SWAP1 00000615: SWAP7 00000616: AND 00000617: DUP5 00000618: MSTORE 00000619: SWAP5 0000061a: SWAP1 0000061b: SWAP2 0000061c: MSTORE 0000061d: SWAP1 0000061e: DUP2 0000061f: SWAP1 00000620: KECCAK256 00000621: DUP1 00000622: SLOAD 00000623: DUP7 00000624: SWAP1 00000625: SUB 00000626: SWAP1 00000627: SSTORE 00000628: SWAP1 00000629: SWAP2 0000062a: SWAP1 0000062b: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000064c: SWAP1 0000064d: DUP6 0000064e: SWAP1 0000064f: MLOAD 00000650: SWAP1 00000651: DUP2 00000652: MSTORE 00000653: PUSH1 0x20 00000655: ADD 00000656: PUSH1 0x40 00000658: MLOAD 00000659: DUP1 0000065a: SWAP2 0000065b: SUB 0000065c: SWAP1 0000065d: LOG3 0000065e: POP 0000065f: PUSH1 0x01 00000661: PUSH2 0x0669 00000664: JUMP 00000665: JUMPDEST 00000666: POP 00000667: PUSH1 0x00 00000669: JUMPDEST 0000066a: SWAP4 0000066b: SWAP3 0000066c: POP 0000066d: POP 0000066e: POP 0000066f: JUMP 00000670: JUMPDEST 00000671: PUSH1 0x12 00000673: DUP2 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x03 00000678: SLOAD 00000679: CALLER 0000067a: PUSH1 0x01 0000067c: PUSH1 0xa0 0000067e: PUSH1 0x02 00000680: EXP 00000681: SUB 00000682: SWAP1 00000683: DUP2 00000684: AND 00000685: SWAP2 00000686: AND 00000687: EQ 00000688: PUSH2 0x0690 0000068b: JUMPI 0000068c: PUSH1 0x00 0000068e: DUP1 0000068f: REVERT 00000690: JUMPDEST 00000691: PUSH1 0x03 00000693: SLOAD 00000694: PUSH1 0xa0 00000696: PUSH1 0x02 00000698: EXP 00000699: SWAP1 0000069a: DIV 0000069b: PUSH1 0xff 0000069d: AND 0000069e: ISZERO 0000069f: ISZERO 000006a0: PUSH2 0x06a8 000006a3: JUMPI 000006a4: PUSH1 0x00 000006a6: DUP1 000006a7: REVERT 000006a8: JUMPDEST 000006a9: PUSH1 0x03 000006ab: DUP1 000006ac: SLOAD 000006ad: PUSH21 0xff0000000000000000000000000000000000000000 000006c3: NOT 000006c4: AND 000006c5: SWAP1 000006c6: SSTORE 000006c7: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 000006e8: PUSH1 0x40 000006ea: MLOAD 000006eb: PUSH1 0x40 000006ed: MLOAD 000006ee: DUP1 000006ef: SWAP2 000006f0: SUB 000006f1: SWAP1 000006f2: LOG1 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x03 000006f7: SLOAD 000006f8: PUSH1 0xa0 000006fa: PUSH1 0x02 000006fc: EXP 000006fd: SWAP1 000006fe: DIV 000006ff: PUSH1 0xff 00000701: AND 00000702: DUP2 00000703: JUMP 00000704: JUMPDEST 00000705: PUSH1 0x01 00000707: PUSH1 0xa0 00000709: PUSH1 0x02 0000070b: EXP 0000070c: SUB 0000070d: AND 0000070e: PUSH1 0x00 00000710: SWAP1 00000711: DUP2 00000712: MSTORE 00000713: PUSH1 0x01 00000715: PUSH1 0x20 00000717: MSTORE 00000718: PUSH1 0x40 0000071a: SWAP1 0000071b: KECCAK256 0000071c: SLOAD 0000071d: SWAP1 0000071e: JUMP 0000071f: JUMPDEST 00000720: PUSH1 0x03 00000722: SLOAD 00000723: CALLER 00000724: PUSH1 0x01 00000726: PUSH1 0xa0 00000728: PUSH1 0x02 0000072a: EXP 0000072b: SUB 0000072c: SWAP1 0000072d: DUP2 0000072e: AND 0000072f: SWAP2 00000730: AND 00000731: EQ 00000732: PUSH2 0x073a 00000735: JUMPI 00000736: PUSH1 0x00 00000738: DUP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: PUSH1 0x01 0000073d: PUSH1 0xa0 0000073f: PUSH1 0x02 00000741: EXP 00000742: SUB 00000743: DUP3 00000744: AND 00000745: ISZERO 00000746: ISZERO 00000747: PUSH2 0x074f 0000074a: JUMPI 0000074b: PUSH1 0x00 0000074d: DUP1 0000074e: REVERT 0000074f: JUMPDEST 00000750: PUSH1 0x01 00000752: PUSH1 0xa0 00000754: PUSH1 0x02 00000756: EXP 00000757: SUB 00000758: DUP3 00000759: AND 0000075a: PUSH1 0x00 0000075c: SWAP1 0000075d: DUP2 0000075e: MSTORE 0000075f: PUSH1 0x01 00000761: PUSH1 0x20 00000763: MSTORE 00000764: PUSH1 0x40 00000766: DUP2 00000767: KECCAK256 00000768: DUP1 00000769: SLOAD 0000076a: DUP4 0000076b: ADD 0000076c: SWAP1 0000076d: SSTORE 0000076e: SLOAD 0000076f: PUSH2 0x0778 00000772: SWAP1 00000773: DUP3 00000774: PUSH2 0x0aab 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH1 0x00 0000077b: SSTORE 0000077c: PUSH1 0x01 0000077e: PUSH1 0xa0 00000780: PUSH1 0x02 00000782: EXP 00000783: SUB 00000784: DUP3 00000785: AND 00000786: PUSH32 0x0b247b1b34db16e7eea7a3c0f261bb2bbaa1067b3a0f1eafea8986af22978f4d 000007a7: DUP3 000007a8: PUSH1 0x40 000007aa: MLOAD 000007ab: SWAP1 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x20 000007b0: ADD 000007b1: PUSH1 0x40 000007b3: MLOAD 000007b4: DUP1 000007b5: SWAP2 000007b6: SUB 000007b7: SWAP1 000007b8: LOG2 000007b9: POP 000007ba: POP 000007bb: JUMP 000007bc: JUMPDEST 000007bd: PUSH1 0x05 000007bf: SLOAD 000007c0: DUP2 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH1 0x03 000007c5: SLOAD 000007c6: CALLER 000007c7: PUSH1 0x01 000007c9: PUSH1 0xa0 000007cb: PUSH1 0x02 000007cd: EXP 000007ce: SUB 000007cf: SWAP1 000007d0: DUP2 000007d1: AND 000007d2: SWAP2 000007d3: AND 000007d4: EQ 000007d5: PUSH2 0x07dd 000007d8: JUMPI 000007d9: PUSH1 0x00 000007db: DUP1 000007dc: REVERT 000007dd: JUMPDEST 000007de: PUSH1 0x03 000007e0: SLOAD 000007e1: PUSH1 0xa0 000007e3: PUSH1 0x02 000007e5: EXP 000007e6: SWAP1 000007e7: DIV 000007e8: PUSH1 0xff 000007ea: AND 000007eb: ISZERO 000007ec: PUSH2 0x07f4 000007ef: JUMPI 000007f0: PUSH1 0x00 000007f2: DUP1 000007f3: REVERT 000007f4: JUMPDEST 000007f5: PUSH1 0x03 000007f7: DUP1 000007f8: SLOAD 000007f9: PUSH21 0xff0000000000000000000000000000000000000000 0000080f: NOT 00000810: AND 00000811: PUSH1 0xa0 00000813: PUSH1 0x02 00000815: EXP 00000816: OR 00000817: SWAP1 00000818: SSTORE 00000819: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 0000083a: PUSH1 0x40 0000083c: MLOAD 0000083d: PUSH1 0x40 0000083f: MLOAD 00000840: DUP1 00000841: SWAP2 00000842: SUB 00000843: SWAP1 00000844: LOG1 00000845: JUMP 00000846: JUMPDEST 00000847: PUSH1 0x04 00000849: SLOAD 0000084a: DUP2 0000084b: JUMP 0000084c: JUMPDEST 0000084d: PUSH1 0x03 0000084f: SLOAD 00000850: PUSH1 0x01 00000852: PUSH1 0xa0 00000854: PUSH1 0x02 00000856: EXP 00000857: SUB 00000858: AND 00000859: DUP2 0000085a: JUMP 0000085b: JUMPDEST 0000085c: PUSH1 0x40 0000085e: DUP1 0000085f: MLOAD 00000860: SWAP1 00000861: DUP2 00000862: ADD 00000863: PUSH1 0x40 00000865: MSTORE 00000866: PUSH1 0x03 00000868: DUP2 00000869: MSTORE 0000086a: PUSH32 0x4143490000000000000000000000000000000000000000000000000000000000 0000088b: PUSH1 0x20 0000088d: DUP3 0000088e: ADD 0000088f: MSTORE 00000890: DUP2 00000891: JUMP 00000892: JUMPDEST 00000893: PUSH1 0x01 00000895: PUSH1 0xa0 00000897: PUSH1 0x02 00000899: EXP 0000089a: SUB 0000089b: CALLER 0000089c: AND 0000089d: PUSH1 0x00 0000089f: SWAP1 000008a0: DUP2 000008a1: MSTORE 000008a2: PUSH1 0x01 000008a4: PUSH1 0x20 000008a6: MSTORE 000008a7: PUSH1 0x40 000008a9: DUP2 000008aa: KECCAK256 000008ab: SLOAD 000008ac: DUP3 000008ad: SWAP1 000008ae: LT 000008af: DUP1 000008b0: ISZERO 000008b1: SWAP1 000008b2: PUSH2 0x08bb 000008b5: JUMPI 000008b6: POP 000008b7: PUSH1 0x00 000008b9: DUP3 000008ba: GT 000008bb: JUMPDEST 000008bc: ISZERO 000008bd: PUSH2 0x092d 000008c0: JUMPI 000008c1: PUSH1 0x01 000008c3: PUSH1 0xa0 000008c5: PUSH1 0x02 000008c7: EXP 000008c8: SUB 000008c9: CALLER 000008ca: DUP2 000008cb: AND 000008cc: PUSH1 0x00 000008ce: DUP2 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH1 0x01 000008d3: PUSH1 0x20 000008d5: MSTORE 000008d6: PUSH1 0x40 000008d8: DUP1 000008d9: DUP3 000008da: KECCAK256 000008db: DUP1 000008dc: SLOAD 000008dd: DUP8 000008de: SWAP1 000008df: SUB 000008e0: SWAP1 000008e1: SSTORE 000008e2: SWAP3 000008e3: DUP7 000008e4: AND 000008e5: DUP1 000008e6: DUP3 000008e7: MSTORE 000008e8: SWAP1 000008e9: DUP4 000008ea: SWAP1 000008eb: KECCAK256 000008ec: DUP1 000008ed: SLOAD 000008ee: DUP7 000008ef: ADD 000008f0: SWAP1 000008f1: SSTORE 000008f2: SWAP2 000008f3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000914: SWAP1 00000915: DUP6 00000916: SWAP1 00000917: MLOAD 00000918: SWAP1 00000919: DUP2 0000091a: MSTORE 0000091b: PUSH1 0x20 0000091d: ADD 0000091e: PUSH1 0x40 00000920: MLOAD 00000921: DUP1 00000922: SWAP2 00000923: SUB 00000924: SWAP1 00000925: LOG3 00000926: POP 00000927: PUSH1 0x01 00000929: PUSH2 0x056c 0000092c: JUMP 0000092d: JUMPDEST 0000092e: POP 0000092f: PUSH1 0x00 00000931: PUSH2 0x056c 00000934: JUMP 00000935: JUMPDEST 00000936: PUSH1 0x01 00000938: PUSH1 0xa0 0000093a: PUSH1 0x02 0000093c: EXP 0000093d: SUB 0000093e: SWAP2 0000093f: DUP3 00000940: AND 00000941: PUSH1 0x00 00000943: SWAP1 00000944: DUP2 00000945: MSTORE 00000946: PUSH1 0x02 00000948: PUSH1 0x20 0000094a: SWAP1 0000094b: DUP2 0000094c: MSTORE 0000094d: PUSH1 0x40 0000094f: DUP1 00000950: DUP4 00000951: KECCAK256 00000952: SWAP4 00000953: SWAP1 00000954: SWAP5 00000955: AND 00000956: DUP3 00000957: MSTORE 00000958: SWAP2 00000959: SWAP1 0000095a: SWAP2 0000095b: MSTORE 0000095c: KECCAK256 0000095d: SLOAD 0000095e: SWAP1 0000095f: JUMP 00000960: JUMPDEST 00000961: PUSH11 0x108b2a2c28029094000000 0000096d: DUP2 0000096e: JUMP 0000096f: JUMPDEST 00000970: PUSH1 0x03 00000972: SLOAD 00000973: CALLER 00000974: PUSH1 0x01 00000976: PUSH1 0xa0 00000978: PUSH1 0x02 0000097a: EXP 0000097b: SUB 0000097c: SWAP1 0000097d: DUP2 0000097e: AND 0000097f: SWAP2 00000980: AND 00000981: EQ 00000982: PUSH2 0x098a 00000985: JUMPI 00000986: PUSH1 0x00 00000988: DUP1 00000989: REVERT 0000098a: JUMPDEST 0000098b: PUSH1 0x01 0000098d: PUSH1 0xa0 0000098f: PUSH1 0x02 00000991: EXP 00000992: SUB 00000993: DUP2 00000994: AND 00000995: ISZERO 00000996: ISZERO 00000997: PUSH2 0x099f 0000099a: JUMPI 0000099b: PUSH1 0x00 0000099d: DUP1 0000099e: REVERT 0000099f: JUMPDEST 000009a0: PUSH1 0x03 000009a2: DUP1 000009a3: SLOAD 000009a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b9: NOT 000009ba: AND 000009bb: PUSH1 0x01 000009bd: PUSH1 0xa0 000009bf: PUSH1 0x02 000009c1: EXP 000009c2: SUB 000009c3: SWAP3 000009c4: SWAP1 000009c5: SWAP3 000009c6: AND 000009c7: SWAP2 000009c8: SWAP1 000009c9: SWAP2 000009ca: OR 000009cb: SWAP1 000009cc: SSTORE 000009cd: JUMP 000009ce: JUMPDEST 000009cf: PUSH1 0x03 000009d1: SLOAD 000009d2: CALLER 000009d3: PUSH1 0x01 000009d5: PUSH1 0xa0 000009d7: PUSH1 0x02 000009d9: EXP 000009da: SUB 000009db: SWAP1 000009dc: DUP2 000009dd: AND 000009de: SWAP2 000009df: AND 000009e0: EQ 000009e1: PUSH2 0x09e9 000009e4: JUMPI 000009e5: PUSH1 0x00 000009e7: DUP1 000009e8: REVERT 000009e9: JUMPDEST 000009ea: PUSH1 0x01 000009ec: PUSH1 0xa0 000009ee: PUSH1 0x02 000009f0: EXP 000009f1: SUB 000009f2: DUP3 000009f3: AND 000009f4: ISZERO 000009f5: ISZERO 000009f6: PUSH2 0x09fe 000009f9: JUMPI 000009fa: PUSH1 0x00 000009fc: DUP1 000009fd: REVERT 000009fe: JUMPDEST 000009ff: PUSH1 0x01 00000a01: PUSH1 0xa0 00000a03: PUSH1 0x02 00000a05: EXP 00000a06: SUB 00000a07: DUP3 00000a08: AND 00000a09: DUP2 00000a0a: ISZERO 00000a0b: PUSH2 0x08fc 00000a0e: MUL 00000a0f: DUP3 00000a10: PUSH1 0x40 00000a12: MLOAD 00000a13: PUSH1 0x00 00000a15: PUSH1 0x40 00000a17: MLOAD 00000a18: DUP1 00000a19: DUP4 00000a1a: SUB 00000a1b: DUP2 00000a1c: DUP6 00000a1d: DUP9 00000a1e: DUP9 00000a1f: CALL 00000a20: SWAP4 00000a21: POP 00000a22: POP 00000a23: POP 00000a24: POP 00000a25: ISZERO 00000a26: ISZERO 00000a27: PUSH2 0x0a2f 00000a2a: JUMPI 00000a2b: PUSH1 0x00 00000a2d: DUP1 00000a2e: REVERT 00000a2f: JUMPDEST 00000a30: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 00000a51: DUP3 00000a52: DUP3 00000a53: PUSH1 0x40 00000a55: MLOAD 00000a56: PUSH1 0x01 00000a58: PUSH1 0xa0 00000a5a: PUSH1 0x02 00000a5c: EXP 00000a5d: SUB 00000a5e: SWAP1 00000a5f: SWAP3 00000a60: AND 00000a61: DUP3 00000a62: MSTORE 00000a63: PUSH1 0x20 00000a65: DUP3 00000a66: ADD 00000a67: MSTORE 00000a68: PUSH1 0x40 00000a6a: SWAP1 00000a6b: DUP2 00000a6c: ADD 00000a6d: SWAP1 00000a6e: MLOAD 00000a6f: DUP1 00000a70: SWAP2 00000a71: SUB 00000a72: SWAP1 00000a73: LOG1 00000a74: POP 00000a75: POP 00000a76: JUMP 00000a77: JUMPDEST 00000a78: PUSH1 0x00 00000a7a: DUP1 00000a7b: DUP1 00000a7c: DUP4 00000a7d: GT 00000a7e: PUSH2 0x0a83 00000a81: JUMPI 00000a82: INVALID 00000a83: JUMPDEST 00000a84: DUP3 00000a85: DUP5 00000a86: DUP2 00000a87: ISZERO 00000a88: ISZERO 00000a89: PUSH2 0x0a8e 00000a8c: JUMPI 00000a8d: INVALID 00000a8e: JUMPDEST 00000a8f: DIV 00000a90: SWAP1 00000a91: POP 00000a92: DUP3 00000a93: DUP5 00000a94: DUP2 00000a95: ISZERO 00000a96: ISZERO 00000a97: PUSH2 0x0a9c 00000a9a: JUMPI 00000a9b: INVALID 00000a9c: JUMPDEST 00000a9d: MOD 00000a9e: DUP2 00000a9f: DUP5 00000aa0: MUL 00000aa1: ADD 00000aa2: DUP5 00000aa3: EQ 00000aa4: ISZERO 00000aa5: ISZERO 00000aa6: PUSH2 0x0669 00000aa9: JUMPI 00000aaa: INVALID 00000aab: JUMPDEST 00000aac: PUSH1 0x00 00000aae: DUP3 00000aaf: DUP3 00000ab0: ADD 00000ab1: DUP4 00000ab2: DUP2 00000ab3: LT 00000ab4: DUP1 00000ab5: ISZERO 00000ab6: SWAP1 00000ab7: PUSH2 0x0ac0 00000aba: JUMPI 00000abb: POP 00000abc: DUP3 00000abd: DUP2 00000abe: LT 00000abf: ISZERO 00000ac0: JUMPDEST 00000ac1: ISZERO 00000ac2: ISZERO 00000ac3: PUSH2 0x0669 00000ac6: JUMPI 00000ac7: INVALID 00000ac8: JUMPDEST 00000ac9: PUSH1 0x00 00000acb: CALLVALUE 00000acc: GT 00000acd: PUSH2 0x0ad5 00000ad0: JUMPI 00000ad1: PUSH1 0x00 00000ad3: DUP1 00000ad4: REVERT 00000ad5: JUMPDEST 00000ad6: PUSH1 0x01 00000ad8: PUSH1 0xa0 00000ada: PUSH1 0x02 00000adc: EXP 00000add: SUB 00000ade: CALLER 00000adf: AND 00000ae0: PUSH1 0x00 00000ae2: SWAP1 00000ae3: DUP2 00000ae4: MSTORE 00000ae5: PUSH1 0x01 00000ae7: PUSH1 0x20 00000ae9: MSTORE 00000aea: PUSH1 0x40 00000aec: DUP2 00000aed: KECCAK256 00000aee: DUP1 00000aef: SLOAD 00000af0: DUP4 00000af1: ADD 00000af2: SWAP1 00000af3: SSTORE 00000af4: SLOAD 00000af5: PUSH2 0x0afe 00000af8: SWAP1 00000af9: DUP3 00000afa: PUSH2 0x0aab 00000afd: JUMP 00000afe: JUMPDEST 00000aff: PUSH1 0x00 00000b01: SSTORE 00000b02: PUSH1 0x05 00000b04: DUP1 00000b05: SLOAD 00000b06: CALLVALUE 00000b07: ADD 00000b08: SWAP1 00000b09: SSTORE 00000b0a: PUSH1 0x01 00000b0c: PUSH1 0xa0 00000b0e: PUSH1 0x02 00000b10: EXP 00000b11: SUB 00000b12: CALLER 00000b13: AND 00000b14: PUSH32 0x0b247b1b34db16e7eea7a3c0f261bb2bbaa1067b3a0f1eafea8986af22978f4d 00000b35: DUP3 00000b36: PUSH1 0x40 00000b38: MLOAD 00000b39: SWAP1 00000b3a: DUP2 00000b3b: MSTORE 00000b3c: PUSH1 0x20 00000b3e: ADD 00000b3f: PUSH1 0x40 00000b41: MLOAD 00000b42: DUP1 00000b43: SWAP2 00000b44: SUB 00000b45: SWAP1 00000b46: LOG2 00000b47: POP 00000b48: JUMP 00000b49: STOP 00000b4a: LOG1 00000b4b: PUSH6 0x627a7a723058 00000b52: KECCAK256 00000b53: PUSH6 0x8c7806c4f27d 00000b5a: DUP6 00000b5b: SGT 00000b5c: UNKNOWN(0xCA) 00000b5d: SELFBALANCE 00000b5e: UNKNOWN(0x27) 00000b5f: CALLVALUE 00000b60: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc359efacb8e307e6823a26d294bfff7b3d36570c7e9ea6e2565d043ae18643fb
call_targets:
0x8207bcaacd247a03fbd68e1a941092fa678cf492
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc359efacb8e307e6823a26d294bfff7b3d36570c7e9ea6e2565d043ae18643fb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8207bcaacd247a03fbd68e1a941092fa678cf492"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2591,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc359efacb8e307e6823a26d294bfff7b3d36570c7e9ea6e2565d043ae18643fb
call_targets:
0x8207bcaacd247a03fbd68e1a941092fa678cf492
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc359efacb8e307e6823a26d294bfff7b3d36570c7e9ea6e2565d043ae18643fb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8207bcaacd247a03fbd68e1a941092fa678cf492"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2591,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|