019b3836-217e-72bf-88cf-c95317c00208
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 |
|---|---|---|---|---|
| 123 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 124 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 43243 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 43244 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 43245 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 43246 | 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 0x00b6 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x24e26241 00000034: EQ 00000035: PUSH2 0x00b8 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x38aa6b7d 0000003f: EQ 00000040: PUSH2 0x00cb 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x4afdd0e7 0000004a: EQ 0000004b: PUSH2 0x00f2 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x4e4f8289 00000055: EQ 00000056: PUSH2 0x0113 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x51cff8d9 00000060: EQ 00000061: PUSH2 0x0134 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xaa3f8cb7 0000006b: EQ 0000006c: PUSH2 0x0147 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xbbd4e8c9 00000076: EQ 00000077: PUSH2 0x0168 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbdc68113 00000081: EQ 00000082: PUSH2 0x0189 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xc600e1dc 0000008c: EQ 0000008d: PUSH2 0x01b0 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xd0e30db0 00000097: EQ 00000098: PUSH2 0x01d7 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xd9607482 000000a2: EQ 000000a3: PUSH2 0x01e4 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xf8b2cb4f 000000ad: EQ 000000ae: PUSH2 0x0205 000000b1: JUMPI 000000b2: PUSH2 0x00b6 000000b5: JUMP 000000b6: JUMPDEST 000000b7: STOP 000000b8: JUMPDEST 000000b9: PUSH2 0x00c9 000000bc: PUSH1 0x04 000000be: DUP1 000000bf: CALLDATALOAD 000000c0: SWAP1 000000c1: PUSH1 0x20 000000c3: ADD 000000c4: POP 000000c5: PUSH2 0x06e5 000000c8: JUMP 000000c9: JUMPDEST 000000ca: STOP 000000cb: JUMPDEST 000000cc: PUSH2 0x00dc 000000cf: PUSH1 0x04 000000d1: DUP1 000000d2: CALLDATALOAD 000000d3: SWAP1 000000d4: PUSH1 0x20 000000d6: ADD 000000d7: POP 000000d8: PUSH2 0x054e 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH1 0x40 000000df: MLOAD 000000e0: DUP1 000000e1: DUP3 000000e2: DUP2 000000e3: MSTORE 000000e4: PUSH1 0x20 000000e6: ADD 000000e7: SWAP2 000000e8: POP 000000e9: POP 000000ea: PUSH1 0x40 000000ec: MLOAD 000000ed: DUP1 000000ee: SWAP2 000000ef: SUB 000000f0: SWAP1 000000f1: RETURN 000000f2: JUMPDEST 000000f3: PUSH2 0x00fd 000000f6: PUSH1 0x04 000000f8: POP 000000f9: PUSH2 0x06b8 000000fc: JUMP 000000fd: JUMPDEST 000000fe: PUSH1 0x40 00000100: MLOAD 00000101: DUP1 00000102: DUP3 00000103: DUP2 00000104: MSTORE 00000105: PUSH1 0x20 00000107: ADD 00000108: SWAP2 00000109: POP 0000010a: POP 0000010b: PUSH1 0x40 0000010d: MLOAD 0000010e: DUP1 0000010f: SWAP2 00000110: SUB 00000111: SWAP1 00000112: RETURN 00000113: JUMPDEST 00000114: PUSH2 0x011e 00000117: PUSH1 0x04 00000119: POP 0000011a: PUSH2 0x06c1 0000011d: JUMP 0000011e: JUMPDEST 0000011f: PUSH1 0x40 00000121: MLOAD 00000122: DUP1 00000123: DUP3 00000124: DUP2 00000125: MSTORE 00000126: PUSH1 0x20 00000128: ADD 00000129: SWAP2 0000012a: POP 0000012b: POP 0000012c: PUSH1 0x40 0000012e: MLOAD 0000012f: DUP1 00000130: SWAP2 00000131: SUB 00000132: SWAP1 00000133: RETURN 00000134: JUMPDEST 00000135: PUSH2 0x0145 00000138: PUSH1 0x04 0000013a: DUP1 0000013b: CALLDATALOAD 0000013c: SWAP1 0000013d: PUSH1 0x20 0000013f: ADD 00000140: POP 00000141: PUSH2 0x03c4 00000144: JUMP 00000145: JUMPDEST 00000146: STOP 00000147: JUMPDEST 00000148: PUSH2 0x0152 0000014b: PUSH1 0x04 0000014d: POP 0000014e: PUSH2 0x06ca 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH1 0x40 00000155: MLOAD 00000156: DUP1 00000157: DUP3 00000158: DUP2 00000159: MSTORE 0000015a: PUSH1 0x20 0000015c: ADD 0000015d: SWAP2 0000015e: POP 0000015f: POP 00000160: PUSH1 0x40 00000162: MLOAD 00000163: DUP1 00000164: SWAP2 00000165: SUB 00000166: SWAP1 00000167: RETURN 00000168: JUMPDEST 00000169: PUSH2 0x0173 0000016c: PUSH1 0x04 0000016e: POP 0000016f: PUSH2 0x06dc 00000172: JUMP 00000173: JUMPDEST 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP1 00000178: DUP3 00000179: DUP2 0000017a: MSTORE 0000017b: PUSH1 0x20 0000017d: ADD 0000017e: SWAP2 0000017f: POP 00000180: POP 00000181: PUSH1 0x40 00000183: MLOAD 00000184: DUP1 00000185: SWAP2 00000186: SUB 00000187: SWAP1 00000188: RETURN 00000189: JUMPDEST 0000018a: PUSH2 0x019a 0000018d: PUSH1 0x04 0000018f: DUP1 00000190: CALLDATALOAD 00000191: SWAP1 00000192: PUSH1 0x20 00000194: ADD 00000195: POP 00000196: PUSH2 0x0640 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH1 0x40 0000019d: MLOAD 0000019e: DUP1 0000019f: DUP3 000001a0: DUP2 000001a1: MSTORE 000001a2: PUSH1 0x20 000001a4: ADD 000001a5: SWAP2 000001a6: POP 000001a7: POP 000001a8: PUSH1 0x40 000001aa: MLOAD 000001ab: DUP1 000001ac: SWAP2 000001ad: SUB 000001ae: SWAP1 000001af: RETURN 000001b0: JUMPDEST 000001b1: PUSH2 0x01c1 000001b4: PUSH1 0x04 000001b6: DUP1 000001b7: CALLDATALOAD 000001b8: SWAP1 000001b9: PUSH1 0x20 000001bb: ADD 000001bc: POP 000001bd: PUSH2 0x05c8 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH1 0x40 000001c4: MLOAD 000001c5: DUP1 000001c6: DUP3 000001c7: DUP2 000001c8: MSTORE 000001c9: PUSH1 0x20 000001cb: ADD 000001cc: SWAP2 000001cd: POP 000001ce: POP 000001cf: PUSH1 0x40 000001d1: MLOAD 000001d2: DUP1 000001d3: SWAP2 000001d4: SUB 000001d5: SWAP1 000001d6: RETURN 000001d7: JUMPDEST 000001d8: PUSH2 0x01e2 000001db: PUSH1 0x04 000001dd: POP 000001de: PUSH2 0x02a4 000001e1: JUMP 000001e2: JUMPDEST 000001e3: STOP 000001e4: JUMPDEST 000001e5: PUSH2 0x01ef 000001e8: PUSH1 0x04 000001ea: POP 000001eb: PUSH2 0x06d3 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH1 0x40 000001f2: MLOAD 000001f3: DUP1 000001f4: DUP3 000001f5: DUP2 000001f6: MSTORE 000001f7: PUSH1 0x20 000001f9: ADD 000001fa: SWAP2 000001fb: POP 000001fc: POP 000001fd: PUSH1 0x40 000001ff: MLOAD 00000200: DUP1 00000201: SWAP2 00000202: SUB 00000203: SWAP1 00000204: RETURN 00000205: JUMPDEST 00000206: PUSH2 0x0216 00000209: PUSH1 0x04 0000020b: DUP1 0000020c: CALLDATALOAD 0000020d: SWAP1 0000020e: PUSH1 0x20 00000210: ADD 00000211: POP 00000212: PUSH2 0x022c 00000215: JUMP 00000216: JUMPDEST 00000217: PUSH1 0x40 00000219: MLOAD 0000021a: DUP1 0000021b: DUP3 0000021c: DUP2 0000021d: MSTORE 0000021e: PUSH1 0x20 00000220: ADD 00000221: SWAP2 00000222: POP 00000223: POP 00000224: PUSH1 0x40 00000226: MLOAD 00000227: DUP1 00000228: SWAP2 00000229: SUB 0000022a: SWAP1 0000022b: RETURN 0000022c: JUMPDEST 0000022d: PUSH1 0x00 0000022f: DUP2 00000230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000245: AND 00000246: CALLER 00000247: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025c: AND 0000025d: EQ 0000025e: ISZERO 0000025f: ISZERO 00000260: PUSH2 0x0268 00000263: JUMPI 00000264: PUSH2 0x029f 00000267: JUMP 00000268: JUMPDEST 00000269: PUSH1 0x06 0000026b: PUSH1 0x00 0000026d: POP 0000026e: PUSH1 0x00 00000270: DUP4 00000271: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000286: AND 00000287: DUP2 00000288: MSTORE 00000289: PUSH1 0x20 0000028b: ADD 0000028c: SWAP1 0000028d: DUP2 0000028e: MSTORE 0000028f: PUSH1 0x20 00000291: ADD 00000292: PUSH1 0x00 00000294: KECCAK256 00000295: PUSH1 0x00 00000297: POP 00000298: SLOAD 00000299: SWAP1 0000029a: POP 0000029b: PUSH2 0x029f 0000029e: JUMP 0000029f: JUMPDEST 000002a0: SWAP2 000002a1: SWAP1 000002a2: POP 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH1 0x05 000002a7: PUSH1 0x00 000002a9: DUP2 000002aa: DUP2 000002ab: POP 000002ac: SLOAD 000002ad: PUSH1 0x01 000002af: ADD 000002b0: SWAP2 000002b1: SWAP1 000002b2: POP 000002b3: DUP2 000002b4: SWAP1 000002b5: SSTORE 000002b6: POP 000002b7: TIMESTAMP 000002b8: PUSH1 0x02 000002ba: PUSH1 0x00 000002bc: POP 000002bd: DUP2 000002be: SWAP1 000002bf: SSTORE 000002c0: POP 000002c1: PUSH1 0x02 000002c3: PUSH1 0x00 000002c5: POP 000002c6: SLOAD 000002c7: PUSH1 0x07 000002c9: PUSH1 0x00 000002cb: POP 000002cc: PUSH1 0x00 000002ce: CALLER 000002cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e4: AND 000002e5: DUP2 000002e6: MSTORE 000002e7: PUSH1 0x20 000002e9: ADD 000002ea: SWAP1 000002eb: DUP2 000002ec: MSTORE 000002ed: PUSH1 0x20 000002ef: ADD 000002f0: PUSH1 0x00 000002f2: KECCAK256 000002f3: PUSH1 0x00 000002f5: POP 000002f6: DUP2 000002f7: SWAP1 000002f8: SSTORE 000002f9: POP 000002fa: PUSH1 0x64 000002fc: PUSH1 0x01 000002fe: PUSH1 0x00 00000300: POP 00000301: SLOAD 00000302: CALLVALUE 00000303: MUL 00000304: DIV 00000305: PUSH1 0x08 00000307: PUSH1 0x00 00000309: POP 0000030a: PUSH1 0x00 0000030c: CALLER 0000030d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000322: AND 00000323: DUP2 00000324: MSTORE 00000325: PUSH1 0x20 00000327: ADD 00000328: SWAP1 00000329: DUP2 0000032a: MSTORE 0000032b: PUSH1 0x20 0000032d: ADD 0000032e: PUSH1 0x00 00000330: KECCAK256 00000331: PUSH1 0x00 00000333: DUP3 00000334: DUP3 00000335: DUP3 00000336: POP 00000337: SLOAD 00000338: ADD 00000339: SWAP3 0000033a: POP 0000033b: POP 0000033c: DUP2 0000033d: SWAP1 0000033e: SSTORE 0000033f: POP 00000340: PUSH1 0x64 00000342: PUSH1 0x01 00000344: PUSH1 0x00 00000346: POP 00000347: SLOAD 00000348: CALLVALUE 00000349: MUL 0000034a: DIV 0000034b: PUSH1 0x09 0000034d: PUSH1 0x00 0000034f: POP 00000350: PUSH1 0x00 00000352: CALLER 00000353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000368: AND 00000369: DUP2 0000036a: MSTORE 0000036b: PUSH1 0x20 0000036d: ADD 0000036e: SWAP1 0000036f: DUP2 00000370: MSTORE 00000371: PUSH1 0x20 00000373: ADD 00000374: PUSH1 0x00 00000376: KECCAK256 00000377: PUSH1 0x00 00000379: DUP3 0000037a: DUP3 0000037b: DUP3 0000037c: POP 0000037d: SLOAD 0000037e: ADD 0000037f: SWAP3 00000380: POP 00000381: POP 00000382: DUP2 00000383: SWAP1 00000384: SSTORE 00000385: POP 00000386: CALLVALUE 00000387: PUSH1 0x06 00000389: PUSH1 0x00 0000038b: POP 0000038c: PUSH1 0x00 0000038e: CALLER 0000038f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a4: AND 000003a5: DUP2 000003a6: MSTORE 000003a7: PUSH1 0x20 000003a9: ADD 000003aa: SWAP1 000003ab: DUP2 000003ac: MSTORE 000003ad: PUSH1 0x20 000003af: ADD 000003b0: PUSH1 0x00 000003b2: KECCAK256 000003b3: PUSH1 0x00 000003b5: DUP3 000003b6: DUP3 000003b7: DUP3 000003b8: POP 000003b9: SLOAD 000003ba: ADD 000003bb: SWAP3 000003bc: POP 000003bd: POP 000003be: DUP2 000003bf: SWAP1 000003c0: SSTORE 000003c1: POP 000003c2: JUMPDEST 000003c3: JUMP 000003c4: JUMPDEST 000003c5: DUP1 000003c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003db: AND 000003dc: CALLER 000003dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f2: AND 000003f3: EQ 000003f4: ISZERO 000003f5: ISZERO 000003f6: PUSH2 0x03fe 000003f9: JUMPI 000003fa: PUSH2 0x054b 000003fd: JUMP 000003fe: JUMPDEST 000003ff: PUSH1 0x04 00000401: PUSH1 0x00 00000403: POP 00000404: SLOAD 00000405: PUSH1 0x07 00000407: PUSH1 0x00 00000409: POP 0000040a: PUSH1 0x00 0000040c: DUP4 0000040d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000422: AND 00000423: DUP2 00000424: MSTORE 00000425: PUSH1 0x20 00000427: ADD 00000428: SWAP1 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x20 0000042d: ADD 0000042e: PUSH1 0x00 00000430: KECCAK256 00000431: PUSH1 0x00 00000433: POP 00000434: SLOAD 00000435: TIMESTAMP 00000436: SUB 00000437: LT 00000438: ISZERO 00000439: ISZERO 0000043a: PUSH2 0x053f 0000043d: JUMPI 0000043e: CALLER 0000043f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000454: AND 00000455: PUSH1 0x00 00000457: PUSH1 0x09 00000459: PUSH1 0x00 0000045b: POP 0000045c: PUSH1 0x00 0000045e: DUP5 0000045f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000474: AND 00000475: DUP2 00000476: MSTORE 00000477: PUSH1 0x20 00000479: ADD 0000047a: SWAP1 0000047b: DUP2 0000047c: MSTORE 0000047d: PUSH1 0x20 0000047f: ADD 00000480: PUSH1 0x00 00000482: KECCAK256 00000483: PUSH1 0x00 00000485: POP 00000486: SLOAD 00000487: PUSH1 0x06 00000489: PUSH1 0x00 0000048b: POP 0000048c: PUSH1 0x00 0000048e: DUP6 0000048f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a4: AND 000004a5: DUP2 000004a6: MSTORE 000004a7: PUSH1 0x20 000004a9: ADD 000004aa: SWAP1 000004ab: DUP2 000004ac: MSTORE 000004ad: PUSH1 0x20 000004af: ADD 000004b0: PUSH1 0x00 000004b2: KECCAK256 000004b3: PUSH1 0x00 000004b5: POP 000004b6: SLOAD 000004b7: ADD 000004b8: PUSH1 0x40 000004ba: MLOAD 000004bb: DUP1 000004bc: SWAP1 000004bd: POP 000004be: PUSH1 0x00 000004c0: PUSH1 0x40 000004c2: MLOAD 000004c3: DUP1 000004c4: DUP4 000004c5: SUB 000004c6: DUP2 000004c7: DUP6 000004c8: DUP9 000004c9: DUP9 000004ca: CALL 000004cb: SWAP4 000004cc: POP 000004cd: POP 000004ce: POP 000004cf: POP 000004d0: POP 000004d1: PUSH1 0x00 000004d3: PUSH1 0x09 000004d5: PUSH1 0x00 000004d7: POP 000004d8: PUSH1 0x00 000004da: DUP4 000004db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f0: AND 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x20 000004f5: ADD 000004f6: SWAP1 000004f7: DUP2 000004f8: MSTORE 000004f9: PUSH1 0x20 000004fb: ADD 000004fc: PUSH1 0x00 000004fe: KECCAK256 000004ff: PUSH1 0x00 00000501: POP 00000502: DUP2 00000503: SWAP1 00000504: SSTORE 00000505: POP 00000506: PUSH1 0x00 00000508: PUSH1 0x06 0000050a: PUSH1 0x00 0000050c: POP 0000050d: PUSH1 0x00 0000050f: DUP4 00000510: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000525: AND 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x20 0000052a: ADD 0000052b: SWAP1 0000052c: DUP2 0000052d: MSTORE 0000052e: PUSH1 0x20 00000530: ADD 00000531: PUSH1 0x00 00000533: KECCAK256 00000534: PUSH1 0x00 00000536: POP 00000537: DUP2 00000538: SWAP1 00000539: SSTORE 0000053a: POP 0000053b: PUSH2 0x054a 0000053e: JUMP 0000053f: JUMPDEST 00000540: TIMESTAMP 00000541: PUSH1 0x03 00000543: PUSH1 0x00 00000545: POP 00000546: DUP2 00000547: SWAP1 00000548: SSTORE 00000549: POP 0000054a: JUMPDEST 0000054b: JUMPDEST 0000054c: POP 0000054d: JUMP 0000054e: JUMPDEST 0000054f: PUSH1 0x00 00000551: DUP2 00000552: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000567: AND 00000568: CALLER 00000569: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057e: AND 0000057f: EQ 00000580: ISZERO 00000581: ISZERO 00000582: PUSH2 0x058a 00000585: JUMPI 00000586: PUSH2 0x05c3 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH1 0x07 0000058d: PUSH1 0x00 0000058f: POP 00000590: PUSH1 0x00 00000592: DUP4 00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a8: AND 000005a9: DUP2 000005aa: MSTORE 000005ab: PUSH1 0x20 000005ad: ADD 000005ae: SWAP1 000005af: DUP2 000005b0: MSTORE 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: PUSH1 0x00 000005b6: KECCAK256 000005b7: PUSH1 0x00 000005b9: POP 000005ba: SLOAD 000005bb: TIMESTAMP 000005bc: SUB 000005bd: SWAP1 000005be: POP 000005bf: PUSH2 0x05c3 000005c2: JUMP 000005c3: JUMPDEST 000005c4: SWAP2 000005c5: SWAP1 000005c6: POP 000005c7: JUMP 000005c8: JUMPDEST 000005c9: PUSH1 0x00 000005cb: DUP2 000005cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e1: AND 000005e2: CALLER 000005e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f8: AND 000005f9: EQ 000005fa: ISZERO 000005fb: ISZERO 000005fc: PUSH2 0x0604 000005ff: JUMPI 00000600: PUSH2 0x063b 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH1 0x09 00000607: PUSH1 0x00 00000609: POP 0000060a: PUSH1 0x00 0000060c: DUP4 0000060d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000622: AND 00000623: DUP2 00000624: MSTORE 00000625: PUSH1 0x20 00000627: ADD 00000628: SWAP1 00000629: DUP2 0000062a: MSTORE 0000062b: PUSH1 0x20 0000062d: ADD 0000062e: PUSH1 0x00 00000630: KECCAK256 00000631: PUSH1 0x00 00000633: POP 00000634: SLOAD 00000635: SWAP1 00000636: POP 00000637: PUSH2 0x063b 0000063a: JUMP 0000063b: JUMPDEST 0000063c: SWAP2 0000063d: SWAP1 0000063e: POP 0000063f: JUMP 00000640: JUMPDEST 00000641: PUSH1 0x00 00000643: DUP2 00000644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000659: AND 0000065a: CALLER 0000065b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000670: AND 00000671: EQ 00000672: ISZERO 00000673: ISZERO 00000674: PUSH2 0x067c 00000677: JUMPI 00000678: PUSH2 0x06b3 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH1 0x08 0000067f: PUSH1 0x00 00000681: POP 00000682: PUSH1 0x00 00000684: DUP4 00000685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069a: AND 0000069b: DUP2 0000069c: MSTORE 0000069d: PUSH1 0x20 0000069f: ADD 000006a0: SWAP1 000006a1: DUP2 000006a2: MSTORE 000006a3: PUSH1 0x20 000006a5: ADD 000006a6: PUSH1 0x00 000006a8: KECCAK256 000006a9: PUSH1 0x00 000006ab: POP 000006ac: SLOAD 000006ad: SWAP1 000006ae: POP 000006af: PUSH2 0x06b3 000006b2: JUMP 000006b3: JUMPDEST 000006b4: SWAP2 000006b5: SWAP1 000006b6: POP 000006b7: JUMP 000006b8: JUMPDEST 000006b9: PUSH1 0x01 000006bb: PUSH1 0x00 000006bd: POP 000006be: SLOAD 000006bf: DUP2 000006c0: JUMP 000006c1: JUMPDEST 000006c2: PUSH1 0x02 000006c4: PUSH1 0x00 000006c6: POP 000006c7: SLOAD 000006c8: DUP2 000006c9: JUMP 000006ca: JUMPDEST 000006cb: PUSH1 0x03 000006cd: PUSH1 0x00 000006cf: POP 000006d0: SLOAD 000006d1: DUP2 000006d2: JUMP 000006d3: JUMPDEST 000006d4: PUSH1 0x04 000006d6: PUSH1 0x00 000006d8: POP 000006d9: SLOAD 000006da: DUP2 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH1 0x05 000006df: PUSH1 0x00 000006e1: POP 000006e2: SLOAD 000006e3: DUP2 000006e4: JUMP 000006e5: JUMPDEST 000006e6: DUP1 000006e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006fc: AND 000006fd: CALLER 000006fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000713: AND 00000714: EQ 00000715: ISZERO 00000716: ISZERO 00000717: PUSH2 0x071f 0000071a: JUMPI 0000071b: PUSH2 0x0846 0000071e: JUMP 0000071f: JUMPDEST 00000720: PUSH1 0x04 00000722: PUSH1 0x00 00000724: POP 00000725: SLOAD 00000726: PUSH1 0x07 00000728: PUSH1 0x00 0000072a: POP 0000072b: PUSH1 0x00 0000072d: DUP4 0000072e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000743: AND 00000744: DUP2 00000745: MSTORE 00000746: PUSH1 0x20 00000748: ADD 00000749: SWAP1 0000074a: DUP2 0000074b: MSTORE 0000074c: PUSH1 0x20 0000074e: ADD 0000074f: PUSH1 0x00 00000751: KECCAK256 00000752: PUSH1 0x00 00000754: POP 00000755: SLOAD 00000756: TIMESTAMP 00000757: SUB 00000758: LT 00000759: ISZERO 0000075a: ISZERO 0000075b: PUSH2 0x083a 0000075e: JUMPI 0000075f: CALLER 00000760: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000775: AND 00000776: PUSH1 0x00 00000778: PUSH1 0x09 0000077a: PUSH1 0x00 0000077c: POP 0000077d: PUSH1 0x00 0000077f: DUP5 00000780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000795: AND 00000796: DUP2 00000797: MSTORE 00000798: PUSH1 0x20 0000079a: ADD 0000079b: SWAP1 0000079c: DUP2 0000079d: MSTORE 0000079e: PUSH1 0x20 000007a0: ADD 000007a1: PUSH1 0x00 000007a3: KECCAK256 000007a4: PUSH1 0x00 000007a6: POP 000007a7: SLOAD 000007a8: PUSH1 0x40 000007aa: MLOAD 000007ab: DUP1 000007ac: SWAP1 000007ad: POP 000007ae: PUSH1 0x00 000007b0: PUSH1 0x40 000007b2: MLOAD 000007b3: DUP1 000007b4: DUP4 000007b5: SUB 000007b6: DUP2 000007b7: DUP6 000007b8: DUP9 000007b9: DUP9 000007ba: CALL 000007bb: SWAP4 000007bc: POP 000007bd: POP 000007be: POP 000007bf: POP 000007c0: POP 000007c1: PUSH1 0x64 000007c3: PUSH1 0x01 000007c5: PUSH1 0x00 000007c7: POP 000007c8: SLOAD 000007c9: PUSH1 0x06 000007cb: PUSH1 0x00 000007cd: POP 000007ce: PUSH1 0x00 000007d0: CALLER 000007d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e6: AND 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x20 000007eb: ADD 000007ec: SWAP1 000007ed: DUP2 000007ee: MSTORE 000007ef: PUSH1 0x20 000007f1: ADD 000007f2: PUSH1 0x00 000007f4: KECCAK256 000007f5: PUSH1 0x00 000007f7: POP 000007f8: SLOAD 000007f9: MUL 000007fa: DIV 000007fb: PUSH1 0x09 000007fd: PUSH1 0x00 000007ff: POP 00000800: PUSH1 0x00 00000802: CALLER 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: DUP3 0000082a: DUP3 0000082b: DUP3 0000082c: POP 0000082d: SLOAD 0000082e: ADD 0000082f: SWAP3 00000830: POP 00000831: POP 00000832: DUP2 00000833: SWAP1 00000834: SSTORE 00000835: POP 00000836: PUSH2 0x0845 00000839: JUMP 0000083a: JUMPDEST 0000083b: TIMESTAMP 0000083c: PUSH1 0x03 0000083e: PUSH1 0x00 00000840: POP 00000841: DUP2 00000842: SWAP1 00000843: SSTORE 00000844: POP 00000845: JUMPDEST 00000846: JUMPDEST 00000847: POP 00000848: JUMP
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x19304159f0258c9969b97f82ea3f75bb0120d6f0ff77edfa2bb90a7b41436922
call_targets:
0xd09c66c0ff6b004ddc57fdb3ee6384fe0c5aa3c2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x19304159f0258c9969b97f82ea3f75bb0120d6f0ff77edfa2bb90a7b41436922",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd09c66c0ff6b004ddc57fdb3ee6384fe0c5aa3c2"
],
"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": "0x24e26241",
"selector": "0x24e26241",
"calldata_variants": [
"0x24e26241",
"0x24e262410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38aa6b7d",
"selector": "0x38aa6b7d",
"calldata_variants": [
"0x38aa6b7d",
"0x38aa6b7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4afdd0e7",
"selector": "0x4afdd0e7",
"calldata_variants": [
"0x4afdd0e7",
"0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e4f8289",
"selector": "0x4e4f8289",
"calldata_variants": [
"0x4e4f8289",
"0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa3f8cb7",
"selector": "0xaa3f8cb7",
"calldata_variants": [
"0xaa3f8cb7",
"0xaa3f8cb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbbd4e8c9",
"selector": "0xbbd4e8c9",
"calldata_variants": [
"0xbbd4e8c9",
"0xbbd4e8c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbdc68113",
"selector": "0xbdc68113",
"calldata_variants": [
"0xbdc68113",
"0xbdc681130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1226,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1978,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 582,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 988,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1384,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1506,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1626,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1789,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x19304159f0258c9969b97f82ea3f75bb0120d6f0ff77edfa2bb90a7b41436922
call_targets:
0xd09c66c0ff6b004ddc57fdb3ee6384fe0c5aa3c2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x19304159f0258c9969b97f82ea3f75bb0120d6f0ff77edfa2bb90a7b41436922",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd09c66c0ff6b004ddc57fdb3ee6384fe0c5aa3c2"
],
"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": "0x24e26241",
"selector": "0x24e26241",
"calldata_variants": [
"0x24e26241",
"0x24e262410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38aa6b7d",
"selector": "0x38aa6b7d",
"calldata_variants": [
"0x38aa6b7d",
"0x38aa6b7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4afdd0e7",
"selector": "0x4afdd0e7",
"calldata_variants": [
"0x4afdd0e7",
"0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e4f8289",
"selector": "0x4e4f8289",
"calldata_variants": [
"0x4e4f8289",
"0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa3f8cb7",
"selector": "0xaa3f8cb7",
"calldata_variants": [
"0xaa3f8cb7",
"0xaa3f8cb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbbd4e8c9",
"selector": "0xbbd4e8c9",
"calldata_variants": [
"0xbbd4e8c9",
"0xbbd4e8c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbdc68113",
"selector": "0xbdc68113",
"calldata_variants": [
"0xbdc68113",
"0xbdc681130000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1226,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1978,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 582,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 988,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1384,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1506,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1626,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1789,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|