019b3844-96ff-713d-9324-9957b727f5d6
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 |
|---|---|---|---|---|
| 13643 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13644 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 56901 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 56902 | capability.graph | complete | 1 / 3 | 1 week ago |
| 56903 | detector.run | complete | 1 / 3 | 1 week ago |
| 56904 | 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 0x0074 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x76a162a3 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x76a162a3 00000024: EQ 00000025: PUSH2 0x011e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9a202d47 0000002f: EQ 00000030: PUSH2 0x0133 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xab033ea9 0000003a: EQ 0000003b: PUSH2 0x0148 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd9caed12 00000045: EQ 00000046: PUSH2 0x0168 00000049: JUMPI 0000004a: PUSH2 0x00ae 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x3bffd49d 00000055: EQ 00000056: PUSH2 0x00b3 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x67b1f5df 00000060: EQ 00000061: PUSH2 0x00de 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x704b6c02 0000006b: EQ 0000006c: PUSH2 0x00fe 0000006f: JUMPI 00000070: PUSH2 0x00ae 00000073: JUMP 00000074: JUMPDEST 00000075: CALLDATASIZE 00000076: PUSH2 0x00ae 00000079: JUMPI 0000007a: PUSH1 0x01 0000007c: SLOAD 0000007d: PUSH1 0x01 0000007f: PUSH1 0x01 00000081: PUSH1 0xa0 00000083: SHL 00000084: SUB 00000085: AND 00000086: CALLER 00000087: EQ 00000088: PUSH2 0x00ac 0000008b: JUMPI 0000008c: PUSH1 0x40 0000008e: MLOAD 0000008f: PUSH3 0x461bcd 00000093: PUSH1 0xe5 00000095: SHL 00000096: DUP2 00000097: MSTORE 00000098: PUSH1 0x04 0000009a: ADD 0000009b: PUSH2 0x00a3 0000009e: SWAP1 0000009f: PUSH2 0x08a8 000000a2: JUMP 000000a3: JUMPDEST 000000a4: PUSH1 0x40 000000a6: MLOAD 000000a7: DUP1 000000a8: SWAP2 000000a9: SUB 000000aa: SWAP1 000000ab: REVERT 000000ac: JUMPDEST 000000ad: STOP 000000ae: JUMPDEST 000000af: PUSH1 0x00 000000b1: DUP1 000000b2: REVERT 000000b3: JUMPDEST 000000b4: CALLVALUE 000000b5: DUP1 000000b6: ISZERO 000000b7: PUSH2 0x00bf 000000ba: JUMPI 000000bb: PUSH1 0x00 000000bd: DUP1 000000be: REVERT 000000bf: JUMPDEST 000000c0: POP 000000c1: PUSH2 0x00c8 000000c4: PUSH2 0x0188 000000c7: JUMP 000000c8: JUMPDEST 000000c9: PUSH1 0x40 000000cb: MLOAD 000000cc: PUSH2 0x00d5 000000cf: SWAP2 000000d0: SWAP1 000000d1: PUSH2 0x0723 000000d4: JUMP 000000d5: JUMPDEST 000000d6: PUSH1 0x40 000000d8: MLOAD 000000d9: DUP1 000000da: SWAP2 000000db: SUB 000000dc: SWAP1 000000dd: RETURN 000000de: JUMPDEST 000000df: CALLVALUE 000000e0: DUP1 000000e1: ISZERO 000000e2: PUSH2 0x00ea 000000e5: JUMPI 000000e6: PUSH1 0x00 000000e8: DUP1 000000e9: REVERT 000000ea: JUMPDEST 000000eb: POP 000000ec: PUSH2 0x00ac 000000ef: PUSH2 0x00f9 000000f2: CALLDATASIZE 000000f3: PUSH1 0x04 000000f5: PUSH2 0x06af 000000f8: JUMP 000000f9: JUMPDEST 000000fa: PUSH2 0x0197 000000fd: JUMP 000000fe: JUMPDEST 000000ff: CALLVALUE 00000100: DUP1 00000101: ISZERO 00000102: PUSH2 0x010a 00000105: JUMPI 00000106: PUSH1 0x00 00000108: DUP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: POP 0000010c: PUSH2 0x00ac 0000010f: PUSH2 0x0119 00000112: CALLDATASIZE 00000113: PUSH1 0x04 00000115: PUSH2 0x06af 00000118: JUMP 00000119: JUMPDEST 0000011a: PUSH2 0x0245 0000011d: JUMP 0000011e: JUMPDEST 0000011f: CALLVALUE 00000120: DUP1 00000121: ISZERO 00000122: PUSH2 0x012a 00000125: JUMPI 00000126: PUSH1 0x00 00000128: DUP1 00000129: REVERT 0000012a: JUMPDEST 0000012b: POP 0000012c: PUSH2 0x00c8 0000012f: PUSH2 0x0303 00000132: JUMP 00000133: JUMPDEST 00000134: CALLVALUE 00000135: DUP1 00000136: ISZERO 00000137: PUSH2 0x013f 0000013a: JUMPI 0000013b: PUSH1 0x00 0000013d: DUP1 0000013e: REVERT 0000013f: JUMPDEST 00000140: POP 00000141: PUSH2 0x00ac 00000144: PUSH2 0x0312 00000147: JUMP 00000148: JUMPDEST 00000149: CALLVALUE 0000014a: DUP1 0000014b: ISZERO 0000014c: PUSH2 0x0154 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: DUP1 00000153: REVERT 00000154: JUMPDEST 00000155: POP 00000156: PUSH2 0x00ac 00000159: PUSH2 0x0163 0000015c: CALLDATASIZE 0000015d: PUSH1 0x04 0000015f: PUSH2 0x06af 00000162: JUMP 00000163: JUMPDEST 00000164: PUSH2 0x036c 00000167: JUMP 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 0x00ac 00000179: PUSH2 0x0183 0000017c: CALLDATASIZE 0000017d: PUSH1 0x04 0000017f: PUSH2 0x06cb 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH2 0x040e 00000187: JUMP 00000188: JUMPDEST 00000189: PUSH1 0x01 0000018b: SLOAD 0000018c: PUSH1 0x01 0000018e: PUSH1 0x01 00000190: PUSH1 0xa0 00000192: SHL 00000193: SUB 00000194: AND 00000195: SWAP1 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH1 0x02 0000019a: SLOAD 0000019b: PUSH1 0x01 0000019d: PUSH1 0x01 0000019f: PUSH1 0xa0 000001a1: SHL 000001a2: SUB 000001a3: AND 000001a4: CALLER 000001a5: EQ 000001a6: PUSH2 0x01c1 000001a9: JUMPI 000001aa: PUSH1 0x40 000001ac: MLOAD 000001ad: PUSH3 0x461bcd 000001b1: PUSH1 0xe5 000001b3: SHL 000001b4: DUP2 000001b5: MSTORE 000001b6: PUSH1 0x04 000001b8: ADD 000001b9: PUSH2 0x00a3 000001bc: SWAP1 000001bd: PUSH2 0x0866 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH2 0x01ca 000001c5: DUP2 000001c6: PUSH2 0x0448 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH2 0x01e6 000001ce: JUMPI 000001cf: PUSH1 0x40 000001d1: MLOAD 000001d2: PUSH3 0x461bcd 000001d6: PUSH1 0xe5 000001d8: SHL 000001d9: DUP2 000001da: MSTORE 000001db: PUSH1 0x04 000001dd: ADD 000001de: PUSH2 0x00a3 000001e1: SWAP1 000001e2: PUSH2 0x0801 000001e5: JUMP 000001e6: JUMPDEST 000001e7: PUSH1 0x01 000001e9: DUP1 000001ea: SLOAD 000001eb: PUSH1 0x01 000001ed: PUSH1 0x01 000001ef: PUSH1 0xa0 000001f1: SHL 000001f2: SUB 000001f3: DUP4 000001f4: DUP2 000001f5: AND 000001f6: PUSH1 0x01 000001f8: PUSH1 0x01 000001fa: PUSH1 0xa0 000001fc: SHL 000001fd: SUB 000001fe: NOT 000001ff: DUP4 00000200: AND 00000201: OR 00000202: SWAP1 00000203: SWAP3 00000204: SSTORE 00000205: PUSH1 0x40 00000207: MLOAD 00000208: SWAP2 00000209: AND 0000020a: SWAP1 0000020b: PUSH32 0x28acb18d00680c2516118d7bcca789e3fda00d9203aa3e9c39df6961e1e3d73c 0000022c: SWAP1 0000022d: PUSH2 0x0239 00000230: SWAP1 00000231: DUP4 00000232: SWAP1 00000233: DUP6 00000234: SWAP1 00000235: PUSH2 0x0750 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: DUP1 0000023e: SWAP2 0000023f: SUB 00000240: SWAP1 00000241: LOG1 00000242: POP 00000243: POP 00000244: JUMP 00000245: JUMPDEST 00000246: CALLER 00000247: PUSH1 0x01 00000249: PUSH1 0x01 0000024b: PUSH1 0xa0 0000024d: SHL 0000024e: SUB 0000024f: PUSH32 0x000000000000000000000000b2d3731fd28309c399774fb26f993697c174f451 00000270: AND 00000271: EQ 00000272: PUSH2 0x028d 00000275: JUMPI 00000276: PUSH1 0x40 00000278: MLOAD 00000279: PUSH3 0x461bcd 0000027d: PUSH1 0xe5 0000027f: SHL 00000280: DUP2 00000281: MSTORE 00000282: PUSH1 0x04 00000284: ADD 00000285: PUSH2 0x00a3 00000288: SWAP1 00000289: PUSH2 0x0838 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH1 0x01 00000290: PUSH1 0x01 00000292: PUSH1 0xa0 00000294: SHL 00000295: SUB 00000296: DUP2 00000297: AND 00000298: PUSH2 0x02b3 0000029b: JUMPI 0000029c: PUSH1 0x40 0000029e: MLOAD 0000029f: PUSH3 0x461bcd 000002a3: PUSH1 0xe5 000002a5: SHL 000002a6: DUP2 000002a7: MSTORE 000002a8: PUSH1 0x04 000002aa: ADD 000002ab: PUSH2 0x00a3 000002ae: SWAP1 000002af: PUSH2 0x090a 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH1 0x00 000002b6: SLOAD 000002b7: PUSH1 0x01 000002b9: PUSH1 0x01 000002bb: PUSH1 0xa0 000002bd: SHL 000002be: SUB 000002bf: DUP3 000002c0: DUP2 000002c1: AND 000002c2: SWAP2 000002c3: AND 000002c4: EQ 000002c5: ISZERO 000002c6: PUSH2 0x02e1 000002c9: JUMPI 000002ca: PUSH1 0x40 000002cc: MLOAD 000002cd: PUSH3 0x461bcd 000002d1: PUSH1 0xe5 000002d3: SHL 000002d4: DUP2 000002d5: MSTORE 000002d6: PUSH1 0x04 000002d8: ADD 000002d9: PUSH2 0x00a3 000002dc: SWAP1 000002dd: PUSH2 0x07bd 000002e0: JUMP 000002e1: JUMPDEST 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: SLOAD 000002e6: PUSH1 0x01 000002e8: PUSH1 0x01 000002ea: PUSH1 0xa0 000002ec: SHL 000002ed: SUB 000002ee: NOT 000002ef: AND 000002f0: PUSH1 0x01 000002f2: PUSH1 0x01 000002f4: PUSH1 0xa0 000002f6: SHL 000002f7: SUB 000002f8: SWAP3 000002f9: SWAP1 000002fa: SWAP3 000002fb: AND 000002fc: SWAP2 000002fd: SWAP1 000002fe: SWAP2 000002ff: OR 00000300: SWAP1 00000301: SSTORE 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH1 0x02 00000306: SLOAD 00000307: PUSH1 0x01 00000309: PUSH1 0x01 0000030b: PUSH1 0xa0 0000030d: SHL 0000030e: SUB 0000030f: AND 00000310: SWAP1 00000311: JUMP 00000312: JUMPDEST 00000313: CALLER 00000314: PUSH1 0x01 00000316: PUSH1 0x01 00000318: PUSH1 0xa0 0000031a: SHL 0000031b: SUB 0000031c: PUSH32 0x000000000000000000000000b2d3731fd28309c399774fb26f993697c174f451 0000033d: AND 0000033e: EQ 0000033f: PUSH2 0x035a 00000342: JUMPI 00000343: PUSH1 0x40 00000345: MLOAD 00000346: PUSH3 0x461bcd 0000034a: PUSH1 0xe5 0000034c: SHL 0000034d: DUP2 0000034e: MSTORE 0000034f: PUSH1 0x04 00000351: ADD 00000352: PUSH2 0x00a3 00000355: SWAP1 00000356: PUSH2 0x0838 00000359: JUMP 0000035a: JUMPDEST 0000035b: PUSH1 0x00 0000035d: DUP1 0000035e: SLOAD 0000035f: PUSH1 0x01 00000361: PUSH1 0x01 00000363: PUSH1 0xa0 00000365: SHL 00000366: SUB 00000367: NOT 00000368: AND 00000369: SWAP1 0000036a: SSTORE 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH1 0x02 0000036f: SLOAD 00000370: PUSH1 0x01 00000372: PUSH1 0x01 00000374: PUSH1 0xa0 00000376: SHL 00000377: SUB 00000378: AND 00000379: CALLER 0000037a: EQ 0000037b: PUSH2 0x0396 0000037e: JUMPI 0000037f: PUSH1 0x40 00000381: MLOAD 00000382: PUSH3 0x461bcd 00000386: PUSH1 0xe5 00000388: SHL 00000389: DUP2 0000038a: MSTORE 0000038b: PUSH1 0x04 0000038d: ADD 0000038e: PUSH2 0x00a3 00000391: SWAP1 00000392: PUSH2 0x0866 00000395: JUMP 00000396: JUMPDEST 00000397: PUSH2 0x039f 0000039a: DUP2 0000039b: PUSH2 0x0448 0000039e: JUMP 0000039f: JUMPDEST 000003a0: PUSH2 0x03bb 000003a3: JUMPI 000003a4: PUSH1 0x40 000003a6: MLOAD 000003a7: PUSH3 0x461bcd 000003ab: PUSH1 0xe5 000003ad: SHL 000003ae: DUP2 000003af: MSTORE 000003b0: PUSH1 0x04 000003b2: ADD 000003b3: PUSH2 0x00a3 000003b6: SWAP1 000003b7: PUSH2 0x0801 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH1 0x02 000003be: DUP1 000003bf: SLOAD 000003c0: PUSH1 0x01 000003c2: PUSH1 0x01 000003c4: PUSH1 0xa0 000003c6: SHL 000003c7: SUB 000003c8: DUP4 000003c9: DUP2 000003ca: AND 000003cb: PUSH1 0x01 000003cd: PUSH1 0x01 000003cf: PUSH1 0xa0 000003d1: SHL 000003d2: SUB 000003d3: NOT 000003d4: DUP4 000003d5: AND 000003d6: OR 000003d7: SWAP1 000003d8: SWAP3 000003d9: SSTORE 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: SWAP2 000003de: AND 000003df: SWAP1 000003e0: PUSH32 0x3aaaebeb4821d6a7e5c77ece53cff0afcc56c82add2c978dbbb7f73e84cbcfd2 00000401: SWAP1 00000402: PUSH2 0x0239 00000405: SWAP1 00000406: DUP4 00000407: SWAP1 00000408: DUP6 00000409: SWAP1 0000040a: PUSH2 0x0750 0000040d: JUMP 0000040e: JUMPDEST 0000040f: PUSH1 0x01 00000411: SLOAD 00000412: PUSH1 0x01 00000414: PUSH1 0x01 00000416: PUSH1 0xa0 00000418: SHL 00000419: SUB 0000041a: AND 0000041b: CALLER 0000041c: EQ 0000041d: PUSH2 0x0438 00000420: JUMPI 00000421: PUSH1 0x40 00000423: MLOAD 00000424: PUSH3 0x461bcd 00000428: PUSH1 0xe5 0000042a: SHL 0000042b: DUP2 0000042c: MSTORE 0000042d: PUSH1 0x04 0000042f: ADD 00000430: PUSH2 0x00a3 00000433: SWAP1 00000434: PUSH2 0x08a8 00000437: JUMP 00000438: JUMPDEST 00000439: PUSH2 0x0443 0000043c: DUP4 0000043d: DUP4 0000043e: DUP4 0000043f: PUSH2 0x044e 00000442: JUMP 00000443: JUMPDEST 00000444: POP 00000445: POP 00000446: POP 00000447: JUMP 00000448: JUMPDEST 00000449: EXTCODESIZE 0000044a: ISZERO 0000044b: ISZERO 0000044c: SWAP1 0000044d: JUMP 0000044e: JUMPDEST 0000044f: PUSH1 0x01 00000451: PUSH1 0x01 00000453: PUSH1 0xa0 00000455: SHL 00000456: SUB 00000457: DUP3 00000458: AND 00000459: PUSH2 0x04a2 0000045c: JUMPI 0000045d: PUSH1 0x40 0000045f: MLOAD 00000460: PUSH1 0x01 00000462: PUSH1 0x01 00000464: PUSH1 0xa0 00000466: SHL 00000467: SUB 00000468: DUP5 00000469: AND 0000046a: SWAP1 0000046b: DUP3 0000046c: ISZERO 0000046d: PUSH2 0x08fc 00000470: MUL 00000471: SWAP1 00000472: DUP4 00000473: SWAP1 00000474: PUSH1 0x00 00000476: DUP2 00000477: DUP2 00000478: DUP2 00000479: DUP6 0000047a: DUP9 0000047b: DUP9 0000047c: CALL 0000047d: SWAP4 0000047e: POP 0000047f: POP 00000480: POP 00000481: POP 00000482: PUSH2 0x049d 00000485: JUMPI 00000486: PUSH1 0x40 00000488: MLOAD 00000489: PUSH3 0x461bcd 0000048d: PUSH1 0xe5 0000048f: SHL 00000490: DUP2 00000491: MSTORE 00000492: PUSH1 0x04 00000494: ADD 00000495: PUSH2 0x00a3 00000498: SWAP1 00000499: PUSH2 0x08dd 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH2 0x0443 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH1 0x40 000004a5: MLOAD 000004a6: PUSH4 0x70a08231 000004ab: PUSH1 0xe0 000004ad: SHL 000004ae: DUP2 000004af: MSTORE 000004b0: PUSH1 0x00 000004b2: SWAP1 000004b3: PUSH1 0x01 000004b5: PUSH1 0x01 000004b7: PUSH1 0xa0 000004b9: SHL 000004ba: SUB 000004bb: DUP5 000004bc: AND 000004bd: SWAP1 000004be: PUSH4 0x70a08231 000004c3: SWAP1 000004c4: PUSH2 0x04d1 000004c7: SWAP1 000004c8: DUP8 000004c9: SWAP1 000004ca: PUSH1 0x04 000004cc: ADD 000004cd: PUSH2 0x0723 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH1 0x20 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: DUP1 000004d8: DUP4 000004d9: SUB 000004da: DUP2 000004db: DUP7 000004dc: DUP1 000004dd: EXTCODESIZE 000004de: ISZERO 000004df: DUP1 000004e0: ISZERO 000004e1: PUSH2 0x04e9 000004e4: JUMPI 000004e5: PUSH1 0x00 000004e7: DUP1 000004e8: REVERT 000004e9: JUMPDEST 000004ea: POP 000004eb: GAS 000004ec: STATICCALL 000004ed: ISZERO 000004ee: DUP1 000004ef: ISZERO 000004f0: PUSH2 0x04fd 000004f3: JUMPI 000004f4: RETURNDATASIZE 000004f5: PUSH1 0x00 000004f7: DUP1 000004f8: RETURNDATACOPY 000004f9: RETURNDATASIZE 000004fa: PUSH1 0x00 000004fc: REVERT 000004fd: JUMPDEST 000004fe: POP 000004ff: POP 00000500: POP 00000501: POP 00000502: PUSH1 0x40 00000504: MLOAD 00000505: RETURNDATASIZE 00000506: PUSH1 0x1f 00000508: NOT 00000509: PUSH1 0x1f 0000050b: DUP3 0000050c: ADD 0000050d: AND 0000050e: DUP3 0000050f: ADD 00000510: DUP1 00000511: PUSH1 0x40 00000513: MSTORE 00000514: POP 00000515: DUP2 00000516: ADD 00000517: SWAP1 00000518: PUSH2 0x0521 0000051b: SWAP2 0000051c: SWAP1 0000051d: PUSH2 0x070b 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH1 0x40 00000524: MLOAD 00000525: PUSH4 0xa9059cbb 0000052a: PUSH1 0xe0 0000052c: SHL 0000052d: DUP2 0000052e: MSTORE 0000052f: SWAP1 00000530: SWAP2 00000531: POP 00000532: PUSH1 0x01 00000534: PUSH1 0x01 00000536: PUSH1 0xa0 00000538: SHL 00000539: SUB 0000053a: DUP5 0000053b: AND 0000053c: SWAP1 0000053d: PUSH4 0xa9059cbb 00000542: SWAP1 00000543: PUSH2 0x0552 00000546: SWAP1 00000547: DUP8 00000548: SWAP1 00000549: DUP7 0000054a: SWAP1 0000054b: PUSH1 0x04 0000054d: ADD 0000054e: PUSH2 0x0737 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH1 0x00 00000555: PUSH1 0x40 00000557: MLOAD 00000558: DUP1 00000559: DUP4 0000055a: SUB 0000055b: DUP2 0000055c: PUSH1 0x00 0000055e: DUP8 0000055f: DUP1 00000560: EXTCODESIZE 00000561: ISZERO 00000562: DUP1 00000563: ISZERO 00000564: PUSH2 0x056c 00000567: JUMPI 00000568: PUSH1 0x00 0000056a: DUP1 0000056b: REVERT 0000056c: JUMPDEST 0000056d: POP 0000056e: GAS 0000056f: CALL 00000570: ISZERO 00000571: DUP1 00000572: ISZERO 00000573: PUSH2 0x0580 00000576: JUMPI 00000577: RETURNDATASIZE 00000578: PUSH1 0x00 0000057a: DUP1 0000057b: RETURNDATACOPY 0000057c: RETURNDATASIZE 0000057d: PUSH1 0x00 0000057f: REVERT 00000580: JUMPDEST 00000581: POP 00000582: POP 00000583: PUSH1 0x40 00000585: MLOAD 00000586: PUSH4 0x70a08231 0000058b: PUSH1 0xe0 0000058d: SHL 0000058e: DUP2 0000058f: MSTORE 00000590: PUSH1 0x00 00000592: SWAP3 00000593: POP 00000594: PUSH1 0x01 00000596: PUSH1 0x01 00000598: PUSH1 0xa0 0000059a: SHL 0000059b: SUB 0000059c: DUP7 0000059d: AND 0000059e: SWAP2 0000059f: POP 000005a0: PUSH4 0x70a08231 000005a5: SWAP1 000005a6: PUSH2 0x05b3 000005a9: SWAP1 000005aa: DUP9 000005ab: SWAP1 000005ac: PUSH1 0x04 000005ae: ADD 000005af: PUSH2 0x0723 000005b2: JUMP 000005b3: JUMPDEST 000005b4: PUSH1 0x20 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: DUP4 000005bb: SUB 000005bc: DUP2 000005bd: DUP7 000005be: DUP1 000005bf: EXTCODESIZE 000005c0: ISZERO 000005c1: DUP1 000005c2: ISZERO 000005c3: PUSH2 0x05cb 000005c6: JUMPI 000005c7: PUSH1 0x00 000005c9: DUP1 000005ca: REVERT 000005cb: JUMPDEST 000005cc: POP 000005cd: GAS 000005ce: STATICCALL 000005cf: ISZERO 000005d0: DUP1 000005d1: ISZERO 000005d2: PUSH2 0x05df 000005d5: JUMPI 000005d6: RETURNDATASIZE 000005d7: PUSH1 0x00 000005d9: DUP1 000005da: RETURNDATACOPY 000005db: RETURNDATASIZE 000005dc: PUSH1 0x00 000005de: REVERT 000005df: JUMPDEST 000005e0: POP 000005e1: POP 000005e2: POP 000005e3: POP 000005e4: PUSH1 0x40 000005e6: MLOAD 000005e7: RETURNDATASIZE 000005e8: PUSH1 0x1f 000005ea: NOT 000005eb: PUSH1 0x1f 000005ed: DUP3 000005ee: ADD 000005ef: AND 000005f0: DUP3 000005f1: ADD 000005f2: DUP1 000005f3: PUSH1 0x40 000005f5: MSTORE 000005f6: POP 000005f7: DUP2 000005f8: ADD 000005f9: SWAP1 000005fa: PUSH2 0x0603 000005fd: SWAP2 000005fe: SWAP1 000005ff: PUSH2 0x070b 00000602: JUMP 00000603: JUMPDEST 00000604: SWAP1 00000605: POP 00000606: DUP3 00000607: PUSH2 0x0616 0000060a: DUP3 0000060b: DUP5 0000060c: PUSH4 0xffffffff 00000611: PUSH2 0x063a 00000614: AND 00000615: JUMP 00000616: JUMPDEST 00000617: EQ 00000618: PUSH2 0x0633 0000061b: JUMPI 0000061c: PUSH1 0x40 0000061e: MLOAD 0000061f: PUSH3 0x461bcd 00000623: PUSH1 0xe5 00000625: SHL 00000626: DUP2 00000627: MSTORE 00000628: PUSH1 0x04 0000062a: ADD 0000062b: PUSH2 0x00a3 0000062e: SWAP1 0000062f: PUSH2 0x093a 00000632: JUMP 00000633: JUMPDEST 00000634: POP 00000635: POP 00000636: POP 00000637: POP 00000638: POP 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH1 0x00 0000063d: PUSH2 0x067c 00000640: DUP4 00000641: DUP4 00000642: PUSH1 0x40 00000644: MLOAD 00000645: DUP1 00000646: PUSH1 0x40 00000648: ADD 00000649: PUSH1 0x40 0000064b: MSTORE 0000064c: DUP1 0000064d: PUSH1 0x1e 0000064f: DUP2 00000650: MSTORE 00000651: PUSH1 0x20 00000653: ADD 00000654: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000675: DUP2 00000676: MSTORE 00000677: POP 00000678: PUSH2 0x0683 0000067b: JUMP 0000067c: JUMPDEST 0000067d: SWAP4 0000067e: SWAP3 0000067f: POP 00000680: POP 00000681: POP 00000682: JUMP 00000683: JUMPDEST 00000684: PUSH1 0x00 00000686: DUP2 00000687: DUP5 00000688: DUP5 00000689: GT 0000068a: ISZERO 0000068b: PUSH2 0x06a7 0000068e: JUMPI 0000068f: PUSH1 0x40 00000691: MLOAD 00000692: PUSH3 0x461bcd 00000696: PUSH1 0xe5 00000698: SHL 00000699: DUP2 0000069a: MSTORE 0000069b: PUSH1 0x04 0000069d: ADD 0000069e: PUSH2 0x00a3 000006a1: SWAP2 000006a2: SWAP1 000006a3: PUSH2 0x076a 000006a6: JUMP 000006a7: JUMPDEST 000006a8: POP 000006a9: POP 000006aa: POP 000006ab: SWAP1 000006ac: SUB 000006ad: SWAP1 000006ae: JUMP 000006af: JUMPDEST 000006b0: PUSH1 0x00 000006b2: PUSH1 0x20 000006b4: DUP3 000006b5: DUP5 000006b6: SUB 000006b7: SLT 000006b8: ISZERO 000006b9: PUSH2 0x06c0 000006bc: JUMPI 000006bd: DUP1 000006be: DUP2 000006bf: REVERT 000006c0: JUMPDEST 000006c1: DUP2 000006c2: CALLDATALOAD 000006c3: PUSH2 0x067c 000006c6: DUP2 000006c7: PUSH2 0x09a8 000006ca: JUMP 000006cb: JUMPDEST 000006cc: PUSH1 0x00 000006ce: DUP1 000006cf: PUSH1 0x00 000006d1: PUSH1 0x60 000006d3: DUP5 000006d4: DUP7 000006d5: SUB 000006d6: SLT 000006d7: ISZERO 000006d8: PUSH2 0x06df 000006db: JUMPI 000006dc: DUP2 000006dd: DUP3 000006de: REVERT 000006df: JUMPDEST 000006e0: DUP4 000006e1: CALLDATALOAD 000006e2: PUSH2 0x06ea 000006e5: DUP2 000006e6: PUSH2 0x09a8 000006e9: JUMP 000006ea: JUMPDEST 000006eb: SWAP3 000006ec: POP 000006ed: PUSH1 0x20 000006ef: DUP5 000006f0: ADD 000006f1: CALLDATALOAD 000006f2: PUSH2 0x06fa 000006f5: DUP2 000006f6: PUSH2 0x09a8 000006f9: JUMP 000006fa: JUMPDEST 000006fb: SWAP3 000006fc: SWAP6 000006fd: SWAP3 000006fe: SWAP5 000006ff: POP 00000700: POP 00000701: POP 00000702: PUSH1 0x40 00000704: SWAP2 00000705: SWAP1 00000706: SWAP2 00000707: ADD 00000708: CALLDATALOAD 00000709: SWAP1 0000070a: JUMP 0000070b: JUMPDEST 0000070c: PUSH1 0x00 0000070e: PUSH1 0x20 00000710: DUP3 00000711: DUP5 00000712: SUB 00000713: SLT 00000714: ISZERO 00000715: PUSH2 0x071c 00000718: JUMPI 00000719: DUP1 0000071a: DUP2 0000071b: REVERT 0000071c: JUMPDEST 0000071d: POP 0000071e: MLOAD 0000071f: SWAP2 00000720: SWAP1 00000721: POP 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH1 0x01 00000726: PUSH1 0x01 00000728: PUSH1 0xa0 0000072a: SHL 0000072b: SUB 0000072c: SWAP2 0000072d: SWAP1 0000072e: SWAP2 0000072f: AND 00000730: DUP2 00000731: MSTORE 00000732: PUSH1 0x20 00000734: ADD 00000735: SWAP1 00000736: JUMP 00000737: JUMPDEST 00000738: PUSH1 0x01 0000073a: PUSH1 0x01 0000073c: PUSH1 0xa0 0000073e: SHL 0000073f: SUB 00000740: SWAP3 00000741: SWAP1 00000742: SWAP3 00000743: AND 00000744: DUP3 00000745: MSTORE 00000746: PUSH1 0x20 00000748: DUP3 00000749: ADD 0000074a: MSTORE 0000074b: PUSH1 0x40 0000074d: ADD 0000074e: SWAP1 0000074f: JUMP 00000750: JUMPDEST 00000751: PUSH1 0x01 00000753: PUSH1 0x01 00000755: PUSH1 0xa0 00000757: SHL 00000758: SUB 00000759: SWAP3 0000075a: DUP4 0000075b: AND 0000075c: DUP2 0000075d: MSTORE 0000075e: SWAP2 0000075f: AND 00000760: PUSH1 0x20 00000762: DUP3 00000763: ADD 00000764: MSTORE 00000765: PUSH1 0x40 00000767: ADD 00000768: SWAP1 00000769: JUMP 0000076a: JUMPDEST 0000076b: PUSH1 0x00 0000076d: PUSH1 0x20 0000076f: DUP1 00000770: DUP4 00000771: MSTORE 00000772: DUP4 00000773: MLOAD 00000774: DUP1 00000775: DUP3 00000776: DUP6 00000777: ADD 00000778: MSTORE 00000779: DUP3 0000077a: JUMPDEST 0000077b: DUP2 0000077c: DUP2 0000077d: LT 0000077e: ISZERO 0000077f: PUSH2 0x0796 00000782: JUMPI 00000783: DUP6 00000784: DUP2 00000785: ADD 00000786: DUP4 00000787: ADD 00000788: MLOAD 00000789: DUP6 0000078a: DUP3 0000078b: ADD 0000078c: PUSH1 0x40 0000078e: ADD 0000078f: MSTORE 00000790: DUP3 00000791: ADD 00000792: PUSH2 0x077a 00000795: JUMP 00000796: JUMPDEST 00000797: DUP2 00000798: DUP2 00000799: GT 0000079a: ISZERO 0000079b: PUSH2 0x07a7 0000079e: JUMPI 0000079f: DUP4 000007a0: PUSH1 0x40 000007a2: DUP4 000007a3: DUP8 000007a4: ADD 000007a5: ADD 000007a6: MSTORE 000007a7: JUMPDEST 000007a8: POP 000007a9: PUSH1 0x1f 000007ab: ADD 000007ac: PUSH1 0x1f 000007ae: NOT 000007af: AND 000007b0: SWAP3 000007b1: SWAP1 000007b2: SWAP3 000007b3: ADD 000007b4: PUSH1 0x40 000007b6: ADD 000007b7: SWAP4 000007b8: SWAP3 000007b9: POP 000007ba: POP 000007bb: POP 000007bc: JUMP 000007bd: JUMPDEST 000007be: PUSH1 0x20 000007c0: DUP1 000007c1: DUP3 000007c2: MSTORE 000007c3: PUSH1 0x24 000007c5: SWAP1 000007c6: DUP3 000007c7: ADD 000007c8: MSTORE 000007c9: PUSH32 0x4d75737420626520646966666572656e742066726f6d2063757272656e742061 000007ea: PUSH1 0x40 000007ec: DUP3 000007ed: ADD 000007ee: MSTORE 000007ef: PUSH4 0x3236b4b7 000007f4: PUSH1 0xe1 000007f6: SHL 000007f7: PUSH1 0x60 000007f9: DUP3 000007fa: ADD 000007fb: MSTORE 000007fc: PUSH1 0x80 000007fe: ADD 000007ff: SWAP1 00000800: JUMP 00000801: JUMPDEST 00000802: PUSH1 0x20 00000804: DUP1 00000805: DUP3 00000806: MSTORE 00000807: PUSH1 0x18 00000809: SWAP1 0000080a: DUP3 0000080b: ADD 0000080c: MSTORE 0000080d: PUSH32 0x496e76616c696420636f6e747261637420616464726573730000000000000000 0000082e: PUSH1 0x40 00000830: DUP3 00000831: ADD 00000832: MSTORE 00000833: PUSH1 0x60 00000835: ADD 00000836: SWAP1 00000837: JUMP 00000838: JUMPDEST 00000839: PUSH1 0x20 0000083b: DUP1 0000083c: DUP3 0000083d: MSTORE 0000083e: PUSH1 0x14 00000840: SWAP1 00000841: DUP3 00000842: ADD 00000843: MSTORE 00000844: PUSH20 0x21b0b63632b91036bab9ba1031329037bbb732b9 00000859: PUSH1 0x61 0000085b: SHL 0000085c: PUSH1 0x40 0000085e: DUP3 0000085f: ADD 00000860: MSTORE 00000861: PUSH1 0x60 00000863: ADD 00000864: SWAP1 00000865: JUMP 00000866: JUMPDEST 00000867: PUSH1 0x20 00000869: DUP1 0000086a: DUP3 0000086b: MSTORE 0000086c: PUSH1 0x22 0000086e: SWAP1 0000086f: DUP3 00000870: ADD 00000871: MSTORE 00000872: PUSH32 0x43616c6c6572206d75737420626520476f7665726e616e636520636f6e747261 00000893: PUSH1 0x40 00000895: DUP3 00000896: ADD 00000897: MSTORE 00000898: PUSH2 0x18dd 0000089b: PUSH1 0xf2 0000089d: SHL 0000089e: PUSH1 0x60 000008a0: DUP3 000008a1: ADD 000008a2: MSTORE 000008a3: PUSH1 0x80 000008a5: ADD 000008a6: SWAP1 000008a7: JUMP 000008a8: JUMPDEST 000008a9: PUSH1 0x20 000008ab: DUP1 000008ac: DUP3 000008ad: MSTORE 000008ae: DUP2 000008af: DUP2 000008b0: ADD 000008b1: MSTORE 000008b2: PUSH32 0x43616c6c6572206d7573742062652045786368616e676520636f6e7472616374 000008d3: PUSH1 0x40 000008d5: DUP3 000008d6: ADD 000008d7: MSTORE 000008d8: PUSH1 0x60 000008da: ADD 000008db: SWAP1 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x20 000008e0: DUP1 000008e1: DUP3 000008e2: MSTORE 000008e3: PUSH1 0x13 000008e5: SWAP1 000008e6: DUP3 000008e7: ADD 000008e8: MSTORE 000008e9: PUSH19 0x115512081d1c985b9cd9995c8819985a5b1959 000008fd: PUSH1 0x6a 000008ff: SHL 00000900: PUSH1 0x40 00000902: DUP3 00000903: ADD 00000904: MSTORE 00000905: PUSH1 0x60 00000907: ADD 00000908: SWAP1 00000909: JUMP 0000090a: JUMPDEST 0000090b: PUSH1 0x20 0000090d: DUP1 0000090e: DUP3 0000090f: MSTORE 00000910: PUSH1 0x16 00000912: SWAP1 00000913: DUP3 00000914: ADD 00000915: MSTORE 00000916: PUSH22 0x496e76616c69642077616c6c65742061646472657373 0000092d: PUSH1 0x50 0000092f: SHL 00000930: PUSH1 0x40 00000932: DUP3 00000933: ADD 00000934: MSTORE 00000935: PUSH1 0x60 00000937: ADD 00000938: SWAP1 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x20 0000093d: DUP1 0000093e: DUP3 0000093f: MSTORE 00000940: PUSH1 0x48 00000942: SWAP1 00000943: DUP3 00000944: ADD 00000945: MSTORE 00000946: PUSH32 0x546f6b656e20636f6e74726163742072657475726e6564207472616e73666572 00000967: PUSH1 0x40 00000969: DUP3 0000096a: ADD 0000096b: MSTORE 0000096c: PUSH32 0x207375636365737320776974686f75742065787065637465642062616c616e63 0000098d: PUSH1 0x60 0000098f: DUP3 00000990: ADD 00000991: MSTORE 00000992: PUSH8 0x65206368616e6765 0000099b: PUSH1 0xc0 0000099d: SHL 0000099e: PUSH1 0x80 000009a0: DUP3 000009a1: ADD 000009a2: MSTORE 000009a3: PUSH1 0xa0 000009a5: ADD 000009a6: SWAP1 000009a7: JUMP 000009a8: JUMPDEST 000009a9: PUSH1 0x01 000009ab: PUSH1 0x01 000009ad: PUSH1 0xa0 000009af: SHL 000009b0: SUB 000009b1: DUP2 000009b2: AND 000009b3: DUP2 000009b4: EQ 000009b5: PUSH2 0x09bd 000009b8: JUMPI 000009b9: PUSH1 0x00 000009bb: DUP1 000009bc: REVERT 000009bd: JUMPDEST 000009be: POP 000009bf: JUMP 000009c0: INVALID 000009c1: LOG2 000009c2: PUSH5 0x6970667358 000009c8: UNKNOWN(0x22) 000009c9: SLT 000009ca: KECCAK256 000009cb: DUP16 000009cc: UNKNOWN(0x2D) 000009cd: PUSH31 0x8a73ba50c6319574cb20d91f871fa9340c7aa747bd3eccae39a5d5d9496473 000009ed: PUSH16
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: 0x2674c1a7b396f79bb33fda438c5e64b25ee8239af7084755e9d82967f9c6bac9
call_targets:
0xe5c405c5578d84c5231d3a9a29ef4374423fa0c2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2674c1a7b396f79bb33fda438c5e64b25ee8239af7084755e9d82967f9c6bac9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe5c405c5578d84c5231d3a9a29ef4374423fa0c2"
],
"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": "0x76a162a3",
"selector": "0x76a162a3",
"calldata_variants": [
"0x76a162a3",
"0x76a162a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a202d47",
"selector": "0x9a202d47",
"calldata_variants": [
"0x9a202d47",
"0x9a202d470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab033ea9",
"selector": "0xab033ea9",
"calldata_variants": [
"0xab033ea9",
"0xab033ea90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3bffd49d",
"selector": "0x3bffd49d",
"calldata_variants": [
"0x3bffd49d",
"0x3bffd49d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67b1f5df",
"selector": "0x67b1f5df",
"calldata_variants": [
"0x67b1f5df",
"0x67b1f5df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x704b6c02",
"selector": "0x704b6c02",
"calldata_variants": [
"0x704b6c02",
"0x704b6c020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1148,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1391,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x2674c1a7b396f79bb33fda438c5e64b25ee8239af7084755e9d82967f9c6bac9
call_targets:
0xe5c405c5578d84c5231d3a9a29ef4374423fa0c2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x2674c1a7b396f79bb33fda438c5e64b25ee8239af7084755e9d82967f9c6bac9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe5c405c5578d84c5231d3a9a29ef4374423fa0c2"
],
"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": "0x76a162a3",
"selector": "0x76a162a3",
"calldata_variants": [
"0x76a162a3",
"0x76a162a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9a202d47",
"selector": "0x9a202d47",
"calldata_variants": [
"0x9a202d47",
"0x9a202d470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xab033ea9",
"selector": "0xab033ea9",
"calldata_variants": [
"0xab033ea9",
"0xab033ea90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd9caed12",
"selector": "0xd9caed12",
"calldata_variants": [
"0xd9caed12",
"0xd9caed120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3bffd49d",
"selector": "0x3bffd49d",
"calldata_variants": [
"0x3bffd49d",
"0x3bffd49d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67b1f5df",
"selector": "0x67b1f5df",
"calldata_variants": [
"0x67b1f5df",
"0x67b1f5df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x704b6c02",
"selector": "0x704b6c02",
"calldata_variants": [
"0x704b6c02",
"0x704b6c020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1148,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1391,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|