019b3844-b5f5-72bf-980c-7bb50dd4878d
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 |
|---|---|---|---|---|
| 19203 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 19204 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 87564 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 87565 | capability.graph | complete | 1 / 3 | 1 week ago |
| 87566 | detector.run | complete | 1 / 3 | 1 week ago |
| 87567 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00a0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x82e717f7 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x82e717f7 00000024: EQ 00000025: PUSH2 0x017e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9ace38c2 0000002f: EQ 00000030: PUSH2 0x01a0 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb77bf600 0000003a: EQ 0000003b: PUSH2 0x01d1 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc01a8c84 00000045: EQ 00000046: PUSH2 0x01e6 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd5f39488 00000050: EQ 00000051: PUSH2 0x0206 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf3fef3a3 0000005b: EQ 0000005c: PUSH2 0x021b 0000005f: JUMPI 00000060: PUSH2 0x00a7 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x025e7c27 0000006b: EQ 0000006c: PUSH2 0x00ac 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x1d43b653 00000076: EQ 00000077: PUSH2 0x00e2 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x237e68b6 00000081: EQ 00000082: PUSH2 0x0104 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x2f54bf6e 0000008c: EQ 0000008d: PUSH2 0x0131 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x80f59a65 00000097: EQ 00000098: PUSH2 0x015e 0000009b: JUMPI 0000009c: PUSH2 0x00a7 0000009f: JUMP 000000a0: JUMPDEST 000000a1: CALLDATASIZE 000000a2: PUSH2 0x00a7 000000a5: JUMPI 000000a6: STOP 000000a7: JUMPDEST 000000a8: PUSH1 0x00 000000aa: DUP1 000000ab: REVERT 000000ac: JUMPDEST 000000ad: CALLVALUE 000000ae: DUP1 000000af: ISZERO 000000b0: PUSH2 0x00b8 000000b3: JUMPI 000000b4: PUSH1 0x00 000000b6: DUP1 000000b7: REVERT 000000b8: JUMPDEST 000000b9: POP 000000ba: PUSH2 0x00cc 000000bd: PUSH2 0x00c7 000000c0: CALLDATASIZE 000000c1: PUSH1 0x04 000000c3: PUSH2 0x0944 000000c6: JUMP 000000c7: JUMPDEST 000000c8: PUSH2 0x023b 000000cb: JUMP 000000cc: JUMPDEST 000000cd: PUSH1 0x40 000000cf: MLOAD 000000d0: PUSH2 0x00d9 000000d3: SWAP2 000000d4: SWAP1 000000d5: PUSH2 0x0987 000000d8: JUMP 000000d9: JUMPDEST 000000da: PUSH1 0x40 000000dc: MLOAD 000000dd: DUP1 000000de: SWAP2 000000df: SUB 000000e0: SWAP1 000000e1: RETURN 000000e2: JUMPDEST 000000e3: CALLVALUE 000000e4: DUP1 000000e5: ISZERO 000000e6: PUSH2 0x00ee 000000e9: JUMPI 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: REVERT 000000ee: JUMPDEST 000000ef: POP 000000f0: PUSH2 0x0102 000000f3: PUSH2 0x00fd 000000f6: CALLDATASIZE 000000f7: PUSH1 0x04 000000f9: PUSH2 0x08e9 000000fc: JUMP 000000fd: JUMPDEST 000000fe: PUSH2 0x0265 00000101: JUMP 00000102: JUMPDEST 00000103: STOP 00000104: JUMPDEST 00000105: CALLVALUE 00000106: DUP1 00000107: ISZERO 00000108: PUSH2 0x0110 0000010b: JUMPI 0000010c: PUSH1 0x00 0000010e: DUP1 0000010f: REVERT 00000110: JUMPDEST 00000111: POP 00000112: PUSH2 0x0124 00000115: PUSH2 0x011f 00000118: CALLDATASIZE 00000119: PUSH1 0x04 0000011b: PUSH2 0x0912 0000011e: JUMP 0000011f: JUMPDEST 00000120: PUSH2 0x0358 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH1 0x40 00000127: MLOAD 00000128: PUSH2 0x00d9 0000012b: SWAP2 0000012c: SWAP1 0000012d: PUSH2 0x099b 00000130: JUMP 00000131: JUMPDEST 00000132: CALLVALUE 00000133: DUP1 00000134: ISZERO 00000135: PUSH2 0x013d 00000138: JUMPI 00000139: PUSH1 0x00 0000013b: DUP1 0000013c: REVERT 0000013d: JUMPDEST 0000013e: POP 0000013f: PUSH2 0x0151 00000142: PUSH2 0x014c 00000145: CALLDATASIZE 00000146: PUSH1 0x04 00000148: PUSH2 0x08cf 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH2 0x0555 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH1 0x40 00000154: MLOAD 00000155: PUSH2 0x00d9 00000158: SWAP2 00000159: SWAP1 0000015a: PUSH2 0x0a14 0000015d: JUMP 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x0151 0000016f: PUSH2 0x0179 00000172: CALLDATASIZE 00000173: PUSH1 0x04 00000175: PUSH2 0x095c 00000178: JUMP 00000179: JUMPDEST 0000017a: PUSH2 0x056a 0000017d: JUMP 0000017e: JUMPDEST 0000017f: CALLVALUE 00000180: DUP1 00000181: ISZERO 00000182: PUSH2 0x018a 00000185: JUMPI 00000186: PUSH1 0x00 00000188: DUP1 00000189: REVERT 0000018a: JUMPDEST 0000018b: POP 0000018c: PUSH2 0x0193 0000018f: PUSH2 0x058a 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH1 0x40 00000196: MLOAD 00000197: PUSH2 0x00d9 0000019a: SWAP2 0000019b: SWAP1 0000019c: PUSH2 0x0b77 0000019f: JUMP 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x01c0 000001b1: PUSH2 0x01bb 000001b4: CALLDATASIZE 000001b5: PUSH1 0x04 000001b7: PUSH2 0x0944 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH2 0x0590 000001bf: JUMP 000001c0: JUMPDEST 000001c1: PUSH1 0x40 000001c3: MLOAD 000001c4: PUSH2 0x00d9 000001c7: SWAP6 000001c8: SWAP5 000001c9: SWAP4 000001ca: SWAP3 000001cb: SWAP2 000001cc: SWAP1 000001cd: PUSH2 0x0b80 000001d0: JUMP 000001d1: JUMPDEST 000001d2: CALLVALUE 000001d3: DUP1 000001d4: ISZERO 000001d5: PUSH2 0x01dd 000001d8: JUMPI 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: POP 000001df: PUSH2 0x0193 000001e2: PUSH2 0x05cc 000001e5: JUMP 000001e6: JUMPDEST 000001e7: CALLVALUE 000001e8: DUP1 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: PUSH2 0x0102 000001f7: PUSH2 0x0201 000001fa: CALLDATASIZE 000001fb: PUSH1 0x04 000001fd: PUSH2 0x0944 00000200: JUMP 00000201: JUMPDEST 00000202: PUSH2 0x05d2 00000205: JUMP 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH2 0x00cc 00000217: PUSH2 0x075d 0000021a: JUMP 0000021b: JUMPDEST 0000021c: CALLVALUE 0000021d: DUP1 0000021e: ISZERO 0000021f: PUSH2 0x0227 00000222: JUMPI 00000223: PUSH1 0x00 00000225: DUP1 00000226: REVERT 00000227: JUMPDEST 00000228: POP 00000229: PUSH2 0x0102 0000022c: PUSH2 0x0236 0000022f: CALLDATASIZE 00000230: PUSH1 0x04 00000232: PUSH2 0x08e9 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH2 0x076c 0000023a: JUMP 0000023b: JUMPDEST 0000023c: PUSH1 0x01 0000023e: DUP2 0000023f: DUP2 00000240: SLOAD 00000241: DUP2 00000242: LT 00000243: PUSH2 0x024b 00000246: JUMPI 00000247: PUSH1 0x00 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: PUSH1 0x00 0000024e: SWAP2 0000024f: DUP3 00000250: MSTORE 00000251: PUSH1 0x20 00000253: SWAP1 00000254: SWAP2 00000255: KECCAK256 00000256: ADD 00000257: SLOAD 00000258: PUSH1 0x01 0000025a: PUSH1 0x01 0000025c: PUSH1 0xa0 0000025e: SHL 0000025f: SUB 00000260: AND 00000261: SWAP1 00000262: POP 00000263: DUP2 00000264: JUMP 00000265: JUMPDEST 00000266: CALLER 00000267: PUSH1 0x00 00000269: SWAP1 0000026a: DUP2 0000026b: MSTORE 0000026c: PUSH1 0x03 0000026e: PUSH1 0x20 00000270: MSTORE 00000271: PUSH1 0x40 00000273: SWAP1 00000274: KECCAK256 00000275: SLOAD 00000276: PUSH1 0xff 00000278: AND 00000279: PUSH2 0x029d 0000027c: JUMPI 0000027d: PUSH1 0x40 0000027f: MLOAD 00000280: PUSH3 0x461bcd 00000284: PUSH1 0xe5 00000286: SHL 00000287: DUP2 00000288: MSTORE 00000289: PUSH1 0x04 0000028b: ADD 0000028c: PUSH2 0x0294 0000028f: SWAP1 00000290: PUSH2 0x0a49 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH1 0x40 00000297: MLOAD 00000298: DUP1 00000299: SWAP2 0000029a: SUB 0000029b: SWAP1 0000029c: REVERT 0000029d: JUMPDEST 0000029e: PUSH1 0x05 000002a0: DUP1 000002a1: SLOAD 000002a2: PUSH1 0x40 000002a4: DUP1 000002a5: MLOAD 000002a6: PUSH1 0xa0 000002a8: DUP2 000002a9: ADD 000002aa: DUP3 000002ab: MSTORE 000002ac: DUP3 000002ad: DUP2 000002ae: MSTORE 000002af: PUSH1 0x01 000002b1: PUSH1 0x01 000002b3: PUSH1 0xa0 000002b5: SHL 000002b6: SUB 000002b7: DUP1 000002b8: DUP8 000002b9: AND 000002ba: PUSH1 0x20 000002bc: DUP1 000002bd: DUP5 000002be: ADD 000002bf: SWAP2 000002c0: DUP3 000002c1: MSTORE 000002c2: DUP4 000002c3: DUP6 000002c4: ADD 000002c5: DUP9 000002c6: DUP2 000002c7: MSTORE 000002c8: PUSH1 0x00 000002ca: PUSH1 0x60 000002cc: DUP7 000002cd: ADD 000002ce: DUP2 000002cf: DUP2 000002d0: MSTORE 000002d1: TIMESTAMP 000002d2: PUSH1 0x80 000002d4: DUP9 000002d5: ADD 000002d6: SWAP1 000002d7: DUP2 000002d8: MSTORE 000002d9: DUP10 000002da: DUP4 000002db: MSTORE 000002dc: PUSH1 0x06 000002de: DUP6 000002df: MSTORE 000002e0: DUP9 000002e1: DUP4 000002e2: KECCAK256 000002e3: SWAP8 000002e4: MLOAD 000002e5: DUP9 000002e6: SSTORE 000002e7: SWAP5 000002e8: MLOAD 000002e9: PUSH1 0x01 000002eb: DUP9 000002ec: DUP2 000002ed: ADD 000002ee: DUP1 000002ef: SLOAD 000002f0: SWAP3 000002f1: SWAP1 000002f2: SWAP9 000002f3: AND 000002f4: PUSH1 0x01 000002f6: PUSH1 0x01 000002f8: PUSH1 0xa0 000002fa: SHL 000002fb: SUB 000002fc: NOT 000002fd: SWAP1 000002fe: SWAP3 000002ff: AND 00000300: SWAP2 00000301: SWAP1 00000302: SWAP2 00000303: OR 00000304: SWAP1 00000305: SWAP7 00000306: SSTORE 00000307: SWAP2 00000308: MLOAD 00000309: PUSH1 0x02 0000030b: DUP8 0000030c: ADD 0000030d: SSTORE 0000030e: SWAP1 0000030f: MLOAD 00000310: PUSH1 0x03 00000312: DUP7 00000313: ADD 00000314: DUP1 00000315: SLOAD 00000316: SWAP2 00000317: ISZERO 00000318: ISZERO 00000319: PUSH1 0xff 0000031b: NOT 0000031c: SWAP3 0000031d: DUP4 0000031e: AND 0000031f: OR 00000320: SWAP1 00000321: SSTORE 00000322: SWAP3 00000323: MLOAD 00000324: PUSH1 0x04 00000326: SWAP6 00000327: DUP7 00000328: ADD 00000329: SSTORE 0000032a: SWAP4 0000032b: DUP2 0000032c: MSTORE 0000032d: DUP5 0000032e: DUP5 0000032f: KECCAK256 00000330: CALLER 00000331: DUP6 00000332: MSTORE 00000333: SWAP1 00000334: MSTORE 00000335: SWAP3 00000336: DUP3 00000337: KECCAK256 00000338: DUP1 00000339: SLOAD 0000033a: SWAP1 0000033b: SWAP4 0000033c: AND 0000033d: OR 0000033e: SWAP1 0000033f: SWAP2 00000340: SSTORE 00000341: DUP3 00000342: SLOAD 00000343: SWAP2 00000344: SWAP3 00000345: SWAP1 00000346: PUSH2 0x034e 00000349: DUP4 0000034a: PUSH2 0x0bdd 0000034d: JUMP 0000034e: JUMPDEST 0000034f: SWAP2 00000350: SWAP1 00000351: POP 00000352: SSTORE 00000353: POP 00000354: POP 00000355: POP 00000356: POP 00000357: JUMP 00000358: JUMPDEST 00000359: PUSH1 0x01 0000035b: PUSH1 0x01 0000035d: PUSH1 0xa0 0000035f: SHL 00000360: SUB 00000361: DUP4 00000362: AND 00000363: PUSH1 0x00 00000365: SWAP1 00000366: DUP2 00000367: MSTORE 00000368: PUSH1 0x03 0000036a: PUSH1 0x20 0000036c: MSTORE 0000036d: PUSH1 0x40 0000036f: SWAP1 00000370: KECCAK256 00000371: SLOAD 00000372: PUSH1 0x60 00000374: SWAP1 00000375: PUSH1 0xff 00000377: AND 00000378: ISZERO 00000379: DUP1 0000037a: PUSH2 0x0383 0000037d: JUMPI 0000037e: POP 0000037f: PUSH1 0x05 00000381: SLOAD 00000382: ISZERO 00000383: JUMPDEST 00000384: ISZERO 00000385: PUSH2 0x03c1 00000388: JUMPI 00000389: PUSH1 0x40 0000038b: DUP1 0000038c: MLOAD 0000038d: PUSH1 0x00 0000038f: DUP1 00000390: DUP3 00000391: MSTORE 00000392: PUSH1 0x20 00000394: DUP3 00000395: ADD 00000396: SWAP1 00000397: SWAP3 00000398: MSTORE 00000399: SWAP1 0000039a: PUSH2 0x03b9 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH2 0x03a6 000003a2: PUSH2 0x0879 000003a5: JUMP 000003a6: JUMPDEST 000003a7: DUP2 000003a8: MSTORE 000003a9: PUSH1 0x20 000003ab: ADD 000003ac: SWAP1 000003ad: PUSH1 0x01 000003af: SWAP1 000003b0: SUB 000003b1: SWAP1 000003b2: DUP2 000003b3: PUSH2 0x039e 000003b6: JUMPI 000003b7: SWAP1 000003b8: POP 000003b9: JUMPDEST 000003ba: POP 000003bb: SWAP1 000003bc: POP 000003bd: PUSH2 0x054e 000003c0: JUMP 000003c1: JUMPDEST 000003c2: DUP3 000003c3: DUP3 000003c4: DUP1 000003c5: DUP3 000003c6: GT 000003c7: ISZERO 000003c8: PUSH2 0x03cf 000003cb: JUMPI 000003cc: SWAP1 000003cd: POP 000003ce: DUP4 000003cf: JUMPDEST 000003d0: PUSH1 0x05 000003d2: SLOAD 000003d3: DUP2 000003d4: GT 000003d5: ISZERO 000003d6: PUSH2 0x03eb 000003d9: JUMPI 000003da: PUSH1 0x01 000003dc: PUSH1 0x05 000003de: SLOAD 000003df: PUSH2 0x03e8 000003e2: SWAP2 000003e3: SWAP1 000003e4: PUSH2 0x0bc6 000003e7: JUMP 000003e8: JUMPDEST 000003e9: SWAP1 000003ea: POP 000003eb: JUMPDEST 000003ec: PUSH1 0x00 000003ee: PUSH2 0x03f7 000003f1: DUP4 000003f2: DUP4 000003f3: PUSH2 0x0bc6 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH2 0x0402 000003fb: SWAP1 000003fc: PUSH1 0x01 000003fe: PUSH2 0x0bae 00000401: JUMP 00000402: JUMPDEST 00000403: SWAP1 00000404: POP 00000405: PUSH1 0x00 00000407: DUP2 00000408: PUSH8 0xffffffffffffffff 00000411: DUP2 00000412: GT 00000413: ISZERO 00000414: PUSH2 0x042d 00000417: JUMPI 00000418: PUSH4 0x4e487b71 0000041d: PUSH1 0xe0 0000041f: SHL 00000420: PUSH1 0x00 00000422: MSTORE 00000423: PUSH1 0x41 00000425: PUSH1 0x04 00000427: MSTORE 00000428: PUSH1 0x24 0000042a: PUSH1 0x00 0000042c: REVERT 0000042d: JUMPDEST 0000042e: PUSH1 0x40 00000430: MLOAD 00000431: SWAP1 00000432: DUP1 00000433: DUP3 00000434: MSTORE 00000435: DUP1 00000436: PUSH1 0x20 00000438: MUL 00000439: PUSH1 0x20 0000043b: ADD 0000043c: DUP3 0000043d: ADD 0000043e: PUSH1 0x40 00000440: MSTORE 00000441: DUP1 00000442: ISZERO 00000443: PUSH2 0x0466 00000446: JUMPI 00000447: DUP2 00000448: PUSH1 0x20 0000044a: ADD 0000044b: JUMPDEST 0000044c: PUSH2 0x0453 0000044f: PUSH2 0x0879 00000452: JUMP 00000453: JUMPDEST 00000454: DUP2 00000455: MSTORE 00000456: PUSH1 0x20 00000458: ADD 00000459: SWAP1 0000045a: PUSH1 0x01 0000045c: SWAP1 0000045d: SUB 0000045e: SWAP1 0000045f: DUP2 00000460: PUSH2 0x044b 00000463: JUMPI 00000464: SWAP1 00000465: POP 00000466: JUMPDEST 00000467: POP 00000468: SWAP1 00000469: POP 0000046a: PUSH1 0x00 0000046c: DUP5 0000046d: JUMPDEST 0000046e: DUP5 0000046f: DUP2 00000470: GT 00000471: PUSH2 0x0545 00000474: JUMPI 00000475: PUSH1 0x00 00000477: DUP2 00000478: DUP2 00000479: MSTORE 0000047a: PUSH1 0x04 0000047c: PUSH1 0x20 0000047e: SWAP1 0000047f: DUP2 00000480: MSTORE 00000481: PUSH1 0x40 00000483: DUP1 00000484: DUP4 00000485: KECCAK256 00000486: PUSH1 0x01 00000488: PUSH1 0x01 0000048a: PUSH1 0xa0 0000048c: SHL 0000048d: SUB 0000048e: DUP15 0000048f: AND 00000490: DUP5 00000491: MSTORE 00000492: SWAP1 00000493: SWAP2 00000494: MSTORE 00000495: SWAP1 00000496: KECCAK256 00000497: SLOAD 00000498: PUSH1 0xff 0000049a: AND 0000049b: PUSH2 0x0533 0000049e: JUMPI 0000049f: PUSH1 0x00 000004a1: DUP2 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x06 000004a6: PUSH1 0x20 000004a8: SWAP1 000004a9: DUP2 000004aa: MSTORE 000004ab: PUSH1 0x40 000004ad: SWAP2 000004ae: DUP3 000004af: SWAP1 000004b0: KECCAK256 000004b1: DUP3 000004b2: MLOAD 000004b3: PUSH1 0xa0 000004b5: DUP2 000004b6: ADD 000004b7: DUP5 000004b8: MSTORE 000004b9: DUP2 000004ba: SLOAD 000004bb: DUP2 000004bc: MSTORE 000004bd: PUSH1 0x01 000004bf: DUP3 000004c0: ADD 000004c1: SLOAD 000004c2: PUSH1 0x01 000004c4: PUSH1 0x01 000004c6: PUSH1 0xa0 000004c8: SHL 000004c9: SUB 000004ca: AND 000004cb: SWAP3 000004cc: DUP2 000004cd: ADD 000004ce: SWAP3 000004cf: SWAP1 000004d0: SWAP3 000004d1: MSTORE 000004d2: PUSH1 0x02 000004d4: DUP2 000004d5: ADD 000004d6: SLOAD 000004d7: SWAP3 000004d8: DUP3 000004d9: ADD 000004da: SWAP3 000004db: SWAP1 000004dc: SWAP3 000004dd: MSTORE 000004de: PUSH1 0x03 000004e0: DUP3 000004e1: ADD 000004e2: SLOAD 000004e3: PUSH1 0xff 000004e5: AND 000004e6: ISZERO 000004e7: ISZERO 000004e8: PUSH1 0x60 000004ea: DUP3 000004eb: ADD 000004ec: MSTORE 000004ed: PUSH1 0x04 000004ef: SWAP1 000004f0: SWAP2 000004f1: ADD 000004f2: SLOAD 000004f3: PUSH1 0x80 000004f5: DUP3 000004f6: ADD 000004f7: MSTORE 000004f8: DUP4 000004f9: MLOAD 000004fa: DUP5 000004fb: SWAP1 000004fc: DUP5 000004fd: SWAP1 000004fe: DUP2 000004ff: LT 00000500: PUSH2 0x0519 00000503: JUMPI 00000504: PUSH4 0x4e487b71 00000509: PUSH1 0xe0 0000050b: SHL 0000050c: PUSH1 0x00 0000050e: MSTORE 0000050f: PUSH1 0x32 00000511: PUSH1 0x04 00000513: MSTORE 00000514: PUSH1 0x24 00000516: PUSH1 0x00 00000518: REVERT 00000519: JUMPDEST 0000051a: PUSH1 0x20 0000051c: MUL 0000051d: PUSH1 0x20 0000051f: ADD 00000520: ADD 00000521: DUP2 00000522: SWAP1 00000523: MSTORE 00000524: POP 00000525: DUP2 00000526: DUP1 00000527: PUSH2 0x052f 0000052a: SWAP1 0000052b: PUSH2 0x0bdd 0000052e: JUMP 0000052f: JUMPDEST 00000530: SWAP3 00000531: POP 00000532: POP 00000533: JUMPDEST 00000534: DUP1 00000535: PUSH2 0x053d 00000538: DUP2 00000539: PUSH2 0x0bdd 0000053c: JUMP 0000053d: JUMPDEST 0000053e: SWAP2 0000053f: POP 00000540: POP 00000541: PUSH2 0x046d 00000544: JUMP 00000545: JUMPDEST 00000546: POP 00000547: SWAP1 00000548: SWAP5 00000549: POP 0000054a: POP 0000054b: POP 0000054c: POP 0000054d: POP 0000054e: JUMPDEST 0000054f: SWAP4 00000550: SWAP3 00000551: POP 00000552: POP 00000553: POP 00000554: JUMP 00000555: JUMPDEST 00000556: PUSH1 0x03 00000558: PUSH1 0x20 0000055a: MSTORE 0000055b: PUSH1 0x00 0000055d: SWAP1 0000055e: DUP2 0000055f: MSTORE 00000560: PUSH1 0x40 00000562: SWAP1 00000563: KECCAK256 00000564: SLOAD 00000565: PUSH1 0xff 00000567: AND 00000568: DUP2 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH1 0x04 0000056d: PUSH1 0x20 0000056f: SWAP1 00000570: DUP2 00000571: MSTORE 00000572: PUSH1 0x00 00000574: SWAP3 00000575: DUP4 00000576: MSTORE 00000577: PUSH1 0x40 00000579: DUP1 0000057a: DUP5 0000057b: KECCAK256 0000057c: SWAP1 0000057d: SWAP2 0000057e: MSTORE 0000057f: SWAP1 00000580: DUP3 00000581: MSTORE 00000582: SWAP1 00000583: KECCAK256 00000584: SLOAD 00000585: PUSH1 0xff 00000587: AND 00000588: DUP2 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH1 0x02 0000058d: SLOAD 0000058e: DUP2 0000058f: JUMP 00000590: JUMPDEST 00000591: PUSH1 0x06 00000593: PUSH1 0x20 00000595: MSTORE 00000596: PUSH1 0x00 00000598: SWAP1 00000599: DUP2 0000059a: MSTORE 0000059b: PUSH1 0x40 0000059d: SWAP1 0000059e: KECCAK256 0000059f: DUP1 000005a0: SLOAD 000005a1: PUSH1 0x01 000005a3: DUP3 000005a4: ADD 000005a5: SLOAD 000005a6: PUSH1 0x02 000005a8: DUP4 000005a9: ADD 000005aa: SLOAD 000005ab: PUSH1 0x03 000005ad: DUP5 000005ae: ADD 000005af: SLOAD 000005b0: PUSH1 0x04 000005b2: SWAP1 000005b3: SWAP5 000005b4: ADD 000005b5: SLOAD 000005b6: SWAP3 000005b7: SWAP4 000005b8: PUSH1 0x01 000005ba: PUSH1 0x01 000005bc: PUSH1 0xa0 000005be: SHL 000005bf: SUB 000005c0: SWAP1 000005c1: SWAP3 000005c2: AND 000005c3: SWAP3 000005c4: SWAP1 000005c5: SWAP2 000005c6: PUSH1 0xff 000005c8: AND 000005c9: SWAP1 000005ca: DUP6 000005cb: JUMP 000005cc: JUMPDEST 000005cd: PUSH1 0x05 000005cf: SLOAD 000005d0: DUP2 000005d1: JUMP 000005d2: JUMPDEST 000005d3: CALLER 000005d4: PUSH1 0x00 000005d6: SWAP1 000005d7: DUP2 000005d8: MSTORE 000005d9: PUSH1 0x03 000005db: PUSH1 0x20 000005dd: MSTORE 000005de: PUSH1 0x40 000005e0: SWAP1 000005e1: KECCAK256 000005e2: SLOAD 000005e3: PUSH1 0xff 000005e5: AND 000005e6: PUSH2 0x0601 000005e9: JUMPI 000005ea: PUSH1 0x40 000005ec: MLOAD 000005ed: PUSH3 0x461bcd 000005f1: PUSH1 0xe5 000005f3: SHL 000005f4: DUP2 000005f5: MSTORE 000005f6: PUSH1 0x04 000005f8: ADD 000005f9: PUSH2 0x0294 000005fc: SWAP1 000005fd: PUSH2 0x0a49 00000600: JUMP 00000601: JUMPDEST 00000602: DUP1 00000603: PUSH1 0x05 00000605: SLOAD 00000606: DUP2 00000607: LT 00000608: PUSH2 0x0623 0000060b: JUMPI 0000060c: PUSH1 0x40 0000060e: MLOAD 0000060f: PUSH3 0x461bcd 00000613: PUSH1 0xe5 00000615: SHL 00000616: DUP2 00000617: MSTORE 00000618: PUSH1 0x04 0000061a: ADD 0000061b: PUSH2 0x0294 0000061e: SWAP1 0000061f: PUSH2 0x0b13 00000622: JUMP 00000623: JUMPDEST 00000624: PUSH1 0x00 00000626: DUP3 00000627: DUP2 00000628: MSTORE 00000629: PUSH1 0x04 0000062b: PUSH1 0x20 0000062d: SWAP1 0000062e: DUP2 0000062f: MSTORE 00000630: PUSH1 0x40 00000632: DUP1 00000633: DUP4 00000634: KECCAK256 00000635: CALLER 00000636: DUP5 00000637: MSTORE 00000638: SWAP1 00000639: SWAP2 0000063a: MSTORE 0000063b: SWAP1 0000063c: KECCAK256 0000063d: SLOAD 0000063e: DUP3 0000063f: SWAP1 00000640: PUSH1 0xff 00000642: AND 00000643: ISZERO 00000644: PUSH2 0x065f 00000647: JUMPI 00000648: PUSH1 0x40 0000064a: MLOAD 0000064b: PUSH3 0x461bcd 0000064f: PUSH1 0xe5 00000651: SHL 00000652: DUP2 00000653: MSTORE 00000654: PUSH1 0x04 00000656: ADD 00000657: PUSH2 0x0294 0000065a: SWAP1 0000065b: PUSH2 0x0acf 0000065e: JUMP 0000065f: JUMPDEST 00000660: PUSH1 0x00 00000662: DUP4 00000663: DUP2 00000664: MSTORE 00000665: PUSH1 0x06 00000667: PUSH1 0x20 00000669: MSTORE 0000066a: PUSH1 0x40 0000066c: SWAP1 0000066d: KECCAK256 0000066e: PUSH1 0x03 00000670: ADD 00000671: SLOAD 00000672: DUP4 00000673: SWAP1 00000674: PUSH1 0xff 00000676: AND 00000677: ISZERO 00000678: PUSH2 0x0693 0000067b: JUMPI 0000067c: PUSH1 0x40 0000067e: MLOAD 0000067f: PUSH3 0x461bcd 00000683: PUSH1 0xe5 00000685: SHL 00000686: DUP2 00000687: MSTORE 00000688: PUSH1 0x04 0000068a: ADD 0000068b: PUSH2 0x0294 0000068e: SWAP1 0000068f: PUSH2 0x0a6f 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x00 00000696: DUP5 00000697: DUP2 00000698: MSTORE 00000699: PUSH1 0x04 0000069b: PUSH1 0x20 0000069d: SWAP1 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x40 000006a2: DUP1 000006a3: DUP4 000006a4: KECCAK256 000006a5: CALLER 000006a6: DUP5 000006a7: MSTORE 000006a8: SWAP1 000006a9: SWAP2 000006aa: MSTORE 000006ab: DUP2 000006ac: KECCAK256 000006ad: DUP1 000006ae: SLOAD 000006af: PUSH1 0xff 000006b1: NOT 000006b2: AND 000006b3: PUSH1 0x01 000006b5: OR 000006b6: SWAP1 000006b7: SSTORE 000006b8: DUP1 000006b9: JUMPDEST 000006ba: PUSH1 0x01 000006bc: SLOAD 000006bd: DUP2 000006be: LT 000006bf: ISZERO 000006c0: PUSH2 0x0743 000006c3: JUMPI 000006c4: PUSH1 0x00 000006c6: DUP7 000006c7: DUP2 000006c8: MSTORE 000006c9: PUSH1 0x04 000006cb: PUSH1 0x20 000006cd: MSTORE 000006ce: PUSH1 0x40 000006d0: DUP2 000006d1: KECCAK256 000006d2: PUSH1 0x01 000006d4: DUP1 000006d5: SLOAD 000006d6: SWAP2 000006d7: SWAP3 000006d8: SWAP2 000006d9: DUP5 000006da: SWAP1 000006db: DUP2 000006dc: LT 000006dd: PUSH2 0x06f6 000006e0: JUMPI 000006e1: PUSH4 0x4e487b71 000006e6: PUSH1 0xe0 000006e8: SHL 000006e9: PUSH1 0x00 000006eb: MSTORE 000006ec: PUSH1 0x32 000006ee: PUSH1 0x04 000006f0: MSTORE 000006f1: PUSH1 0x24 000006f3: PUSH1 0x00 000006f5: REVERT 000006f6: JUMPDEST 000006f7: PUSH1 0x00 000006f9: SWAP2 000006fa: DUP3 000006fb: MSTORE 000006fc: PUSH1 0x20 000006fe: DUP1 000006ff: DUP4 00000700: KECCAK256 00000701: SWAP1 00000702: SWAP2 00000703: ADD 00000704: SLOAD 00000705: PUSH1 0x01 00000707: PUSH1 0x01 00000709: PUSH1 0xa0 0000070b: SHL 0000070c: SUB 0000070d: AND 0000070e: DUP4 0000070f: MSTORE 00000710: DUP3 00000711: ADD 00000712: SWAP3 00000713: SWAP1 00000714: SWAP3 00000715: MSTORE 00000716: PUSH1 0x40 00000718: ADD 00000719: SWAP1 0000071a: KECCAK256 0000071b: SLOAD 0000071c: PUSH1 0xff 0000071e: AND 0000071f: ISZERO 00000720: PUSH2 0x0731 00000723: JUMPI 00000724: DUP2 00000725: PUSH2 0x072d 00000728: DUP2 00000729: PUSH2 0x0bdd 0000072c: JUMP 0000072d: JUMPDEST 0000072e: SWAP3 0000072f: POP 00000730: POP 00000731: JUMPDEST 00000732: DUP1 00000733: PUSH2 0x073b 00000736: DUP2 00000737: PUSH2 0x0bdd 0000073a: JUMP 0000073b: JUMPDEST 0000073c: SWAP2 0000073d: POP 0000073e: POP 0000073f: PUSH2 0x06b9 00000742: JUMP 00000743: JUMPDEST 00000744: POP 00000745: PUSH1 0x02 00000747: SLOAD 00000748: DUP2 00000749: LT 0000074a: PUSH2 0x0756 0000074d: JUMPI 0000074e: PUSH2 0x0756 00000751: DUP6 00000752: PUSH2 0x07f1 00000755: JUMP 00000756: JUMPDEST 00000757: POP 00000758: POP 00000759: POP 0000075a: POP 0000075b: POP 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH1 0x00 00000760: SLOAD 00000761: PUSH1 0x01 00000763: PUSH1 0x01 00000765: PUSH1 0xa0 00000767: SHL 00000768: SUB 00000769: AND 0000076a: DUP2 0000076b: JUMP 0000076c: JUMPDEST 0000076d: PUSH1 0x00 0000076f: SLOAD 00000770: PUSH1 0x01 00000772: PUSH1 0x01 00000774: PUSH1 0xa0 00000776: SHL 00000777: SUB 00000778: AND 00000779: CALLER 0000077a: EQ 0000077b: PUSH2 0x0796 0000077e: JUMPI 0000077f: PUSH1 0x40 00000781: MLOAD 00000782: PUSH3 0x461bcd 00000786: PUSH1 0xe5 00000788: SHL 00000789: DUP2 0000078a: MSTORE 0000078b: PUSH1 0x04 0000078d: ADD 0000078e: PUSH2 0x0294 00000791: SWAP1 00000792: PUSH2 0x0aa6 00000795: JUMP 00000796: JUMPDEST 00000797: SELFBALANCE 00000798: DUP2 00000799: GT 0000079a: ISZERO 0000079b: PUSH2 0x07b6 0000079e: JUMPI 0000079f: PUSH1 0x40 000007a1: MLOAD 000007a2: PUSH3 0x461bcd 000007a6: PUSH1 0xe5 000007a8: SHL 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x04 000007ad: ADD 000007ae: PUSH2 0x0294 000007b1: SWAP1 000007b2: PUSH2 0x0a1f 000007b5: JUMP 000007b6: JUMPDEST 000007b7: PUSH1 0x40 000007b9: MLOAD 000007ba: PUSH1 0x01 000007bc: PUSH1 0x01 000007be: PUSH1 0xa0 000007c0: SHL 000007c1: SUB 000007c2: DUP4 000007c3: AND 000007c4: SWAP1 000007c5: DUP3 000007c6: ISZERO 000007c7: PUSH2 0x08fc 000007ca: MUL 000007cb: SWAP1 000007cc: DUP4 000007cd: SWAP1 000007ce: PUSH1 0x00 000007d0: DUP2 000007d1: DUP2 000007d2: DUP2 000007d3: DUP6 000007d4: DUP9 000007d5: DUP9 000007d6: CALL 000007d7: SWAP4 000007d8: POP 000007d9: POP 000007da: POP 000007db: POP 000007dc: ISZERO 000007dd: DUP1 000007de: ISZERO 000007df: PUSH2 0x07ec 000007e2: JUMPI 000007e3: RETURNDATASIZE 000007e4: PUSH1 0x00 000007e6: DUP1 000007e7: RETURNDATACOPY 000007e8: RETURNDATASIZE 000007e9: PUSH1 0x00 000007eb: REVERT 000007ec: JUMPDEST 000007ed: POP 000007ee: POP 000007ef: POP 000007f0: JUMP 000007f1: JUMPDEST 000007f2: PUSH1 0x00 000007f4: DUP2 000007f5: DUP2 000007f6: MSTORE 000007f7: PUSH1 0x06 000007f9: PUSH1 0x20 000007fb: MSTORE 000007fc: PUSH1 0x40 000007fe: SWAP1 000007ff: KECCAK256 00000800: PUSH1 0x01 00000802: DUP2 00000803: ADD 00000804: SLOAD 00000805: PUSH1 0x01 00000807: PUSH1 0x01 00000809: PUSH1 0xa0 0000080b: SHL 0000080c: SUB 0000080d: AND 0000080e: PUSH2 0x0829 00000811: JUMPI 00000812: PUSH1 0x40 00000814: MLOAD 00000815: PUSH3 0x461bcd 00000819: PUSH1 0xe5 0000081b: SHL 0000081c: DUP2 0000081d: MSTORE 0000081e: PUSH1 0x04 00000820: ADD 00000821: PUSH2 0x0294 00000824: SWAP1 00000825: PUSH2 0x0b4a 00000828: JUMP 00000829: JUMPDEST 0000082a: PUSH1 0x03 0000082c: DUP2 0000082d: ADD 0000082e: DUP1 0000082f: SLOAD 00000830: PUSH1 0xff 00000832: NOT 00000833: AND 00000834: PUSH1 0x01 00000836: SWAP1 00000837: DUP2 00000838: OR 00000839: SWAP1 0000083a: SWAP2 0000083b: SSTORE 0000083c: DUP2 0000083d: ADD 0000083e: SLOAD 0000083f: PUSH1 0x02 00000841: DUP3 00000842: ADD 00000843: SLOAD 00000844: PUSH1 0x40 00000846: MLOAD 00000847: PUSH1 0x01 00000849: PUSH1 0x01 0000084b: PUSH1 0xa0 0000084d: SHL 0000084e: SUB 0000084f: SWAP1 00000850: SWAP3 00000851: AND 00000852: SWAP2 00000853: DUP2 00000854: ISZERO 00000855: PUSH2 0x08fc 00000858: MUL 00000859: SWAP2 0000085a: SWAP1 0000085b: PUSH1 0x00 0000085d: DUP2 0000085e: DUP2 0000085f: DUP2 00000860: DUP6 00000861: DUP9 00000862: DUP9 00000863: CALL 00000864: SWAP4 00000865: POP 00000866: POP 00000867: POP 00000868: POP 00000869: ISZERO 0000086a: DUP1 0000086b: ISZERO 0000086c: PUSH2 0x07ec 0000086f: JUMPI 00000870: RETURNDATASIZE 00000871: PUSH1 0x00 00000873: DUP1 00000874: RETURNDATACOPY 00000875: RETURNDATASIZE 00000876: PUSH1 0x00 00000878: REVERT 00000879: JUMPDEST 0000087a: PUSH1 0x40 0000087c: MLOAD 0000087d: DUP1 0000087e: PUSH1 0xa0 00000880: ADD 00000881: PUSH1 0x40 00000883: MSTORE 00000884: DUP1 00000885: PUSH1 0x00 00000887: DUP2 00000888: MSTORE 00000889: PUSH1 0x20 0000088b: ADD 0000088c: PUSH1 0x00 0000088e: PUSH1 0x01 00000890: PUSH1 0x01 00000892: PUSH1 0xa0 00000894: SHL 00000895: SUB 00000896: AND 00000897: DUP2 00000898: MSTORE 00000899: PUSH1 0x20 0000089b: ADD 0000089c: PUSH1 0x00 0000089e: DUP2 0000089f: MSTORE 000008a0: PUSH1 0x20 000008a2: ADD 000008a3: PUSH1 0x00 000008a5: ISZERO 000008a6: ISZERO 000008a7: DUP2 000008a8: MSTORE 000008a9: PUSH1 0x20 000008ab: ADD 000008ac: PUSH1 0x00 000008ae: DUP2 000008af: MSTORE 000008b0: POP 000008b1: SWAP1 000008b2: JUMP 000008b3: JUMPDEST 000008b4: DUP1 000008b5: CALLDATALOAD 000008b6: PUSH1 0x01 000008b8: PUSH1 0x01 000008ba: PUSH1 0xa0 000008bc: SHL 000008bd: SUB 000008be: DUP2 000008bf: AND 000008c0: DUP2 000008c1: EQ 000008c2: PUSH2 0x08ca 000008c5: JUMPI 000008c6: PUSH1 0x00 000008c8: DUP1 000008c9: REVERT 000008ca: JUMPDEST 000008cb: SWAP2 000008cc: SWAP1 000008cd: POP 000008ce: JUMP 000008cf: JUMPDEST 000008d0: PUSH1 0x00 000008d2: PUSH1 0x20 000008d4: DUP3 000008d5: DUP5 000008d6: SUB 000008d7: SLT 000008d8: ISZERO 000008d9: PUSH2 0x08e0 000008dc: JUMPI 000008dd: DUP1 000008de: DUP2 000008df: REVERT 000008e0: JUMPDEST 000008e1: PUSH2 0x054e 000008e4: DUP3 000008e5: PUSH2 0x08b3 000008e8: JUMP 000008e9: JUMPDEST 000008ea: PUSH1 0x00 000008ec: DUP1 000008ed: PUSH1 0x40 000008ef: DUP4 000008f0: DUP6 000008f1: SUB 000008f2: SLT 000008f3: ISZERO 000008f4: PUSH2 0x08fb 000008f7: JUMPI 000008f8: DUP1 000008f9: DUP2 000008fa: REVERT 000008fb: JUMPDEST 000008fc: PUSH2 0x0904 000008ff: DUP4 00000900: PUSH2 0x08b3 00000903: JUMP 00000904: JUMPDEST 00000905: SWAP5 00000906: PUSH1 0x20 00000908: SWAP4 00000909: SWAP1 0000090a: SWAP4 0000090b: ADD 0000090c: CALLDATALOAD 0000090d: SWAP4 0000090e: POP 0000090f: POP 00000910: POP 00000911: JUMP 00000912: JUMPDEST 00000913: PUSH1 0x00 00000915: DUP1 00000916: PUSH1 0x00 00000918: PUSH1 0x60 0000091a: DUP5 0000091b: DUP7 0000091c: SUB 0000091d: SLT 0000091e: ISZERO 0000091f: PUSH2 0x0926 00000922: JUMPI 00000923: DUP1 00000924: DUP2 00000925: REVERT 00000926: JUMPDEST 00000927: PUSH2 0x092f 0000092a: DUP5 0000092b: PUSH2 0x08b3 0000092e: JUMP 0000092f: JUMPDEST 00000930: SWAP6 00000931: PUSH1 0x20 00000933: DUP6 00000934: ADD 00000935: CALLDATALOAD 00000936: SWAP6 00000937: POP 00000938: PUSH1 0x40 0000093a: SWAP1 0000093b: SWAP5 0000093c: ADD 0000093d: CALLDATALOAD 0000093e: SWAP4 0000093f: SWAP3 00000940: POP 00000941: POP 00000942: POP 00000943: JUMP 00000944: JUMPDEST 00000945: PUSH1 0x00 00000947: PUSH1 0x20 00000949: DUP3 0000094a: DUP5 0000094b: SUB 0000094c: SLT 0000094d: ISZERO 0000094e: PUSH2 0x0955 00000951: JUMPI 00000952: DUP1 00000953: DUP2 00000954: REVERT 00000955: JUMPDEST 00000956: POP 00000957: CALLDATALOAD 00000958: SWAP2 00000959: SWAP1 0000095a: POP 0000095b: JUMP 0000095c: JUMPDEST 0000095d: PUSH1 0x00 0000095f: DUP1 00000960: PUSH1 0x40 00000962: DUP4 00000963: DUP6 00000964: SUB 00000965: SLT 00000966: ISZERO 00000967: PUSH2 0x096e 0000096a: JUMPI 0000096b: DUP2 0000096c: DUP3 0000096d: REVERT 0000096e: JUMPDEST 0000096f: DUP3 00000970: CALLDATALOAD 00000971: SWAP2 00000972: POP 00000973: PUSH2 0x097e 00000976: PUSH1 0x20 00000978: DUP5 00000979: ADD 0000097a: PUSH2 0x08b3 0000097d: JUMP 0000097e: JUMPDEST 0000097f: SWAP1 00000980: POP 00000981: SWAP3 00000982: POP 00000983: SWAP3 00000984: SWAP1 00000985: POP 00000986: JUMP 00000987: JUMPDEST 00000988: PUSH1 0x01 0000098a: PUSH1 0x01 0000098c: PUSH1 0xa0 0000098e: SHL 0000098f: SUB 00000990: SWAP2 00000991: SWAP1 00000992: SWAP2 00000993: AND 00000994: DUP2 00000995: MSTORE 00000996: PUSH1 0x20 00000998: ADD 00000999: SWAP1 0000099a: JUMP 0000099b: JUMPDEST 0000099c: PUSH1 0x20 0000099e: DUP1 0000099f: DUP3 000009a0: MSTORE 000009a1: DUP3 000009a2: MLOAD 000009a3: DUP3 000009a4: DUP3 000009a5: ADD 000009a6: DUP2 000009a7: SWAP1 000009a8: MSTORE 000009a9: PUSH1 0x00 000009ab: SWAP2 000009ac: SWAP1 000009ad: PUSH1 0x40 000009af: SWAP1 000009b0: DUP2 000009b1: DUP6 000009b2: ADD 000009b3: SWAP1 000009b4: DUP7 000009b5: DUP5 000009b6: ADD 000009b7: DUP6 000009b8: JUMPDEST 000009b9: DUP3 000009ba: DUP2 000009bb: LT 000009bc: ISZERO 000009bd: PUSH2 0x0a07 000009c0: JUMPI 000009c1: DUP2 000009c2: MLOAD 000009c3: DUP1 000009c4: MLOAD 000009c5: DUP6 000009c6: MSTORE 000009c7: DUP7 000009c8: DUP2 000009c9: ADD 000009ca: MLOAD 000009cb: PUSH1 0x01 000009cd: PUSH1 0x01 000009cf: PUSH1 0xa0 000009d1: SHL 000009d2: SUB 000009d3: AND 000009d4: DUP8 000009d5: DUP7 000009d6: ADD 000009d7: MSTORE 000009d8: DUP6 000009d9: DUP2 000009da: ADD 000009db: MLOAD 000009dc: DUP7 000009dd: DUP7 000009de: ADD 000009df: MSTORE 000009e0: PUSH1 0x60 000009e2: DUP1 000009e3: DUP3 000009e4: ADD 000009e5: MLOAD 000009e6: ISZERO 000009e7: ISZERO 000009e8: SWAP1 000009e9: DUP7 000009ea: ADD 000009eb: MSTORE 000009ec: PUSH1 0x80 000009ee: SWAP1 000009ef: DUP2 000009f0: ADD 000009f1: MLOAD 000009f2: SWAP1 000009f3: DUP6 000009f4: ADD 000009f5: MSTORE 000009f6: PUSH1 0xa0 000009f8: SWAP1 000009f9: SWAP4 000009fa: ADD 000009fb: SWAP3 000009fc: SWAP1 000009fd: DUP6 000009fe: ADD 000009ff: SWAP1 00000a00: PUSH1 0x01 00000a02: ADD 00000a03: PUSH2 0x09b8 00000a06: JUMP 00000a07: JUMPDEST 00000a08: POP 00000a09: SWAP2 00000a0a: SWAP8 00000a0b: SWAP7 00000a0c: POP 00000a0d: POP 00000a0e: POP 00000a0f: POP 00000a10: POP 00000a11: POP 00000a12: POP 00000a13: JUMP 00000a14: JUMPDEST 00000a15: SWAP1 00000a16: ISZERO 00000a17: ISZERO 00000a18: DUP2 00000a19: MSTORE 00000a1a: PUSH1 0x20 00000a1c: ADD 00000a1d: SWAP1 00000a1e: JUMP 00000a1f: JUMPDEST 00000a20: PUSH1 0x20 00000a22: DUP1 00000a23: DUP3 00000a24: MSTORE 00000a25: PUSH1 0x10 00000a27: SWAP1 00000a28: DUP3 00000a29: ADD 00000a2a: MSTORE 00000a2b: PUSH16 0x092dce6eaccccd2c6d2cadce8408aa89 00000a3c: PUSH1 0x83 00000a3e: SHL 00000a3f: PUSH1 0x40 00000a41: DUP3 00000a42: ADD 00000a43: MSTORE 00000a44: PUSH1 0x60 00000a46: ADD 00000a47: SWAP1 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: PUSH1 0x20 00000a4c: DUP1 00000a4d: DUP3 00000a4e: MSTORE 00000a4f: PUSH1 0x0c 00000a51: SWAP1 00000a52: DUP3 00000a53: ADD 00000a54: MSTORE 00000a55: PUSH12 0x2737ba1030b71037bbb732b9 00000a62: PUSH1 0xa1 00000a64: SHL 00000a65: PUSH1 0x40 00000a67: DUP3 00000a68: ADD 00000a69: MSTORE 00000a6a: PUSH1 0x60 00000a6c: ADD 00000a6d: SWAP1 00000a6e: JUMP 00000a6f: JUMPDEST 00000a70: PUSH1 0x20 00000a72: DUP1 00000a73: DUP3 00000a74: MSTORE 00000a75: PUSH1 0x1c 00000a77: SWAP1 00000a78: DUP3 00000a79: ADD 00000a7a: MSTORE 00000a7b: PUSH32 0x5472616e73616374696f6e20616c726561647920657865637574656400000000 00000a9c: PUSH1 0x40 00000a9e: DUP3 00000a9f: ADD 00000aa0: MSTORE 00000aa1: PUSH1 0x60 00000aa3: ADD 00000aa4: SWAP1 00000aa5: JUMP 00000aa6: JUMPDEST 00000aa7: PUSH1 0x20 00000aa9: DUP1 00000aaa: DUP3 00000aab: MSTORE 00000aac: PUSH1 0x0f 00000aae: SWAP1 00000aaf: DUP3 00000ab0: ADD 00000ab1: MSTORE 00000ab2: PUSH15 0x2737ba1030b7103232b83637bcb2b9 00000ac2: PUSH1 0x89 00000ac4: SHL 00000ac5: PUSH1 0x40 00000ac7: DUP3 00000ac8: ADD 00000ac9: MSTORE 00000aca: PUSH1 0x60 00000acc: ADD 00000acd: SWAP1 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: PUSH1 0x20 00000ad2: DUP1 00000ad3: DUP3 00000ad4: MSTORE 00000ad5: PUSH1 0x24 00000ad7: SWAP1 00000ad8: DUP3 00000ad9: ADD 00000ada: MSTORE 00000adb: PUSH32 0x5472616e73616374696f6e20616c726561647920636f6e6669726d6564206279 00000afc: PUSH1 0x40 00000afe: DUP3 00000aff: ADD 00000b00: MSTORE 00000b01: PUSH4 0x20796f75 00000b06: PUSH1 0xe0 00000b08: SHL 00000b09: PUSH1 0x60 00000b0b: DUP3 00000b0c: ADD 00000b0d: MSTORE 00000b0e: PUSH1 0x80 00000b10: ADD 00000b11: SWAP1 00000b12: JUMP 00000b13: JUMPDEST 00000b14: PUSH1 0x20 00000b16: DUP1 00000b17: DUP3 00000b18: MSTORE 00000b19: PUSH1 0x1a 00000b1b: SWAP1 00000b1c: DUP3 00000b1d: ADD 00000b1e: MSTORE 00000b1f: PUSH32 0x5472616e73616374696f6e20646f6573206e6f74206578697374000000000000 00000b40: PUSH1 0x40 00000b42: DUP3 00000b43: ADD 00000b44: MSTORE 00000b45: PUSH1 0x60 00000b47: ADD 00000b48: SWAP1 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: PUSH1 0x20 00000b4d: DUP1 00000b4e: DUP3 00000b4f: MSTORE 00000b50: PUSH1 0x13 00000b52: SWAP1 00000b53: DUP3 00000b54: ADD 00000b55: MSTORE 00000b56: PUSH19 0x24b73b30b634b2103a3930b739b0b1ba34b7b7 00000b6a: PUSH1 0x69 00000b6c: SHL 00000b6d: PUSH1 0x40 00000b6f: DUP3 00000b70: ADD 00000b71: MSTORE 00000b72: PUSH1 0x60 00000b74: ADD 00000b75: SWAP1 00000b76: JUMP 00000b77: JUMPDEST 00000b78: SWAP1 00000b79: DUP2 00000b7a: MSTORE 00000b7b: PUSH1 0x20 00000b7d: ADD 00000b7e: SWAP1 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: SWAP5 00000b82: DUP6 00000b83: MSTORE 00000b84: PUSH1 0x01 00000b86: PUSH1 0x01 00000b88: PUSH1 0xa0 00000b8a: SHL 00000b8b: SUB 00000b8c: SWAP4 00000b8d: SWAP1 00000b8e: SWAP4 00000b8f: AND 00000b90: PUSH1 0x20 00000b92: DUP6 00000b93: ADD 00000b94: MSTORE 00000b95: PUSH1 0x40 00000b97: DUP5 00000b98: ADD 00000b99: SWAP2 00000b9a: SWAP1 00000b9b: SWAP2 00000b9c: MSTORE 00000b9d: ISZERO 00000b9e: ISZERO 00000b9f: PUSH1 0x60 00000ba1: DUP4 00000ba2: ADD 00000ba3: MSTORE 00000ba4: PUSH1 0x80 00000ba6: DUP3 00000ba7: ADD 00000ba8: MSTORE 00000ba9: PUSH1 0xa0 00000bab: ADD 00000bac: SWAP1 00000bad: JUMP 00000bae: JUMPDEST 00000baf: PUSH1 0x00 00000bb1: DUP3 00000bb2: NOT 00000bb3: DUP3 00000bb4: GT 00000bb5: ISZERO 00000bb6: PUSH2 0x0bc1 00000bb9: JUMPI 00000bba: PUSH2 0x0bc1 00000bbd: PUSH2 0x0bf8 00000bc0: JUMP 00000bc1: JUMPDEST 00000bc2: POP 00000bc3: ADD 00000bc4: SWAP1 00000bc5: JUMP 00000bc6: JUMPDEST 00000bc7: PUSH1 0x00 00000bc9: DUP3 00000bca: DUP3 00000bcb: LT 00000bcc: ISZERO 00000bcd: PUSH2 0x0bd8 00000bd0: JUMPI 00000bd1: PUSH2 0x0bd8 00000bd4: PUSH2 0x0bf8 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: POP 00000bda: SUB 00000bdb: SWAP1 00000bdc: JUMP 00000bdd: JUMPDEST 00000bde: PUSH1 0x00 00000be0: PUSH1 0x00 00000be2: NOT 00000be3: DUP3 00000be4: EQ 00000be5: ISZERO 00000be6: PUSH2 0x0bf1 00000be9: JUMPI 00000bea: PUSH2 0x0bf1 00000bed: PUSH2 0x0bf8 00000bf0: JUMP 00000bf1: JUMPDEST 00000bf2: POP 00000bf3: PUSH1 0x01 00000bf5: ADD 00000bf6: SWAP1 00000bf7: JUMP 00000bf8: JUMPDEST 00000bf9: PUSH4 0x4e487b71 00000bfe: PUSH1 0xe0 00000c00: SHL 00000c01: PUSH1 0x00 00000c03: MSTORE 00000c04: PUSH1 0x11 00000c06: PUSH1 0x04 00000c08: MSTORE 00000c09: PUSH1 0x24 00000c0b: PUSH1 0x00 00000c0d: REVERT 00000c0e: INVALID 00000c0f: LOG2 00000c10: PUSH5 0x6970667358 00000c16: UNKNOWN(0x22) 00000c17: SLT 00000c18: KECCAK256 00000c19: UNKNOWN(0x0E) 00000c1a: PUSH19 0x7992a1be3eb9de3635b250b0c50961132be538 00000c2e: PUSH13 0x950bf49bfac1aa870c8464736f 00000c3c: PUSH13
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1f161e849f3579016f2b88ae46b347d03a76053eeedf21149a51d0776dd44d94
call_targets:
0x29f4dbfa2225745794172e7c53dc770884ac5e41
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1f161e849f3579016f2b88ae46b347d03a76053eeedf21149a51d0776dd44d94",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x29f4dbfa2225745794172e7c53dc770884ac5e41"
],
"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": "0x82e717f7",
"selector": "0x82e717f7",
"calldata_variants": [
"0x82e717f7",
"0x82e717f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ace38c2",
"selector": "0x9ace38c2",
"calldata_variants": [
"0x9ace38c2",
"0x9ace38c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb77bf600",
"selector": "0xb77bf600",
"calldata_variants": [
"0xb77bf600",
"0xb77bf6000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc01a8c84",
"selector": "0xc01a8c84",
"calldata_variants": [
"0xc01a8c84",
"0xc01a8c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5f39488",
"selector": "0xd5f39488",
"calldata_variants": [
"0xd5f39488",
"0xd5f394880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d43b653",
"selector": "0x1d43b653",
"calldata_variants": [
"0x1d43b653",
"0x1d43b6530000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2006,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2147,
"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: 0x1f161e849f3579016f2b88ae46b347d03a76053eeedf21149a51d0776dd44d94
call_targets:
0x29f4dbfa2225745794172e7c53dc770884ac5e41
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1f161e849f3579016f2b88ae46b347d03a76053eeedf21149a51d0776dd44d94",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x29f4dbfa2225745794172e7c53dc770884ac5e41"
],
"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": "0x82e717f7",
"selector": "0x82e717f7",
"calldata_variants": [
"0x82e717f7",
"0x82e717f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ace38c2",
"selector": "0x9ace38c2",
"calldata_variants": [
"0x9ace38c2",
"0x9ace38c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb77bf600",
"selector": "0xb77bf600",
"calldata_variants": [
"0xb77bf600",
"0xb77bf6000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc01a8c84",
"selector": "0xc01a8c84",
"calldata_variants": [
"0xc01a8c84",
"0xc01a8c840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd5f39488",
"selector": "0xd5f39488",
"calldata_variants": [
"0xd5f39488",
"0xd5f394880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1d43b653",
"selector": "0x1d43b653",
"calldata_variants": [
"0x1d43b653",
"0x1d43b6530000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2006,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2147,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|