019b477e-aab2-736d-ad77-74d280b9295d
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 |
|---|---|---|---|---|
| 20877 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20878 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 63950 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 63951 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 63952 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 63953 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x011a 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH4 0x03828729 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x011f 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x03cbcf57 00000044: EQ 00000045: PUSH2 0x0157 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0x043531b1 0000004f: EQ 00000050: PUSH2 0x0183 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0x363626ad 0000005a: EQ 0000005b: PUSH2 0x019b 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0x41e8b94c 00000065: EQ 00000066: PUSH2 0x01ba 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0x455f1725 00000070: EQ 00000071: PUSH2 0x01ee 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x50aeddcf 0000007b: EQ 0000007c: PUSH2 0x0201 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x5bcc1072 00000086: EQ 00000087: PUSH2 0x0217 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x66e34dc6 00000091: EQ 00000092: PUSH2 0x024f 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x79fc3682 0000009c: EQ 0000009d: PUSH2 0x0265 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x9148018a 000000a7: EQ 000000a8: PUSH2 0x0284 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x97a432ff 000000b2: EQ 000000b3: PUSH2 0x0329 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xa7e33a0c 000000bd: EQ 000000be: PUSH2 0x0348 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc2235e74 000000c8: EQ 000000c9: PUSH2 0x0366 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xc49d9ff8 000000d3: EQ 000000d4: PUSH2 0x0379 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xda76d5cd 000000de: EQ 000000df: PUSH2 0x0427 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xda918f76 000000e9: EQ 000000ea: PUSH2 0x043d 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xe9ffd6de 000000f4: EQ 000000f5: PUSH2 0x0452 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0xec1024d1 000000ff: EQ 00000100: PUSH2 0x0468 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0xf2fde38b 0000010a: EQ 0000010b: PUSH2 0x047e 0000010e: JUMPI 0000010f: DUP1 00000110: PUSH4 0xfaae4c17 00000115: EQ 00000116: PUSH2 0x049d 00000119: JUMPI 0000011a: JUMPDEST 0000011b: PUSH1 0x00 0000011d: DUP1 0000011e: REVERT 0000011f: JUMPDEST 00000120: CALLVALUE 00000121: ISZERO 00000122: PUSH2 0x012a 00000125: JUMPI 00000126: PUSH1 0x00 00000128: DUP1 00000129: REVERT 0000012a: JUMPDEST 0000012b: PUSH2 0x013b 0000012e: PUSH4 0xffffffff 00000133: PUSH1 0x04 00000135: CALLDATALOAD 00000136: AND 00000137: PUSH2 0x04b3 0000013a: JUMP 0000013b: JUMPDEST 0000013c: PUSH1 0x40 0000013e: MLOAD 0000013f: PUSH1 0x01 00000141: PUSH1 0xa0 00000143: PUSH1 0x02 00000145: EXP 00000146: SUB 00000147: SWAP1 00000148: SWAP2 00000149: AND 0000014a: DUP2 0000014b: MSTORE 0000014c: PUSH1 0x20 0000014e: ADD 0000014f: PUSH1 0x40 00000151: MLOAD 00000152: DUP1 00000153: SWAP2 00000154: SUB 00000155: SWAP1 00000156: RETURN 00000157: JUMPDEST 00000158: CALLVALUE 00000159: ISZERO 0000015a: PUSH2 0x0162 0000015d: JUMPI 0000015e: PUSH1 0x00 00000160: DUP1 00000161: REVERT 00000162: JUMPDEST 00000163: PUSH2 0x0171 00000166: PUSH2 0xffff 00000169: PUSH1 0x04 0000016b: CALLDATALOAD 0000016c: AND 0000016d: PUSH2 0x04ce 00000170: JUMP 00000171: JUMPDEST 00000172: PUSH1 0x40 00000174: MLOAD 00000175: SWAP1 00000176: DUP2 00000177: MSTORE 00000178: PUSH1 0x20 0000017a: ADD 0000017b: PUSH1 0x40 0000017d: MLOAD 0000017e: DUP1 0000017f: SWAP2 00000180: SUB 00000181: SWAP1 00000182: RETURN 00000183: JUMPDEST 00000184: CALLVALUE 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: PUSH2 0x0199 00000192: PUSH1 0x04 00000194: CALLDATALOAD 00000195: PUSH2 0x04e1 00000198: JUMP 00000199: JUMPDEST 0000019a: STOP 0000019b: JUMPDEST 0000019c: CALLVALUE 0000019d: ISZERO 0000019e: PUSH2 0x01a6 000001a1: JUMPI 000001a2: PUSH1 0x00 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: PUSH2 0x0171 000001aa: PUSH1 0x01 000001ac: PUSH1 0xa0 000001ae: PUSH1 0x02 000001b0: EXP 000001b1: SUB 000001b2: PUSH1 0x04 000001b4: CALLDATALOAD 000001b5: AND 000001b6: PUSH2 0x050f 000001b9: JUMP 000001ba: JUMPDEST 000001bb: CALLVALUE 000001bc: ISZERO 000001bd: PUSH2 0x01c5 000001c0: JUMPI 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: REVERT 000001c5: JUMPDEST 000001c6: PUSH2 0x01da 000001c9: PUSH2 0xffff 000001cc: PUSH1 0x04 000001ce: CALLDATALOAD 000001cf: DUP2 000001d0: AND 000001d1: SWAP1 000001d2: PUSH1 0x24 000001d4: CALLDATALOAD 000001d5: AND 000001d6: PUSH2 0x0521 000001d9: JUMP 000001da: JUMPDEST 000001db: PUSH1 0x40 000001dd: MLOAD 000001de: SWAP1 000001df: ISZERO 000001e0: ISZERO 000001e1: DUP2 000001e2: MSTORE 000001e3: PUSH1 0x20 000001e5: ADD 000001e6: PUSH1 0x40 000001e8: MLOAD 000001e9: DUP1 000001ea: SWAP2 000001eb: SUB 000001ec: SWAP1 000001ed: RETURN 000001ee: JUMPDEST 000001ef: CALLVALUE 000001f0: ISZERO 000001f1: PUSH2 0x01f9 000001f4: JUMPI 000001f5: PUSH1 0x00 000001f7: DUP1 000001f8: REVERT 000001f9: JUMPDEST 000001fa: PUSH2 0x0171 000001fd: PUSH2 0x0552 00000200: JUMP 00000201: JUMPDEST 00000202: CALLVALUE 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: PUSH2 0x0199 00000210: PUSH1 0x04 00000212: CALLDATALOAD 00000213: PUSH2 0x0559 00000216: JUMP 00000217: JUMPDEST 00000218: CALLVALUE 00000219: ISZERO 0000021a: PUSH2 0x0222 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: PUSH2 0x0236 00000226: PUSH1 0x01 00000228: PUSH1 0xa0 0000022a: PUSH1 0x02 0000022c: EXP 0000022d: SUB 0000022e: PUSH1 0x04 00000230: CALLDATALOAD 00000231: AND 00000232: PUSH2 0x058f 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH1 0x40 00000239: MLOAD 0000023a: PUSH4 0xffffffff 0000023f: SWAP1 00000240: SWAP2 00000241: AND 00000242: DUP2 00000243: MSTORE 00000244: PUSH1 0x20 00000246: ADD 00000247: PUSH1 0x40 00000249: MLOAD 0000024a: DUP1 0000024b: SWAP2 0000024c: SUB 0000024d: SWAP1 0000024e: RETURN 0000024f: JUMPDEST 00000250: CALLVALUE 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: PUSH2 0x0199 0000025e: PUSH1 0x04 00000260: CALLDATALOAD 00000261: PUSH2 0x05a7 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: ISZERO 00000268: PUSH2 0x0270 0000026b: JUMPI 0000026c: PUSH1 0x00 0000026e: DUP1 0000026f: REVERT 00000270: JUMPDEST 00000271: PUSH2 0x0171 00000274: PUSH1 0x01 00000276: PUSH1 0xa0 00000278: PUSH1 0x02 0000027a: EXP 0000027b: SUB 0000027c: PUSH1 0x04 0000027e: CALLDATALOAD 0000027f: AND 00000280: PUSH2 0x0632 00000283: JUMP 00000284: JUMPDEST 00000285: CALLVALUE 00000286: ISZERO 00000287: PUSH2 0x028f 0000028a: JUMPI 0000028b: PUSH1 0x00 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: PUSH2 0x029a 00000293: PUSH1 0x04 00000295: CALLDATALOAD 00000296: PUSH2 0x0644 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH1 0x40 0000029d: MLOAD 0000029e: PUSH1 0x01 000002a0: PUSH1 0xa0 000002a2: PUSH1 0x02 000002a4: EXP 000002a5: SUB 000002a6: DUP5 000002a7: AND 000002a8: DUP2 000002a9: MSTORE 000002aa: PUSH1 0x20 000002ac: DUP2 000002ad: ADD 000002ae: DUP4 000002af: SWAP1 000002b0: MSTORE 000002b1: PUSH1 0x60 000002b3: PUSH1 0x40 000002b5: DUP3 000002b6: ADD 000002b7: DUP2 000002b8: DUP2 000002b9: MSTORE 000002ba: SWAP1 000002bb: DUP3 000002bc: ADD 000002bd: DUP4 000002be: DUP2 000002bf: DUP2 000002c0: MLOAD 000002c1: DUP2 000002c2: MSTORE 000002c3: PUSH1 0x20 000002c5: ADD 000002c6: SWAP2 000002c7: POP 000002c8: DUP1 000002c9: MLOAD 000002ca: SWAP1 000002cb: PUSH1 0x20 000002cd: ADD 000002ce: SWAP1 000002cf: DUP1 000002d0: DUP4 000002d1: DUP4 000002d2: PUSH1 0x00 000002d4: JUMPDEST 000002d5: DUP4 000002d6: DUP2 000002d7: LT 000002d8: ISZERO 000002d9: PUSH2 0x02ec 000002dc: JUMPI 000002dd: DUP1 000002de: DUP3 000002df: ADD 000002e0: MLOAD 000002e1: DUP4 000002e2: DUP3 000002e3: ADD 000002e4: MSTORE 000002e5: PUSH1 0x20 000002e7: ADD 000002e8: PUSH2 0x02d4 000002eb: JUMP 000002ec: JUMPDEST 000002ed: POP 000002ee: POP 000002ef: POP 000002f0: POP 000002f1: SWAP1 000002f2: POP 000002f3: SWAP1 000002f4: DUP2 000002f5: ADD 000002f6: SWAP1 000002f7: PUSH1 0x1f 000002f9: AND 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0319 000002ff: JUMPI 00000300: DUP1 00000301: DUP3 00000302: SUB 00000303: DUP1 00000304: MLOAD 00000305: PUSH1 0x01 00000307: DUP4 00000308: PUSH1 0x20 0000030a: SUB 0000030b: PUSH2 0x0100 0000030e: EXP 0000030f: SUB 00000310: NOT 00000311: AND 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x20 00000316: ADD 00000317: SWAP2 00000318: POP 00000319: JUMPDEST 0000031a: POP 0000031b: SWAP5 0000031c: POP 0000031d: POP 0000031e: POP 0000031f: POP 00000320: POP 00000321: PUSH1 0x40 00000323: MLOAD 00000324: DUP1 00000325: SWAP2 00000326: SUB 00000327: SWAP1 00000328: RETURN 00000329: JUMPDEST 0000032a: CALLVALUE 0000032b: ISZERO 0000032c: PUSH2 0x0334 0000032f: JUMPI 00000330: PUSH1 0x00 00000332: DUP1 00000333: REVERT 00000334: JUMPDEST 00000335: PUSH2 0x0171 00000338: PUSH1 0x01 0000033a: PUSH1 0xa0 0000033c: PUSH1 0x02 0000033e: EXP 0000033f: SUB 00000340: PUSH1 0x04 00000342: CALLDATALOAD 00000343: AND 00000344: PUSH2 0x0760 00000347: JUMP 00000348: JUMPDEST 00000349: CALLVALUE 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: PUSH2 0x0199 00000357: PUSH1 0x04 00000359: DUP1 0000035a: CALLDATALOAD 0000035b: PUSH1 0x24 0000035d: DUP2 0000035e: ADD 0000035f: SWAP2 00000360: ADD 00000361: CALLDATALOAD 00000362: PUSH2 0x0772 00000365: JUMP 00000366: JUMPDEST 00000367: CALLVALUE 00000368: ISZERO 00000369: PUSH2 0x0371 0000036c: JUMPI 0000036d: PUSH1 0x00 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: PUSH2 0x0171 00000375: PUSH2 0x0894 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: PUSH2 0x038f 00000388: PUSH1 0x04 0000038a: CALLDATALOAD 0000038b: PUSH2 0x089a 0000038e: JUMP 0000038f: JUMPDEST 00000390: PUSH1 0x40 00000392: MLOAD 00000393: PUSH1 0x01 00000395: PUSH1 0xa0 00000397: PUSH1 0x02 00000399: EXP 0000039a: SUB 0000039b: DUP4 0000039c: AND 0000039d: DUP2 0000039e: MSTORE 0000039f: PUSH1 0x40 000003a1: PUSH1 0x20 000003a3: DUP3 000003a4: ADD 000003a5: DUP2 000003a6: DUP2 000003a7: MSTORE 000003a8: DUP4 000003a9: SLOAD 000003aa: PUSH1 0x02 000003ac: PUSH1 0x00 000003ae: NOT 000003af: PUSH2 0x0100 000003b2: PUSH1 0x01 000003b4: DUP5 000003b5: AND 000003b6: ISZERO 000003b7: MUL 000003b8: ADD 000003b9: SWAP1 000003ba: SWAP2 000003bb: AND 000003bc: DIV 000003bd: SWAP2 000003be: DUP4 000003bf: ADD 000003c0: DUP3 000003c1: SWAP1 000003c2: MSTORE 000003c3: SWAP1 000003c4: PUSH1 0x60 000003c6: DUP4 000003c7: ADD 000003c8: SWAP1 000003c9: DUP5 000003ca: SWAP1 000003cb: DUP1 000003cc: ISZERO 000003cd: PUSH2 0x0417 000003d0: JUMPI 000003d1: DUP1 000003d2: PUSH1 0x1f 000003d4: LT 000003d5: PUSH2 0x03ec 000003d8: JUMPI 000003d9: PUSH2 0x0100 000003dc: DUP1 000003dd: DUP4 000003de: SLOAD 000003df: DIV 000003e0: MUL 000003e1: DUP4 000003e2: MSTORE 000003e3: SWAP2 000003e4: PUSH1 0x20 000003e6: ADD 000003e7: SWAP2 000003e8: PUSH2 0x0417 000003eb: JUMP 000003ec: JUMPDEST 000003ed: DUP3 000003ee: ADD 000003ef: SWAP2 000003f0: SWAP1 000003f1: PUSH1 0x00 000003f3: MSTORE 000003f4: PUSH1 0x20 000003f6: PUSH1 0x00 000003f8: KECCAK256 000003f9: SWAP1 000003fa: JUMPDEST 000003fb: DUP2 000003fc: SLOAD 000003fd: DUP2 000003fe: MSTORE 000003ff: SWAP1 00000400: PUSH1 0x01 00000402: ADD 00000403: SWAP1 00000404: PUSH1 0x20 00000406: ADD 00000407: DUP1 00000408: DUP4 00000409: GT 0000040a: PUSH2 0x03fa 0000040d: JUMPI 0000040e: DUP3 0000040f: SWAP1 00000410: SUB 00000411: PUSH1 0x1f 00000413: AND 00000414: DUP3 00000415: ADD 00000416: SWAP2 00000417: JUMPDEST 00000418: POP 00000419: POP 0000041a: SWAP4 0000041b: POP 0000041c: POP 0000041d: POP 0000041e: POP 0000041f: PUSH1 0x40 00000421: MLOAD 00000422: DUP1 00000423: SWAP2 00000424: SUB 00000425: SWAP1 00000426: RETURN 00000427: JUMPDEST 00000428: CALLVALUE 00000429: ISZERO 0000042a: PUSH2 0x0432 0000042d: JUMPI 0000042e: PUSH1 0x00 00000430: DUP1 00000431: REVERT 00000432: JUMPDEST 00000433: PUSH2 0x0199 00000436: PUSH1 0x04 00000438: CALLDATALOAD 00000439: PUSH2 0x08cb 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH2 0x0199 00000441: PUSH2 0xffff 00000444: PUSH1 0x04 00000446: CALLDATALOAD 00000447: DUP2 00000448: AND 00000449: SWAP1 0000044a: PUSH1 0x24 0000044c: CALLDATALOAD 0000044d: AND 0000044e: PUSH2 0x0948 00000451: JUMP 00000452: JUMPDEST 00000453: CALLVALUE 00000454: ISZERO 00000455: PUSH2 0x045d 00000458: JUMPI 00000459: PUSH1 0x00 0000045b: DUP1 0000045c: REVERT 0000045d: JUMPDEST 0000045e: PUSH2 0x0236 00000461: PUSH1 0x04 00000463: CALLDATALOAD 00000464: PUSH2 0x0c46 00000467: JUMP 00000468: JUMPDEST 00000469: CALLVALUE 0000046a: ISZERO 0000046b: PUSH2 0x0473 0000046e: JUMPI 0000046f: PUSH1 0x00 00000471: DUP1 00000472: REVERT 00000473: JUMPDEST 00000474: PUSH2 0x01da 00000477: PUSH1 0x04 00000479: CALLDATALOAD 0000047a: PUSH2 0x0c7e 0000047d: JUMP 0000047e: JUMPDEST 0000047f: CALLVALUE 00000480: ISZERO 00000481: PUSH2 0x0489 00000484: JUMPI 00000485: PUSH1 0x00 00000487: DUP1 00000488: REVERT 00000489: JUMPDEST 0000048a: PUSH2 0x0199 0000048d: PUSH1 0x01 0000048f: PUSH1 0xa0 00000491: PUSH1 0x02 00000493: EXP 00000494: SUB 00000495: PUSH1 0x04 00000497: CALLDATALOAD 00000498: AND 00000499: PUSH2 0x0c93 0000049c: JUMP 0000049d: JUMPDEST 0000049e: CALLVALUE 0000049f: ISZERO 000004a0: PUSH2 0x04a8 000004a3: JUMPI 000004a4: PUSH1 0x00 000004a6: DUP1 000004a7: REVERT 000004a8: JUMPDEST 000004a9: PUSH2 0x013b 000004ac: PUSH1 0x04 000004ae: CALLDATALOAD 000004af: PUSH2 0x0cdd 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x02 000004b6: PUSH1 0x20 000004b8: MSTORE 000004b9: PUSH1 0x00 000004bb: SWAP1 000004bc: DUP2 000004bd: MSTORE 000004be: PUSH1 0x40 000004c0: SWAP1 000004c1: KECCAK256 000004c2: SLOAD 000004c3: PUSH1 0x01 000004c5: PUSH1 0xa0 000004c7: PUSH1 0x02 000004c9: EXP 000004ca: SUB 000004cb: AND 000004cc: DUP2 000004cd: JUMP 000004ce: JUMPDEST 000004cf: PUSH2 0xffff 000004d2: AND 000004d3: PUSH1 0x02 000004d5: EXP 000004d6: PUSH7 0x11c37937e08000 000004de: MUL 000004df: SWAP1 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH1 0x01 000004e4: SLOAD 000004e5: CALLER 000004e6: PUSH1 0x01 000004e8: PUSH1 0xa0 000004ea: PUSH1 0x02 000004ec: EXP 000004ed: SUB 000004ee: SWAP1 000004ef: DUP2 000004f0: AND 000004f1: SWAP2 000004f2: AND 000004f3: EQ 000004f4: PUSH2 0x04fc 000004f7: JUMPI 000004f8: PUSH1 0x00 000004fa: DUP1 000004fb: REVERT 000004fc: JUMPDEST 000004fd: PUSH1 0x14 000004ff: DUP2 00000500: LT 00000501: ISZERO 00000502: PUSH2 0x050a 00000505: JUMPI 00000506: PUSH1 0x00 00000508: DUP1 00000509: REVERT 0000050a: JUMPDEST 0000050b: PUSH1 0x00 0000050d: SSTORE 0000050e: JUMP 0000050f: JUMPDEST 00000510: PUSH1 0x04 00000512: PUSH1 0x20 00000514: MSTORE 00000515: PUSH1 0x00 00000517: SWAP1 00000518: DUP2 00000519: MSTORE 0000051a: PUSH1 0x40 0000051c: SWAP1 0000051d: KECCAK256 0000051e: SLOAD 0000051f: DUP2 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH3 0x010000 00000526: PUSH2 0xffff 00000529: SWAP3 0000052a: DUP4 0000052b: AND 0000052c: MUL 0000052d: SWAP2 0000052e: AND 0000052f: OR 00000530: PUSH4 0xffffffff 00000535: AND 00000536: PUSH1 0x00 00000538: SWAP1 00000539: DUP2 0000053a: MSTORE 0000053b: PUSH1 0x02 0000053d: PUSH1 0x20 0000053f: MSTORE 00000540: PUSH1 0x40 00000542: SWAP1 00000543: KECCAK256 00000544: SLOAD 00000545: PUSH1 0x01 00000547: PUSH1 0xa0 00000549: PUSH1 0x02 0000054b: EXP 0000054c: SUB 0000054d: AND 0000054e: ISZERO 0000054f: ISZERO 00000550: SWAP1 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH1 0x03 00000555: SLOAD 00000556: JUMPDEST 00000557: SWAP1 00000558: JUMP 00000559: JUMPDEST 0000055a: PUSH1 0x01 0000055c: SLOAD 0000055d: CALLER 0000055e: PUSH1 0x01 00000560: PUSH1 0xa0 00000562: PUSH1 0x02 00000564: EXP 00000565: SUB 00000566: SWAP1 00000567: DUP2 00000568: AND 00000569: SWAP2 0000056a: AND 0000056b: EQ 0000056c: PUSH2 0x0574 0000056f: JUMPI 00000570: PUSH1 0x00 00000572: DUP1 00000573: REVERT 00000574: JUMPDEST 00000575: PUSH1 0x00 00000577: SWAP1 00000578: DUP2 00000579: MSTORE 0000057a: PUSH1 0x0a 0000057c: PUSH1 0x20 0000057e: MSTORE 0000057f: PUSH1 0x40 00000581: SWAP1 00000582: KECCAK256 00000583: DUP1 00000584: SLOAD 00000585: PUSH1 0xff 00000587: NOT 00000588: AND 00000589: PUSH1 0x01 0000058b: OR 0000058c: SWAP1 0000058d: SSTORE 0000058e: JUMP 0000058f: JUMPDEST 00000590: PUSH1 0x08 00000592: PUSH1 0x20 00000594: MSTORE 00000595: PUSH1 0x00 00000597: SWAP1 00000598: DUP2 00000599: MSTORE 0000059a: PUSH1 0x40 0000059c: SWAP1 0000059d: KECCAK256 0000059e: SLOAD 0000059f: PUSH4 0xffffffff 000005a4: AND 000005a5: DUP2 000005a6: JUMP 000005a7: JUMPDEST 000005a8: PUSH1 0x00 000005aa: DUP2 000005ab: DUP2 000005ac: MSTORE 000005ad: PUSH1 0x06 000005af: PUSH1 0x20 000005b1: MSTORE 000005b2: PUSH1 0x40 000005b4: SWAP1 000005b5: KECCAK256 000005b6: SLOAD 000005b7: PUSH1 0x01 000005b9: PUSH1 0xa0 000005bb: PUSH1 0x02 000005bd: EXP 000005be: SUB 000005bf: AND 000005c0: ISZERO 000005c1: PUSH2 0x05c9 000005c4: JUMPI 000005c5: PUSH1 0x00 000005c7: DUP1 000005c8: REVERT 000005c9: JUMPDEST 000005ca: PUSH1 0x01 000005cc: PUSH1 0xa0 000005ce: PUSH1 0x02 000005d0: EXP 000005d1: SUB 000005d2: CALLER 000005d3: AND 000005d4: PUSH1 0x00 000005d6: SWAP1 000005d7: DUP2 000005d8: MSTORE 000005d9: PUSH1 0x07 000005db: PUSH1 0x20 000005dd: MSTORE 000005de: PUSH1 0x40 000005e0: SWAP1 000005e1: KECCAK256 000005e2: SLOAD 000005e3: ISZERO 000005e4: PUSH2 0x05ec 000005e7: JUMPI 000005e8: PUSH1 0x00 000005ea: DUP1 000005eb: REVERT 000005ec: JUMPDEST 000005ed: PUSH1 0x00 000005ef: DUP2 000005f0: DUP2 000005f1: MSTORE 000005f2: PUSH1 0x06 000005f4: PUSH1 0x20 000005f6: SWAP1 000005f7: DUP2 000005f8: MSTORE 000005f9: PUSH1 0x40 000005fb: DUP1 000005fc: DUP4 000005fd: KECCAK256 000005fe: DUP1 000005ff: SLOAD 00000600: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000615: NOT 00000616: AND 00000617: CALLER 00000618: PUSH1 0x01 0000061a: PUSH1 0xa0 0000061c: PUSH1 0x02 0000061e: EXP 0000061f: SUB 00000620: AND 00000621: SWAP1 00000622: DUP2 00000623: OR 00000624: SWAP1 00000625: SWAP2 00000626: SSTORE 00000627: DUP4 00000628: MSTORE 00000629: PUSH1 0x07 0000062b: SWAP1 0000062c: SWAP2 0000062d: MSTORE 0000062e: SWAP1 0000062f: KECCAK256 00000630: SSTORE 00000631: JUMP 00000632: JUMPDEST 00000633: PUSH1 0x05 00000635: PUSH1 0x20 00000637: MSTORE 00000638: PUSH1 0x00 0000063a: SWAP1 0000063b: DUP2 0000063c: MSTORE 0000063d: PUSH1 0x40 0000063f: SWAP1 00000640: KECCAK256 00000641: SLOAD 00000642: DUP2 00000643: JUMP 00000644: JUMPDEST 00000645: PUSH1 0x00 00000647: DUP1 00000648: PUSH2 0x064f 0000064b: PUSH2 0x0cf8 0000064e: JUMP 0000064f: JUMPDEST 00000650: PUSH1 0x00 00000652: DUP1 00000653: PUSH1 0x09 00000655: DUP7 00000656: DUP2 00000657: SLOAD 00000658: DUP2 00000659: LT 0000065a: ISZERO 0000065b: ISZERO 0000065c: PUSH2 0x0661 0000065f: JUMPI 00000660: INVALID 00000661: JUMPDEST 00000662: PUSH1 0x00 00000664: SWAP2 00000665: DUP3 00000666: MSTORE 00000667: PUSH1 0x20 00000669: DUP1 0000066a: DUP4 0000066b: KECCAK256 0000066c: PUSH1 0x02 0000066e: SWAP1 0000066f: SWAP3 00000670: MUL 00000671: SWAP1 00000672: SWAP2 00000673: ADD 00000674: SLOAD 00000675: PUSH1 0x01 00000677: PUSH1 0xa0 00000679: PUSH1 0x02 0000067b: EXP 0000067c: SUB 0000067d: AND 0000067e: DUP1 0000067f: DUP4 00000680: MSTORE 00000681: PUSH1 0x07 00000683: SWAP1 00000684: SWAP2 00000685: MSTORE 00000686: PUSH1 0x40 00000688: SWAP1 00000689: SWAP2 0000068a: KECCAK256 0000068b: SLOAD 0000068c: PUSH1 0x09 0000068e: DUP1 0000068f: SLOAD 00000690: SWAP3 00000691: SWAP5 00000692: POP 00000693: SWAP1 00000694: SWAP3 00000695: POP 00000696: DUP4 00000697: SWAP2 00000698: DUP4 00000699: SWAP2 0000069a: SWAP1 0000069b: DUP10 0000069c: SWAP1 0000069d: DUP2 0000069e: LT 0000069f: PUSH2 0x06a4 000006a2: JUMPI 000006a3: INVALID 000006a4: JUMPDEST 000006a5: SWAP1 000006a6: PUSH1 0x00 000006a8: MSTORE 000006a9: PUSH1 0x20 000006ab: PUSH1 0x00 000006ad: KECCAK256 000006ae: SWAP1 000006af: PUSH1 0x02 000006b1: MUL 000006b2: ADD 000006b3: PUSH1 0x01 000006b5: ADD 000006b6: DUP1 000006b7: DUP1 000006b8: SLOAD 000006b9: PUSH1 0x01 000006bb: DUP2 000006bc: PUSH1 0x01 000006be: AND 000006bf: ISZERO 000006c0: PUSH2 0x0100 000006c3: MUL 000006c4: SUB 000006c5: AND 000006c6: PUSH1 0x02 000006c8: SWAP1 000006c9: DIV 000006ca: DUP1 000006cb: PUSH1 0x1f 000006cd: ADD 000006ce: PUSH1 0x20 000006d0: DUP1 000006d1: SWAP2 000006d2: DIV 000006d3: MUL 000006d4: PUSH1 0x20 000006d6: ADD 000006d7: PUSH1 0x40 000006d9: MLOAD 000006da: SWAP1 000006db: DUP2 000006dc: ADD 000006dd: PUSH1 0x40 000006df: MSTORE 000006e0: DUP1 000006e1: SWAP3 000006e2: SWAP2 000006e3: SWAP1 000006e4: DUP2 000006e5: DUP2 000006e6: MSTORE 000006e7: PUSH1 0x20 000006e9: ADD 000006ea: DUP3 000006eb: DUP1 000006ec: SLOAD 000006ed: PUSH1 0x01 000006ef: DUP2 000006f0: PUSH1 0x01 000006f2: AND 000006f3: ISZERO 000006f4: PUSH2 0x0100 000006f7: MUL 000006f8: SUB 000006f9: AND 000006fa: PUSH1 0x02 000006fc: SWAP1 000006fd: DIV 000006fe: DUP1 000006ff: ISZERO 00000700: PUSH2 0x074a 00000703: JUMPI 00000704: DUP1 00000705: PUSH1 0x1f 00000707: LT 00000708: PUSH2 0x071f 0000070b: JUMPI 0000070c: PUSH2 0x0100 0000070f: DUP1 00000710: DUP4 00000711: SLOAD 00000712: DIV 00000713: MUL 00000714: DUP4 00000715: MSTORE 00000716: SWAP2 00000717: PUSH1 0x20 00000719: ADD 0000071a: SWAP2 0000071b: PUSH2 0x074a 0000071e: JUMP 0000071f: JUMPDEST 00000720: DUP3 00000721: ADD 00000722: SWAP2 00000723: SWAP1 00000724: PUSH1 0x00 00000726: MSTORE 00000727: PUSH1 0x20 00000729: PUSH1 0x00 0000072b: KECCAK256 0000072c: SWAP1 0000072d: JUMPDEST 0000072e: DUP2 0000072f: SLOAD 00000730: DUP2 00000731: MSTORE 00000732: SWAP1 00000733: PUSH1 0x01 00000735: ADD 00000736: SWAP1 00000737: PUSH1 0x20 00000739: ADD 0000073a: DUP1 0000073b: DUP4 0000073c: GT 0000073d: PUSH2 0x072d 00000740: JUMPI 00000741: DUP3 00000742: SWAP1 00000743: SUB 00000744: PUSH1 0x1f 00000746: AND 00000747: DUP3 00000748: ADD 00000749: SWAP2 0000074a: JUMPDEST 0000074b: POP 0000074c: POP 0000074d: POP 0000074e: POP 0000074f: POP 00000750: SWAP1 00000751: POP 00000752: SWAP5 00000753: POP 00000754: SWAP5 00000755: POP 00000756: SWAP5 00000757: POP 00000758: POP 00000759: POP 0000075a: SWAP2 0000075b: SWAP4 0000075c: SWAP1 0000075d: SWAP3 0000075e: POP 0000075f: JUMP 00000760: JUMPDEST 00000761: PUSH1 0x07 00000763: PUSH1 0x20 00000765: MSTORE 00000766: PUSH1 0x00 00000768: SWAP1 00000769: DUP2 0000076a: MSTORE 0000076b: PUSH1 0x40 0000076d: SWAP1 0000076e: KECCAK256 0000076f: SLOAD 00000770: DUP2 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH1 0x01 00000775: PUSH1 0xa0 00000777: PUSH1 0x02 00000779: EXP 0000077a: SUB 0000077b: CALLER 0000077c: AND 0000077d: PUSH1 0x00 0000077f: SWAP1 00000780: DUP2 00000781: MSTORE 00000782: PUSH1 0x08 00000784: PUSH1 0x20 00000786: MSTORE 00000787: PUSH1 0x40 00000789: SWAP1 0000078a: KECCAK256 0000078b: SLOAD 0000078c: PUSH1 0x01 0000078e: PUSH4 0xffffffff 00000793: SWAP1 00000794: SWAP2 00000795: AND 00000796: LT 00000797: ISZERO 00000798: PUSH2 0x07a0 0000079b: JUMPI 0000079c: PUSH1 0x00 0000079e: DUP1 0000079f: REVERT 000007a0: JUMPDEST 000007a1: CALLER 000007a2: PUSH1 0x01 000007a4: PUSH1 0xa0 000007a6: PUSH1 0x02 000007a8: EXP 000007a9: SUB 000007aa: AND 000007ab: PUSH1 0x00 000007ad: SWAP1 000007ae: DUP2 000007af: MSTORE 000007b0: PUSH1 0x08 000007b2: PUSH1 0x20 000007b4: MSTORE 000007b5: PUSH1 0x40 000007b7: SWAP1 000007b8: KECCAK256 000007b9: DUP1 000007ba: SLOAD 000007bb: PUSH4 0xffffffff 000007c0: NOT 000007c1: DUP2 000007c2: AND 000007c3: PUSH4 0xffffffff 000007c8: SWAP2 000007c9: DUP3 000007ca: AND 000007cb: PUSH1 0x00 000007cd: NOT 000007ce: ADD 000007cf: SWAP1 000007d0: SWAP2 000007d1: AND 000007d2: OR 000007d3: SWAP1 000007d4: SSTORE 000007d5: PUSH1 0x09 000007d7: DUP1 000007d8: SLOAD 000007d9: PUSH1 0x01 000007db: DUP2 000007dc: ADD 000007dd: PUSH2 0x07e6 000007e0: DUP4 000007e1: DUP3 000007e2: PUSH2 0x0d0a 000007e5: JUMP 000007e6: JUMPDEST 000007e7: SWAP2 000007e8: PUSH1 0x00 000007ea: MSTORE 000007eb: PUSH1 0x20 000007ed: PUSH1 0x00 000007ef: KECCAK256 000007f0: SWAP1 000007f1: PUSH1 0x02 000007f3: MUL 000007f4: ADD 000007f5: PUSH1 0x00 000007f7: PUSH1 0x40 000007f9: DUP1 000007fa: MLOAD 000007fb: SWAP1 000007fc: DUP2 000007fd: ADD 000007fe: PUSH1 0x40 00000800: MSTORE 00000801: DUP1 00000802: CALLER 00000803: PUSH1 0x01 00000805: PUSH1 0xa0 00000807: PUSH1 0x02 00000809: EXP 0000080a: SUB 0000080b: AND 0000080c: DUP2 0000080d: MSTORE 0000080e: PUSH1 0x20 00000810: ADD 00000811: DUP7 00000812: DUP7 00000813: DUP1 00000814: DUP1 00000815: PUSH1 0x1f 00000817: ADD 00000818: PUSH1 0x20 0000081a: DUP1 0000081b: SWAP2 0000081c: DIV 0000081d: MUL 0000081e: PUSH1 0x20 00000820: ADD 00000821: PUSH1 0x40 00000823: MLOAD 00000824: SWAP1 00000825: DUP2 00000826: ADD 00000827: PUSH1 0x40 00000829: MSTORE 0000082a: DUP2 0000082b: DUP2 0000082c: MSTORE 0000082d: SWAP3 0000082e: SWAP2 0000082f: SWAP1 00000830: PUSH1 0x20 00000832: DUP5 00000833: ADD 00000834: DUP4 00000835: DUP4 00000836: DUP1 00000837: DUP3 00000838: DUP5 00000839: CALLDATACOPY 0000083a: POP 0000083b: POP 0000083c: POP 0000083d: SWAP3 0000083e: SWAP1 0000083f: SWAP4 00000840: MSTORE 00000841: POP 00000842: SWAP2 00000843: SWAP4 00000844: SWAP3 00000845: POP 00000846: DUP4 00000847: SWAP2 00000848: POP 00000849: POP 0000084a: MLOAD 0000084b: DUP2 0000084c: SLOAD 0000084d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000862: NOT 00000863: AND 00000864: PUSH1 0x01 00000866: PUSH1 0xa0 00000868: PUSH1 0x02 0000086a: EXP 0000086b: SUB 0000086c: SWAP2 0000086d: SWAP1 0000086e: SWAP2 0000086f: AND 00000870: OR 00000871: DUP2 00000872: SSTORE 00000873: PUSH1 0x20 00000875: DUP3 00000876: ADD 00000877: MLOAD 00000878: DUP2 00000879: PUSH1 0x01 0000087b: ADD 0000087c: SWAP1 0000087d: DUP1 0000087e: MLOAD 0000087f: PUSH2 0x088c 00000882: SWAP3 00000883: SWAP2 00000884: PUSH1 0x20 00000886: ADD 00000887: SWAP1 00000888: PUSH2 0x0d3b 0000088b: JUMP 0000088c: JUMPDEST 0000088d: POP 0000088e: POP 0000088f: POP 00000890: POP 00000891: POP 00000892: POP 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH1 0x09 00000897: SLOAD 00000898: SWAP1 00000899: JUMP 0000089a: JUMPDEST 0000089b: PUSH1 0x09 0000089d: DUP1 0000089e: SLOAD 0000089f: DUP3 000008a0: SWAP1 000008a1: DUP2 000008a2: LT 000008a3: PUSH2 0x08a8 000008a6: JUMPI 000008a7: INVALID 000008a8: JUMPDEST 000008a9: PUSH1 0x00 000008ab: SWAP2 000008ac: DUP3 000008ad: MSTORE 000008ae: PUSH1 0x20 000008b0: SWAP1 000008b1: SWAP2 000008b2: KECCAK256 000008b3: PUSH1 0x02 000008b5: SWAP1 000008b6: SWAP2 000008b7: MUL 000008b8: ADD 000008b9: DUP1 000008ba: SLOAD 000008bb: PUSH1 0x01 000008bd: PUSH1 0xa0 000008bf: PUSH1 0x02 000008c1: EXP 000008c2: SUB 000008c3: AND 000008c4: SWAP2 000008c5: POP 000008c6: PUSH1 0x01 000008c8: ADD 000008c9: DUP3 000008ca: JUMP 000008cb: JUMPDEST 000008cc: DUP1 000008cd: ISZERO 000008ce: ISZERO 000008cf: PUSH2 0x08d7 000008d2: JUMPI 000008d3: PUSH1 0x00 000008d5: DUP1 000008d6: REVERT 000008d7: JUMPDEST 000008d8: PUSH1 0x01 000008da: PUSH1 0xa0 000008dc: PUSH1 0x02 000008de: EXP 000008df: SUB 000008e0: CALLER 000008e1: AND 000008e2: PUSH1 0x00 000008e4: SWAP1 000008e5: DUP2 000008e6: MSTORE 000008e7: PUSH1 0x05 000008e9: PUSH1 0x20 000008eb: MSTORE 000008ec: PUSH1 0x40 000008ee: SWAP1 000008ef: KECCAK256 000008f0: SLOAD 000008f1: DUP2 000008f2: SWAP1 000008f3: LT 000008f4: ISZERO 000008f5: PUSH2 0x08fd 000008f8: JUMPI 000008f9: PUSH1 0x00 000008fb: DUP1 000008fc: REVERT 000008fd: JUMPDEST 000008fe: PUSH1 0x01 00000900: PUSH1 0xa0 00000902: PUSH1 0x02 00000904: EXP 00000905: SUB 00000906: CALLER 00000907: AND 00000908: PUSH1 0x00 0000090a: DUP2 0000090b: DUP2 0000090c: MSTORE 0000090d: PUSH1 0x05 0000090f: PUSH1 0x20 00000911: MSTORE 00000912: PUSH1 0x40 00000914: SWAP1 00000915: DUP2 00000916: SWAP1 00000917: KECCAK256 00000918: DUP1 00000919: SLOAD 0000091a: DUP5 0000091b: SWAP1 0000091c: SUB 0000091d: SWAP1 0000091e: SSTORE 0000091f: DUP3 00000920: ISZERO 00000921: PUSH2 0x08fc 00000924: MUL 00000925: SWAP1 00000926: DUP4 00000927: SWAP1 00000928: MLOAD 00000929: PUSH1 0x00 0000092b: PUSH1 0x40 0000092d: MLOAD 0000092e: DUP1 0000092f: DUP4 00000930: SUB 00000931: DUP2 00000932: DUP6 00000933: DUP9 00000934: DUP9 00000935: CALL 00000936: SWAP4 00000937: POP 00000938: POP 00000939: POP 0000093a: POP 0000093b: ISZERO 0000093c: ISZERO 0000093d: PUSH2 0x0945 00000940: JUMPI 00000941: PUSH1 0x00 00000943: DUP1 00000944: REVERT 00000945: JUMPDEST 00000946: POP 00000947: JUMP 00000948: JUMPDEST 00000949: PUSH1 0x00 0000094b: DUP1 0000094c: PUSH1 0x00 0000094e: PUSH2 0x0957 00000951: DUP6 00000952: DUP6 00000953: PUSH2 0x0521 00000956: JUMP 00000957: JUMPDEST 00000958: ISZERO 00000959: PUSH2 0x0961 0000095c: JUMPI 0000095d: PUSH1 0x00 0000095f: DUP1 00000960: REVERT 00000961: JUMPDEST 00000962: PUSH1 0x01 00000964: PUSH1 0xa0 00000966: PUSH1 0x02 00000968: EXP 00000969: SUB 0000096a: CALLER 0000096b: AND 0000096c: PUSH1 0x00 0000096e: SWAP1 0000096f: DUP2 00000970: MSTORE 00000971: PUSH1 0x05 00000973: PUSH1 0x20 00000975: MSTORE 00000976: PUSH1 0x40 00000978: SWAP1 00000979: KECCAK256 0000097a: DUP1 0000097b: SLOAD 0000097c: CALLVALUE 0000097d: ADD 0000097e: SWAP1 0000097f: SSTORE 00000980: PUSH2 0x0988 00000983: DUP5 00000984: PUSH2 0x04ce 00000987: JUMP 00000988: JUMPDEST 00000989: SWAP3 0000098a: POP 0000098b: PUSH2 0xffff 0000098e: DUP5 0000098f: AND 00000990: ISZERO 00000991: ISZERO 00000992: PUSH2 0x09c5 00000995: JUMPI 00000996: PUSH2 0x09a2 00000999: PUSH1 0x01 0000099b: DUP7 0000099c: SUB 0000099d: DUP6 0000099e: PUSH2 0x0521 000009a1: JUMP 000009a2: JUMPDEST 000009a3: DUP1 000009a4: PUSH2 0x09b5 000009a7: JUMPI 000009a8: POP 000009a9: PUSH2 0x09b5 000009ac: DUP6 000009ad: PUSH1 0x01 000009af: ADD 000009b0: DUP6 000009b1: PUSH2 0x0521 000009b4: JUMP 000009b5: JUMPDEST 000009b6: ISZERO 000009b7: ISZERO 000009b8: PUSH2 0x09c0 000009bb: JUMPI 000009bc: PUSH1 0x00 000009be: DUP1 000009bf: REVERT 000009c0: JUMPDEST 000009c1: PUSH2 0x09f4 000009c4: JUMP 000009c5: JUMPDEST 000009c6: PUSH2 0x09d2 000009c9: DUP6 000009ca: PUSH1 0x01 000009cc: DUP7 000009cd: SUB 000009ce: PUSH2 0x0521 000009d1: JUMP 000009d2: JUMPDEST 000009d3: DUP1 000009d4: ISZERO 000009d5: PUSH2 0x09e9 000009d8: JUMPI 000009d9: POP 000009da: PUSH2 0x09e9 000009dd: DUP6 000009de: PUSH1 0x01 000009e0: ADD 000009e1: PUSH1 0x01 000009e3: DUP7 000009e4: SUB 000009e5: PUSH2 0x0521 000009e8: JUMP 000009e9: JUMPDEST 000009ea: ISZERO 000009eb: ISZERO 000009ec: PUSH2 0x09f4 000009ef: JUMPI 000009f0: PUSH1 0x00 000009f2: DUP1 000009f3: REVERT 000009f4: JUMPDEST 000009f5: CALLER 000009f6: PUSH1 0x01 000009f8: PUSH1 0xa0 000009fa: PUSH1 0x02 000009fc: EXP 000009fd: SUB 000009fe: AND 000009ff: PUSH1 0x00 00000a01: DUP2 00000a02: DUP2 00000a03: MSTORE 00000a04: PUSH1 0x05 00000a06: PUSH1 0x20 00000a08: SWAP1 00000a09: DUP2 00000a0a: MSTORE 00000a0b: PUSH1 0x40 00000a0d: DUP1 00000a0e: DUP4 00000a0f: KECCAK256 00000a10: DUP1 00000a11: SLOAD 00000a12: DUP9 00000a13: SWAP1 00000a14: SUB 00000a15: SWAP1 00000a16: SSTORE 00000a17: PUSH4 0xffffffff 00000a1c: PUSH2 0xffff 00000a1f: DUP10 00000a20: DUP2 00000a21: AND 00000a22: SWAP1 00000a23: DUP12 00000a24: AND 00000a25: PUSH3 0x010000 00000a29: MUL 00000a2a: OR 00000a2b: AND 00000a2c: DUP4 00000a2d: MSTORE 00000a2e: PUSH1 0x02 00000a30: SWAP1 00000a31: SWAP2 00000a32: MSTORE 00000a33: SWAP1 00000a34: KECCAK256 00000a35: DUP1 00000a36: SLOAD 00000a37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4c: NOT 00000a4d: AND 00000a4e: SWAP1 00000a4f: SWAP2 00000a50: OR 00000a51: SWAP1 00000a52: SSTORE 00000a53: PUSH1 0x03 00000a55: DUP1 00000a56: SLOAD 00000a57: PUSH1 0x01 00000a59: DUP2 00000a5a: ADD 00000a5b: PUSH2 0x0a64 00000a5e: DUP4 00000a5f: DUP3 00000a60: PUSH2 0x0db9 00000a63: JUMP 00000a64: JUMPDEST 00000a65: SWAP2 00000a66: PUSH1 0x00 00000a68: MSTORE 00000a69: PUSH1 0x20 00000a6b: PUSH1 0x00 00000a6d: KECCAK256 00000a6e: SWAP1 00000a6f: PUSH1 0x08 00000a71: SWAP2 00000a72: DUP3 00000a73: DUP3 00000a74: DIV 00000a75: ADD 00000a76: SWAP2 00000a77: SWAP1 00000a78: MOD 00000a79: PUSH1 0x04 00000a7b: MUL 00000a7c: DUP7 00000a7d: PUSH2 0xffff 00000a80: AND 00000a81: PUSH1 0x10 00000a83: DUP10 00000a84: PUSH2 0xffff 00000a87: AND 00000a88: PUSH4 0xffffffff 00000a8d: AND 00000a8e: SWAP1 00000a8f: PUSH1 0x02 00000a91: EXP 00000a92: MUL 00000a93: OR 00000a94: SWAP1 00000a95: SWAP2 00000a96: SWAP1 00000a97: SWAP2 00000a98: PUSH2 0x0100 00000a9b: EXP 00000a9c: DUP2 00000a9d: SLOAD 00000a9e: DUP2 00000a9f: PUSH4 0xffffffff 00000aa4: MUL 00000aa5: NOT 00000aa6: AND 00000aa7: SWAP1 00000aa8: DUP4 00000aa9: PUSH4 0xffffffff 00000aae: AND 00000aaf: MUL 00000ab0: OR 00000ab1: SWAP1 00000ab2: SSTORE 00000ab3: POP 00000ab4: POP 00000ab5: DUP4 00000ab6: PUSH2 0xffff 00000ab9: AND 00000aba: PUSH1 0x00 00000abc: EQ 00000abd: ISZERO 00000abe: PUSH2 0x0ae6 00000ac1: JUMPI 00000ac2: PUSH1 0x01 00000ac4: SLOAD 00000ac5: PUSH1 0x01 00000ac7: PUSH1 0xa0 00000ac9: PUSH1 0x02 00000acb: EXP 00000acc: SUB 00000acd: AND 00000ace: PUSH1 0x00 00000ad0: SWAP1 00000ad1: DUP2 00000ad2: MSTORE 00000ad3: PUSH1 0x05 00000ad5: PUSH1 0x20 00000ad7: MSTORE 00000ad8: PUSH1 0x40 00000ada: SWAP1 00000adb: KECCAK256 00000adc: DUP1 00000add: SLOAD 00000ade: DUP5 00000adf: ADD 00000ae0: SWAP1 00000ae1: SSTORE 00000ae2: PUSH2 0x0bad 00000ae5: JUMP 00000ae6: JUMPDEST 00000ae7: PUSH1 0x00 00000ae9: SLOAD 00000aea: DUP4 00000aeb: DUP2 00000aec: ISZERO 00000aed: ISZERO 00000aee: PUSH2 0x0af3 00000af1: JUMPI 00000af2: INVALID 00000af3: JUMPDEST 00000af4: DIV 00000af5: SWAP2 00000af6: POP 00000af7: POP 00000af8: DUP1 00000af9: DUP3 00000afa: SUB 00000afb: PUSH1 0x02 00000afd: DUP2 00000afe: PUSH4 0xffffffff 00000b03: PUSH1 0x00 00000b05: NOT 00000b06: DUP8 00000b07: ADD 00000b08: PUSH2 0xffff 00000b0b: SWAP1 00000b0c: DUP2 00000b0d: AND 00000b0e: SWAP1 00000b0f: DUP10 00000b10: AND 00000b11: PUSH3 0x010000 00000b15: MUL 00000b16: OR 00000b17: AND 00000b18: PUSH1 0x00 00000b1a: SWAP1 00000b1b: DUP2 00000b1c: MSTORE 00000b1d: PUSH1 0x02 00000b1f: PUSH1 0x20 00000b21: DUP2 00000b22: DUP2 00000b23: MSTORE 00000b24: PUSH1 0x40 00000b26: DUP1 00000b27: DUP5 00000b28: KECCAK256 00000b29: SLOAD 00000b2a: PUSH1 0x01 00000b2c: PUSH1 0xa0 00000b2e: PUSH1 0x02 00000b30: EXP 00000b31: SUB 00000b32: AND 00000b33: DUP5 00000b34: MSTORE 00000b35: PUSH1 0x05 00000b37: SWAP1 00000b38: SWAP2 00000b39: MSTORE 00000b3a: SWAP1 00000b3b: SWAP2 00000b3c: KECCAK256 00000b3d: DUP1 00000b3e: SLOAD 00000b3f: SWAP4 00000b40: SWAP1 00000b41: SWAP3 00000b42: DIV 00000b43: SWAP1 00000b44: SWAP3 00000b45: ADD 00000b46: SWAP1 00000b47: SSTORE 00000b48: DUP2 00000b49: PUSH4 0xffffffff 00000b4e: PUSH1 0x00 00000b50: NOT 00000b51: DUP8 00000b52: ADD 00000b53: PUSH2 0xffff 00000b56: SWAP1 00000b57: DUP2 00000b58: AND 00000b59: PUSH1 0x01 00000b5b: DUP11 00000b5c: DUP2 00000b5d: ADD 00000b5e: SWAP3 00000b5f: SWAP1 00000b60: SWAP3 00000b61: AND 00000b62: PUSH3 0x010000 00000b66: MUL 00000b67: OR 00000b68: SWAP2 00000b69: SWAP1 00000b6a: SWAP2 00000b6b: AND 00000b6c: PUSH1 0x00 00000b6e: SWAP1 00000b6f: DUP2 00000b70: MSTORE 00000b71: PUSH1 0x02 00000b73: PUSH1 0x20 00000b75: SWAP1 00000b76: DUP2 00000b77: MSTORE 00000b78: PUSH1 0x40 00000b7a: DUP1 00000b7b: DUP4 00000b7c: KECCAK256 00000b7d: SLOAD 00000b7e: PUSH1 0x01 00000b80: PUSH1 0xa0 00000b82: PUSH1 0x02 00000b84: EXP 00000b85: SUB 00000b86: SWAP1 00000b87: DUP2 00000b88: AND 00000b89: DUP5 00000b8a: MSTORE 00000b8b: PUSH1 0x05 00000b8d: SWAP1 00000b8e: SWAP3 00000b8f: MSTORE 00000b90: DUP1 00000b91: DUP4 00000b92: KECCAK256 00000b93: DUP1 00000b94: SLOAD 00000b95: SWAP7 00000b96: SWAP1 00000b97: SWAP6 00000b98: DIV 00000b99: SWAP1 00000b9a: SWAP6 00000b9b: ADD 00000b9c: SWAP1 00000b9d: SWAP4 00000b9e: SSTORE 00000b9f: SWAP1 00000ba0: SLOAD 00000ba1: SWAP1 00000ba2: SWAP2 00000ba3: AND 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: KECCAK256 00000ba7: DUP1 00000ba8: SLOAD 00000ba9: DUP4 00000baa: ADD 00000bab: SWAP1 00000bac: SSTORE 00000bad: JUMPDEST 00000bae: PUSH1 0x01 00000bb0: PUSH1 0xa0 00000bb2: PUSH1 0x02 00000bb4: EXP 00000bb5: SUB 00000bb6: CALLER 00000bb7: AND 00000bb8: PUSH1 0x00 00000bba: SWAP1 00000bbb: DUP2 00000bbc: MSTORE 00000bbd: PUSH1 0x05 00000bbf: PUSH1 0x20 00000bc1: MSTORE 00000bc2: PUSH1 0x40 00000bc4: SWAP1 00000bc5: KECCAK256 00000bc6: SLOAD 00000bc7: PUSH32 0x8000000000000000000000000000000000000000000000000000000000000000 00000be8: SWAP1 00000be9: LT 00000bea: PUSH2 0x0bf2 00000bed: JUMPI 00000bee: PUSH1 0x00 00000bf0: DUP1 00000bf1: REVERT 00000bf2: JUMPDEST 00000bf3: POP 00000bf4: POP 00000bf5: CALLER 00000bf6: PUSH1 0x01 00000bf8: PUSH1 0xa0 00000bfa: PUSH1 0x02 00000bfc: EXP 00000bfd: SUB 00000bfe: AND 00000bff: PUSH1 0x00 00000c01: SWAP1 00000c02: DUP2 00000c03: MSTORE 00000c04: PUSH1 0x08 00000c06: PUSH1 0x20 00000c08: SWAP1 00000c09: DUP2 00000c0a: MSTORE 00000c0b: PUSH1 0x40 00000c0d: DUP1 00000c0e: DUP4 00000c0f: KECCAK256 00000c10: DUP1 00000c11: SLOAD 00000c12: PUSH4 0xffffffff 00000c17: NOT 00000c18: DUP2 00000c19: AND 00000c1a: PUSH2 0xffff 00000c1d: SWAP8 00000c1e: SWAP1 00000c1f: SWAP8 00000c20: AND 00000c21: PUSH1 0x02 00000c23: EXP 00000c24: PUSH4 0xffffffff 00000c29: SWAP2 00000c2a: DUP3 00000c2b: AND 00000c2c: ADD 00000c2d: AND 00000c2e: SWAP6 00000c2f: SWAP1 00000c30: SWAP6 00000c31: OR 00000c32: SWAP1 00000c33: SWAP5 00000c34: SSTORE 00000c35: PUSH1 0x04 00000c37: SWAP1 00000c38: MSTORE 00000c39: SWAP2 00000c3a: SWAP1 00000c3b: SWAP2 00000c3c: KECCAK256 00000c3d: DUP1 00000c3e: SLOAD 00000c3f: SWAP1 00000c40: SWAP2 00000c41: ADD 00000c42: SWAP1 00000c43: SSTORE 00000c44: POP 00000c45: JUMP 00000c46: JUMPDEST 00000c47: PUSH1 0x03 00000c49: DUP1 00000c4a: SLOAD 00000c4b: DUP3 00000c4c: SWAP1 00000c4d: DUP2 00000c4e: LT 00000c4f: PUSH2 0x0c54 00000c52: JUMPI 00000c53: INVALID 00000c54: JUMPDEST 00000c55: SWAP1 00000c56: PUSH1 0x00 00000c58: MSTORE 00000c59: PUSH1 0x20 00000c5b: PUSH1 0x00 00000c5d: KECCAK256 00000c5e: SWAP1 00000c5f: PUSH1 0x08 00000c61: SWAP2 00000c62: DUP3 00000c63: DUP3 00000c64: DIV 00000c65: ADD 00000c66: SWAP2 00000c67: SWAP1 00000c68: MOD 00000c69: PUSH1 0x04 00000c6b: MUL 00000c6c: SWAP2 00000c6d: POP 00000c6e: SLOAD 00000c6f: SWAP1 00000c70: PUSH2 0x0100 00000c73: EXP 00000c74: SWAP1 00000c75: DIV 00000c76: PUSH4 0xffffffff 00000c7b: AND 00000c7c: DUP2 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH1 0x0a 00000c81: PUSH1 0x20 00000c83: MSTORE 00000c84: PUSH1 0x00 00000c86: SWAP1 00000c87: DUP2 00000c88: MSTORE 00000c89: PUSH1 0x40 00000c8b: SWAP1 00000c8c: KECCAK256 00000c8d: SLOAD 00000c8e: PUSH1 0xff 00000c90: AND 00000c91: DUP2 00000c92: JUMP 00000c93: JUMPDEST 00000c94: PUSH1 0x01 00000c96: SLOAD 00000c97: CALLER 00000c98: PUSH1 0x01 00000c9a: PUSH1 0xa0 00000c9c: PUSH1 0x02 00000c9e: EXP 00000c9f: SUB 00000ca0: SWAP1 00000ca1: DUP2 00000ca2: AND 00000ca3: SWAP2 00000ca4: AND 00000ca5: EQ 00000ca6: PUSH2 0x0cae 00000ca9: JUMPI 00000caa: PUSH1 0x00 00000cac: DUP1 00000cad: REVERT 00000cae: JUMPDEST 00000caf: PUSH1 0x01 00000cb1: DUP1 00000cb2: SLOAD 00000cb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc8: NOT 00000cc9: AND 00000cca: PUSH1 0x01 00000ccc: PUSH1 0xa0 00000cce: PUSH1 0x02 00000cd0: EXP 00000cd1: SUB 00000cd2: SWAP3 00000cd3: SWAP1 00000cd4: SWAP3 00000cd5: AND 00000cd6: SWAP2 00000cd7: SWAP1 00000cd8: SWAP2 00000cd9: OR 00000cda: SWAP1 00000cdb: SSTORE 00000cdc: JUMP 00000cdd: JUMPDEST 00000cde: PUSH1 0x06 00000ce0: PUSH1 0x20 00000ce2: MSTORE 00000ce3: PUSH1 0x00 00000ce5: SWAP1 00000ce6: DUP2 00000ce7: MSTORE 00000ce8: PUSH1 0x40 00000cea: SWAP1 00000ceb: KECCAK256 00000cec: SLOAD 00000ced: PUSH1 0x01 00000cef: PUSH1 0xa0 00000cf1: PUSH1 0x02 00000cf3: EXP 00000cf4: SUB 00000cf5: AND 00000cf6: DUP2 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x20 00000cfb: PUSH1 0x40 00000cfd: MLOAD 00000cfe: SWAP1 00000cff: DUP2 00000d00: ADD 00000d01: PUSH1 0x40 00000d03: MSTORE 00000d04: PUSH1 0x00 00000d06: DUP2 00000d07: MSTORE 00000d08: SWAP1 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: DUP2 00000d0c: SLOAD 00000d0d: DUP2 00000d0e: DUP4 00000d0f: SSTORE 00000d10: DUP2 00000d11: DUP2 00000d12: ISZERO 00000d13: GT 00000d14: PUSH2 0x0d36 00000d17: JUMPI 00000d18: PUSH1 0x02 00000d1a: MUL 00000d1b: DUP2 00000d1c: PUSH1 0x02 00000d1e: MUL 00000d1f: DUP4 00000d20: PUSH1 0x00 00000d22: MSTORE 00000d23: PUSH1 0x20 00000d25: PUSH1 0x00 00000d27: KECCAK256 00000d28: SWAP2 00000d29: DUP3 00000d2a: ADD 00000d2b: SWAP2 00000d2c: ADD 00000d2d: PUSH2 0x0d36 00000d30: SWAP2 00000d31: SWAP1 00000d32: PUSH2 0x0ded 00000d35: JUMP 00000d36: JUMPDEST 00000d37: POP 00000d38: POP 00000d39: POP 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: DUP3 00000d3d: DUP1 00000d3e: SLOAD 00000d3f: PUSH1 0x01 00000d41: DUP2 00000d42: PUSH1 0x01 00000d44: AND 00000d45: ISZERO 00000d46: PUSH2 0x0100 00000d49: MUL 00000d4a: SUB 00000d4b: AND 00000d4c: PUSH1 0x02 00000d4e: SWAP1 00000d4f: DIV 00000d50: SWAP1 00000d51: PUSH1 0x00 00000d53: MSTORE 00000d54: PUSH1 0x20 00000d56: PUSH1 0x00 00000d58: KECCAK256 00000d59: SWAP1 00000d5a: PUSH1 0x1f 00000d5c: ADD 00000d5d: PUSH1 0x20 00000d5f: SWAP1 00000d60: DIV 00000d61: DUP2 00000d62: ADD 00000d63: SWAP3 00000d64: DUP3 00000d65: PUSH1 0x1f 00000d67: LT 00000d68: PUSH2 0x0d7c 00000d6b: JUMPI 00000d6c: DUP1 00000d6d: MLOAD 00000d6e: PUSH1 0xff 00000d70: NOT 00000d71: AND 00000d72: DUP4 00000d73: DUP1 00000d74: ADD 00000d75: OR 00000d76: DUP6 00000d77: SSTORE 00000d78: PUSH2 0x0da9 00000d7b: JUMP 00000d7c: JUMPDEST 00000d7d: DUP3 00000d7e: DUP1 00000d7f: ADD 00000d80: PUSH1 0x01 00000d82: ADD 00000d83: DUP6 00000d84: SSTORE 00000d85: DUP3 00000d86: ISZERO 00000d87: PUSH2 0x0da9 00000d8a: JUMPI 00000d8b: SWAP2 00000d8c: DUP3 00000d8d: ADD 00000d8e: JUMPDEST 00000d8f: DUP3 00000d90: DUP2 00000d91: GT 00000d92: ISZERO 00000d93: PUSH2 0x0da9 00000d96: JUMPI 00000d97: DUP3 00000d98: MLOAD 00000d99: DUP3 00000d9a: SSTORE 00000d9b: SWAP2 00000d9c: PUSH1 0x20 00000d9e: ADD 00000d9f: SWAP2 00000da0: SWAP1 00000da1: PUSH1 0x01 00000da3: ADD 00000da4: SWAP1 00000da5: PUSH2 0x0d8e 00000da8: JUMP 00000da9: JUMPDEST 00000daa: POP 00000dab: PUSH2 0x0db5 00000dae: SWAP3 00000daf: SWAP2 00000db0: POP 00000db1: PUSH2 0x0e2e 00000db4: JUMP 00000db5: JUMPDEST 00000db6: POP 00000db7: SWAP1 00000db8: JUMP 00000db9: JUMPDEST 00000dba: DUP2 00000dbb: SLOAD 00000dbc: DUP2 00000dbd: DUP4 00000dbe: SSTORE 00000dbf: DUP2 00000dc0: DUP2 00000dc1: ISZERO 00000dc2: GT 00000dc3: PUSH2 0x0d36 00000dc6: JUMPI 00000dc7: PUSH1 0x07 00000dc9: ADD 00000dca: PUSH1 0x08 00000dcc: SWAP1 00000dcd: DIV 00000dce: DUP2 00000dcf: PUSH1 0x07 00000dd1: ADD 00000dd2: PUSH1 0x08 00000dd4: SWAP1 00000dd5: DIV 00000dd6: DUP4 00000dd7: PUSH1 0x00 00000dd9: MSTORE 00000dda: PUSH1 0x20 00000ddc: PUSH1 0x00 00000dde: KECCAK256 00000ddf: SWAP2 00000de0: DUP3 00000de1: ADD 00000de2: SWAP2 00000de3: ADD 00000de4: PUSH2 0x0d36 00000de7: SWAP2 00000de8: SWAP1 00000de9: PUSH2 0x0e2e 00000dec: JUMP 00000ded: JUMPDEST 00000dee: PUSH2 0x0556 00000df1: SWAP2 00000df2: SWAP1 00000df3: JUMPDEST 00000df4: DUP1 00000df5: DUP3 00000df6: GT 00000df7: ISZERO 00000df8: PUSH2 0x0db5 00000dfb: JUMPI 00000dfc: DUP1 00000dfd: SLOAD 00000dfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e13: NOT 00000e14: AND 00000e15: DUP2 00000e16: SSTORE 00000e17: PUSH1 0x00 00000e19: PUSH2 0x0e25 00000e1c: PUSH1 0x01 00000e1e: DUP4 00000e1f: ADD 00000e20: DUP3 00000e21: PUSH2 0x0e48 00000e24: JUMP 00000e25: JUMPDEST 00000e26: POP 00000e27: PUSH1 0x02 00000e29: ADD 00000e2a: PUSH2 0x0df3 00000e2d: JUMP 00000e2e: JUMPDEST 00000e2f: PUSH2 0x0556 00000e32: SWAP2 00000e33: SWAP1 00000e34: JUMPDEST 00000e35: DUP1 00000e36: DUP3 00000e37: GT 00000e38: ISZERO 00000e39: PUSH2 0x0db5 00000e3c: JUMPI 00000e3d: PUSH1 0x00 00000e3f: DUP2 00000e40: SSTORE 00000e41: PUSH1 0x01 00000e43: ADD 00000e44: PUSH2 0x0e34 00000e47: JUMP 00000e48: JUMPDEST 00000e49: POP 00000e4a: DUP1 00000e4b: SLOAD 00000e4c: PUSH1 0x01 00000e4e: DUP2 00000e4f: PUSH1 0x01 00000e51: AND 00000e52: ISZERO 00000e53: PUSH2 0x0100 00000e56: MUL 00000e57: SUB 00000e58: AND 00000e59: PUSH1 0x02 00000e5b: SWAP1 00000e5c: DIV 00000e5d: PUSH1 0x00 00000e5f: DUP3 00000e60: SSTORE 00000e61: DUP1 00000e62: PUSH1 0x1f 00000e64: LT 00000e65: PUSH2 0x0e6e 00000e68: JUMPI 00000e69: POP 00000e6a: PUSH2 0x0945 00000e6d: JUMP 00000e6e: JUMPDEST 00000e6f: PUSH1 0x1f 00000e71: ADD 00000e72: PUSH1 0x20 00000e74: SWAP1 00000e75: DIV 00000e76: SWAP1 00000e77: PUSH1 0x00 00000e79: MSTORE 00000e7a: PUSH1 0x20 00000e7c: PUSH1 0x00 00000e7e: KECCAK256 00000e7f: SWAP1 00000e80: DUP2 00000e81: ADD 00000e82: SWAP1 00000e83: PUSH2 0x0945 00000e86: SWAP2 00000e87: SWAP1 00000e88: PUSH2 0x0e2e 00000e8b: JUMP 00000e8c: STOP 00000e8d: LOG1 00000e8e: PUSH6 0x627a7a723058 00000e95: KECCAK256 00000e96: MCOPY 00000e97: BASEFEE 00000e98: SWAP2 00000e99: PUSH25 0xc96b9b3e01be40147b005910039149bcdd1130a94b42c78327 00000eb3: DUP5 00000eb4: UNKNOWN(0xC4) 00000eb5: UNKNOWN(0xA5) 00000eb6: STOP 00000eb7: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x97400241532fd070f515bc40dfdb809b6264b9c2ef26cea562c5b10e2924ff89
call_targets:
0xc3c94e2d9a33ab18d5578bd63dfdaa3e0ea74a49
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x97400241532fd070f515bc40dfdb809b6264b9c2ef26cea562c5b10e2924ff89",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc3c94e2d9a33ab18d5578bd63dfdaa3e0ea74a49"
],
"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": "0x03828729",
"selector": "0x03828729",
"calldata_variants": [
"0x03828729",
"0x038287290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03cbcf57",
"selector": "0x03cbcf57",
"calldata_variants": [
"0x03cbcf57",
"0x03cbcf570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x043531b1",
"selector": "0x043531b1",
"calldata_variants": [
"0x043531b1",
"0x043531b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x363626ad",
"selector": "0x363626ad",
"calldata_variants": [
"0x363626ad",
"0x363626ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41e8b94c",
"selector": "0x41e8b94c",
"calldata_variants": [
"0x41e8b94c",
"0x41e8b94c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x455f1725",
"selector": "0x455f1725",
"calldata_variants": [
"0x455f1725",
"0x455f17250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x50aeddcf",
"selector": "0x50aeddcf",
"calldata_variants": [
"0x50aeddcf",
"0x50aeddcf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5bcc1072",
"selector": "0x5bcc1072",
"calldata_variants": [
"0x5bcc1072",
"0x5bcc10720000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2357,
"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: 0x97400241532fd070f515bc40dfdb809b6264b9c2ef26cea562c5b10e2924ff89
call_targets:
0xc3c94e2d9a33ab18d5578bd63dfdaa3e0ea74a49
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x97400241532fd070f515bc40dfdb809b6264b9c2ef26cea562c5b10e2924ff89",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc3c94e2d9a33ab18d5578bd63dfdaa3e0ea74a49"
],
"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": "0x03828729",
"selector": "0x03828729",
"calldata_variants": [
"0x03828729",
"0x038287290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03cbcf57",
"selector": "0x03cbcf57",
"calldata_variants": [
"0x03cbcf57",
"0x03cbcf570000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x043531b1",
"selector": "0x043531b1",
"calldata_variants": [
"0x043531b1",
"0x043531b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x363626ad",
"selector": "0x363626ad",
"calldata_variants": [
"0x363626ad",
"0x363626ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41e8b94c",
"selector": "0x41e8b94c",
"calldata_variants": [
"0x41e8b94c",
"0x41e8b94c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x455f1725",
"selector": "0x455f1725",
"calldata_variants": [
"0x455f1725",
"0x455f17250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x50aeddcf",
"selector": "0x50aeddcf",
"calldata_variants": [
"0x50aeddcf",
"0x50aeddcf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5bcc1072",
"selector": "0x5bcc1072",
"calldata_variants": [
"0x5bcc1072",
"0x5bcc10720000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2357,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|