019b3844-96bd-715c-b852-ead5a516c00f
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 |
|---|---|---|---|---|
| 13597 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13598 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 111838 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 111839 | capability.graph | complete | 1 / 3 | 1 week ago |
| 111840 | detector.run | complete | 1 / 3 | 1 week ago |
| 111841 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0055 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x51cff8d9 00000019: EQ 0000001a: PUSH2 0x005a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x715018a6 00000024: EQ 00000025: PUSH2 0x00ab 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x00c2 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe3a9db1a 0000003a: EQ 0000003b: PUSH2 0x0103 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0168 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf340fa01 00000050: EQ 00000051: PUSH2 0x01b9 00000054: JUMPI 00000055: JUMPDEST 00000056: PUSH1 0x00 00000058: DUP1 00000059: REVERT 0000005a: JUMPDEST 0000005b: CALLVALUE 0000005c: DUP1 0000005d: ISZERO 0000005e: PUSH2 0x0066 00000061: JUMPI 00000062: PUSH1 0x00 00000064: DUP1 00000065: REVERT 00000066: JUMPDEST 00000067: POP 00000068: PUSH2 0x00a9 0000006b: PUSH1 0x04 0000006d: DUP1 0000006e: CALLDATASIZE 0000006f: SUB 00000070: PUSH1 0x20 00000072: DUP2 00000073: LT 00000074: ISZERO 00000075: PUSH2 0x007d 00000078: JUMPI 00000079: PUSH1 0x00 0000007b: DUP1 0000007c: REVERT 0000007d: JUMPDEST 0000007e: DUP2 0000007f: ADD 00000080: SWAP1 00000081: DUP1 00000082: DUP1 00000083: CALLDATALOAD 00000084: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000099: AND 0000009a: SWAP1 0000009b: PUSH1 0x20 0000009d: ADD 0000009e: SWAP1 0000009f: SWAP3 000000a0: SWAP2 000000a1: SWAP1 000000a2: POP 000000a3: POP 000000a4: POP 000000a5: PUSH2 0x01fd 000000a8: JUMP 000000a9: JUMPDEST 000000aa: STOP 000000ab: JUMPDEST 000000ac: CALLVALUE 000000ad: DUP1 000000ae: ISZERO 000000af: PUSH2 0x00b7 000000b2: JUMPI 000000b3: PUSH1 0x00 000000b5: DUP1 000000b6: REVERT 000000b7: JUMPDEST 000000b8: POP 000000b9: PUSH2 0x00c0 000000bc: PUSH2 0x03c9 000000bf: JUMP 000000c0: JUMPDEST 000000c1: STOP 000000c2: JUMPDEST 000000c3: CALLVALUE 000000c4: DUP1 000000c5: ISZERO 000000c6: PUSH2 0x00ce 000000c9: JUMPI 000000ca: PUSH1 0x00 000000cc: DUP1 000000cd: REVERT 000000ce: JUMPDEST 000000cf: POP 000000d0: PUSH2 0x00d7 000000d3: PUSH2 0x054f 000000d6: JUMP 000000d7: JUMPDEST 000000d8: PUSH1 0x40 000000da: MLOAD 000000db: DUP1 000000dc: DUP3 000000dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f2: AND 000000f3: DUP2 000000f4: MSTORE 000000f5: PUSH1 0x20 000000f7: ADD 000000f8: SWAP2 000000f9: POP 000000fa: POP 000000fb: PUSH1 0x40 000000fd: MLOAD 000000fe: DUP1 000000ff: SWAP2 00000100: SUB 00000101: SWAP1 00000102: RETURN 00000103: JUMPDEST 00000104: CALLVALUE 00000105: DUP1 00000106: ISZERO 00000107: PUSH2 0x010f 0000010a: JUMPI 0000010b: PUSH1 0x00 0000010d: DUP1 0000010e: REVERT 0000010f: JUMPDEST 00000110: POP 00000111: PUSH2 0x0152 00000114: PUSH1 0x04 00000116: DUP1 00000117: CALLDATASIZE 00000118: SUB 00000119: PUSH1 0x20 0000011b: DUP2 0000011c: LT 0000011d: ISZERO 0000011e: PUSH2 0x0126 00000121: JUMPI 00000122: PUSH1 0x00 00000124: DUP1 00000125: REVERT 00000126: JUMPDEST 00000127: DUP2 00000128: ADD 00000129: SWAP1 0000012a: DUP1 0000012b: DUP1 0000012c: CALLDATALOAD 0000012d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000142: AND 00000143: SWAP1 00000144: PUSH1 0x20 00000146: ADD 00000147: SWAP1 00000148: SWAP3 00000149: SWAP2 0000014a: SWAP1 0000014b: POP 0000014c: POP 0000014d: POP 0000014e: PUSH2 0x0578 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: CALLVALUE 0000016a: DUP1 0000016b: ISZERO 0000016c: PUSH2 0x0174 0000016f: JUMPI 00000170: PUSH1 0x00 00000172: DUP1 00000173: REVERT 00000174: JUMPDEST 00000175: POP 00000176: PUSH2 0x01b7 00000179: PUSH1 0x04 0000017b: DUP1 0000017c: CALLDATASIZE 0000017d: SUB 0000017e: PUSH1 0x20 00000180: DUP2 00000181: LT 00000182: ISZERO 00000183: PUSH2 0x018b 00000186: JUMPI 00000187: PUSH1 0x00 00000189: DUP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: DUP2 0000018d: ADD 0000018e: SWAP1 0000018f: DUP1 00000190: DUP1 00000191: CALLDATALOAD 00000192: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a7: AND 000001a8: SWAP1 000001a9: PUSH1 0x20 000001ab: ADD 000001ac: SWAP1 000001ad: SWAP3 000001ae: SWAP2 000001af: SWAP1 000001b0: POP 000001b1: POP 000001b2: POP 000001b3: PUSH2 0x05c1 000001b6: JUMP 000001b7: JUMPDEST 000001b8: STOP 000001b9: JUMPDEST 000001ba: PUSH2 0x01fb 000001bd: PUSH1 0x04 000001bf: DUP1 000001c0: CALLDATASIZE 000001c1: SUB 000001c2: PUSH1 0x20 000001c4: DUP2 000001c5: LT 000001c6: ISZERO 000001c7: PUSH2 0x01cf 000001ca: JUMPI 000001cb: PUSH1 0x00 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: DUP2 000001d1: ADD 000001d2: SWAP1 000001d3: DUP1 000001d4: DUP1 000001d5: CALLDATALOAD 000001d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001eb: AND 000001ec: SWAP1 000001ed: PUSH1 0x20 000001ef: ADD 000001f0: SWAP1 000001f1: SWAP3 000001f2: SWAP2 000001f3: SWAP1 000001f4: POP 000001f5: POP 000001f6: POP 000001f7: PUSH2 0x07cc 000001fa: JUMP 000001fb: JUMPDEST 000001fc: STOP 000001fd: JUMPDEST 000001fe: PUSH2 0x0205 00000201: PUSH2 0x0980 00000204: JUMP 00000205: JUMPDEST 00000206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000021b: AND 0000021c: PUSH1 0x00 0000021e: DUP1 0000021f: SLOAD 00000220: SWAP1 00000221: PUSH2 0x0100 00000224: EXP 00000225: SWAP1 00000226: DIV 00000227: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023c: AND 0000023d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000252: AND 00000253: EQ 00000254: PUSH2 0x02c5 00000257: JUMPI 00000258: PUSH1 0x40 0000025a: MLOAD 0000025b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000027c: DUP2 0000027d: MSTORE 0000027e: PUSH1 0x04 00000280: ADD 00000281: DUP1 00000282: DUP1 00000283: PUSH1 0x20 00000285: ADD 00000286: DUP3 00000287: DUP2 00000288: SUB 00000289: DUP3 0000028a: MSTORE 0000028b: PUSH1 0x20 0000028d: DUP2 0000028e: MSTORE 0000028f: PUSH1 0x20 00000291: ADD 00000292: DUP1 00000293: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000002b4: DUP2 000002b5: MSTORE 000002b6: POP 000002b7: PUSH1 0x20 000002b9: ADD 000002ba: SWAP2 000002bb: POP 000002bc: POP 000002bd: PUSH1 0x40 000002bf: MLOAD 000002c0: DUP1 000002c1: SWAP2 000002c2: SUB 000002c3: SWAP1 000002c4: REVERT 000002c5: JUMPDEST 000002c6: PUSH1 0x00 000002c8: PUSH1 0x01 000002ca: PUSH1 0x00 000002cc: DUP4 000002cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e2: AND 000002e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f8: AND 000002f9: DUP2 000002fa: MSTORE 000002fb: PUSH1 0x20 000002fd: ADD 000002fe: SWAP1 000002ff: DUP2 00000300: MSTORE 00000301: PUSH1 0x20 00000303: ADD 00000304: PUSH1 0x00 00000306: KECCAK256 00000307: SLOAD 00000308: SWAP1 00000309: POP 0000030a: PUSH1 0x00 0000030c: PUSH1 0x01 0000030e: PUSH1 0x00 00000310: DUP5 00000311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000326: AND 00000327: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033c: AND 0000033d: DUP2 0000033e: MSTORE 0000033f: PUSH1 0x20 00000341: ADD 00000342: SWAP1 00000343: DUP2 00000344: MSTORE 00000345: PUSH1 0x20 00000347: ADD 00000348: PUSH1 0x00 0000034a: KECCAK256 0000034b: DUP2 0000034c: SWAP1 0000034d: SSTORE 0000034e: POP 0000034f: PUSH2 0x0377 00000352: DUP2 00000353: DUP4 00000354: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000369: AND 0000036a: PUSH2 0x0988 0000036d: SWAP1 0000036e: SWAP2 0000036f: SWAP1 00000370: PUSH4 0xffffffff 00000375: AND 00000376: JUMP 00000377: JUMPDEST 00000378: DUP2 00000379: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038e: AND 0000038f: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 000003b0: DUP3 000003b1: PUSH1 0x40 000003b3: MLOAD 000003b4: DUP1 000003b5: DUP3 000003b6: DUP2 000003b7: MSTORE 000003b8: PUSH1 0x20 000003ba: ADD 000003bb: SWAP2 000003bc: POP 000003bd: POP 000003be: PUSH1 0x40 000003c0: MLOAD 000003c1: DUP1 000003c2: SWAP2 000003c3: SUB 000003c4: SWAP1 000003c5: LOG2 000003c6: POP 000003c7: POP 000003c8: JUMP 000003c9: JUMPDEST 000003ca: PUSH2 0x03d1 000003cd: PUSH2 0x0980 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e7: AND 000003e8: PUSH1 0x00 000003ea: DUP1 000003eb: SLOAD 000003ec: SWAP1 000003ed: PUSH2 0x0100 000003f0: EXP 000003f1: SWAP1 000003f2: DIV 000003f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000408: AND 00000409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000041e: AND 0000041f: EQ 00000420: PUSH2 0x0491 00000423: JUMPI 00000424: PUSH1 0x40 00000426: MLOAD 00000427: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000448: DUP2 00000449: MSTORE 0000044a: PUSH1 0x04 0000044c: ADD 0000044d: DUP1 0000044e: DUP1 0000044f: PUSH1 0x20 00000451: ADD 00000452: DUP3 00000453: DUP2 00000454: SUB 00000455: DUP3 00000456: MSTORE 00000457: PUSH1 0x20 00000459: DUP2 0000045a: MSTORE 0000045b: PUSH1 0x20 0000045d: ADD 0000045e: DUP1 0000045f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000480: DUP2 00000481: MSTORE 00000482: POP 00000483: PUSH1 0x20 00000485: ADD 00000486: SWAP2 00000487: POP 00000488: POP 00000489: PUSH1 0x40 0000048b: MLOAD 0000048c: DUP1 0000048d: SWAP2 0000048e: SUB 0000048f: SWAP1 00000490: REVERT 00000491: JUMPDEST 00000492: PUSH1 0x00 00000494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a9: AND 000004aa: PUSH1 0x00 000004ac: DUP1 000004ad: SLOAD 000004ae: SWAP1 000004af: PUSH2 0x0100 000004b2: EXP 000004b3: SWAP1 000004b4: DIV 000004b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ca: AND 000004cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e0: AND 000004e1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000502: PUSH1 0x40 00000504: MLOAD 00000505: PUSH1 0x40 00000507: MLOAD 00000508: DUP1 00000509: SWAP2 0000050a: SUB 0000050b: SWAP1 0000050c: LOG3 0000050d: PUSH1 0x00 0000050f: DUP1 00000510: PUSH1 0x00 00000512: PUSH2 0x0100 00000515: EXP 00000516: DUP2 00000517: SLOAD 00000518: DUP2 00000519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052e: MUL 0000052f: NOT 00000530: AND 00000531: SWAP1 00000532: DUP4 00000533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000548: AND 00000549: MUL 0000054a: OR 0000054b: SWAP1 0000054c: SSTORE 0000054d: POP 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH1 0x00 00000552: DUP1 00000553: PUSH1 0x00 00000555: SWAP1 00000556: SLOAD 00000557: SWAP1 00000558: PUSH2 0x0100 0000055b: EXP 0000055c: SWAP1 0000055d: DIV 0000055e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000573: AND 00000574: SWAP1 00000575: POP 00000576: SWAP1 00000577: JUMP 00000578: JUMPDEST 00000579: PUSH1 0x00 0000057b: PUSH1 0x01 0000057d: PUSH1 0x00 0000057f: DUP4 00000580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000595: AND 00000596: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ab: AND 000005ac: DUP2 000005ad: MSTORE 000005ae: PUSH1 0x20 000005b0: ADD 000005b1: SWAP1 000005b2: DUP2 000005b3: MSTORE 000005b4: PUSH1 0x20 000005b6: ADD 000005b7: PUSH1 0x00 000005b9: KECCAK256 000005ba: SLOAD 000005bb: SWAP1 000005bc: POP 000005bd: SWAP2 000005be: SWAP1 000005bf: POP 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH2 0x05c9 000005c5: PUSH2 0x0980 000005c8: JUMP 000005c9: JUMPDEST 000005ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005df: AND 000005e0: PUSH1 0x00 000005e2: DUP1 000005e3: SLOAD 000005e4: SWAP1 000005e5: PUSH2 0x0100 000005e8: EXP 000005e9: SWAP1 000005ea: DIV 000005eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000600: AND 00000601: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000616: AND 00000617: EQ 00000618: PUSH2 0x0689 0000061b: JUMPI 0000061c: PUSH1 0x40 0000061e: MLOAD 0000061f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000640: DUP2 00000641: MSTORE 00000642: PUSH1 0x04 00000644: ADD 00000645: DUP1 00000646: DUP1 00000647: PUSH1 0x20 00000649: ADD 0000064a: DUP3 0000064b: DUP2 0000064c: SUB 0000064d: DUP3 0000064e: MSTORE 0000064f: PUSH1 0x20 00000651: DUP2 00000652: MSTORE 00000653: PUSH1 0x20 00000655: ADD 00000656: DUP1 00000657: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000678: DUP2 00000679: MSTORE 0000067a: POP 0000067b: PUSH1 0x20 0000067d: ADD 0000067e: SWAP2 0000067f: POP 00000680: POP 00000681: PUSH1 0x40 00000683: MLOAD 00000684: DUP1 00000685: SWAP2 00000686: SUB 00000687: SWAP1 00000688: REVERT 00000689: JUMPDEST 0000068a: PUSH1 0x00 0000068c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a1: AND 000006a2: DUP2 000006a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b8: AND 000006b9: EQ 000006ba: ISZERO 000006bb: PUSH2 0x070f 000006be: JUMPI 000006bf: PUSH1 0x40 000006c1: MLOAD 000006c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006e3: DUP2 000006e4: MSTORE 000006e5: PUSH1 0x04 000006e7: ADD 000006e8: DUP1 000006e9: DUP1 000006ea: PUSH1 0x20 000006ec: ADD 000006ed: DUP3 000006ee: DUP2 000006ef: SUB 000006f0: DUP3 000006f1: MSTORE 000006f2: PUSH1 0x26 000006f4: DUP2 000006f5: MSTORE 000006f6: PUSH1 0x20 000006f8: ADD 000006f9: DUP1 000006fa: PUSH2 0x0b4b 000006fd: PUSH1 0x26 000006ff: SWAP2 00000700: CODECOPY 00000701: PUSH1 0x40 00000703: ADD 00000704: SWAP2 00000705: POP 00000706: POP 00000707: PUSH1 0x40 00000709: MLOAD 0000070a: DUP1 0000070b: SWAP2 0000070c: SUB 0000070d: SWAP1 0000070e: REVERT 0000070f: JUMPDEST 00000710: DUP1 00000711: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000726: AND 00000727: PUSH1 0x00 00000729: DUP1 0000072a: SLOAD 0000072b: SWAP1 0000072c: PUSH2 0x0100 0000072f: EXP 00000730: SWAP1 00000731: DIV 00000732: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000747: AND 00000748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075d: AND 0000075e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000077f: PUSH1 0x40 00000781: MLOAD 00000782: PUSH1 0x40 00000784: MLOAD 00000785: DUP1 00000786: SWAP2 00000787: SUB 00000788: SWAP1 00000789: LOG3 0000078a: DUP1 0000078b: PUSH1 0x00 0000078d: DUP1 0000078e: PUSH2 0x0100 00000791: EXP 00000792: DUP2 00000793: SLOAD 00000794: DUP2 00000795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007aa: MUL 000007ab: NOT 000007ac: AND 000007ad: SWAP1 000007ae: DUP4 000007af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c4: AND 000007c5: MUL 000007c6: OR 000007c7: SWAP1 000007c8: SSTORE 000007c9: POP 000007ca: POP 000007cb: JUMP 000007cc: JUMPDEST 000007cd: PUSH2 0x07d4 000007d0: PUSH2 0x0980 000007d3: JUMP 000007d4: JUMPDEST 000007d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ea: AND 000007eb: PUSH1 0x00 000007ed: DUP1 000007ee: SLOAD 000007ef: SWAP1 000007f0: PUSH2 0x0100 000007f3: EXP 000007f4: SWAP1 000007f5: DIV 000007f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080b: AND 0000080c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000821: AND 00000822: EQ 00000823: PUSH2 0x0894 00000826: JUMPI 00000827: PUSH1 0x40 00000829: MLOAD 0000082a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000084b: DUP2 0000084c: MSTORE 0000084d: PUSH1 0x04 0000084f: ADD 00000850: DUP1 00000851: DUP1 00000852: PUSH1 0x20 00000854: ADD 00000855: DUP3 00000856: DUP2 00000857: SUB 00000858: DUP3 00000859: MSTORE 0000085a: PUSH1 0x20 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x20 00000860: ADD 00000861: DUP1 00000862: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000883: DUP2 00000884: MSTORE 00000885: POP 00000886: PUSH1 0x20 00000888: ADD 00000889: SWAP2 0000088a: POP 0000088b: POP 0000088c: PUSH1 0x40 0000088e: MLOAD 0000088f: DUP1 00000890: SWAP2 00000891: SUB 00000892: SWAP1 00000893: REVERT 00000894: JUMPDEST 00000895: PUSH1 0x00 00000897: CALLVALUE 00000898: SWAP1 00000899: POP 0000089a: PUSH2 0x08eb 0000089d: DUP2 0000089e: PUSH1 0x01 000008a0: PUSH1 0x00 000008a2: DUP6 000008a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b8: AND 000008b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ce: AND 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH1 0x20 000008d3: ADD 000008d4: SWAP1 000008d5: DUP2 000008d6: MSTORE 000008d7: PUSH1 0x20 000008d9: ADD 000008da: PUSH1 0x00 000008dc: KECCAK256 000008dd: SLOAD 000008de: PUSH2 0x0ac2 000008e1: SWAP1 000008e2: SWAP2 000008e3: SWAP1 000008e4: PUSH4 0xffffffff 000008e9: AND 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH1 0x01 000008ee: PUSH1 0x00 000008f0: DUP5 000008f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000906: AND 00000907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091c: AND 0000091d: DUP2 0000091e: MSTORE 0000091f: PUSH1 0x20 00000921: ADD 00000922: SWAP1 00000923: DUP2 00000924: MSTORE 00000925: PUSH1 0x20 00000927: ADD 00000928: PUSH1 0x00 0000092a: KECCAK256 0000092b: DUP2 0000092c: SWAP1 0000092d: SSTORE 0000092e: POP 0000092f: DUP2 00000930: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000945: AND 00000946: PUSH32 0x2da466a7b24304f47e87fa2e1e5a81b9831ce54fec19055ce277ca2f39ba42c4 00000967: DUP3 00000968: PUSH1 0x40 0000096a: MLOAD 0000096b: DUP1 0000096c: DUP3 0000096d: DUP2 0000096e: MSTORE 0000096f: PUSH1 0x20 00000971: ADD 00000972: SWAP2 00000973: POP 00000974: POP 00000975: PUSH1 0x40 00000977: MLOAD 00000978: DUP1 00000979: SWAP2 0000097a: SUB 0000097b: SWAP1 0000097c: LOG2 0000097d: POP 0000097e: POP 0000097f: JUMP 00000980: JUMPDEST 00000981: PUSH1 0x00 00000983: CALLER 00000984: SWAP1 00000985: POP 00000986: SWAP1 00000987: JUMP 00000988: JUMPDEST 00000989: DUP1 0000098a: SELFBALANCE 0000098b: LT 0000098c: ISZERO 0000098d: PUSH2 0x09fe 00000990: JUMPI 00000991: PUSH1 0x40 00000993: MLOAD 00000994: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009b5: DUP2 000009b6: MSTORE 000009b7: PUSH1 0x04 000009b9: ADD 000009ba: DUP1 000009bb: DUP1 000009bc: PUSH1 0x20 000009be: ADD 000009bf: DUP3 000009c0: DUP2 000009c1: SUB 000009c2: DUP3 000009c3: MSTORE 000009c4: PUSH1 0x1d 000009c6: DUP2 000009c7: MSTORE 000009c8: PUSH1 0x20 000009ca: ADD 000009cb: DUP1 000009cc: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000009ed: DUP2 000009ee: MSTORE 000009ef: POP 000009f0: PUSH1 0x20 000009f2: ADD 000009f3: SWAP2 000009f4: POP 000009f5: POP 000009f6: PUSH1 0x40 000009f8: MLOAD 000009f9: DUP1 000009fa: SWAP2 000009fb: SUB 000009fc: SWAP1 000009fd: REVERT 000009fe: JUMPDEST 000009ff: PUSH1 0x00 00000a01: DUP3 00000a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a17: AND 00000a18: DUP3 00000a19: PUSH1 0x40 00000a1b: MLOAD 00000a1c: DUP1 00000a1d: PUSH1 0x00 00000a1f: ADD 00000a20: SWAP1 00000a21: POP 00000a22: PUSH1 0x00 00000a24: PUSH1 0x40 00000a26: MLOAD 00000a27: DUP1 00000a28: DUP4 00000a29: SUB 00000a2a: DUP2 00000a2b: DUP6 00000a2c: DUP8 00000a2d: GAS 00000a2e: CALL 00000a2f: SWAP3 00000a30: POP 00000a31: POP 00000a32: POP 00000a33: RETURNDATASIZE 00000a34: DUP1 00000a35: PUSH1 0x00 00000a37: DUP2 00000a38: EQ 00000a39: PUSH2 0x0a5e 00000a3c: JUMPI 00000a3d: PUSH1 0x40 00000a3f: MLOAD 00000a40: SWAP2 00000a41: POP 00000a42: PUSH1 0x1f 00000a44: NOT 00000a45: PUSH1 0x3f 00000a47: RETURNDATASIZE 00000a48: ADD 00000a49: AND 00000a4a: DUP3 00000a4b: ADD 00000a4c: PUSH1 0x40 00000a4e: MSTORE 00000a4f: RETURNDATASIZE 00000a50: DUP3 00000a51: MSTORE 00000a52: RETURNDATASIZE 00000a53: PUSH1 0x00 00000a55: PUSH1 0x20 00000a57: DUP5 00000a58: ADD 00000a59: RETURNDATACOPY 00000a5a: PUSH2 0x0a63 00000a5d: JUMP 00000a5e: JUMPDEST 00000a5f: PUSH1 0x60 00000a61: SWAP2 00000a62: POP 00000a63: JUMPDEST 00000a64: POP 00000a65: POP 00000a66: SWAP1 00000a67: POP 00000a68: DUP1 00000a69: PUSH2 0x0abd 00000a6c: JUMPI 00000a6d: PUSH1 0x40 00000a6f: MLOAD 00000a70: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a91: DUP2 00000a92: MSTORE 00000a93: PUSH1 0x04 00000a95: ADD 00000a96: DUP1 00000a97: DUP1 00000a98: PUSH1 0x20 00000a9a: ADD 00000a9b: DUP3 00000a9c: DUP2 00000a9d: SUB 00000a9e: DUP3 00000a9f: MSTORE 00000aa0: PUSH1 0x3a 00000aa2: DUP2 00000aa3: MSTORE 00000aa4: PUSH1 0x20 00000aa6: ADD 00000aa7: DUP1 00000aa8: PUSH2 0x0b71 00000aab: PUSH1 0x3a 00000aad: SWAP2 00000aae: CODECOPY 00000aaf: PUSH1 0x40 00000ab1: ADD 00000ab2: SWAP2 00000ab3: POP 00000ab4: POP 00000ab5: PUSH1 0x40 00000ab7: MLOAD 00000ab8: DUP1 00000ab9: SWAP2 00000aba: SUB 00000abb: SWAP1 00000abc: REVERT 00000abd: JUMPDEST 00000abe: POP 00000abf: POP 00000ac0: POP 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH1 0x00 00000ac5: DUP1 00000ac6: DUP3 00000ac7: DUP5 00000ac8: ADD 00000ac9: SWAP1 00000aca: POP 00000acb: DUP4 00000acc: DUP2 00000acd: LT 00000ace: ISZERO 00000acf: PUSH2 0x0b40 00000ad2: JUMPI 00000ad3: PUSH1 0x40 00000ad5: MLOAD 00000ad6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000af7: DUP2 00000af8: MSTORE 00000af9: PUSH1 0x04 00000afb: ADD 00000afc: DUP1 00000afd: DUP1 00000afe: PUSH1 0x20 00000b00: ADD 00000b01: DUP3 00000b02: DUP2 00000b03: SUB 00000b04: DUP3 00000b05: MSTORE 00000b06: PUSH1 0x1b 00000b08: DUP2 00000b09: MSTORE 00000b0a: PUSH1 0x20 00000b0c: ADD 00000b0d: DUP1 00000b0e: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000b2f: DUP2 00000b30: MSTORE 00000b31: POP 00000b32: PUSH1 0x20 00000b34: ADD 00000b35: SWAP2 00000b36: POP 00000b37: POP 00000b38: PUSH1 0x40 00000b3a: MLOAD 00000b3b: DUP1 00000b3c: SWAP2 00000b3d: SUB 00000b3e: SWAP1 00000b3f: REVERT 00000b40: JUMPDEST 00000b41: DUP1 00000b42: SWAP2 00000b43: POP 00000b44: POP 00000b45: SWAP3 00000b46: SWAP2 00000b47: POP 00000b48: POP 00000b49: JUMP 00000b4a: INVALID 00000b4b: UNKNOWN(0x4F) 00000b4c: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00000b65: PUSH27 0x65726f2061646472657373416464726573733a20756e61626c6520 00000b81: PUSH21 0x6f2073656e642076616c75652c2072656369706965 00000b97: PUSH15 0x74206d617920686176652072657665 00000ba7: PUSH19 0x746564a2646970667358221220f7a5b4509c9c 00000bbb: UNKNOWN(0xBB) 00000bbc: UNKNOWN(0xAF) 00000bbd: AND 00000bbe: DUP15 00000bbf: BASEFEE 00000bc0: PUSH23 0x1f36bb6cabad28081edf91ccf880a1785e834d4e64736f 00000bd8: PUSH13
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x41ee0b4a71fae076daf18a35664f7964bc11dc8ad72863b74b22098d699a58ce
call_targets:
0x056cbc3d1926b50b493dc2b92d3ccb2b79f65bca
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x41ee0b4a71fae076daf18a35664f7964bc11dc8ad72863b74b22098d699a58ce",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x056cbc3d1926b50b493dc2b92d3ccb2b79f65bca"
],
"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": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3a9db1a",
"selector": "0xe3a9db1a",
"calldata_variants": [
"0xe3a9db1a",
"0xe3a9db1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2606,
"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: 0x41ee0b4a71fae076daf18a35664f7964bc11dc8ad72863b74b22098d699a58ce
call_targets:
0x056cbc3d1926b50b493dc2b92d3ccb2b79f65bca
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x41ee0b4a71fae076daf18a35664f7964bc11dc8ad72863b74b22098d699a58ce",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x056cbc3d1926b50b493dc2b92d3ccb2b79f65bca"
],
"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": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3a9db1a",
"selector": "0xe3a9db1a",
"calldata_variants": [
"0xe3a9db1a",
"0xe3a9db1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2606,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|