019b477e-a984-71ab-bb82-40c5a82fa4b5
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 |
|---|---|---|---|---|
| 20647 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20648 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 63738 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 63739 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 63740 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 63741 | 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 0x0081 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x27e235e3 0000003a: EQ 0000003b: PUSH2 0x0097 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x2ddbd13a 00000045: EQ 00000046: PUSH2 0x00e1 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x3ccfd60b 00000050: EQ 00000051: PUSH2 0x0107 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x66b3f6bf 0000005b: EQ 0000005c: PUSH2 0x0119 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x8da5cb5b 00000066: EQ 00000067: PUSH2 0x0163 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xe8b5e51f 00000071: EQ 00000072: PUSH2 0x01b5 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0xfdb5a03e 0000007c: EQ 0000007d: PUSH2 0x01bf 00000080: JUMPI 00000081: JUMPDEST 00000082: CALLVALUE 00000083: ISZERO 00000084: PUSH2 0x0089 00000087: JUMPI 00000088: INVALID 00000089: JUMPDEST 0000008a: PUSH2 0x0095 0000008d: JUMPDEST 0000008e: PUSH1 0x00 00000090: PUSH1 0x00 00000092: REVERT 00000093: JUMPDEST 00000094: JUMP 00000095: JUMPDEST 00000096: STOP 00000097: JUMPDEST 00000098: CALLVALUE 00000099: ISZERO 0000009a: PUSH2 0x009f 0000009d: JUMPI 0000009e: INVALID 0000009f: JUMPDEST 000000a0: PUSH2 0x00cb 000000a3: PUSH1 0x04 000000a5: DUP1 000000a6: DUP1 000000a7: CALLDATALOAD 000000a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000bd: AND 000000be: SWAP1 000000bf: PUSH1 0x20 000000c1: ADD 000000c2: SWAP1 000000c3: SWAP2 000000c4: SWAP1 000000c5: POP 000000c6: POP 000000c7: PUSH2 0x01d1 000000ca: JUMP 000000cb: JUMPDEST 000000cc: PUSH1 0x40 000000ce: MLOAD 000000cf: DUP1 000000d0: DUP3 000000d1: DUP2 000000d2: MSTORE 000000d3: PUSH1 0x20 000000d5: ADD 000000d6: SWAP2 000000d7: POP 000000d8: POP 000000d9: PUSH1 0x40 000000db: MLOAD 000000dc: DUP1 000000dd: SWAP2 000000de: SUB 000000df: SWAP1 000000e0: RETURN 000000e1: JUMPDEST 000000e2: CALLVALUE 000000e3: ISZERO 000000e4: PUSH2 0x00e9 000000e7: JUMPI 000000e8: INVALID 000000e9: JUMPDEST 000000ea: PUSH2 0x00f1 000000ed: PUSH2 0x01e9 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH1 0x40 000000f4: MLOAD 000000f5: DUP1 000000f6: DUP3 000000f7: DUP2 000000f8: MSTORE 000000f9: PUSH1 0x20 000000fb: ADD 000000fc: SWAP2 000000fd: POP 000000fe: POP 000000ff: PUSH1 0x40 00000101: MLOAD 00000102: DUP1 00000103: SWAP2 00000104: SUB 00000105: SWAP1 00000106: RETURN 00000107: JUMPDEST 00000108: CALLVALUE 00000109: ISZERO 0000010a: PUSH2 0x010f 0000010d: JUMPI 0000010e: INVALID 0000010f: JUMPDEST 00000110: PUSH2 0x0117 00000113: PUSH2 0x01ef 00000116: JUMP 00000117: JUMPDEST 00000118: STOP 00000119: JUMPDEST 0000011a: CALLVALUE 0000011b: ISZERO 0000011c: PUSH2 0x0121 0000011f: JUMPI 00000120: INVALID 00000121: JUMPDEST 00000122: PUSH2 0x014d 00000125: PUSH1 0x04 00000127: DUP1 00000128: DUP1 00000129: CALLDATALOAD 0000012a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013f: AND 00000140: SWAP1 00000141: PUSH1 0x20 00000143: ADD 00000144: SWAP1 00000145: SWAP2 00000146: SWAP1 00000147: POP 00000148: POP 00000149: PUSH2 0x03be 0000014c: JUMP 0000014d: JUMPDEST 0000014e: PUSH1 0x40 00000150: MLOAD 00000151: DUP1 00000152: DUP3 00000153: DUP2 00000154: MSTORE 00000155: PUSH1 0x20 00000157: ADD 00000158: SWAP2 00000159: POP 0000015a: POP 0000015b: PUSH1 0x40 0000015d: MLOAD 0000015e: DUP1 0000015f: SWAP2 00000160: SUB 00000161: SWAP1 00000162: RETURN 00000163: JUMPDEST 00000164: CALLVALUE 00000165: ISZERO 00000166: PUSH2 0x016b 00000169: JUMPI 0000016a: INVALID 0000016b: JUMPDEST 0000016c: PUSH2 0x0173 0000016f: PUSH2 0x03d6 00000172: JUMP 00000173: JUMPDEST 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP1 00000178: DUP3 00000179: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018e: AND 0000018f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a4: AND 000001a5: DUP2 000001a6: MSTORE 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: SWAP2 000001ab: POP 000001ac: POP 000001ad: PUSH1 0x40 000001af: MLOAD 000001b0: DUP1 000001b1: SWAP2 000001b2: SUB 000001b3: SWAP1 000001b4: RETURN 000001b5: JUMPDEST 000001b6: PUSH2 0x01bd 000001b9: PUSH2 0x03fc 000001bc: JUMP 000001bd: JUMPDEST 000001be: STOP 000001bf: JUMPDEST 000001c0: CALLVALUE 000001c1: ISZERO 000001c2: PUSH2 0x01c7 000001c5: JUMPI 000001c6: INVALID 000001c7: JUMPDEST 000001c8: PUSH2 0x01cf 000001cb: PUSH2 0x0721 000001ce: JUMP 000001cf: JUMPDEST 000001d0: STOP 000001d1: JUMPDEST 000001d2: PUSH1 0x03 000001d4: PUSH1 0x20 000001d6: MSTORE 000001d7: DUP1 000001d8: PUSH1 0x00 000001da: MSTORE 000001db: PUSH1 0x40 000001dd: PUSH1 0x00 000001df: KECCAK256 000001e0: PUSH1 0x00 000001e2: SWAP2 000001e3: POP 000001e4: SWAP1 000001e5: POP 000001e6: SLOAD 000001e7: DUP2 000001e8: JUMP 000001e9: JUMPDEST 000001ea: PUSH1 0x01 000001ec: SLOAD 000001ed: DUP2 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH1 0x00 000001f2: PUSH1 0x00 000001f4: PUSH1 0x03 000001f6: PUSH1 0x00 000001f8: CALLER 000001f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020e: AND 0000020f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000224: AND 00000225: DUP2 00000226: MSTORE 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: DUP2 0000022c: MSTORE 0000022d: PUSH1 0x20 0000022f: ADD 00000230: PUSH1 0x00 00000232: KECCAK256 00000233: SLOAD 00000234: EQ 00000235: ISZERO 00000236: PUSH2 0x023f 00000239: JUMPI 0000023a: PUSH1 0x00 0000023c: PUSH1 0x00 0000023e: REVERT 0000023f: JUMPDEST 00000240: PUSH1 0x03 00000242: PUSH1 0x00 00000244: CALLER 00000245: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025a: AND 0000025b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000270: AND 00000271: DUP2 00000272: MSTORE 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP1 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x20 0000027b: ADD 0000027c: PUSH1 0x00 0000027e: KECCAK256 0000027f: SLOAD 00000280: SWAP1 00000281: POP 00000282: PUSH1 0x00 00000284: PUSH1 0x03 00000286: PUSH1 0x00 00000288: CALLER 00000289: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029e: AND 0000029f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b4: AND 000002b5: DUP2 000002b6: MSTORE 000002b7: PUSH1 0x20 000002b9: ADD 000002ba: SWAP1 000002bb: DUP2 000002bc: MSTORE 000002bd: PUSH1 0x20 000002bf: ADD 000002c0: PUSH1 0x00 000002c2: KECCAK256 000002c3: DUP2 000002c4: SWAP1 000002c5: SSTORE 000002c6: POP 000002c7: CALLER 000002c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002dd: AND 000002de: PUSH2 0x08fc 000002e1: DUP3 000002e2: SWAP1 000002e3: DUP2 000002e4: ISZERO 000002e5: MUL 000002e6: SWAP1 000002e7: PUSH1 0x40 000002e9: MLOAD 000002ea: DUP1 000002eb: SWAP1 000002ec: POP 000002ed: PUSH1 0x00 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: DUP1 000002f3: DUP4 000002f4: SUB 000002f5: DUP2 000002f6: DUP6 000002f7: DUP9 000002f8: DUP9 000002f9: CALL 000002fa: SWAP4 000002fb: POP 000002fc: POP 000002fd: POP 000002fe: POP 000002ff: ISZERO 00000300: ISZERO 00000301: PUSH2 0x034d 00000304: JUMPI 00000305: DUP1 00000306: PUSH1 0x03 00000308: PUSH1 0x00 0000030a: CALLER 0000030b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000320: AND 00000321: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000336: AND 00000337: DUP2 00000338: MSTORE 00000339: PUSH1 0x20 0000033b: ADD 0000033c: SWAP1 0000033d: DUP2 0000033e: MSTORE 0000033f: PUSH1 0x20 00000341: ADD 00000342: PUSH1 0x00 00000344: KECCAK256 00000345: DUP2 00000346: SWAP1 00000347: SSTORE 00000348: POP 00000349: PUSH2 0x03b9 0000034c: JUMP 0000034d: JUMPDEST 0000034e: PUSH32 0xb4214c8c54fc7442f36d3682f59aebaf09358a4431835b30efb29d52cf9e1e91 0000036f: CALLER 00000370: DUP3 00000371: PUSH1 0x40 00000373: MLOAD 00000374: DUP1 00000375: DUP4 00000376: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038b: AND 0000038c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a1: AND 000003a2: DUP2 000003a3: MSTORE 000003a4: PUSH1 0x20 000003a6: ADD 000003a7: DUP3 000003a8: DUP2 000003a9: MSTORE 000003aa: PUSH1 0x20 000003ac: ADD 000003ad: SWAP3 000003ae: POP 000003af: POP 000003b0: POP 000003b1: PUSH1 0x40 000003b3: MLOAD 000003b4: DUP1 000003b5: SWAP2 000003b6: SUB 000003b7: SWAP1 000003b8: LOG1 000003b9: JUMPDEST 000003ba: JUMPDEST 000003bb: JUMPDEST 000003bc: POP 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH1 0x02 000003c1: PUSH1 0x20 000003c3: MSTORE 000003c4: DUP1 000003c5: PUSH1 0x00 000003c7: MSTORE 000003c8: PUSH1 0x40 000003ca: PUSH1 0x00 000003cc: KECCAK256 000003cd: PUSH1 0x00 000003cf: SWAP2 000003d0: POP 000003d1: SWAP1 000003d2: POP 000003d3: SLOAD 000003d4: DUP2 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH1 0x00 000003d9: PUSH1 0x00 000003db: SWAP1 000003dc: SLOAD 000003dd: SWAP1 000003de: PUSH2 0x0100 000003e1: EXP 000003e2: SWAP1 000003e3: DIV 000003e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f9: AND 000003fa: DUP2 000003fb: JUMP 000003fc: JUMPDEST 000003fd: PUSH1 0x00 000003ff: PUSH1 0x00 00000401: PUSH1 0x00 00000403: PUSH8 0x016345785d8a0000 0000040c: CALLVALUE 0000040d: LT 0000040e: ISZERO 0000040f: PUSH2 0x0418 00000412: JUMPI 00000413: PUSH1 0x00 00000415: PUSH1 0x00 00000417: REVERT 00000418: JUMPDEST 00000419: CALLVALUE 0000041a: SWAP3 0000041b: POP 0000041c: PUSH2 0x0424 0000041f: DUP4 00000420: PUSH2 0x0a12 00000423: JUMP 00000424: JUMPDEST 00000425: SWAP2 00000426: POP 00000427: DUP2 00000428: DUP4 00000429: SUB 0000042a: SWAP3 0000042b: POP 0000042c: PUSH1 0x00 0000042e: SWAP1 0000042f: POP 00000430: JUMPDEST 00000431: PUSH1 0x04 00000433: DUP1 00000434: SLOAD 00000435: SWAP1 00000436: POP 00000437: DUP2 00000438: LT 00000439: ISZERO 0000043a: PUSH2 0x055c 0000043d: JUMPI 0000043e: PUSH1 0x01 00000440: SLOAD 00000441: PUSH1 0x02 00000443: PUSH1 0x00 00000445: PUSH1 0x04 00000447: DUP5 00000448: DUP2 00000449: SLOAD 0000044a: DUP2 0000044b: LT 0000044c: ISZERO 0000044d: ISZERO 0000044e: PUSH2 0x0453 00000451: JUMPI 00000452: INVALID 00000453: JUMPDEST 00000454: SWAP1 00000455: PUSH1 0x00 00000457: MSTORE 00000458: PUSH1 0x20 0000045a: PUSH1 0x00 0000045c: KECCAK256 0000045d: SWAP1 0000045e: ADD 0000045f: PUSH1 0x00 00000461: JUMPDEST 00000462: SWAP1 00000463: SLOAD 00000464: SWAP1 00000465: PUSH2 0x0100 00000468: EXP 00000469: SWAP1 0000046a: DIV 0000046b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000480: AND 00000481: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000496: AND 00000497: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ac: AND 000004ad: DUP2 000004ae: MSTORE 000004af: PUSH1 0x20 000004b1: ADD 000004b2: SWAP1 000004b3: DUP2 000004b4: MSTORE 000004b5: PUSH1 0x20 000004b7: ADD 000004b8: PUSH1 0x00 000004ba: KECCAK256 000004bb: SLOAD 000004bc: DUP5 000004bd: MUL 000004be: DUP2 000004bf: ISZERO 000004c0: ISZERO 000004c1: PUSH2 0x04c6 000004c4: JUMPI 000004c5: INVALID 000004c6: JUMPDEST 000004c7: DIV 000004c8: PUSH1 0x03 000004ca: PUSH1 0x00 000004cc: PUSH1 0x04 000004ce: DUP5 000004cf: DUP2 000004d0: SLOAD 000004d1: DUP2 000004d2: LT 000004d3: ISZERO 000004d4: ISZERO 000004d5: PUSH2 0x04da 000004d8: JUMPI 000004d9: INVALID 000004da: JUMPDEST 000004db: SWAP1 000004dc: PUSH1 0x00 000004de: MSTORE 000004df: PUSH1 0x20 000004e1: PUSH1 0x00 000004e3: KECCAK256 000004e4: SWAP1 000004e5: ADD 000004e6: PUSH1 0x00 000004e8: JUMPDEST 000004e9: SWAP1 000004ea: SLOAD 000004eb: SWAP1 000004ec: PUSH2 0x0100 000004ef: EXP 000004f0: SWAP1 000004f1: DIV 000004f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000507: AND 00000508: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051d: AND 0000051e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000533: AND 00000534: DUP2 00000535: MSTORE 00000536: PUSH1 0x20 00000538: ADD 00000539: SWAP1 0000053a: DUP2 0000053b: MSTORE 0000053c: PUSH1 0x20 0000053e: ADD 0000053f: PUSH1 0x00 00000541: KECCAK256 00000542: PUSH1 0x00 00000544: DUP3 00000545: DUP3 00000546: SLOAD 00000547: ADD 00000548: SWAP3 00000549: POP 0000054a: POP 0000054b: DUP2 0000054c: SWAP1 0000054d: SSTORE 0000054e: POP 0000054f: JUMPDEST 00000550: DUP1 00000551: DUP1 00000552: PUSH1 0x01 00000554: ADD 00000555: SWAP2 00000556: POP 00000557: POP 00000558: PUSH2 0x0430 0000055b: JUMP 0000055c: JUMPDEST 0000055d: PUSH1 0x00 0000055f: PUSH1 0x02 00000561: PUSH1 0x00 00000563: CALLER 00000564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000579: AND 0000057a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058f: AND 00000590: DUP2 00000591: MSTORE 00000592: PUSH1 0x20 00000594: ADD 00000595: SWAP1 00000596: DUP2 00000597: MSTORE 00000598: PUSH1 0x20 0000059a: ADD 0000059b: PUSH1 0x00 0000059d: KECCAK256 0000059e: SLOAD 0000059f: EQ 000005a0: ISZERO 000005a1: PUSH2 0x0651 000005a4: JUMPI 000005a5: PUSH1 0x04 000005a7: DUP1 000005a8: SLOAD 000005a9: DUP1 000005aa: PUSH1 0x01 000005ac: ADD 000005ad: DUP3 000005ae: DUP2 000005af: PUSH2 0x05b8 000005b2: SWAP2 000005b3: SWAP1 000005b4: PUSH2 0x0aad 000005b7: JUMP 000005b8: JUMPDEST 000005b9: SWAP2 000005ba: PUSH1 0x00 000005bc: MSTORE 000005bd: PUSH1 0x20 000005bf: PUSH1 0x00 000005c1: KECCAK256 000005c2: SWAP1 000005c3: ADD 000005c4: PUSH1 0x00 000005c6: JUMPDEST 000005c7: CALLER 000005c8: SWAP1 000005c9: SWAP2 000005ca: SWAP1 000005cb: SWAP2 000005cc: PUSH2 0x0100 000005cf: EXP 000005d0: DUP2 000005d1: SLOAD 000005d2: DUP2 000005d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e8: MUL 000005e9: NOT 000005ea: AND 000005eb: SWAP1 000005ec: DUP4 000005ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000602: AND 00000603: MUL 00000604: OR 00000605: SWAP1 00000606: SSTORE 00000607: POP 00000608: POP 00000609: CALLVALUE 0000060a: PUSH1 0x02 0000060c: PUSH1 0x00 0000060e: CALLER 0000060f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000624: AND 00000625: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063a: AND 0000063b: DUP2 0000063c: MSTORE 0000063d: PUSH1 0x20 0000063f: ADD 00000640: SWAP1 00000641: DUP2 00000642: MSTORE 00000643: PUSH1 0x20 00000645: ADD 00000646: PUSH1 0x00 00000648: KECCAK256 00000649: DUP2 0000064a: SWAP1 0000064b: SSTORE 0000064c: POP 0000064d: PUSH2 0x069f 00000650: JUMP 00000651: JUMPDEST 00000652: CALLVALUE 00000653: PUSH1 0x02 00000655: PUSH1 0x00 00000657: CALLER 00000658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066d: AND 0000066e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000683: AND 00000684: DUP2 00000685: MSTORE 00000686: PUSH1 0x20 00000688: ADD 00000689: SWAP1 0000068a: DUP2 0000068b: MSTORE 0000068c: PUSH1 0x20 0000068e: ADD 0000068f: PUSH1 0x00 00000691: KECCAK256 00000692: PUSH1 0x00 00000694: DUP3 00000695: DUP3 00000696: SLOAD 00000697: ADD 00000698: SWAP3 00000699: POP 0000069a: POP 0000069b: DUP2 0000069c: SWAP1 0000069d: SSTORE 0000069e: POP 0000069f: JUMPDEST 000006a0: CALLVALUE 000006a1: PUSH1 0x01 000006a3: PUSH1 0x00 000006a5: DUP3 000006a6: DUP3 000006a7: SLOAD 000006a8: ADD 000006a9: SWAP3 000006aa: POP 000006ab: POP 000006ac: DUP2 000006ad: SWAP1 000006ae: SSTORE 000006af: POP 000006b0: PUSH32 0xc74590e3281392e897f5c0f45530951cfe0db0e86c76d65af861e80b925871a4 000006d1: CALLER 000006d2: CALLVALUE 000006d3: PUSH1 0x40 000006d5: MLOAD 000006d6: DUP1 000006d7: DUP4 000006d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ed: AND 000006ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000703: AND 00000704: DUP2 00000705: MSTORE 00000706: PUSH1 0x20 00000708: ADD 00000709: DUP3 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x20 0000070e: ADD 0000070f: SWAP3 00000710: POP 00000711: POP 00000712: POP 00000713: PUSH1 0x40 00000715: MLOAD 00000716: DUP1 00000717: SWAP2 00000718: SUB 00000719: SWAP1 0000071a: LOG1 0000071b: JUMPDEST 0000071c: JUMPDEST 0000071d: POP 0000071e: POP 0000071f: POP 00000720: JUMP 00000721: JUMPDEST 00000722: PUSH1 0x00 00000724: PUSH1 0x00 00000726: PUSH1 0x00 00000728: PUSH1 0x00 0000072a: PUSH1 0x03 0000072c: PUSH1 0x00 0000072e: CALLER 0000072f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000744: AND 00000745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075a: AND 0000075b: DUP2 0000075c: MSTORE 0000075d: PUSH1 0x20 0000075f: ADD 00000760: SWAP1 00000761: DUP2 00000762: MSTORE 00000763: PUSH1 0x20 00000765: ADD 00000766: PUSH1 0x00 00000768: KECCAK256 00000769: SLOAD 0000076a: EQ 0000076b: ISZERO 0000076c: PUSH2 0x0775 0000076f: JUMPI 00000770: PUSH1 0x00 00000772: PUSH1 0x00 00000774: REVERT 00000775: JUMPDEST 00000776: PUSH1 0x03 00000778: PUSH1 0x00 0000077a: CALLER 0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000790: AND 00000791: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a6: AND 000007a7: DUP2 000007a8: MSTORE 000007a9: PUSH1 0x20 000007ab: ADD 000007ac: SWAP1 000007ad: DUP2 000007ae: MSTORE 000007af: PUSH1 0x20 000007b1: ADD 000007b2: PUSH1 0x00 000007b4: KECCAK256 000007b5: SLOAD 000007b6: SWAP3 000007b7: POP 000007b8: PUSH1 0x00 000007ba: PUSH1 0x03 000007bc: PUSH1 0x00 000007be: CALLER 000007bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d4: AND 000007d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ea: AND 000007eb: DUP2 000007ec: MSTORE 000007ed: PUSH1 0x20 000007ef: ADD 000007f0: SWAP1 000007f1: DUP2 000007f2: MSTORE 000007f3: PUSH1 0x20 000007f5: ADD 000007f6: PUSH1 0x00 000007f8: KECCAK256 000007f9: DUP2 000007fa: SWAP1 000007fb: SSTORE 000007fc: POP 000007fd: PUSH2 0x0805 00000800: DUP4 00000801: PUSH2 0x0a12 00000804: JUMP 00000805: JUMPDEST 00000806: SWAP2 00000807: POP 00000808: DUP2 00000809: DUP4 0000080a: SUB 0000080b: SWAP3 0000080c: POP 0000080d: PUSH1 0x00 0000080f: SWAP1 00000810: POP 00000811: JUMPDEST 00000812: PUSH1 0x04 00000814: DUP1 00000815: SLOAD 00000816: SWAP1 00000817: POP 00000818: DUP2 00000819: LT 0000081a: ISZERO 0000081b: PUSH2 0x093d 0000081e: JUMPI 0000081f: PUSH1 0x01 00000821: SLOAD 00000822: PUSH1 0x02 00000824: PUSH1 0x00 00000826: PUSH1 0x04 00000828: DUP5 00000829: DUP2 0000082a: SLOAD 0000082b: DUP2 0000082c: LT 0000082d: ISZERO 0000082e: ISZERO 0000082f: PUSH2 0x0834 00000832: JUMPI 00000833: INVALID 00000834: JUMPDEST 00000835: SWAP1 00000836: PUSH1 0x00 00000838: MSTORE 00000839: PUSH1 0x20 0000083b: PUSH1 0x00 0000083d: KECCAK256 0000083e: SWAP1 0000083f: ADD 00000840: PUSH1 0x00 00000842: JUMPDEST 00000843: SWAP1 00000844: SLOAD 00000845: SWAP1 00000846: PUSH2 0x0100 00000849: EXP 0000084a: SWAP1 0000084b: DIV 0000084c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000861: AND 00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000877: AND 00000878: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088d: AND 0000088e: DUP2 0000088f: MSTORE 00000890: PUSH1 0x20 00000892: ADD 00000893: SWAP1 00000894: DUP2 00000895: MSTORE 00000896: PUSH1 0x20 00000898: ADD 00000899: PUSH1 0x00 0000089b: KECCAK256 0000089c: SLOAD 0000089d: DUP5 0000089e: MUL 0000089f: DUP2 000008a0: ISZERO 000008a1: ISZERO 000008a2: PUSH2 0x08a7 000008a5: JUMPI 000008a6: INVALID 000008a7: JUMPDEST 000008a8: DIV 000008a9: PUSH1 0x03 000008ab: PUSH1 0x00 000008ad: PUSH1 0x04 000008af: DUP5 000008b0: DUP2 000008b1: SLOAD 000008b2: DUP2 000008b3: LT 000008b4: ISZERO 000008b5: ISZERO 000008b6: PUSH2 0x08bb 000008b9: JUMPI 000008ba: INVALID 000008bb: JUMPDEST 000008bc: SWAP1 000008bd: PUSH1 0x00 000008bf: MSTORE 000008c0: PUSH1 0x20 000008c2: PUSH1 0x00 000008c4: KECCAK256 000008c5: SWAP1 000008c6: ADD 000008c7: PUSH1 0x00 000008c9: JUMPDEST 000008ca: SWAP1 000008cb: SLOAD 000008cc: SWAP1 000008cd: PUSH2 0x0100 000008d0: EXP 000008d1: SWAP1 000008d2: DIV 000008d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e8: AND 000008e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fe: AND 000008ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000914: AND 00000915: DUP2 00000916: MSTORE 00000917: PUSH1 0x20 00000919: ADD 0000091a: SWAP1 0000091b: DUP2 0000091c: MSTORE 0000091d: PUSH1 0x20 0000091f: ADD 00000920: PUSH1 0x00 00000922: KECCAK256 00000923: PUSH1 0x00 00000925: DUP3 00000926: DUP3 00000927: SLOAD 00000928: ADD 00000929: SWAP3 0000092a: POP 0000092b: POP 0000092c: DUP2 0000092d: SWAP1 0000092e: SSTORE 0000092f: POP 00000930: JUMPDEST 00000931: DUP1 00000932: DUP1 00000933: PUSH1 0x01 00000935: ADD 00000936: SWAP2 00000937: POP 00000938: POP 00000939: PUSH2 0x0811 0000093c: JUMP 0000093d: JUMPDEST 0000093e: DUP2 0000093f: DUP4 00000940: ADD 00000941: PUSH1 0x02 00000943: PUSH1 0x00 00000945: CALLER 00000946: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095b: AND 0000095c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000971: AND 00000972: DUP2 00000973: MSTORE 00000974: PUSH1 0x20 00000976: ADD 00000977: SWAP1 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: PUSH1 0x00 0000097f: KECCAK256 00000980: PUSH1 0x00 00000982: DUP3 00000983: DUP3 00000984: SLOAD 00000985: ADD 00000986: SWAP3 00000987: POP 00000988: POP 00000989: DUP2 0000098a: SWAP1 0000098b: SSTORE 0000098c: POP 0000098d: DUP2 0000098e: DUP4 0000098f: ADD 00000990: PUSH1 0x01 00000992: PUSH1 0x00 00000994: DUP3 00000995: DUP3 00000996: SLOAD 00000997: ADD 00000998: SWAP3 00000999: POP 0000099a: POP 0000099b: DUP2 0000099c: SWAP1 0000099d: SSTORE 0000099e: POP 0000099f: PUSH32 0xc74590e3281392e897f5c0f45530951cfe0db0e86c76d65af861e80b925871a4 000009c0: CALLER 000009c1: DUP4 000009c2: DUP6 000009c3: ADD 000009c4: PUSH1 0x40 000009c6: MLOAD 000009c7: DUP1 000009c8: DUP4 000009c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009de: AND 000009df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f4: AND 000009f5: DUP2 000009f6: MSTORE 000009f7: PUSH1 0x20 000009f9: ADD 000009fa: DUP3 000009fb: DUP2 000009fc: MSTORE 000009fd: PUSH1 0x20 000009ff: ADD 00000a00: SWAP3 00000a01: POP 00000a02: POP 00000a03: POP 00000a04: PUSH1 0x40 00000a06: MLOAD 00000a07: DUP1 00000a08: SWAP2 00000a09: SUB 00000a0a: SWAP1 00000a0b: LOG1 00000a0c: JUMPDEST 00000a0d: JUMPDEST 00000a0e: POP 00000a0f: POP 00000a10: POP 00000a11: JUMP 00000a12: JUMPDEST 00000a13: PUSH1 0x00 00000a15: PUSH10 0x2a5a058fc295ed000000 00000a20: PUSH1 0x01 00000a22: SLOAD 00000a23: LT 00000a24: ISZERO 00000a25: PUSH2 0x0aa7 00000a28: JUMPI 00000a29: PUSH1 0x02 00000a2b: DUP3 00000a2c: DUP2 00000a2d: ISZERO 00000a2e: ISZERO 00000a2f: PUSH2 0x0a34 00000a32: JUMPI 00000a33: INVALID 00000a34: JUMPDEST 00000a35: DIV 00000a36: SWAP1 00000a37: POP 00000a38: DUP1 00000a39: PUSH1 0x03 00000a3b: PUSH1 0x00 00000a3d: PUSH1 0x00 00000a3f: PUSH1 0x00 00000a41: SWAP1 00000a42: SLOAD 00000a43: SWAP1 00000a44: PUSH2 0x0100 00000a47: EXP 00000a48: SWAP1 00000a49: DIV 00000a4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5f: AND 00000a60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a75: AND 00000a76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8b: AND 00000a8c: DUP2 00000a8d: MSTORE 00000a8e: PUSH1 0x20 00000a90: ADD 00000a91: SWAP1 00000a92: DUP2 00000a93: MSTORE 00000a94: PUSH1 0x20 00000a96: ADD 00000a97: PUSH1 0x00 00000a99: KECCAK256 00000a9a: PUSH1 0x00 00000a9c: DUP3 00000a9d: DUP3 00000a9e: SLOAD 00000a9f: ADD 00000aa0: SWAP3 00000aa1: POP 00000aa2: POP 00000aa3: DUP2 00000aa4: SWAP1 00000aa5: SSTORE 00000aa6: POP 00000aa7: JUMPDEST 00000aa8: JUMPDEST 00000aa9: SWAP2 00000aaa: SWAP1 00000aab: POP 00000aac: JUMP 00000aad: JUMPDEST 00000aae: DUP2 00000aaf: SLOAD 00000ab0: DUP2 00000ab1: DUP4 00000ab2: SSTORE 00000ab3: DUP2 00000ab4: DUP2 00000ab5: ISZERO 00000ab6: GT 00000ab7: PUSH2 0x0ad4 00000aba: JUMPI 00000abb: DUP2 00000abc: DUP4 00000abd: PUSH1 0x00 00000abf: MSTORE 00000ac0: PUSH1 0x20 00000ac2: PUSH1 0x00 00000ac4: KECCAK256 00000ac5: SWAP2 00000ac6: DUP3 00000ac7: ADD 00000ac8: SWAP2 00000ac9: ADD 00000aca: PUSH2 0x0ad3 00000acd: SWAP2 00000ace: SWAP1 00000acf: PUSH2 0x0ad9 00000ad2: JUMP 00000ad3: JUMPDEST 00000ad4: JUMPDEST 00000ad5: POP 00000ad6: POP 00000ad7: POP 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: PUSH2 0x0afb 00000add: SWAP2 00000ade: SWAP1 00000adf: JUMPDEST 00000ae0: DUP1 00000ae1: DUP3 00000ae2: GT 00000ae3: ISZERO 00000ae4: PUSH2 0x0af7 00000ae7: JUMPI 00000ae8: PUSH1 0x00 00000aea: DUP2 00000aeb: PUSH1 0x00 00000aed: SWAP1 00000aee: SSTORE 00000aef: POP 00000af0: PUSH1 0x01 00000af2: ADD 00000af3: PUSH2 0x0adf 00000af6: JUMP 00000af7: JUMPDEST 00000af8: POP 00000af9: SWAP1 00000afa: JUMP 00000afb: JUMPDEST 00000afc: SWAP1 00000afd: JUMP 00000afe: STOP 00000aff: LOG1 00000b00: PUSH6 0x627a7a723058 00000b07: KECCAK256 00000b08: UNKNOWN(0xC0) 00000b09: UNKNOWN(0x28) 00000b0a: INVALID 00000b0b: UNKNOWN(0x2A) 00000b0c: UNKNOWN(0xAB) 00000b0d: UNKNOWN(0xB8) 00000b0e: UNKNOWN(0x28) 00000b0f: MSIZE 00000b10: PUSH8 0x178280c5094d0be4 00000b19: BYTE 00000b1a: UNKNOWN(0xB3) 00000b1b: JUMPI 00000b1c: UNKNOWN(0xDB) 00000b1d: UNKNOWN(0x0E) 00000b1e: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf135feecd713a304f8f0a3fd425e310d28ab7a5033d3e69fdf5ca54a0df77200
call_targets:
0x1ce7986760ade2bf0f322f5ef39ce0de3bd0c82b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf135feecd713a304f8f0a3fd425e310d28ab7a5033d3e69fdf5ca54a0df77200",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ce7986760ade2bf0f322f5ef39ce0de3bd0c82b"
],
"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": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ddbd13a",
"selector": "0x2ddbd13a",
"calldata_variants": [
"0x2ddbd13a",
"0x2ddbd13a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66b3f6bf",
"selector": "0x66b3f6bf",
"calldata_variants": [
"0x66b3f6bf",
"0x66b3f6bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8b5e51f",
"selector": "0xe8b5e51f",
"calldata_variants": [
"0xe8b5e51f",
"0xe8b5e51f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdb5a03e",
"selector": "0xfdb5a03e",
"calldata_variants": [
"0xfdb5a03e",
"0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 761,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf135feecd713a304f8f0a3fd425e310d28ab7a5033d3e69fdf5ca54a0df77200
call_targets:
0x1ce7986760ade2bf0f322f5ef39ce0de3bd0c82b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf135feecd713a304f8f0a3fd425e310d28ab7a5033d3e69fdf5ca54a0df77200",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ce7986760ade2bf0f322f5ef39ce0de3bd0c82b"
],
"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": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2ddbd13a",
"selector": "0x2ddbd13a",
"calldata_variants": [
"0x2ddbd13a",
"0x2ddbd13a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x66b3f6bf",
"selector": "0x66b3f6bf",
"calldata_variants": [
"0x66b3f6bf",
"0x66b3f6bf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8b5e51f",
"selector": "0xe8b5e51f",
"calldata_variants": [
"0xe8b5e51f",
"0xe8b5e51f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfdb5a03e",
"selector": "0xfdb5a03e",
"calldata_variants": [
"0xfdb5a03e",
"0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 761,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|