019b477e-aa87-700b-9812-feb6ca8f9725
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 |
|---|---|---|---|---|
| 20845 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20846 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64234 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64235 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64236 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64237 | 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 0x011b 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x06fdde03 0000003a: EQ 0000003b: PUSH2 0x0238 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x095ea7b3 00000045: EQ 00000046: PUSH2 0x02c7 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x18160ddd 00000050: EQ 00000051: PUSH2 0x0321 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x23548b8b 0000005b: EQ 0000005c: PUSH2 0x034a 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x23b872dd 00000066: EQ 00000067: PUSH2 0x0373 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x313ce567 00000071: EQ 00000072: PUSH2 0x03ec 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x3fa615b0 0000007c: EQ 0000007d: PUSH2 0x0415 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x4172d080 00000087: EQ 00000088: PUSH2 0x043e 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x4bb278f3 00000092: EQ 00000093: PUSH2 0x0467 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x590e1ae3 0000009d: EQ 0000009e: PUSH2 0x047c 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x6c9c2faf 000000a8: EQ 000000a9: PUSH2 0x0491 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x70a08231 000000b3: EQ 000000b4: PUSH2 0x04ba 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x8d4e4083 000000be: EQ 000000bf: PUSH2 0x0507 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x91b43d13 000000c9: EQ 000000ca: PUSH2 0x0534 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x95d89b41 000000d4: EQ 000000d5: PUSH2 0x055d 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xa0dc6b74 000000df: EQ 000000e0: PUSH2 0x05ec 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xa9059cbb 000000ea: EQ 000000eb: PUSH2 0x05f6 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xc0aa3b21 000000f5: EQ 000000f6: PUSH2 0x0650 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xc59d4847 00000100: EQ 00000101: PUSH2 0x0679 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xd648a647 0000010b: EQ 0000010c: PUSH2 0x06b7 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xdd62ed3e 00000116: EQ 00000117: PUSH2 0x06e0 0000011a: JUMPI 0000011b: JUMPDEST 0000011c: JUMPDEST 0000011d: PUSH1 0x00 0000011f: DUP1 00000120: PUSH1 0x01 00000122: SLOAD 00000123: NUMBER 00000124: LT 00000125: ISZERO 00000126: DUP1 00000127: ISZERO 00000128: PUSH2 0x0133 0000012b: JUMPI 0000012c: POP 0000012d: PUSH1 0x02 0000012f: SLOAD 00000130: NUMBER 00000131: GT 00000132: ISZERO 00000133: JUMPDEST 00000134: ISZERO 00000135: ISZERO 00000136: PUSH2 0x013e 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: PUSH1 0x00 00000141: CALLVALUE 00000142: EQ 00000143: ISZERO 00000144: PUSH2 0x014c 00000147: JUMPI 00000148: PUSH1 0x00 0000014a: DUP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: PUSH1 0x09 0000014f: PUSH1 0x00 00000151: SWAP1 00000152: SLOAD 00000153: SWAP1 00000154: PUSH2 0x0100 00000157: EXP 00000158: SWAP1 00000159: DIV 0000015a: PUSH1 0xff 0000015c: AND 0000015d: ISZERO 0000015e: PUSH2 0x0166 00000161: JUMPI 00000162: PUSH1 0x00 00000164: DUP1 00000165: REVERT 00000166: JUMPDEST 00000167: PUSH2 0x0171 0000016a: CALLVALUE 0000016b: PUSH1 0x0a 0000016d: PUSH2 0x074c 00000170: JUMP 00000171: JUMPDEST 00000172: SWAP2 00000173: POP 00000174: PUSH2 0x017f 00000177: PUSH1 0x06 00000179: SLOAD 0000017a: DUP4 0000017b: PUSH2 0x0780 0000017e: JUMP 0000017f: JUMPDEST 00000180: SWAP1 00000181: POP 00000182: DUP1 00000183: PUSH1 0x05 00000185: SLOAD 00000186: LT 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: DUP1 00000192: PUSH1 0x06 00000194: DUP2 00000195: SWAP1 00000196: SSTORE 00000197: POP 00000198: DUP2 00000199: PUSH1 0x03 0000019b: PUSH1 0x00 0000019d: CALLER 0000019e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b3: AND 000001b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c9: AND 000001ca: DUP2 000001cb: MSTORE 000001cc: PUSH1 0x20 000001ce: ADD 000001cf: SWAP1 000001d0: DUP2 000001d1: MSTORE 000001d2: PUSH1 0x20 000001d4: ADD 000001d5: PUSH1 0x00 000001d7: KECCAK256 000001d8: PUSH1 0x00 000001da: DUP3 000001db: DUP3 000001dc: SLOAD 000001dd: ADD 000001de: SWAP3 000001df: POP 000001e0: POP 000001e1: DUP2 000001e2: SWAP1 000001e3: SSTORE 000001e4: POP 000001e5: CALLER 000001e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001fb: AND 000001fc: PUSH32 0xfce9fdd95be8989a12a9830eb1de23576ff396b4605b49179f8ca45b32849b44 0000021d: DUP4 0000021e: PUSH1 0x40 00000220: MLOAD 00000221: DUP1 00000222: DUP3 00000223: DUP2 00000224: MSTORE 00000225: PUSH1 0x20 00000227: ADD 00000228: SWAP2 00000229: POP 0000022a: POP 0000022b: PUSH1 0x40 0000022d: MLOAD 0000022e: DUP1 0000022f: SWAP2 00000230: SUB 00000231: SWAP1 00000232: LOG2 00000233: JUMPDEST 00000234: JUMPDEST 00000235: POP 00000236: POP 00000237: STOP 00000238: JUMPDEST 00000239: CALLVALUE 0000023a: ISZERO 0000023b: PUSH2 0x0243 0000023e: JUMPI 0000023f: PUSH1 0x00 00000241: DUP1 00000242: REVERT 00000243: JUMPDEST 00000244: PUSH2 0x024b 00000247: PUSH2 0x07ab 0000024a: JUMP 0000024b: JUMPDEST 0000024c: PUSH1 0x40 0000024e: MLOAD 0000024f: DUP1 00000250: DUP1 00000251: PUSH1 0x20 00000253: ADD 00000254: DUP3 00000255: DUP2 00000256: SUB 00000257: DUP3 00000258: MSTORE 00000259: DUP4 0000025a: DUP2 0000025b: DUP2 0000025c: MLOAD 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x20 00000261: ADD 00000262: SWAP2 00000263: POP 00000264: DUP1 00000265: MLOAD 00000266: SWAP1 00000267: PUSH1 0x20 00000269: ADD 0000026a: SWAP1 0000026b: DUP1 0000026c: DUP4 0000026d: DUP4 0000026e: PUSH1 0x00 00000270: JUMPDEST 00000271: DUP4 00000272: DUP2 00000273: LT 00000274: ISZERO 00000275: PUSH2 0x028c 00000278: JUMPI 00000279: DUP1 0000027a: DUP3 0000027b: ADD 0000027c: MLOAD 0000027d: DUP2 0000027e: DUP5 0000027f: ADD 00000280: MSTORE 00000281: JUMPDEST 00000282: PUSH1 0x20 00000284: DUP2 00000285: ADD 00000286: SWAP1 00000287: POP 00000288: PUSH2 0x0270 0000028b: JUMP 0000028c: JUMPDEST 0000028d: POP 0000028e: POP 0000028f: POP 00000290: POP 00000291: SWAP1 00000292: POP 00000293: SWAP1 00000294: DUP2 00000295: ADD 00000296: SWAP1 00000297: PUSH1 0x1f 00000299: AND 0000029a: DUP1 0000029b: ISZERO 0000029c: PUSH2 0x02b9 0000029f: JUMPI 000002a0: DUP1 000002a1: DUP3 000002a2: SUB 000002a3: DUP1 000002a4: MLOAD 000002a5: PUSH1 0x01 000002a7: DUP4 000002a8: PUSH1 0x20 000002aa: SUB 000002ab: PUSH2 0x0100 000002ae: EXP 000002af: SUB 000002b0: NOT 000002b1: AND 000002b2: DUP2 000002b3: MSTORE 000002b4: PUSH1 0x20 000002b6: ADD 000002b7: SWAP2 000002b8: POP 000002b9: JUMPDEST 000002ba: POP 000002bb: SWAP3 000002bc: POP 000002bd: POP 000002be: POP 000002bf: PUSH1 0x40 000002c1: MLOAD 000002c2: DUP1 000002c3: SWAP2 000002c4: SUB 000002c5: SWAP1 000002c6: RETURN 000002c7: JUMPDEST 000002c8: CALLVALUE 000002c9: ISZERO 000002ca: PUSH2 0x02d2 000002cd: JUMPI 000002ce: PUSH1 0x00 000002d0: DUP1 000002d1: REVERT 000002d2: JUMPDEST 000002d3: PUSH2 0x0307 000002d6: PUSH1 0x04 000002d8: DUP1 000002d9: DUP1 000002da: CALLDATALOAD 000002db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f0: AND 000002f1: SWAP1 000002f2: PUSH1 0x20 000002f4: ADD 000002f5: SWAP1 000002f6: SWAP2 000002f7: SWAP1 000002f8: DUP1 000002f9: CALLDATALOAD 000002fa: SWAP1 000002fb: PUSH1 0x20 000002fd: ADD 000002fe: SWAP1 000002ff: SWAP2 00000300: SWAP1 00000301: POP 00000302: POP 00000303: PUSH2 0x07e4 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH1 0x40 0000030a: MLOAD 0000030b: DUP1 0000030c: DUP3 0000030d: ISZERO 0000030e: ISZERO 0000030f: ISZERO 00000310: ISZERO 00000311: DUP2 00000312: MSTORE 00000313: PUSH1 0x20 00000315: ADD 00000316: SWAP2 00000317: POP 00000318: POP 00000319: PUSH1 0x40 0000031b: MLOAD 0000031c: DUP1 0000031d: SWAP2 0000031e: SUB 0000031f: SWAP1 00000320: RETURN 00000321: JUMPDEST 00000322: CALLVALUE 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: PUSH2 0x0334 00000330: PUSH2 0x08d7 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH1 0x40 00000337: MLOAD 00000338: DUP1 00000339: DUP3 0000033a: DUP2 0000033b: MSTORE 0000033c: PUSH1 0x20 0000033e: ADD 0000033f: SWAP2 00000340: POP 00000341: POP 00000342: PUSH1 0x40 00000344: MLOAD 00000345: DUP1 00000346: SWAP2 00000347: SUB 00000348: SWAP1 00000349: RETURN 0000034a: JUMPDEST 0000034b: CALLVALUE 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: PUSH2 0x035d 00000359: PUSH2 0x08dd 0000035c: JUMP 0000035d: JUMPDEST 0000035e: PUSH1 0x40 00000360: MLOAD 00000361: DUP1 00000362: DUP3 00000363: DUP2 00000364: MSTORE 00000365: PUSH1 0x20 00000367: ADD 00000368: SWAP2 00000369: POP 0000036a: POP 0000036b: PUSH1 0x40 0000036d: MLOAD 0000036e: DUP1 0000036f: SWAP2 00000370: SUB 00000371: SWAP1 00000372: RETURN 00000373: JUMPDEST 00000374: CALLVALUE 00000375: ISZERO 00000376: PUSH2 0x037e 00000379: JUMPI 0000037a: PUSH1 0x00 0000037c: DUP1 0000037d: REVERT 0000037e: JUMPDEST 0000037f: PUSH2 0x03d2 00000382: PUSH1 0x04 00000384: DUP1 00000385: DUP1 00000386: CALLDATALOAD 00000387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039c: AND 0000039d: SWAP1 0000039e: PUSH1 0x20 000003a0: ADD 000003a1: SWAP1 000003a2: SWAP2 000003a3: SWAP1 000003a4: DUP1 000003a5: CALLDATALOAD 000003a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003bb: AND 000003bc: SWAP1 000003bd: PUSH1 0x20 000003bf: ADD 000003c0: SWAP1 000003c1: SWAP2 000003c2: SWAP1 000003c3: DUP1 000003c4: CALLDATALOAD 000003c5: SWAP1 000003c6: PUSH1 0x20 000003c8: ADD 000003c9: SWAP1 000003ca: SWAP2 000003cb: SWAP1 000003cc: POP 000003cd: POP 000003ce: PUSH2 0x08e3 000003d1: JUMP 000003d2: JUMPDEST 000003d3: PUSH1 0x40 000003d5: MLOAD 000003d6: DUP1 000003d7: DUP3 000003d8: ISZERO 000003d9: ISZERO 000003da: ISZERO 000003db: ISZERO 000003dc: DUP2 000003dd: MSTORE 000003de: PUSH1 0x20 000003e0: ADD 000003e1: SWAP2 000003e2: POP 000003e3: POP 000003e4: PUSH1 0x40 000003e6: MLOAD 000003e7: DUP1 000003e8: SWAP2 000003e9: SUB 000003ea: SWAP1 000003eb: RETURN 000003ec: JUMPDEST 000003ed: CALLVALUE 000003ee: ISZERO 000003ef: PUSH2 0x03f7 000003f2: JUMPI 000003f3: PUSH1 0x00 000003f5: DUP1 000003f6: REVERT 000003f7: JUMPDEST 000003f8: PUSH2 0x03ff 000003fb: PUSH2 0x0bef 000003fe: JUMP 000003ff: JUMPDEST 00000400: PUSH1 0x40 00000402: MLOAD 00000403: DUP1 00000404: DUP3 00000405: DUP2 00000406: MSTORE 00000407: PUSH1 0x20 00000409: ADD 0000040a: SWAP2 0000040b: POP 0000040c: POP 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: DUP1 00000411: SWAP2 00000412: SUB 00000413: SWAP1 00000414: RETURN 00000415: JUMPDEST 00000416: CALLVALUE 00000417: ISZERO 00000418: PUSH2 0x0420 0000041b: JUMPI 0000041c: PUSH1 0x00 0000041e: DUP1 0000041f: REVERT 00000420: JUMPDEST 00000421: PUSH2 0x0428 00000424: PUSH2 0x0bf4 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH1 0x40 0000042b: MLOAD 0000042c: DUP1 0000042d: DUP3 0000042e: DUP2 0000042f: MSTORE 00000430: PUSH1 0x20 00000432: ADD 00000433: SWAP2 00000434: POP 00000435: POP 00000436: PUSH1 0x40 00000438: MLOAD 00000439: DUP1 0000043a: SWAP2 0000043b: SUB 0000043c: SWAP1 0000043d: RETURN 0000043e: JUMPDEST 0000043f: CALLVALUE 00000440: ISZERO 00000441: PUSH2 0x0449 00000444: JUMPI 00000445: PUSH1 0x00 00000447: DUP1 00000448: REVERT 00000449: JUMPDEST 0000044a: PUSH2 0x0451 0000044d: PUSH2 0x0bfa 00000450: JUMP 00000451: JUMPDEST 00000452: PUSH1 0x40 00000454: MLOAD 00000455: DUP1 00000456: DUP3 00000457: DUP2 00000458: MSTORE 00000459: PUSH1 0x20 0000045b: ADD 0000045c: SWAP2 0000045d: POP 0000045e: POP 0000045f: PUSH1 0x40 00000461: MLOAD 00000462: DUP1 00000463: SWAP2 00000464: SUB 00000465: SWAP1 00000466: RETURN 00000467: JUMPDEST 00000468: CALLVALUE 00000469: ISZERO 0000046a: PUSH2 0x0472 0000046d: JUMPI 0000046e: PUSH1 0x00 00000470: DUP1 00000471: REVERT 00000472: JUMPDEST 00000473: PUSH2 0x047a 00000476: PUSH2 0x0bff 00000479: JUMP 0000047a: JUMPDEST 0000047b: STOP 0000047c: JUMPDEST 0000047d: CALLVALUE 0000047e: ISZERO 0000047f: PUSH2 0x0487 00000482: JUMPI 00000483: PUSH1 0x00 00000485: DUP1 00000486: REVERT 00000487: JUMPDEST 00000488: PUSH2 0x048f 0000048b: PUSH2 0x0da2 0000048e: JUMP 0000048f: JUMPDEST 00000490: STOP 00000491: JUMPDEST 00000492: CALLVALUE 00000493: ISZERO 00000494: PUSH2 0x049c 00000497: JUMPI 00000498: PUSH1 0x00 0000049a: DUP1 0000049b: REVERT 0000049c: JUMPDEST 0000049d: PUSH2 0x04a4 000004a0: PUSH2 0x0f84 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH1 0x40 000004a7: MLOAD 000004a8: DUP1 000004a9: DUP3 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0x20 000004ae: ADD 000004af: SWAP2 000004b0: POP 000004b1: POP 000004b2: PUSH1 0x40 000004b4: MLOAD 000004b5: DUP1 000004b6: SWAP2 000004b7: SUB 000004b8: SWAP1 000004b9: RETURN 000004ba: JUMPDEST 000004bb: CALLVALUE 000004bc: ISZERO 000004bd: PUSH2 0x04c5 000004c0: JUMPI 000004c1: PUSH1 0x00 000004c3: DUP1 000004c4: REVERT 000004c5: JUMPDEST 000004c6: PUSH2 0x04f1 000004c9: PUSH1 0x04 000004cb: DUP1 000004cc: DUP1 000004cd: CALLDATALOAD 000004ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e3: AND 000004e4: SWAP1 000004e5: PUSH1 0x20 000004e7: ADD 000004e8: SWAP1 000004e9: SWAP2 000004ea: SWAP1 000004eb: POP 000004ec: POP 000004ed: PUSH2 0x0f8f 000004f0: JUMP 000004f1: JUMPDEST 000004f2: PUSH1 0x40 000004f4: MLOAD 000004f5: DUP1 000004f6: DUP3 000004f7: DUP2 000004f8: MSTORE 000004f9: PUSH1 0x20 000004fb: ADD 000004fc: SWAP2 000004fd: POP 000004fe: POP 000004ff: PUSH1 0x40 00000501: MLOAD 00000502: DUP1 00000503: SWAP2 00000504: SUB 00000505: SWAP1 00000506: RETURN 00000507: JUMPDEST 00000508: CALLVALUE 00000509: ISZERO 0000050a: PUSH2 0x0512 0000050d: JUMPI 0000050e: PUSH1 0x00 00000510: DUP1 00000511: REVERT 00000512: JUMPDEST 00000513: PUSH2 0x051a 00000516: PUSH2 0x0fd9 00000519: JUMP 0000051a: JUMPDEST 0000051b: PUSH1 0x40 0000051d: MLOAD 0000051e: DUP1 0000051f: DUP3 00000520: ISZERO 00000521: ISZERO 00000522: ISZERO 00000523: ISZERO 00000524: DUP2 00000525: MSTORE 00000526: PUSH1 0x20 00000528: ADD 00000529: SWAP2 0000052a: POP 0000052b: POP 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: DUP1 00000530: SWAP2 00000531: SUB 00000532: SWAP1 00000533: RETURN 00000534: JUMPDEST 00000535: CALLVALUE 00000536: ISZERO 00000537: PUSH2 0x053f 0000053a: JUMPI 0000053b: PUSH1 0x00 0000053d: DUP1 0000053e: REVERT 0000053f: JUMPDEST 00000540: PUSH2 0x0547 00000543: PUSH2 0x0fec 00000546: JUMP 00000547: JUMPDEST 00000548: PUSH1 0x40 0000054a: MLOAD 0000054b: DUP1 0000054c: DUP3 0000054d: DUP2 0000054e: MSTORE 0000054f: PUSH1 0x20 00000551: ADD 00000552: SWAP2 00000553: POP 00000554: POP 00000555: PUSH1 0x40 00000557: MLOAD 00000558: DUP1 00000559: SWAP2 0000055a: SUB 0000055b: SWAP1 0000055c: RETURN 0000055d: JUMPDEST 0000055e: CALLVALUE 0000055f: ISZERO 00000560: PUSH2 0x0568 00000563: JUMPI 00000564: PUSH1 0x00 00000566: DUP1 00000567: REVERT 00000568: JUMPDEST 00000569: PUSH2 0x0570 0000056c: PUSH2 0x0ff2 0000056f: JUMP 00000570: JUMPDEST 00000571: PUSH1 0x40 00000573: MLOAD 00000574: DUP1 00000575: DUP1 00000576: PUSH1 0x20 00000578: ADD 00000579: DUP3 0000057a: DUP2 0000057b: SUB 0000057c: DUP3 0000057d: MSTORE 0000057e: DUP4 0000057f: DUP2 00000580: DUP2 00000581: MLOAD 00000582: DUP2 00000583: MSTORE 00000584: PUSH1 0x20 00000586: ADD 00000587: SWAP2 00000588: POP 00000589: DUP1 0000058a: MLOAD 0000058b: SWAP1 0000058c: PUSH1 0x20 0000058e: ADD 0000058f: SWAP1 00000590: DUP1 00000591: DUP4 00000592: DUP4 00000593: PUSH1 0x00 00000595: JUMPDEST 00000596: DUP4 00000597: DUP2 00000598: LT 00000599: ISZERO 0000059a: PUSH2 0x05b1 0000059d: JUMPI 0000059e: DUP1 0000059f: DUP3 000005a0: ADD 000005a1: MLOAD 000005a2: DUP2 000005a3: DUP5 000005a4: ADD 000005a5: MSTORE 000005a6: JUMPDEST 000005a7: PUSH1 0x20 000005a9: DUP2 000005aa: ADD 000005ab: SWAP1 000005ac: POP 000005ad: PUSH2 0x0595 000005b0: JUMP 000005b1: JUMPDEST 000005b2: POP 000005b3: POP 000005b4: POP 000005b5: POP 000005b6: SWAP1 000005b7: POP 000005b8: SWAP1 000005b9: DUP2 000005ba: ADD 000005bb: SWAP1 000005bc: PUSH1 0x1f 000005be: AND 000005bf: DUP1 000005c0: ISZERO 000005c1: PUSH2 0x05de 000005c4: JUMPI 000005c5: DUP1 000005c6: DUP3 000005c7: SUB 000005c8: DUP1 000005c9: MLOAD 000005ca: PUSH1 0x01 000005cc: DUP4 000005cd: PUSH1 0x20 000005cf: SUB 000005d0: PUSH2 0x0100 000005d3: EXP 000005d4: SUB 000005d5: NOT 000005d6: AND 000005d7: DUP2 000005d8: MSTORE 000005d9: PUSH1 0x20 000005db: ADD 000005dc: SWAP2 000005dd: POP 000005de: JUMPDEST 000005df: POP 000005e0: SWAP3 000005e1: POP 000005e2: POP 000005e3: POP 000005e4: PUSH1 0x40 000005e6: MLOAD 000005e7: DUP1 000005e8: SWAP2 000005e9: SUB 000005ea: SWAP1 000005eb: RETURN 000005ec: JUMPDEST 000005ed: PUSH2 0x05f4 000005f0: PUSH2 0x102b 000005f3: JUMP 000005f4: JUMPDEST 000005f5: STOP 000005f6: JUMPDEST 000005f7: CALLVALUE 000005f8: ISZERO 000005f9: PUSH2 0x0601 000005fc: JUMPI 000005fd: PUSH1 0x00 000005ff: DUP1 00000600: REVERT 00000601: JUMPDEST 00000602: PUSH2 0x0636 00000605: PUSH1 0x04 00000607: DUP1 00000608: DUP1 00000609: CALLDATALOAD 0000060a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061f: AND 00000620: SWAP1 00000621: PUSH1 0x20 00000623: ADD 00000624: SWAP1 00000625: SWAP2 00000626: SWAP1 00000627: DUP1 00000628: CALLDATALOAD 00000629: SWAP1 0000062a: PUSH1 0x20 0000062c: ADD 0000062d: SWAP1 0000062e: SWAP2 0000062f: SWAP1 00000630: POP 00000631: POP 00000632: PUSH2 0x102e 00000635: JUMP 00000636: JUMPDEST 00000637: PUSH1 0x40 00000639: MLOAD 0000063a: DUP1 0000063b: DUP3 0000063c: ISZERO 0000063d: ISZERO 0000063e: ISZERO 0000063f: ISZERO 00000640: DUP2 00000641: MSTORE 00000642: PUSH1 0x20 00000644: ADD 00000645: SWAP2 00000646: POP 00000647: POP 00000648: PUSH1 0x40 0000064a: MLOAD 0000064b: DUP1 0000064c: SWAP2 0000064d: SUB 0000064e: SWAP1 0000064f: RETURN 00000650: JUMPDEST 00000651: CALLVALUE 00000652: ISZERO 00000653: PUSH2 0x065b 00000656: JUMPI 00000657: PUSH1 0x00 00000659: DUP1 0000065a: REVERT 0000065b: JUMPDEST 0000065c: PUSH2 0x0663 0000065f: PUSH2 0x1227 00000662: JUMP 00000663: JUMPDEST 00000664: PUSH1 0x40 00000666: MLOAD 00000667: DUP1 00000668: DUP3 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x20 0000066d: ADD 0000066e: SWAP2 0000066f: POP 00000670: POP 00000671: PUSH1 0x40 00000673: MLOAD 00000674: DUP1 00000675: SWAP2 00000676: SUB 00000677: SWAP1 00000678: RETURN 00000679: JUMPDEST 0000067a: CALLVALUE 0000067b: ISZERO 0000067c: PUSH2 0x0684 0000067f: JUMPI 00000680: PUSH1 0x00 00000682: DUP1 00000683: REVERT 00000684: JUMPDEST 00000685: PUSH2 0x068c 00000688: PUSH2 0x122d 0000068b: JUMP 0000068c: JUMPDEST 0000068d: PUSH1 0x40 0000068f: MLOAD 00000690: DUP1 00000691: DUP6 00000692: DUP2 00000693: MSTORE 00000694: PUSH1 0x20 00000696: ADD 00000697: DUP5 00000698: DUP2 00000699: MSTORE 0000069a: PUSH1 0x20 0000069c: ADD 0000069d: DUP4 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x20 000006a2: ADD 000006a3: DUP3 000006a4: DUP2 000006a5: MSTORE 000006a6: PUSH1 0x20 000006a8: ADD 000006a9: SWAP5 000006aa: POP 000006ab: POP 000006ac: POP 000006ad: POP 000006ae: POP 000006af: PUSH1 0x40 000006b1: MLOAD 000006b2: DUP1 000006b3: SWAP2 000006b4: SUB 000006b5: SWAP1 000006b6: RETURN 000006b7: JUMPDEST 000006b8: CALLVALUE 000006b9: ISZERO 000006ba: PUSH2 0x06c2 000006bd: JUMPI 000006be: PUSH1 0x00 000006c0: DUP1 000006c1: REVERT 000006c2: JUMPDEST 000006c3: PUSH2 0x06ca 000006c6: PUSH2 0x124e 000006c9: JUMP 000006ca: JUMPDEST 000006cb: PUSH1 0x40 000006cd: MLOAD 000006ce: DUP1 000006cf: DUP3 000006d0: DUP2 000006d1: MSTORE 000006d2: PUSH1 0x20 000006d4: ADD 000006d5: SWAP2 000006d6: POP 000006d7: POP 000006d8: PUSH1 0x40 000006da: MLOAD 000006db: DUP1 000006dc: SWAP2 000006dd: SUB 000006de: SWAP1 000006df: RETURN 000006e0: JUMPDEST 000006e1: CALLVALUE 000006e2: ISZERO 000006e3: PUSH2 0x06eb 000006e6: JUMPI 000006e7: PUSH1 0x00 000006e9: DUP1 000006ea: REVERT 000006eb: JUMPDEST 000006ec: PUSH2 0x0736 000006ef: PUSH1 0x04 000006f1: DUP1 000006f2: DUP1 000006f3: CALLDATALOAD 000006f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000709: AND 0000070a: SWAP1 0000070b: PUSH1 0x20 0000070d: ADD 0000070e: SWAP1 0000070f: SWAP2 00000710: SWAP1 00000711: DUP1 00000712: CALLDATALOAD 00000713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000728: AND 00000729: SWAP1 0000072a: PUSH1 0x20 0000072c: ADD 0000072d: SWAP1 0000072e: SWAP2 0000072f: SWAP1 00000730: POP 00000731: POP 00000732: PUSH2 0x1254 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH1 0x40 00000739: MLOAD 0000073a: DUP1 0000073b: DUP3 0000073c: DUP2 0000073d: MSTORE 0000073e: PUSH1 0x20 00000740: ADD 00000741: SWAP2 00000742: POP 00000743: POP 00000744: PUSH1 0x40 00000746: MLOAD 00000747: DUP1 00000748: SWAP2 00000749: SUB 0000074a: SWAP1 0000074b: RETURN 0000074c: JUMPDEST 0000074d: PUSH1 0x00 0000074f: DUP1 00000750: DUP3 00000751: DUP5 00000752: MUL 00000753: SWAP1 00000754: POP 00000755: PUSH1 0x00 00000757: DUP5 00000758: EQ 00000759: DUP1 0000075a: PUSH2 0x076d 0000075d: JUMPI 0000075e: POP 0000075f: DUP3 00000760: DUP5 00000761: DUP3 00000762: DUP2 00000763: ISZERO 00000764: ISZERO 00000765: PUSH2 0x076a 00000768: JUMPI 00000769: INVALID 0000076a: JUMPDEST 0000076b: DIV 0000076c: EQ 0000076d: JUMPDEST 0000076e: ISZERO 0000076f: ISZERO 00000770: PUSH2 0x0775 00000773: JUMPI 00000774: INVALID 00000775: JUMPDEST 00000776: DUP1 00000777: SWAP2 00000778: POP 00000779: JUMPDEST 0000077a: POP 0000077b: SWAP3 0000077c: SWAP2 0000077d: POP 0000077e: POP 0000077f: JUMP 00000780: JUMPDEST 00000781: PUSH1 0x00 00000783: DUP1 00000784: DUP3 00000785: DUP5 00000786: ADD 00000787: SWAP1 00000788: POP 00000789: DUP4 0000078a: DUP2 0000078b: LT 0000078c: ISZERO 0000078d: DUP1 0000078e: ISZERO 0000078f: PUSH2 0x0798 00000792: JUMPI 00000793: POP 00000794: DUP3 00000795: DUP2 00000796: LT 00000797: ISZERO 00000798: JUMPDEST 00000799: ISZERO 0000079a: ISZERO 0000079b: PUSH2 0x07a0 0000079e: JUMPI 0000079f: INVALID 000007a0: JUMPDEST 000007a1: DUP1 000007a2: SWAP2 000007a3: POP 000007a4: JUMPDEST 000007a5: POP 000007a6: SWAP3 000007a7: SWAP2 000007a8: POP 000007a9: POP 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x40 000007ae: DUP1 000007af: MLOAD 000007b0: SWAP1 000007b1: DUP2 000007b2: ADD 000007b3: PUSH1 0x40 000007b5: MSTORE 000007b6: DUP1 000007b7: PUSH1 0x0e 000007b9: DUP2 000007ba: MSTORE 000007bb: PUSH1 0x20 000007bd: ADD 000007be: PUSH32 0x4d6174636850617920546f6b656e000000000000000000000000000000000000 000007df: DUP2 000007e0: MSTORE 000007e1: POP 000007e2: DUP2 000007e3: JUMP 000007e4: JUMPDEST 000007e5: PUSH1 0x00 000007e7: DUP2 000007e8: PUSH1 0x04 000007ea: PUSH1 0x00 000007ec: CALLER 000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000802: AND 00000803: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000818: AND 00000819: DUP2 0000081a: MSTORE 0000081b: PUSH1 0x20 0000081d: ADD 0000081e: SWAP1 0000081f: DUP2 00000820: MSTORE 00000821: PUSH1 0x20 00000823: ADD 00000824: PUSH1 0x00 00000826: KECCAK256 00000827: PUSH1 0x00 00000829: DUP6 0000082a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083f: AND 00000840: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000855: AND 00000856: DUP2 00000857: MSTORE 00000858: PUSH1 0x20 0000085a: ADD 0000085b: SWAP1 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x20 00000860: ADD 00000861: PUSH1 0x00 00000863: KECCAK256 00000864: DUP2 00000865: SWAP1 00000866: SSTORE 00000867: POP 00000868: DUP3 00000869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087e: AND 0000087f: CALLER 00000880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000895: AND 00000896: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000008b7: DUP5 000008b8: PUSH1 0x40 000008ba: MLOAD 000008bb: DUP1 000008bc: DUP3 000008bd: DUP2 000008be: MSTORE 000008bf: PUSH1 0x20 000008c1: ADD 000008c2: SWAP2 000008c3: POP 000008c4: POP 000008c5: PUSH1 0x40 000008c7: MLOAD 000008c8: DUP1 000008c9: SWAP2 000008ca: SUB 000008cb: SWAP1 000008cc: LOG3 000008cd: PUSH1 0x01 000008cf: SWAP1 000008d0: POP 000008d1: JUMPDEST 000008d2: SWAP3 000008d3: SWAP2 000008d4: POP 000008d5: POP 000008d6: JUMP 000008d7: JUMPDEST 000008d8: PUSH1 0x06 000008da: SLOAD 000008db: DUP2 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x05 000008e0: SLOAD 000008e1: DUP2 000008e2: JUMP 000008e3: JUMPDEST 000008e4: PUSH1 0x00 000008e6: DUP2 000008e7: PUSH1 0x03 000008e9: PUSH1 0x00 000008eb: DUP7 000008ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000901: AND 00000902: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000917: AND 00000918: DUP2 00000919: MSTORE 0000091a: PUSH1 0x20 0000091c: ADD 0000091d: SWAP1 0000091e: DUP2 0000091f: MSTORE 00000920: PUSH1 0x20 00000922: ADD 00000923: PUSH1 0x00 00000925: KECCAK256 00000926: SLOAD 00000927: LT 00000928: ISZERO 00000929: DUP1 0000092a: ISZERO 0000092b: PUSH2 0x09b0 0000092e: JUMPI 0000092f: POP 00000930: DUP2 00000931: PUSH1 0x04 00000933: PUSH1 0x00 00000935: DUP7 00000936: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094b: AND 0000094c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000961: AND 00000962: DUP2 00000963: MSTORE 00000964: PUSH1 0x20 00000966: ADD 00000967: SWAP1 00000968: DUP2 00000969: MSTORE 0000096a: PUSH1 0x20 0000096c: ADD 0000096d: PUSH1 0x00 0000096f: KECCAK256 00000970: PUSH1 0x00 00000972: CALLER 00000973: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000988: AND 00000989: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099e: AND 0000099f: DUP2 000009a0: MSTORE 000009a1: PUSH1 0x20 000009a3: ADD 000009a4: SWAP1 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x20 000009a9: ADD 000009aa: PUSH1 0x00 000009ac: KECCAK256 000009ad: SLOAD 000009ae: LT 000009af: ISZERO 000009b0: JUMPDEST 000009b1: DUP1 000009b2: ISZERO 000009b3: PUSH2 0x09bc 000009b6: JUMPI 000009b7: POP 000009b8: PUSH1 0x00 000009ba: DUP3 000009bb: GT 000009bc: JUMPDEST 000009bd: DUP1 000009be: ISZERO 000009bf: PUSH2 0x0a47 000009c2: JUMPI 000009c3: POP 000009c4: PUSH1 0x03 000009c6: PUSH1 0x00 000009c8: DUP5 000009c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009de: AND 000009df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f4: AND 000009f5: DUP2 000009f6: MSTORE 000009f7: PUSH1 0x20 000009f9: ADD 000009fa: SWAP1 000009fb: DUP2 000009fc: MSTORE 000009fd: PUSH1 0x20 000009ff: ADD 00000a00: PUSH1 0x00 00000a02: KECCAK256 00000a03: SLOAD 00000a04: DUP3 00000a05: PUSH1 0x03 00000a07: PUSH1 0x00 00000a09: DUP7 00000a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1f: AND 00000a20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a35: AND 00000a36: DUP2 00000a37: MSTORE 00000a38: PUSH1 0x20 00000a3a: ADD 00000a3b: SWAP1 00000a3c: DUP2 00000a3d: MSTORE 00000a3e: PUSH1 0x20 00000a40: ADD 00000a41: PUSH1 0x00 00000a43: KECCAK256 00000a44: SLOAD 00000a45: ADD 00000a46: GT 00000a47: JUMPDEST 00000a48: ISZERO 00000a49: PUSH2 0x0bde 00000a4c: JUMPI 00000a4d: DUP2 00000a4e: PUSH1 0x03 00000a50: PUSH1 0x00 00000a52: DUP7 00000a53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a68: AND 00000a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7e: AND 00000a7f: DUP2 00000a80: MSTORE 00000a81: PUSH1 0x20 00000a83: ADD 00000a84: SWAP1 00000a85: DUP2 00000a86: MSTORE 00000a87: PUSH1 0x20 00000a89: ADD 00000a8a: PUSH1 0x00 00000a8c: KECCAK256 00000a8d: PUSH1 0x00 00000a8f: DUP3 00000a90: DUP3 00000a91: SLOAD 00000a92: SUB 00000a93: SWAP3 00000a94: POP 00000a95: POP 00000a96: DUP2 00000a97: SWAP1 00000a98: SSTORE 00000a99: POP 00000a9a: DUP2 00000a9b: PUSH1 0x04 00000a9d: PUSH1 0x00 00000a9f: DUP7 00000aa0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab5: AND 00000ab6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000acb: AND 00000acc: DUP2 00000acd: MSTORE 00000ace: PUSH1 0x20 00000ad0: ADD 00000ad1: SWAP1 00000ad2: DUP2 00000ad3: MSTORE 00000ad4: PUSH1 0x20 00000ad6: ADD 00000ad7: PUSH1 0x00 00000ad9: KECCAK256 00000ada: PUSH1 0x00 00000adc: CALLER 00000add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af2: AND 00000af3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b08: AND 00000b09: DUP2 00000b0a: MSTORE 00000b0b: PUSH1 0x20 00000b0d: ADD 00000b0e: SWAP1 00000b0f: DUP2 00000b10: MSTORE 00000b11: PUSH1 0x20 00000b13: ADD 00000b14: PUSH1 0x00 00000b16: KECCAK256 00000b17: PUSH1 0x00 00000b19: DUP3 00000b1a: DUP3 00000b1b: SLOAD 00000b1c: SUB 00000b1d: SWAP3 00000b1e: POP 00000b1f: POP 00000b20: DUP2 00000b21: SWAP1 00000b22: SSTORE 00000b23: POP 00000b24: DUP2 00000b25: PUSH1 0x03 00000b27: PUSH1 0x00 00000b29: DUP6 00000b2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3f: AND 00000b40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b55: AND 00000b56: DUP2 00000b57: MSTORE 00000b58: PUSH1 0x20 00000b5a: ADD 00000b5b: SWAP1 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: PUSH1 0x20 00000b60: ADD 00000b61: PUSH1 0x00 00000b63: KECCAK256 00000b64: PUSH1 0x00 00000b66: DUP3 00000b67: DUP3 00000b68: SLOAD 00000b69: ADD 00000b6a: SWAP3 00000b6b: POP 00000b6c: POP 00000b6d: DUP2 00000b6e: SWAP1 00000b6f: SSTORE 00000b70: POP 00000b71: DUP3 00000b72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b87: AND 00000b88: DUP5 00000b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b9e: AND 00000b9f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000bc0: DUP5 00000bc1: PUSH1 0x40 00000bc3: MLOAD 00000bc4: DUP1 00000bc5: DUP3 00000bc6: DUP2 00000bc7: MSTORE 00000bc8: PUSH1 0x20 00000bca: ADD 00000bcb: SWAP2 00000bcc: POP 00000bcd: POP 00000bce: PUSH1 0x40 00000bd0: MLOAD 00000bd1: DUP1 00000bd2: SWAP2 00000bd3: SUB 00000bd4: SWAP1 00000bd5: LOG3 00000bd6: PUSH1 0x01 00000bd8: SWAP1 00000bd9: POP 00000bda: PUSH2 0x0be8 00000bdd: JUMP 00000bde: JUMPDEST 00000bdf: PUSH1 0x00 00000be1: SWAP1 00000be2: POP 00000be3: PUSH2 0x0be8 00000be6: JUMP 00000be7: JUMPDEST 00000be8: JUMPDEST 00000be9: SWAP4 00000bea: SWAP3 00000beb: POP 00000bec: POP 00000bed: POP 00000bee: JUMP 00000bef: JUMPDEST 00000bf0: PUSH1 0x12 00000bf2: DUP2 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH1 0x07 00000bf7: SLOAD 00000bf8: DUP2 00000bf9: JUMP 00000bfa: JUMPDEST 00000bfb: PUSH1 0x0a 00000bfd: DUP2 00000bfe: JUMP 00000bff: JUMPDEST 00000c00: PUSH1 0x00 00000c02: DUP1 00000c03: SWAP1 00000c04: SLOAD 00000c05: SWAP1 00000c06: PUSH2 0x0100 00000c09: EXP 00000c0a: SWAP1 00000c0b: DIV 00000c0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c21: AND 00000c22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c37: AND 00000c38: CALLER 00000c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4e: AND 00000c4f: EQ 00000c50: ISZERO 00000c51: ISZERO 00000c52: PUSH2 0x0c5a 00000c55: JUMPI 00000c56: PUSH1 0x00 00000c58: DUP1 00000c59: REVERT 00000c5a: JUMPDEST 00000c5b: PUSH1 0x07 00000c5d: SLOAD 00000c5e: PUSH1 0x06 00000c60: SLOAD 00000c61: LT 00000c62: ISZERO 00000c63: PUSH2 0x0c6b 00000c66: JUMPI 00000c67: PUSH1 0x00 00000c69: DUP1 00000c6a: REVERT 00000c6b: JUMPDEST 00000c6c: PUSH1 0x02 00000c6e: SLOAD 00000c6f: NUMBER 00000c70: GT 00000c71: ISZERO 00000c72: DUP1 00000c73: ISZERO 00000c74: PUSH2 0x0c80 00000c77: JUMPI 00000c78: POP 00000c79: PUSH1 0x05 00000c7b: SLOAD 00000c7c: PUSH1 0x06 00000c7e: SLOAD 00000c7f: LT 00000c80: JUMPDEST 00000c81: ISZERO 00000c82: PUSH2 0x0c8a 00000c85: JUMPI 00000c86: PUSH1 0x00 00000c88: DUP1 00000c89: REVERT 00000c8a: JUMPDEST 00000c8b: PUSH1 0x00 00000c8d: DUP1 00000c8e: SWAP1 00000c8f: SLOAD 00000c90: SWAP1 00000c91: PUSH2 0x0100 00000c94: EXP 00000c95: SWAP1 00000c96: DIV 00000c97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cac: AND 00000cad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc2: AND 00000cc3: PUSH2 0x08fc 00000cc6: ADDRESS 00000cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdc: AND 00000cdd: BALANCE 00000cde: SWAP1 00000cdf: DUP2 00000ce0: ISZERO 00000ce1: MUL 00000ce2: SWAP1 00000ce3: PUSH1 0x40 00000ce5: MLOAD 00000ce6: PUSH1 0x00 00000ce8: PUSH1 0x40 00000cea: MLOAD 00000ceb: DUP1 00000cec: DUP4 00000ced: SUB 00000cee: DUP2 00000cef: DUP6 00000cf0: DUP9 00000cf1: DUP9 00000cf2: CALL 00000cf3: SWAP4 00000cf4: POP 00000cf5: POP 00000cf6: POP 00000cf7: POP 00000cf8: ISZERO 00000cf9: ISZERO 00000cfa: PUSH2 0x0d02 00000cfd: JUMPI 00000cfe: PUSH1 0x00 00000d00: DUP1 00000d01: REVERT 00000d02: JUMPDEST 00000d03: PUSH1 0x08 00000d05: SLOAD 00000d06: PUSH1 0x03 00000d08: PUSH1 0x00 00000d0a: DUP1 00000d0b: PUSH1 0x00 00000d0d: SWAP1 00000d0e: SLOAD 00000d0f: SWAP1 00000d10: PUSH2 0x0100 00000d13: EXP 00000d14: SWAP1 00000d15: DIV 00000d16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2b: AND 00000d2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d41: AND 00000d42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d57: AND 00000d58: DUP2 00000d59: MSTORE 00000d5a: PUSH1 0x20 00000d5c: ADD 00000d5d: SWAP1 00000d5e: DUP2 00000d5f: MSTORE 00000d60: PUSH1 0x20 00000d62: ADD 00000d63: PUSH1 0x00 00000d65: KECCAK256 00000d66: PUSH1 0x00 00000d68: DUP3 00000d69: DUP3 00000d6a: SLOAD 00000d6b: ADD 00000d6c: SWAP3 00000d6d: POP 00000d6e: POP 00000d6f: DUP2 00000d70: SWAP1 00000d71: SSTORE 00000d72: POP 00000d73: PUSH1 0x08 00000d75: SLOAD 00000d76: PUSH1 0x06 00000d78: PUSH1 0x00 00000d7a: DUP3 00000d7b: DUP3 00000d7c: SLOAD 00000d7d: ADD 00000d7e: SWAP3 00000d7f: POP 00000d80: POP 00000d81: DUP2 00000d82: SWAP1 00000d83: SSTORE 00000d84: POP 00000d85: PUSH1 0x01 00000d87: PUSH1 0x09 00000d89: PUSH1 0x00 00000d8b: PUSH2 0x0100 00000d8e: EXP 00000d8f: DUP2 00000d90: SLOAD 00000d91: DUP2 00000d92: PUSH1 0xff 00000d94: MUL 00000d95: NOT 00000d96: AND 00000d97: SWAP1 00000d98: DUP4 00000d99: ISZERO 00000d9a: ISZERO 00000d9b: MUL 00000d9c: OR 00000d9d: SWAP1 00000d9e: SSTORE 00000d9f: POP 00000da0: JUMPDEST 00000da1: JUMP 00000da2: JUMPDEST 00000da3: PUSH1 0x00 00000da5: DUP1 00000da6: PUSH1 0x09 00000da8: PUSH1 0x00 00000daa: SWAP1 00000dab: SLOAD 00000dac: SWAP1 00000dad: PUSH2 0x0100 00000db0: EXP 00000db1: SWAP1 00000db2: DIV 00000db3: PUSH1 0xff 00000db5: AND 00000db6: ISZERO 00000db7: PUSH2 0x0dbf 00000dba: JUMPI 00000dbb: PUSH1 0x00 00000dbd: DUP1 00000dbe: REVERT 00000dbf: JUMPDEST 00000dc0: PUSH1 0x02 00000dc2: SLOAD 00000dc3: NUMBER 00000dc4: GT 00000dc5: ISZERO 00000dc6: ISZERO 00000dc7: PUSH2 0x0dcf 00000dca: JUMPI 00000dcb: PUSH1 0x00 00000dcd: DUP1 00000dce: REVERT 00000dcf: JUMPDEST 00000dd0: PUSH1 0x07 00000dd2: SLOAD 00000dd3: PUSH1 0x06 00000dd5: SLOAD 00000dd6: LT 00000dd7: ISZERO 00000dd8: ISZERO 00000dd9: PUSH2 0x0de1 00000ddc: JUMPI 00000ddd: PUSH1 0x00 00000ddf: DUP1 00000de0: REVERT 00000de1: JUMPDEST 00000de2: PUSH1 0x00 00000de4: DUP1 00000de5: SWAP1 00000de6: SLOAD 00000de7: SWAP1 00000de8: PUSH2 0x0100 00000deb: EXP 00000dec: SWAP1 00000ded: DIV 00000dee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e03: AND 00000e04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e19: AND 00000e1a: CALLER 00000e1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e30: AND 00000e31: EQ 00000e32: ISZERO 00000e33: PUSH2 0x0e3b 00000e36: JUMPI 00000e37: PUSH1 0x00 00000e39: DUP1 00000e3a: REVERT 00000e3b: JUMPDEST 00000e3c: PUSH1 0x03 00000e3e: PUSH1 0x00 00000e40: CALLER 00000e41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e56: AND 00000e57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6c: AND 00000e6d: DUP2 00000e6e: MSTORE 00000e6f: PUSH1 0x20 00000e71: ADD 00000e72: SWAP1 00000e73: DUP2 00000e74: MSTORE 00000e75: PUSH1 0x20 00000e77: ADD 00000e78: PUSH1 0x00 00000e7a: KECCAK256 00000e7b: SLOAD 00000e7c: SWAP2 00000e7d: POP 00000e7e: PUSH1 0x00 00000e80: DUP3 00000e81: EQ 00000e82: ISZERO 00000e83: PUSH2 0x0e8b 00000e86: JUMPI 00000e87: PUSH1 0x00 00000e89: DUP1 00000e8a: REVERT 00000e8b: JUMPDEST 00000e8c: PUSH1 0x00 00000e8e: PUSH1 0x03 00000e90: PUSH1 0x00 00000e92: CALLER 00000e93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea8: AND 00000ea9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebe: AND 00000ebf: DUP2 00000ec0: MSTORE 00000ec1: PUSH1 0x20 00000ec3: ADD 00000ec4: SWAP1 00000ec5: DUP2 00000ec6: MSTORE 00000ec7: PUSH1 0x20 00000ec9: ADD 00000eca: PUSH1 0x00 00000ecc: KECCAK256 00000ecd: DUP2 00000ece: SWAP1 00000ecf: SSTORE 00000ed0: POP 00000ed1: PUSH2 0x0edc 00000ed4: PUSH1 0x06 00000ed6: SLOAD 00000ed7: DUP4 00000ed8: PUSH2 0x12dc 00000edb: JUMP 00000edc: JUMPDEST 00000edd: PUSH1 0x06 00000edf: DUP2 00000ee0: SWAP1 00000ee1: SSTORE 00000ee2: POP 00000ee3: PUSH1 0x0a 00000ee5: DUP3 00000ee6: DUP2 00000ee7: ISZERO 00000ee8: ISZERO 00000ee9: PUSH2 0x0eee 00000eec: JUMPI 00000eed: INVALID 00000eee: JUMPDEST 00000eef: DIV 00000ef0: SWAP1 00000ef1: POP 00000ef2: CALLER 00000ef3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f08: AND 00000f09: PUSH32 0x32bd86442ecce763cf87306d975714350e03b3e750b787cacba3d4ef15ad026e 00000f2a: DUP3 00000f2b: PUSH1 0x40 00000f2d: MLOAD 00000f2e: DUP1 00000f2f: DUP3 00000f30: DUP2 00000f31: MSTORE 00000f32: PUSH1 0x20 00000f34: ADD 00000f35: SWAP2 00000f36: POP 00000f37: POP 00000f38: PUSH1 0x40 00000f3a: MLOAD 00000f3b: DUP1 00000f3c: SWAP2 00000f3d: SUB 00000f3e: SWAP1 00000f3f: LOG2 00000f40: CALLER 00000f41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f56: AND 00000f57: PUSH2 0x08fc 00000f5a: DUP3 00000f5b: SWAP1 00000f5c: DUP2 00000f5d: ISZERO 00000f5e: MUL 00000f5f: SWAP1 00000f60: PUSH1 0x40 00000f62: MLOAD 00000f63: PUSH1 0x00 00000f65: PUSH1 0x40 00000f67: MLOAD 00000f68: DUP1 00000f69: DUP4 00000f6a: SUB 00000f6b: DUP2 00000f6c: DUP6 00000f6d: DUP9 00000f6e: DUP9 00000f6f: CALL 00000f70: SWAP4 00000f71: POP 00000f72: POP 00000f73: POP 00000f74: POP 00000f75: ISZERO 00000f76: ISZERO 00000f77: PUSH2 0x0f7f 00000f7a: JUMPI 00000f7b: PUSH1 0x00 00000f7d: DUP1 00000f7e: REVERT 00000f7f: JUMPDEST 00000f80: JUMPDEST 00000f81: POP 00000f82: POP 00000f83: JUMP 00000f84: JUMPDEST 00000f85: PUSH1 0x00 00000f87: PUSH1 0x06 00000f89: SLOAD 00000f8a: SWAP1 00000f8b: POP 00000f8c: JUMPDEST 00000f8d: SWAP1 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH1 0x00 00000f92: PUSH1 0x03 00000f94: PUSH1 0x00 00000f96: DUP4 00000f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fac: AND 00000fad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc2: AND 00000fc3: DUP2 00000fc4: MSTORE 00000fc5: PUSH1 0x20 00000fc7: ADD 00000fc8: SWAP1 00000fc9: DUP2 00000fca: MSTORE 00000fcb: PUSH1 0x20 00000fcd: ADD 00000fce: PUSH1 0x00 00000fd0: KECCAK256 00000fd1: SLOAD 00000fd2: SWAP1 00000fd3: POP 00000fd4: JUMPDEST 00000fd5: SWAP2 00000fd6: SWAP1 00000fd7: POP 00000fd8: JUMP 00000fd9: JUMPDEST 00000fda: PUSH1 0x09 00000fdc: PUSH1 0x00 00000fde: SWAP1 00000fdf: SLOAD 00000fe0: SWAP1 00000fe1: PUSH2 0x0100 00000fe4: EXP 00000fe5: SWAP1 00000fe6: DIV 00000fe7: PUSH1 0xff 00000fe9: AND 00000fea: DUP2 00000feb: JUMP 00000fec: JUMPDEST 00000fed: PUSH1 0x02 00000fef: SLOAD 00000ff0: DUP2 00000ff1: JUMP 00000ff2: JUMPDEST 00000ff3: PUSH1 0x40 00000ff5: DUP1 00000ff6: MLOAD 00000ff7: SWAP1 00000ff8: DUP2 00000ff9: ADD 00000ffa: PUSH1 0x40 00000ffc: MSTORE 00000ffd: DUP1 00000ffe: PUSH1 0x03 00001000: DUP2 00001001: MSTORE 00001002: PUSH1 0x20 00001004: ADD 00001005: PUSH32 0x4d50590000000000000000000000000000000000000000000000000000000000 00001026: DUP2 00001027: MSTORE 00001028: POP 00001029: DUP2 0000102a: JUMP 0000102b: JUMPDEST 0000102c: JUMPDEST 0000102d: JUMP 0000102e: JUMPDEST 0000102f: PUSH1 0x00 00001031: DUP2 00001032: PUSH1 0x03 00001034: PUSH1 0x00 00001036: CALLER 00001037: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000104c: AND 0000104d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001062: AND 00001063: DUP2 00001064: MSTORE 00001065: PUSH1 0x20 00001067: ADD 00001068: SWAP1 00001069: DUP2 0000106a: MSTORE 0000106b: PUSH1 0x20 0000106d: ADD 0000106e: PUSH1 0x00 00001070: KECCAK256 00001071: SLOAD 00001072: LT 00001073: ISZERO 00001074: DUP1 00001075: ISZERO 00001076: PUSH2 0x107f 00001079: JUMPI 0000107a: POP 0000107b: PUSH1 0x00 0000107d: DUP3 0000107e: GT 0000107f: JUMPDEST 00001080: DUP1 00001081: ISZERO 00001082: PUSH2 0x110a 00001085: JUMPI 00001086: POP 00001087: PUSH1 0x03 00001089: PUSH1 0x00 0000108b: DUP5 0000108c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a1: AND 000010a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b7: AND 000010b8: DUP2 000010b9: MSTORE 000010ba: PUSH1 0x20 000010bc: ADD 000010bd: SWAP1 000010be: DUP2 000010bf: MSTORE 000010c0: PUSH1 0x20 000010c2: ADD 000010c3: PUSH1 0x00 000010c5: KECCAK256 000010c6: SLOAD 000010c7: DUP3 000010c8: PUSH1 0x03 000010ca: PUSH1 0x00 000010cc: DUP7 000010cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e2: AND 000010e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f8: AND 000010f9: DUP2 000010fa: MSTORE 000010fb: PUSH1 0x20 000010fd: ADD 000010fe: SWAP1 000010ff: DUP2 00001100: MSTORE 00001101: PUSH1 0x20 00001103: ADD 00001104: PUSH1 0x00 00001106: KECCAK256 00001107: SLOAD 00001108: ADD 00001109: GT 0000110a: JUMPDEST 0000110b: ISZERO 0000110c: PUSH2 0x1217 0000110f: JUMPI 00001110: DUP2 00001111: PUSH1 0x03 00001113: PUSH1 0x00 00001115: CALLER 00001116: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112b: AND 0000112c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001141: AND 00001142: DUP2 00001143: MSTORE 00001144: PUSH1 0x20 00001146: ADD 00001147: SWAP1 00001148: DUP2 00001149: MSTORE 0000114a: PUSH1 0x20 0000114c: ADD 0000114d: PUSH1 0x00 0000114f: KECCAK256 00001150: PUSH1 0x00 00001152: DUP3 00001153: DUP3 00001154: SLOAD 00001155: SUB 00001156: SWAP3 00001157: POP 00001158: POP 00001159: DUP2 0000115a: SWAP1 0000115b: SSTORE 0000115c: POP 0000115d: DUP2 0000115e: PUSH1 0x03 00001160: PUSH1 0x00 00001162: DUP6 00001163: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001178: AND 00001179: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000118e: AND 0000118f: DUP2 00001190: MSTORE 00001191: PUSH1 0x20 00001193: ADD 00001194: SWAP1 00001195: DUP2 00001196: MSTORE 00001197: PUSH1 0x20 00001199: ADD 0000119a: PUSH1 0x00 0000119c: KECCAK256 0000119d: PUSH1 0x00 0000119f: DUP3 000011a0: DUP3 000011a1: SLOAD 000011a2: ADD 000011a3: SWAP3 000011a4: POP 000011a5: POP 000011a6: DUP2 000011a7: SWAP1 000011a8: SSTORE 000011a9: POP 000011aa: DUP3 000011ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c0: AND 000011c1: CALLER 000011c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d7: AND 000011d8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000011f9: DUP5 000011fa: PUSH1 0x40 000011fc: MLOAD 000011fd: DUP1 000011fe: DUP3 000011ff: DUP2 00001200: MSTORE 00001201: PUSH1 0x20 00001203: ADD 00001204: SWAP2 00001205: POP 00001206: POP 00001207: PUSH1 0x40 00001209: MLOAD 0000120a: DUP1 0000120b: SWAP2 0000120c: SUB 0000120d: SWAP1 0000120e: LOG3 0000120f: PUSH1 0x01 00001211: SWAP1 00001212: POP 00001213: PUSH2 0x1221 00001216: JUMP 00001217: JUMPDEST 00001218: PUSH1 0x00 0000121a: SWAP1 0000121b: POP 0000121c: PUSH2 0x1221 0000121f: JUMP 00001220: JUMPDEST 00001221: JUMPDEST 00001222: SWAP3 00001223: SWAP2 00001224: POP 00001225: POP 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH1 0x08 0000122a: SLOAD 0000122b: DUP2 0000122c: JUMP 0000122d: JUMPDEST 0000122e: PUSH1 0x00 00001230: DUP1 00001231: PUSH1 0x00 00001233: DUP1 00001234: PUSH1 0x07 00001236: SLOAD 00001237: PUSH1 0x05 00001239: SLOAD 0000123a: PUSH1 0x06 0000123c: SLOAD 0000123d: PUSH1 0x02 0000123f: SLOAD 00001240: SWAP4 00001241: POP 00001242: SWAP4 00001243: POP 00001244: SWAP4 00001245: POP 00001246: SWAP4 00001247: POP 00001248: JUMPDEST 00001249: SWAP1 0000124a: SWAP2 0000124b: SWAP3 0000124c: SWAP4 0000124d: JUMP 0000124e: JUMPDEST 0000124f: PUSH1 0x01 00001251: SLOAD 00001252: DUP2 00001253: JUMP 00001254: JUMPDEST 00001255: PUSH1 0x00 00001257: PUSH1 0x04 00001259: PUSH1 0x00 0000125b: DUP5 0000125c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001271: AND 00001272: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001287: AND 00001288: DUP2 00001289: MSTORE 0000128a: PUSH1 0x20 0000128c: ADD 0000128d: SWAP1 0000128e: DUP2 0000128f: MSTORE 00001290: PUSH1 0x20 00001292: ADD 00001293: PUSH1 0x00 00001295: KECCAK256 00001296: PUSH1 0x00 00001298: DUP4 00001299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ae: AND 000012af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c4: AND 000012c5: DUP2 000012c6: MSTORE 000012c7: PUSH1 0x20 000012c9: ADD 000012ca: SWAP1 000012cb: DUP2 000012cc: MSTORE 000012cd: PUSH1 0x20 000012cf: ADD 000012d0: PUSH1 0x00 000012d2: KECCAK256 000012d3: SLOAD 000012d4: SWAP1 000012d5: POP 000012d6: JUMPDEST 000012d7: SWAP3 000012d8: SWAP2 000012d9: POP 000012da: POP 000012db: JUMP 000012dc: JUMPDEST 000012dd: PUSH1 0x00 000012df: DUP1 000012e0: DUP3 000012e1: DUP5 000012e2: LT 000012e3: ISZERO 000012e4: ISZERO 000012e5: ISZERO 000012e6: PUSH2 0x12eb 000012e9: JUMPI 000012ea: INVALID 000012eb: JUMPDEST 000012ec: DUP3 000012ed: DUP5 000012ee: SUB 000012ef: SWAP1 000012f0: POP 000012f1: DUP1 000012f2: SWAP2 000012f3: POP 000012f4: JUMPDEST 000012f5: POP 000012f6: SWAP3 000012f7: SWAP2 000012f8: POP 000012f9: POP 000012fa: JUMP 000012fb: STOP 000012fc: LOG1 000012fd: PUSH6 0x627a7a723058 00001304: KECCAK256 00001305: SWAP2 00001306: JUMPDEST 00001307: PUSH23 0xa8b9d274afe6c24bfc883857e708f31cc5f6ff78a9cd83 0000131f: UNKNOWN(0xFC) 00001320: DUP8 00001321: MLOAD 00001322: UNKNOWN(0xCF) 00001323: DELEGATECALL 00001324: SWAP2 00001325: STOP 00001326: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x748b8e31cd9e228d70d3d224b9c7fa7096db331209856a25e553e85d5cab988f
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x748b8e31cd9e228d70d3d224b9c7fa7096db331209856a25e553e85d5cab988f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23548b8b",
"selector": "0x23548b8b",
"calldata_variants": [
"0x23548b8b",
"0x23548b8b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fa615b0",
"selector": "0x3fa615b0",
"calldata_variants": [
"0x3fa615b0",
"0x3fa615b00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4899,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 3128,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3610,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xa6b5c177356baa23502547a27863acca4751faf53b754431997c06d316d5adfd
call_targets:
0xfe38739c4b70cd6d1d3674e70d17fb1999cb4f9f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa6b5c177356baa23502547a27863acca4751faf53b754431997c06d316d5adfd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfe38739c4b70cd6d1d3674e70d17fb1999cb4f9f"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23548b8b",
"selector": "0x23548b8b",
"calldata_variants": [
"0x23548b8b",
"0x23548b8b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fa615b0",
"selector": "0x3fa615b0",
"calldata_variants": [
"0x3fa615b0",
"0x3fa615b00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3314,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3951,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 3128,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3610,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xa6b5c177356baa23502547a27863acca4751faf53b754431997c06d316d5adfd
call_targets:
0xfe38739c4b70cd6d1d3674e70d17fb1999cb4f9f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa6b5c177356baa23502547a27863acca4751faf53b754431997c06d316d5adfd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfe38739c4b70cd6d1d3674e70d17fb1999cb4f9f"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23548b8b",
"selector": "0x23548b8b",
"calldata_variants": [
"0x23548b8b",
"0x23548b8b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fa615b0",
"selector": "0x3fa615b0",
"calldata_variants": [
"0x3fa615b0",
"0x3fa615b00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3314,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3951,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 3128,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3610,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|