019b3844-8bce-7367-8ff1-07ae496f074d
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 |
|---|---|---|---|---|
| 11865 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 11866 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 98802 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 98803 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 98804 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 98805 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0083 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x116191b6 0000003c: EQ 0000003d: PUSH2 0x0088 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x23024408 00000047: EQ 00000048: PUSH2 0x00dd 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x3ccfd60b 00000052: EQ 00000053: PUSH2 0x010b 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x42e94c90 0000005d: EQ 0000005e: PUSH2 0x0120 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x5fb130af 00000068: EQ 00000069: PUSH2 0x016d 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x8da5cb5b 00000073: EQ 00000074: PUSH2 0x01a6 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xf2fde38b 0000007e: EQ 0000007f: PUSH2 0x01fb 00000082: JUMPI 00000083: JUMPDEST 00000084: PUSH1 0x00 00000086: DUP1 00000087: REVERT 00000088: JUMPDEST 00000089: CALLVALUE 0000008a: ISZERO 0000008b: PUSH2 0x0093 0000008e: JUMPI 0000008f: PUSH1 0x00 00000091: DUP1 00000092: REVERT 00000093: JUMPDEST 00000094: PUSH2 0x009b 00000097: PUSH2 0x0234 0000009a: JUMP 0000009b: JUMPDEST 0000009c: PUSH1 0x40 0000009e: MLOAD 0000009f: DUP1 000000a0: DUP3 000000a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000b6: AND 000000b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000cc: AND 000000cd: DUP2 000000ce: MSTORE 000000cf: PUSH1 0x20 000000d1: ADD 000000d2: SWAP2 000000d3: POP 000000d4: POP 000000d5: PUSH1 0x40 000000d7: MLOAD 000000d8: DUP1 000000d9: SWAP2 000000da: SUB 000000db: SWAP1 000000dc: RETURN 000000dd: JUMPDEST 000000de: PUSH2 0x0109 000000e1: PUSH1 0x04 000000e3: DUP1 000000e4: DUP1 000000e5: CALLDATALOAD 000000e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000fb: AND 000000fc: SWAP1 000000fd: PUSH1 0x20 000000ff: ADD 00000100: SWAP1 00000101: SWAP2 00000102: SWAP1 00000103: POP 00000104: POP 00000105: PUSH2 0x025a 00000108: JUMP 00000109: JUMPDEST 0000010a: STOP 0000010b: JUMPDEST 0000010c: CALLVALUE 0000010d: ISZERO 0000010e: PUSH2 0x0116 00000111: JUMPI 00000112: PUSH1 0x00 00000114: DUP1 00000115: REVERT 00000116: JUMPDEST 00000117: PUSH2 0x011e 0000011a: PUSH2 0x0378 0000011d: JUMP 0000011e: JUMPDEST 0000011f: STOP 00000120: JUMPDEST 00000121: CALLVALUE 00000122: ISZERO 00000123: PUSH2 0x012b 00000126: JUMPI 00000127: PUSH1 0x00 00000129: DUP1 0000012a: REVERT 0000012b: JUMPDEST 0000012c: PUSH2 0x0157 0000012f: PUSH1 0x04 00000131: DUP1 00000132: DUP1 00000133: CALLDATALOAD 00000134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000149: AND 0000014a: SWAP1 0000014b: PUSH1 0x20 0000014d: ADD 0000014e: SWAP1 0000014f: SWAP2 00000150: SWAP1 00000151: POP 00000152: POP 00000153: PUSH2 0x04c6 00000156: JUMP 00000157: JUMPDEST 00000158: PUSH1 0x40 0000015a: MLOAD 0000015b: DUP1 0000015c: DUP3 0000015d: DUP2 0000015e: MSTORE 0000015f: PUSH1 0x20 00000161: ADD 00000162: SWAP2 00000163: POP 00000164: POP 00000165: PUSH1 0x40 00000167: MLOAD 00000168: DUP1 00000169: SWAP2 0000016a: SUB 0000016b: SWAP1 0000016c: RETURN 0000016d: JUMPDEST 0000016e: CALLVALUE 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: PUSH2 0x01a4 0000017c: PUSH1 0x04 0000017e: DUP1 0000017f: DUP1 00000180: CALLDATALOAD 00000181: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000196: AND 00000197: SWAP1 00000198: PUSH1 0x20 0000019a: ADD 0000019b: SWAP1 0000019c: SWAP2 0000019d: SWAP1 0000019e: POP 0000019f: POP 000001a0: PUSH2 0x04de 000001a3: JUMP 000001a4: JUMPDEST 000001a5: STOP 000001a6: JUMPDEST 000001a7: CALLVALUE 000001a8: ISZERO 000001a9: PUSH2 0x01b1 000001ac: JUMPI 000001ad: PUSH1 0x00 000001af: DUP1 000001b0: REVERT 000001b1: JUMPDEST 000001b2: PUSH2 0x01b9 000001b5: PUSH2 0x07ab 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x40 000001bc: MLOAD 000001bd: DUP1 000001be: DUP3 000001bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d4: AND 000001d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ea: AND 000001eb: DUP2 000001ec: MSTORE 000001ed: PUSH1 0x20 000001ef: ADD 000001f0: SWAP2 000001f1: POP 000001f2: POP 000001f3: PUSH1 0x40 000001f5: MLOAD 000001f6: DUP1 000001f7: SWAP2 000001f8: SUB 000001f9: SWAP1 000001fa: RETURN 000001fb: JUMPDEST 000001fc: CALLVALUE 000001fd: ISZERO 000001fe: PUSH2 0x0206 00000201: JUMPI 00000202: PUSH1 0x00 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: PUSH2 0x0232 0000020a: PUSH1 0x04 0000020c: DUP1 0000020d: DUP1 0000020e: CALLDATALOAD 0000020f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000224: AND 00000225: SWAP1 00000226: PUSH1 0x20 00000228: ADD 00000229: SWAP1 0000022a: SWAP2 0000022b: SWAP1 0000022c: POP 0000022d: POP 0000022e: PUSH2 0x07d0 00000231: JUMP 00000232: JUMPDEST 00000233: STOP 00000234: JUMPDEST 00000235: PUSH1 0x02 00000237: PUSH1 0x00 00000239: SWAP1 0000023a: SLOAD 0000023b: SWAP1 0000023c: PUSH2 0x0100 0000023f: EXP 00000240: SWAP1 00000241: DIV 00000242: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000257: AND 00000258: DUP2 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH1 0x00 0000025d: DUP1 0000025e: SWAP1 0000025f: SLOAD 00000260: SWAP1 00000261: PUSH2 0x0100 00000264: EXP 00000265: SWAP1 00000266: DIV 00000267: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027c: AND 0000027d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000292: AND 00000293: CALLER 00000294: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a9: AND 000002aa: EQ 000002ab: ISZERO 000002ac: ISZERO 000002ad: PUSH2 0x02b5 000002b0: JUMPI 000002b1: PUSH1 0x00 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: PUSH1 0x01 000002b9: PUSH1 0x00 000002bb: DUP4 000002bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d1: AND 000002d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e7: AND 000002e8: DUP2 000002e9: MSTORE 000002ea: PUSH1 0x20 000002ec: ADD 000002ed: SWAP1 000002ee: DUP2 000002ef: MSTORE 000002f0: PUSH1 0x20 000002f2: ADD 000002f3: PUSH1 0x00 000002f5: KECCAK256 000002f6: PUSH1 0x00 000002f8: DUP3 000002f9: DUP3 000002fa: SLOAD 000002fb: ADD 000002fc: SWAP3 000002fd: POP 000002fe: POP 000002ff: DUP2 00000300: SWAP1 00000301: SSTORE 00000302: POP 00000303: PUSH32 0x1a9b370a248f3f7ecf990081701a2676aee708a7232617d1483a478e5d8f5d87 00000324: DUP2 00000325: CALLVALUE 00000326: TIMESTAMP 00000327: PUSH1 0x40 00000329: MLOAD 0000032a: DUP1 0000032b: DUP5 0000032c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000341: AND 00000342: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000357: AND 00000358: DUP2 00000359: MSTORE 0000035a: PUSH1 0x20 0000035c: ADD 0000035d: DUP4 0000035e: DUP2 0000035f: MSTORE 00000360: PUSH1 0x20 00000362: ADD 00000363: DUP3 00000364: DUP2 00000365: MSTORE 00000366: PUSH1 0x20 00000368: ADD 00000369: SWAP4 0000036a: POP 0000036b: POP 0000036c: POP 0000036d: POP 0000036e: PUSH1 0x40 00000370: MLOAD 00000371: DUP1 00000372: SWAP2 00000373: SUB 00000374: SWAP1 00000375: LOG1 00000376: POP 00000377: JUMP 00000378: JUMPDEST 00000379: PUSH1 0x00 0000037b: PUSH1 0x01 0000037d: PUSH1 0x00 0000037f: CALLER 00000380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000395: AND 00000396: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ab: AND 000003ac: DUP2 000003ad: MSTORE 000003ae: PUSH1 0x20 000003b0: ADD 000003b1: SWAP1 000003b2: DUP2 000003b3: MSTORE 000003b4: PUSH1 0x20 000003b6: ADD 000003b7: PUSH1 0x00 000003b9: KECCAK256 000003ba: SLOAD 000003bb: SWAP1 000003bc: POP 000003bd: PUSH1 0x00 000003bf: DUP2 000003c0: GT 000003c1: ISZERO 000003c2: ISZERO 000003c3: PUSH2 0x03cb 000003c6: JUMPI 000003c7: PUSH1 0x00 000003c9: DUP1 000003ca: REVERT 000003cb: JUMPDEST 000003cc: PUSH1 0x00 000003ce: PUSH1 0x01 000003d0: PUSH1 0x00 000003d2: CALLER 000003d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e8: AND 000003e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003fe: AND 000003ff: DUP2 00000400: MSTORE 00000401: PUSH1 0x20 00000403: ADD 00000404: SWAP1 00000405: DUP2 00000406: MSTORE 00000407: PUSH1 0x20 00000409: ADD 0000040a: PUSH1 0x00 0000040c: KECCAK256 0000040d: DUP2 0000040e: SWAP1 0000040f: SSTORE 00000410: POP 00000411: CALLER 00000412: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000427: AND 00000428: PUSH2 0x08fc 0000042b: DUP3 0000042c: SWAP1 0000042d: DUP2 0000042e: ISZERO 0000042f: MUL 00000430: SWAP1 00000431: PUSH1 0x40 00000433: MLOAD 00000434: PUSH1 0x00 00000436: PUSH1 0x40 00000438: MLOAD 00000439: DUP1 0000043a: DUP4 0000043b: SUB 0000043c: DUP2 0000043d: DUP6 0000043e: DUP9 0000043f: DUP9 00000440: CALL 00000441: SWAP4 00000442: POP 00000443: POP 00000444: POP 00000445: POP 00000446: ISZERO 00000447: ISZERO 00000448: PUSH2 0x0450 0000044b: JUMPI 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: REVERT 00000450: JUMPDEST 00000451: PUSH32 0x4083144a0c522ae47ef0b1c531ef613d80c47f4eb802902db1cfab4ce5d25e76 00000472: CALLER 00000473: DUP3 00000474: TIMESTAMP 00000475: PUSH1 0x40 00000477: MLOAD 00000478: DUP1 00000479: DUP5 0000047a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048f: AND 00000490: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a5: AND 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x20 000004aa: ADD 000004ab: DUP4 000004ac: DUP2 000004ad: MSTORE 000004ae: PUSH1 0x20 000004b0: ADD 000004b1: DUP3 000004b2: DUP2 000004b3: MSTORE 000004b4: PUSH1 0x20 000004b6: ADD 000004b7: SWAP4 000004b8: POP 000004b9: POP 000004ba: POP 000004bb: POP 000004bc: PUSH1 0x40 000004be: MLOAD 000004bf: DUP1 000004c0: SWAP2 000004c1: SUB 000004c2: SWAP1 000004c3: LOG1 000004c4: POP 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH1 0x01 000004c9: PUSH1 0x20 000004cb: MSTORE 000004cc: DUP1 000004cd: PUSH1 0x00 000004cf: MSTORE 000004d0: PUSH1 0x40 000004d2: PUSH1 0x00 000004d4: KECCAK256 000004d5: PUSH1 0x00 000004d7: SWAP2 000004d8: POP 000004d9: SWAP1 000004da: POP 000004db: SLOAD 000004dc: DUP2 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH1 0x00 000004e1: DUP2 000004e2: PUSH1 0x02 000004e4: PUSH1 0x00 000004e6: SWAP1 000004e7: SLOAD 000004e8: SWAP1 000004e9: PUSH2 0x0100 000004ec: EXP 000004ed: SWAP1 000004ee: DIV 000004ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000504: AND 00000505: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051a: AND 0000051b: PUSH4 0x3af32abf 00000520: DUP3 00000521: PUSH1 0x00 00000523: PUSH1 0x40 00000525: MLOAD 00000526: PUSH1 0x20 00000528: ADD 00000529: MSTORE 0000052a: PUSH1 0x40 0000052c: MLOAD 0000052d: DUP3 0000052e: PUSH4 0xffffffff 00000533: AND 00000534: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000552: MUL 00000553: DUP2 00000554: MSTORE 00000555: PUSH1 0x04 00000557: ADD 00000558: DUP1 00000559: DUP3 0000055a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056f: AND 00000570: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000585: AND 00000586: DUP2 00000587: MSTORE 00000588: PUSH1 0x20 0000058a: ADD 0000058b: SWAP2 0000058c: POP 0000058d: POP 0000058e: PUSH1 0x20 00000590: PUSH1 0x40 00000592: MLOAD 00000593: DUP1 00000594: DUP4 00000595: SUB 00000596: DUP2 00000597: PUSH1 0x00 00000599: DUP8 0000059a: DUP1 0000059b: EXTCODESIZE 0000059c: ISZERO 0000059d: ISZERO 0000059e: PUSH2 0x05a6 000005a1: JUMPI 000005a2: PUSH1 0x00 000005a4: DUP1 000005a5: REVERT 000005a6: JUMPDEST 000005a7: PUSH2 0x02c6 000005aa: GAS 000005ab: SUB 000005ac: CALL 000005ad: ISZERO 000005ae: ISZERO 000005af: PUSH2 0x05b7 000005b2: JUMPI 000005b3: PUSH1 0x00 000005b5: DUP1 000005b6: REVERT 000005b7: JUMPDEST 000005b8: POP 000005b9: POP 000005ba: POP 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: MLOAD 000005c0: SWAP1 000005c1: POP 000005c2: ISZERO 000005c3: ISZERO 000005c4: PUSH2 0x05cc 000005c7: JUMPI 000005c8: PUSH1 0x00 000005ca: DUP1 000005cb: REVERT 000005cc: JUMPDEST 000005cd: PUSH1 0x01 000005cf: PUSH1 0x00 000005d1: DUP5 000005d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e7: AND 000005e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fd: AND 000005fe: DUP2 000005ff: MSTORE 00000600: PUSH1 0x20 00000602: ADD 00000603: SWAP1 00000604: DUP2 00000605: MSTORE 00000606: PUSH1 0x20 00000608: ADD 00000609: PUSH1 0x00 0000060b: KECCAK256 0000060c: SLOAD 0000060d: SWAP2 0000060e: POP 0000060f: PUSH1 0x00 00000611: DUP3 00000612: GT 00000613: ISZERO 00000614: ISZERO 00000615: PUSH2 0x061d 00000618: JUMPI 00000619: PUSH1 0x00 0000061b: DUP1 0000061c: REVERT 0000061d: JUMPDEST 0000061e: PUSH1 0x02 00000620: PUSH1 0x00 00000622: SWAP1 00000623: SLOAD 00000624: SWAP1 00000625: PUSH2 0x0100 00000628: EXP 00000629: SWAP1 0000062a: DIV 0000062b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000640: AND 00000641: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000656: AND 00000657: PUSH4 0x23024408 0000065c: DUP4 0000065d: DUP6 0000065e: PUSH1 0x40 00000660: MLOAD 00000661: DUP4 00000662: PUSH4 0xffffffff 00000667: AND 00000668: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000686: MUL 00000687: DUP2 00000688: MSTORE 00000689: PUSH1 0x04 0000068b: ADD 0000068c: DUP1 0000068d: DUP3 0000068e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a3: AND 000006a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b9: AND 000006ba: DUP2 000006bb: MSTORE 000006bc: PUSH1 0x20 000006be: ADD 000006bf: SWAP2 000006c0: POP 000006c1: POP 000006c2: PUSH1 0x00 000006c4: PUSH1 0x40 000006c6: MLOAD 000006c7: DUP1 000006c8: DUP4 000006c9: SUB 000006ca: DUP2 000006cb: DUP6 000006cc: DUP9 000006cd: DUP1 000006ce: EXTCODESIZE 000006cf: ISZERO 000006d0: ISZERO 000006d1: PUSH2 0x06d9 000006d4: JUMPI 000006d5: PUSH1 0x00 000006d7: DUP1 000006d8: REVERT 000006d9: JUMPDEST 000006da: PUSH2 0x25ee 000006dd: GAS 000006de: SUB 000006df: CALL 000006e0: ISZERO 000006e1: ISZERO 000006e2: PUSH2 0x06ea 000006e5: JUMPI 000006e6: PUSH1 0x00 000006e8: DUP1 000006e9: REVERT 000006ea: JUMPDEST 000006eb: POP 000006ec: POP 000006ed: POP 000006ee: POP 000006ef: PUSH1 0x00 000006f1: PUSH1 0x01 000006f3: PUSH1 0x00 000006f5: DUP6 000006f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070b: AND 0000070c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000721: AND 00000722: DUP2 00000723: MSTORE 00000724: PUSH1 0x20 00000726: ADD 00000727: SWAP1 00000728: DUP2 00000729: MSTORE 0000072a: PUSH1 0x20 0000072c: ADD 0000072d: PUSH1 0x00 0000072f: KECCAK256 00000730: DUP2 00000731: SWAP1 00000732: SSTORE 00000733: POP 00000734: PUSH32 0xf2b8bfae9ea4da2137f22ddb93ce6ebeb5aee91bb362568ed003f1cb7b1979c4 00000755: DUP4 00000756: DUP4 00000757: TIMESTAMP 00000758: PUSH1 0x40 0000075a: MLOAD 0000075b: DUP1 0000075c: DUP5 0000075d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000772: AND 00000773: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000788: AND 00000789: DUP2 0000078a: MSTORE 0000078b: PUSH1 0x20 0000078d: ADD 0000078e: DUP4 0000078f: DUP2 00000790: MSTORE 00000791: PUSH1 0x20 00000793: ADD 00000794: DUP3 00000795: DUP2 00000796: MSTORE 00000797: PUSH1 0x20 00000799: ADD 0000079a: SWAP4 0000079b: POP 0000079c: POP 0000079d: POP 0000079e: POP 0000079f: PUSH1 0x40 000007a1: MLOAD 000007a2: DUP1 000007a3: SWAP2 000007a4: SUB 000007a5: SWAP1 000007a6: LOG1 000007a7: POP 000007a8: POP 000007a9: POP 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x00 000007ae: DUP1 000007af: SWAP1 000007b0: SLOAD 000007b1: SWAP1 000007b2: PUSH2 0x0100 000007b5: EXP 000007b6: SWAP1 000007b7: DIV 000007b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007cd: AND 000007ce: DUP2 000007cf: JUMP 000007d0: JUMPDEST 000007d1: PUSH1 0x00 000007d3: DUP1 000007d4: SWAP1 000007d5: SLOAD 000007d6: SWAP1 000007d7: PUSH2 0x0100 000007da: EXP 000007db: SWAP1 000007dc: DIV 000007dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f2: AND 000007f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000808: AND 00000809: CALLER 0000080a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081f: AND 00000820: EQ 00000821: ISZERO 00000822: ISZERO 00000823: PUSH2 0x082b 00000826: JUMPI 00000827: PUSH1 0x00 00000829: DUP1 0000082a: REVERT 0000082b: JUMPDEST 0000082c: PUSH1 0x00 0000082e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000843: AND 00000844: DUP2 00000845: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085a: AND 0000085b: EQ 0000085c: ISZERO 0000085d: ISZERO 0000085e: ISZERO 0000085f: PUSH2 0x0867 00000862: JUMPI 00000863: PUSH1 0x00 00000865: DUP1 00000866: REVERT 00000867: JUMPDEST 00000868: DUP1 00000869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087e: AND 0000087f: PUSH1 0x00 00000881: DUP1 00000882: SWAP1 00000883: SLOAD 00000884: SWAP1 00000885: PUSH2 0x0100 00000888: EXP 00000889: SWAP1 0000088a: DIV 0000088b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a0: AND 000008a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b6: AND 000008b7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000008d8: PUSH1 0x40 000008da: MLOAD 000008db: PUSH1 0x40 000008dd: MLOAD 000008de: DUP1 000008df: SWAP2 000008e0: SUB 000008e1: SWAP1 000008e2: LOG3 000008e3: DUP1 000008e4: PUSH1 0x00 000008e6: DUP1 000008e7: PUSH2 0x0100 000008ea: EXP 000008eb: DUP2 000008ec: SLOAD 000008ed: DUP2 000008ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000903: MUL 00000904: NOT 00000905: AND 00000906: SWAP1 00000907: DUP4 00000908: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091d: AND 0000091e: MUL 0000091f: OR 00000920: SWAP1 00000921: SSTORE 00000922: POP 00000923: POP 00000924: JUMP 00000925: STOP 00000926: LOG1 00000927: PUSH6 0x627a7a723058 0000092e: KECCAK256 0000092f: UNKNOWN(0xCC) 00000930: PUSH30 0x022c882f5bb59507ff7e008642fe65944cb71d227303b54575b2cfa316b2 0000094f: STOP 00000950: UNKNOWN(0x29)
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 | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xd4880d9696b22bb6abe02493967c7daddadbe01fa5766502560b3fe85c013a28
call_targets:
0xf058ee35f381a12b3a0f504025419dcaf047ce7f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd4880d9696b22bb6abe02493967c7daddadbe01fa5766502560b3fe85c013a28",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf058ee35f381a12b3a0f504025419dcaf047ce7f"
],
"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": "0x116191b6",
"selector": "0x116191b6",
"calldata_variants": [
"0x116191b6",
"0x116191b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23024408",
"selector": "0x23024408",
"calldata_variants": [
"0x23024408",
"0x230244080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42e94c90",
"selector": "0x42e94c90",
"calldata_variants": [
"0x42e94c90",
"0x42e94c900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fb130af",
"selector": "0x5fb130af",
"calldata_variants": [
"0x5fb130af",
"0x5fb130af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1088,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1452,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1759,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 659,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2057,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xd4880d9696b22bb6abe02493967c7daddadbe01fa5766502560b3fe85c013a28
call_targets:
0xf058ee35f381a12b3a0f504025419dcaf047ce7f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd4880d9696b22bb6abe02493967c7daddadbe01fa5766502560b3fe85c013a28",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf058ee35f381a12b3a0f504025419dcaf047ce7f"
],
"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": "0x116191b6",
"selector": "0x116191b6",
"calldata_variants": [
"0x116191b6",
"0x116191b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23024408",
"selector": "0x23024408",
"calldata_variants": [
"0x23024408",
"0x230244080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42e94c90",
"selector": "0x42e94c90",
"calldata_variants": [
"0x42e94c90",
"0x42e94c900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5fb130af",
"selector": "0x5fb130af",
"calldata_variants": [
"0x5fb130af",
"0x5fb130af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1088,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1452,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1759,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 659,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2057,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|