019b3836-2e4c-732b-85ea-f4466024de27
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 |
|---|---|---|---|---|
| 2247 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 2248 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 45636 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 45637 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 45638 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 45639 | 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 0x00cf 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x090015d8 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00e6 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x1226afde 00000025: EQ 00000026: PUSH2 0x00f5 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x146ca531 00000030: EQ 00000031: PUSH2 0x00ff 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x348a653a 0000003b: EQ 0000003c: PUSH2 0x0109 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x39eda24e 00000046: EQ 00000047: PUSH2 0x0113 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x4311de8f 00000051: EQ 00000052: PUSH2 0x011b 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x4413c83c 0000005c: EQ 0000005d: PUSH2 0x013b 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x4c6686d8 00000067: EQ 00000068: PUSH2 0x0145 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x4fb30d8b 00000072: EQ 00000073: PUSH2 0x0152 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x757007f6 0000007d: EQ 0000007e: PUSH2 0x015c 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x8bef5222 00000088: EQ 00000089: PUSH2 0x016a 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xbe9a6555 00000093: EQ 00000094: PUSH2 0x0172 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xcd8c5b33 0000009e: EQ 0000009f: PUSH2 0x017c 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xd77bf0cf 000000a9: EQ 000000aa: PUSH2 0x015c 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xdfbf53ae 000000b4: EQ 000000b5: PUSH2 0x0184 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xefbe1c1c 000000bf: EQ 000000c0: PUSH2 0x01bc 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xfdff85b4 000000ca: EQ 000000cb: PUSH2 0x01c6 000000ce: JUMPI 000000cf: JUMPDEST 000000d0: PUSH2 0x01d4 000000d3: PUSH7 0x2386f26fc10000 000000db: CALLVALUE 000000dc: LT 000000dd: ISZERO 000000de: PUSH2 0x01d6 000000e1: JUMPI 000000e2: PUSH2 0x0002 000000e5: JUMP 000000e6: JUMPDEST 000000e7: PUSH2 0x048d 000000ea: PUSH8 0x0de0b6b3a7640000 000000f3: DUP2 000000f4: JUMP 000000f5: JUMPDEST 000000f6: PUSH2 0x048d 000000f9: PUSH2 0x0316 000000fc: SLOAD 000000fd: DUP2 000000fe: JUMP 000000ff: JUMPDEST 00000100: PUSH2 0x048d 00000103: PUSH2 0x0314 00000106: SLOAD 00000107: DUP2 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH2 0x048d 0000010d: PUSH3 0x015180 00000111: DUP2 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH2 0x048d 00000117: PUSH1 0x05 00000119: DUP2 0000011a: JUMP 0000011b: JUMPDEST 0000011c: PUSH2 0x01d4 0000011f: PUSH1 0x00 00000121: DUP1 00000122: SLOAD 00000123: PUSH1 0x01 00000125: PUSH1 0xa0 00000127: PUSH1 0x02 00000129: EXP 0000012a: SUB 0000012b: SWAP1 0000012c: DUP2 0000012d: AND 0000012e: CALLER 0000012f: SWAP1 00000130: SWAP2 00000131: AND 00000132: EQ 00000133: PUSH2 0x04d8 00000136: JUMPI 00000137: PUSH2 0x0002 0000013a: JUMP 0000013b: JUMPDEST 0000013c: PUSH2 0x048d 0000013f: PUSH2 0x0315 00000142: SLOAD 00000143: DUP2 00000144: JUMP 00000145: JUMPDEST 00000146: PUSH2 0x048d 00000149: PUSH6 0x2d79883d2000 00000150: DUP2 00000151: JUMP 00000152: JUMPDEST 00000153: PUSH2 0x048d 00000156: PUSH2 0x0319 00000159: SLOAD 0000015a: DUP2 0000015b: JUMP 0000015c: JUMPDEST 0000015d: PUSH2 0x048d 00000160: PUSH7 0x2386f26fc10000 00000168: DUP2 00000169: JUMP 0000016a: JUMPDEST 0000016b: PUSH2 0x048d 0000016e: PUSH1 0x64 00000170: DUP2 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH2 0x048d 00000176: PUSH2 0x0317 00000179: SLOAD 0000017a: DUP2 0000017b: JUMP 0000017c: JUMPDEST 0000017d: PUSH2 0x048d 00000180: PUSH1 0xde 00000182: DUP2 00000183: JUMP 00000184: JUMPDEST 00000185: PUSH2 0x049f 00000188: PUSH2 0x0313 0000018b: SLOAD 0000018c: PUSH1 0x01 0000018e: PUSH1 0xa0 00000190: PUSH1 0x02 00000192: EXP 00000193: SUB 00000194: DUP2 00000195: AND 00000196: SWAP1 00000197: PUSH1 0xa0 00000199: PUSH1 0x02 0000019b: EXP 0000019c: DUP2 0000019d: DIV 0000019e: PUSH4 0xffffffff 000001a3: SWAP1 000001a4: DUP2 000001a5: AND 000001a6: SWAP2 000001a7: PUSH1 0xc0 000001a9: PUSH1 0x02 000001ab: EXP 000001ac: DUP2 000001ad: DIV 000001ae: DUP3 000001af: AND 000001b0: SWAP2 000001b1: PUSH1 0xe0 000001b3: PUSH1 0x02 000001b5: EXP 000001b6: SWAP1 000001b7: SWAP2 000001b8: DIV 000001b9: AND 000001ba: DUP5 000001bb: JUMP 000001bc: JUMPDEST 000001bd: PUSH2 0x048d 000001c0: PUSH2 0x0318 000001c3: SLOAD 000001c4: DUP2 000001c5: JUMP 000001c6: JUMPDEST 000001c7: PUSH2 0x048d 000001ca: PUSH7 0x235978e783e000 000001d2: DUP2 000001d3: JUMP 000001d4: JUMPDEST 000001d5: STOP 000001d6: JUMPDEST 000001d7: PUSH2 0x024f 000001da: JUMPDEST 000001db: PUSH1 0x02 000001dd: DUP1 000001de: SLOAD 000001df: PUSH4 0xfffffffb 000001e4: PUSH4 0x10a860c1 000001e9: SWAP2 000001ea: DUP3 000001eb: MUL 000001ec: DUP2 000001ed: SWAP1 000001ee: MOD 000001ef: SWAP3 000001f0: DUP4 000001f1: SWAP1 000001f2: SSTORE 000001f3: PUSH1 0x03 000001f5: DUP1 000001f6: SLOAD 000001f7: PUSH1 0x40 000001f9: DUP1 000001fa: MLOAD 000001fb: COINBASE 000001fc: PUSH1 0x01 000001fe: PUSH1 0xa0 00000200: PUSH1 0x02 00000202: EXP 00000203: SUB 00000204: SWAP1 00000205: DUP2 00000206: AND 00000207: PUSH13 0x01000000000000000000000000 00000215: MUL 00000216: DUP3 00000217: MSTORE 00000218: NUMBER 00000219: PUSH1 0x00 0000021b: NOT 0000021c: ADD 0000021d: BLOCKHASH 0000021e: PUSH1 0x14 00000220: DUP4 00000221: ADD 00000222: MSTORE 00000223: ADDRESS 00000224: AND 00000225: BALANCE 00000226: PUSH1 0x34 00000228: DUP3 00000229: ADD 0000022a: MSTORE 0000022b: SWAP6 0000022c: DUP3 0000022d: XOR 0000022e: PUSH1 0x54 00000230: DUP8 00000231: ADD 00000232: MSTORE 00000233: PUSH1 0x01 00000235: DUP1 00000236: SLOAD 00000237: SWAP2 00000238: MLOAD 00000239: SWAP7 0000023a: DUP8 0000023b: SWAP1 0000023c: SUB 0000023d: PUSH1 0x74 0000023f: ADD 00000240: SWAP1 00000241: SWAP7 00000242: KECCAK256 00000243: XOR 00000244: SWAP1 00000245: SWAP5 00000246: SSTORE 00000247: SWAP3 00000248: SWAP1 00000249: SWAP2 0000024a: MUL 0000024b: MOD 0000024c: SWAP1 0000024d: SSTORE 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH2 0x046b 00000253: PUSH1 0x00 00000255: PUSH1 0xde 00000257: PUSH2 0x0315 0000025a: PUSH1 0x00 0000025c: POP 0000025d: SLOAD 0000025e: LT 0000025f: ISZERO 00000260: DUP1 00000261: PUSH2 0x027c 00000264: JUMPI 00000265: POP 00000266: PUSH2 0x0315 00000269: SLOAD 0000026a: PUSH1 0x05 0000026c: SWAP1 0000026d: LT 0000026e: DUP1 0000026f: ISZERO 00000270: SWAP1 00000271: PUSH2 0x027c 00000274: JUMPI 00000275: POP 00000276: PUSH2 0x0318 00000279: SLOAD 0000027a: TIMESTAMP 0000027b: GT 0000027c: JUMPDEST 0000027d: ISZERO 0000027e: PUSH2 0x052a 00000281: JUMPI 00000282: PUSH2 0x0316 00000285: SLOAD 00000286: PUSH1 0x01 00000288: SLOAD 00000289: PUSH1 0x04 0000028b: SWAP2 0000028c: SWAP1 0000028d: MOD 0000028e: PUSH2 0x61a8 00000291: DUP2 00000292: LT 00000293: ISZERO 00000294: PUSH2 0x0002 00000297: JUMPI 00000298: PUSH2 0x0316 0000029b: SLOAD 0000029c: PUSH1 0x20 0000029e: DUP1 0000029f: DUP4 000002a0: DIV 000002a1: SWAP1 000002a2: SWAP4 000002a3: ADD 000002a4: SLOAD 000002a5: PUSH1 0x40 000002a7: DUP1 000002a8: MLOAD 000002a9: PUSH1 0x80 000002ab: DUP2 000002ac: ADD 000002ad: DUP3 000002ae: MSTORE 000002af: SWAP4 000002b0: DUP6 000002b1: SWAP1 000002b2: MOD 000002b3: PUSH2 0x0100 000002b6: EXP 000002b7: SWAP1 000002b8: SWAP2 000002b9: DIV 000002ba: PUSH1 0xff 000002bc: AND 000002bd: PUSH1 0x00 000002bf: DUP2 000002c0: DUP2 000002c1: MSTORE 000002c2: PUSH2 0x0312 000002c5: DUP7 000002c6: MSTORE 000002c7: DUP3 000002c8: DUP2 000002c9: KECCAK256 000002ca: SLOAD 000002cb: PUSH1 0x01 000002cd: PUSH1 0xa0 000002cf: PUSH1 0x02 000002d1: EXP 000002d2: SUB 000002d3: SWAP1 000002d4: DUP2 000002d5: AND 000002d6: DUP1 000002d7: DUP8 000002d8: MSTORE 000002d9: TIMESTAMP 000002da: SWAP8 000002db: DUP8 000002dc: ADD 000002dd: DUP9 000002de: SWAP1 000002df: MSTORE 000002e0: PUSH2 0x0314 000002e3: SLOAD 000002e4: DUP8 000002e5: DUP7 000002e6: ADD 000002e7: DUP2 000002e8: SWAP1 000002e9: MSTORE 000002ea: PUSH1 0x60 000002ec: SWAP8 000002ed: SWAP1 000002ee: SWAP8 000002ef: ADD 000002f0: DUP7 000002f1: SWAP1 000002f2: MSTORE 000002f3: PUSH2 0x0313 000002f6: DUP1 000002f7: SLOAD 000002f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030d: NOT 0000030e: AND 0000030f: SWAP1 00000310: SWAP2 00000311: OR 00000312: PUSH24 0xffffffff0000000000000000000000000000000000000000 0000032b: NOT 0000032c: AND 0000032d: PUSH1 0xa0 0000032f: PUSH1 0x02 00000331: EXP 00000332: SWAP1 00000333: SWAP9 00000334: MUL 00000335: SWAP8 00000336: SWAP1 00000337: SWAP8 00000338: OR 00000339: PUSH32 0xffffffff00000000ffffffffffffffffffffffffffffffffffffffffffffffff 0000035a: AND 0000035b: PUSH1 0xc0 0000035d: PUSH1 0x02 0000035f: EXP 00000360: SWAP1 00000361: SWAP7 00000362: MUL 00000363: SWAP6 00000364: SWAP1 00000365: SWAP6 00000366: OR 00000367: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000384: AND 00000385: PUSH1 0xe0 00000387: PUSH1 0x02 00000389: EXP 0000038a: DUP6 0000038b: MUL 0000038c: OR 0000038d: SWAP6 0000038e: DUP7 0000038f: SWAP1 00000390: SSTORE 00000391: SWAP2 00000392: MLOAD 00000393: SWAP1 00000394: SWAP6 00000395: POP 00000396: SWAP4 00000397: SWAP1 00000398: SWAP3 00000399: AND 0000039a: SWAP3 0000039b: PUSH7 0x235978e783e000 000003a3: SWAP1 000003a4: SWAP2 000003a5: MUL 000003a6: SWAP2 000003a7: DUP2 000003a8: DUP2 000003a9: DUP2 000003aa: DUP6 000003ab: DUP8 000003ac: PUSH2 0x8502 000003af: GAS 000003b0: SUB 000003b1: CALL 000003b2: POP 000003b3: PUSH2 0x0313 000003b6: SLOAD 000003b7: PUSH2 0x0314 000003ba: SLOAD 000003bb: PUSH2 0x0316 000003be: SLOAD 000003bf: PUSH1 0x01 000003c1: PUSH1 0xa0 000003c3: PUSH1 0x02 000003c5: EXP 000003c6: SUB 000003c7: SWAP3 000003c8: SWAP1 000003c9: SWAP3 000003ca: AND 000003cb: DUP4 000003cc: MSTORE 000003cd: PUSH4 0xffffffff 000003d2: TIMESTAMP 000003d3: DUP2 000003d4: AND 000003d5: PUSH1 0x20 000003d7: DUP6 000003d8: ADD 000003d9: MSTORE 000003da: SWAP1 000003db: DUP2 000003dc: AND 000003dd: PUSH1 0x40 000003df: DUP5 000003e0: DUP2 000003e1: ADD 000003e2: SWAP2 000003e3: SWAP1 000003e4: SWAP2 000003e5: MSTORE 000003e6: SWAP2 000003e7: AND 000003e8: PUSH1 0x60 000003ea: DUP4 000003eb: ADD 000003ec: MSTORE 000003ed: MLOAD 000003ee: PUSH32 0xe5cdd19bbe4f1fbaef99b45e6d5672193db62d1e29532c86a10ec2ba6fbcf79a 0000040f: SWAP4 00000410: POP 00000411: SWAP1 00000412: DUP2 00000413: SWAP1 00000414: SUB 00000415: PUSH1 0x80 00000417: ADD 00000418: SWAP2 00000419: POP 0000041a: LOG1 0000041b: PUSH1 0x00 0000041d: PUSH2 0x0315 00000420: PUSH1 0x00 00000422: POP 00000423: DUP2 00000424: SWAP1 00000425: SSTORE 00000426: POP 00000427: PUSH1 0x00 00000429: PUSH2 0x0316 0000042c: PUSH1 0x00 0000042e: POP 0000042f: DUP2 00000430: SWAP1 00000431: SSTORE 00000432: POP 00000433: TIMESTAMP 00000434: PUSH2 0x0317 00000437: PUSH1 0x00 00000439: POP 0000043a: DUP2 0000043b: SWAP1 0000043c: SSTORE 0000043d: POP 0000043e: PUSH3 0x015180 00000442: PUSH2 0x0317 00000445: PUSH1 0x00 00000447: POP 00000448: SLOAD 00000449: ADD 0000044a: PUSH2 0x0318 0000044d: PUSH1 0x00 0000044f: POP 00000450: DUP2 00000451: SWAP1 00000452: SSTORE 00000453: POP 00000454: PUSH2 0x0314 00000457: PUSH1 0x00 00000459: DUP2 0000045a: DUP2 0000045b: POP 0000045c: SLOAD 0000045d: DUP1 0000045e: SWAP3 0000045f: SWAP2 00000460: SWAP1 00000461: PUSH1 0x01 00000463: ADD 00000464: SWAP2 00000465: SWAP1 00000466: POP 00000467: SSTORE 00000468: POP 00000469: POP 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH2 0x048b 0000046f: PUSH1 0x00 00000471: DUP1 00000472: DUP1 00000473: DUP1 00000474: PUSH8 0x0de0b6b3a7640000 0000047d: CALLVALUE 0000047e: LT 0000047f: PUSH2 0x052d 00000482: JUMPI 00000483: PUSH1 0x64 00000485: SWAP4 00000486: POP 00000487: PUSH2 0x053a 0000048a: JUMP 0000048b: JUMPDEST 0000048c: JUMP 0000048d: JUMPDEST 0000048e: PUSH1 0x40 00000490: DUP1 00000491: MLOAD 00000492: SWAP2 00000493: DUP3 00000494: MSTORE 00000495: MLOAD 00000496: SWAP1 00000497: DUP2 00000498: SWAP1 00000499: SUB 0000049a: PUSH1 0x20 0000049c: ADD 0000049d: SWAP1 0000049e: RETURN 0000049f: JUMPDEST 000004a0: PUSH1 0x40 000004a2: DUP1 000004a3: MLOAD 000004a4: PUSH1 0x01 000004a6: PUSH1 0xa0 000004a8: PUSH1 0x02 000004aa: EXP 000004ab: SUB 000004ac: SWAP6 000004ad: SWAP1 000004ae: SWAP6 000004af: AND 000004b0: DUP6 000004b1: MSTORE 000004b2: PUSH4 0xffffffff 000004b7: SWAP4 000004b8: DUP5 000004b9: AND 000004ba: PUSH1 0x20 000004bc: DUP7 000004bd: ADD 000004be: MSTORE 000004bf: SWAP2 000004c0: DUP4 000004c1: AND 000004c2: DUP5 000004c3: DUP4 000004c4: ADD 000004c5: MSTORE 000004c6: SWAP1 000004c7: SWAP2 000004c8: AND 000004c9: PUSH1 0x60 000004cb: DUP4 000004cc: ADD 000004cd: MSTORE 000004ce: MLOAD 000004cf: SWAP1 000004d0: DUP2 000004d1: SWAP1 000004d2: SUB 000004d3: PUSH1 0x80 000004d5: ADD 000004d6: SWAP1 000004d7: RETURN 000004d8: JUMPDEST 000004d9: POP 000004da: PUSH2 0x0316 000004dd: SLOAD 000004de: PUSH7 0x2386f26fc10000 000004e6: MUL 000004e7: PUSH1 0x01 000004e9: PUSH1 0xa0 000004eb: PUSH1 0x02 000004ed: EXP 000004ee: SUB 000004ef: ADDRESS 000004f0: AND 000004f1: BALANCE 000004f2: SUB 000004f3: PUSH2 0x04fa 000004f6: PUSH2 0x01da 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH1 0x00 000004fd: DUP2 000004fe: GT 000004ff: ISZERO 00000500: PUSH2 0x052a 00000503: JUMPI 00000504: PUSH1 0x00 00000506: DUP1 00000507: SLOAD 00000508: PUSH1 0x40 0000050a: MLOAD 0000050b: PUSH1 0x01 0000050d: PUSH1 0xa0 0000050f: PUSH1 0x02 00000511: EXP 00000512: SUB 00000513: SWAP2 00000514: SWAP1 00000515: SWAP2 00000516: AND 00000517: SWAP2 00000518: DUP4 00000519: SWAP2 0000051a: SWAP1 0000051b: DUP2 0000051c: DUP2 0000051d: DUP2 0000051e: DUP6 0000051f: DUP8 00000520: PUSH2 0x8502 00000523: GAS 00000524: SUB 00000525: CALL 00000526: POP 00000527: POP 00000528: POP 00000529: POP 0000052a: JUMPDEST 0000052b: POP 0000052c: JUMP 0000052d: JUMPDEST 0000052e: PUSH7 0x2386f26fc10000 00000536: CALLVALUE 00000537: DIV 00000538: SWAP4 00000539: POP 0000053a: JUMPDEST 0000053b: PUSH7 0x2386f26fc10000 00000543: DUP5 00000544: MUL 00000545: CALLVALUE 00000546: SUB 00000547: SWAP3 00000548: POP 00000549: PUSH1 0x00 0000054b: DUP4 0000054c: GT 0000054d: ISZERO 0000054e: PUSH2 0x0573 00000551: JUMPI 00000552: PUSH1 0x40 00000554: MLOAD 00000555: CALLER 00000556: PUSH1 0x01 00000558: PUSH1 0xa0 0000055a: PUSH1 0x02 0000055c: EXP 0000055d: SUB 0000055e: AND 0000055f: SWAP1 00000560: DUP5 00000561: SWAP1 00000562: PUSH1 0x00 00000564: DUP2 00000565: DUP2 00000566: DUP2 00000567: DUP6 00000568: DUP8 00000569: PUSH2 0x8502 0000056c: GAS 0000056d: SUB 0000056e: CALL 0000056f: POP 00000570: POP 00000571: POP 00000572: POP 00000573: JUMPDEST 00000574: POP 00000575: POP 00000576: PUSH2 0x0316 00000579: SLOAD 0000057a: DUP3 0000057b: DUP2 0000057c: ADD 0000057d: SWAP1 0000057e: JUMPDEST 0000057f: DUP2 00000580: DUP2 00000581: LT 00000582: ISZERO 00000583: PUSH2 0x05bd 00000586: JUMPI 00000587: PUSH2 0x0315 0000058a: SLOAD 0000058b: PUSH1 0x04 0000058d: DUP3 0000058e: PUSH2 0x61a8 00000591: DUP2 00000592: LT 00000593: ISZERO 00000594: PUSH2 0x0002 00000597: JUMPI 00000598: PUSH1 0x20 0000059a: DUP1 0000059b: DUP3 0000059c: DIV 0000059d: SWAP1 0000059e: SWAP3 0000059f: ADD 000005a0: SWAP2 000005a1: SWAP1 000005a2: MOD 000005a3: PUSH2 0x0100 000005a6: EXP 000005a7: DUP2 000005a8: SLOAD 000005a9: DUP2 000005aa: PUSH1 0xff 000005ac: MUL 000005ad: NOT 000005ae: AND 000005af: SWAP1 000005b0: DUP4 000005b1: MUL 000005b2: OR 000005b3: SWAP1 000005b4: SSTORE 000005b5: POP 000005b6: PUSH1 0x01 000005b8: ADD 000005b9: PUSH2 0x057e 000005bc: JUMP 000005bd: JUMPDEST 000005be: PUSH2 0x0316 000005c1: DUP3 000005c2: DUP2 000005c3: SSTORE 000005c4: PUSH2 0x0315 000005c7: SLOAD 000005c8: PUSH1 0x00 000005ca: SWAP1 000005cb: DUP2 000005cc: MSTORE 000005cd: PUSH2 0x0312 000005d0: PUSH1 0x20 000005d2: SWAP1 000005d3: DUP2 000005d4: MSTORE 000005d5: PUSH1 0x40 000005d7: SWAP2 000005d8: DUP3 000005d9: SWAP1 000005da: KECCAK256 000005db: DUP1 000005dc: SLOAD 000005dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f2: NOT 000005f3: AND 000005f4: CALLER 000005f5: SWAP1 000005f6: DUP2 000005f7: OR 000005f8: SWAP1 000005f9: SWAP2 000005fa: SSTORE 000005fb: PUSH2 0x0314 000005fe: SLOAD 000005ff: SWAP4 00000600: SLOAD 00000601: DUP4 00000602: MLOAD 00000603: PUSH1 0x01 00000605: PUSH1 0xa0 00000607: PUSH1 0x02 00000609: EXP 0000060a: SUB 0000060b: SWAP3 0000060c: SWAP1 0000060d: SWAP3 0000060e: AND 0000060f: DUP3 00000610: MSTORE 00000611: PUSH4 0xffffffff 00000616: TIMESTAMP 00000617: DUP2 00000618: AND 00000619: SWAP4 0000061a: DUP4 0000061b: ADD 0000061c: SWAP4 0000061d: SWAP1 0000061e: SWAP4 0000061f: MSTORE 00000620: SWAP4 00000621: DUP3 00000622: AND 00000623: DUP2 00000624: DUP5 00000625: ADD 00000626: MSTORE 00000627: DUP8 00000628: DUP3 00000629: AND 0000062a: PUSH1 0x60 0000062c: DUP3 0000062d: ADD 0000062e: MSTORE 0000062f: SWAP3 00000630: AND 00000631: PUSH1 0x80 00000633: DUP4 00000634: ADD 00000635: MSTORE 00000636: MLOAD 00000637: PUSH32 0x19961f83d2d83a86a6477cad7fb6f8a53f95a71f0dd7e56ec1d0fb1db2092110 00000658: SWAP2 00000659: DUP2 0000065a: SWAP1 0000065b: SUB 0000065c: PUSH1 0xa0 0000065e: ADD 0000065f: SWAP1 00000660: LOG1 00000661: PUSH2 0x0315 00000664: DUP1 00000665: SLOAD 00000666: PUSH1 0x01 00000668: ADD 00000669: SWAP1 0000066a: SSTORE 0000066b: PUSH2 0x0319 0000066e: DUP1 0000066f: SLOAD 00000670: DUP6 00000671: ADD 00000672: SWAP1 00000673: SSTORE 00000674: POP 00000675: POP 00000676: POP 00000677: POP 00000678: 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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x5acf247b1033824bc13bd6ee4eb4892858bbf038353f1e650d53c1019ba6af2c
call_targets:
0xfe147b94a4ee2285db73d7897438a94a97be64c2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5acf247b1033824bc13bd6ee4eb4892858bbf038353f1e650d53c1019ba6af2c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfe147b94a4ee2285db73d7897438a94a97be64c2"
],
"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": "0x090015d8",
"selector": "0x090015d8",
"calldata_variants": [
"0x090015d8",
"0x090015d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1226afde",
"selector": "0x1226afde",
"calldata_variants": [
"0x1226afde",
"0x1226afde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x146ca531",
"selector": "0x146ca531",
"calldata_variants": [
"0x146ca531",
"0x146ca5310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x348a653a",
"selector": "0x348a653a",
"calldata_variants": [
"0x348a653a",
"0x348a653a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39eda24e",
"selector": "0x39eda24e",
"calldata_variants": [
"0x39eda24e",
"0x39eda24e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4311de8f",
"selector": "0x4311de8f",
"calldata_variants": [
"0x4311de8f",
"0x4311de8f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4413c83c",
"selector": "0x4413c83c",
"calldata_variants": [
"0x4413c83c",
"0x4413c83c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4c6686d8",
"selector": "0x4c6686d8",
"calldata_variants": [
"0x4c6686d8",
"0x4c6686d80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 945,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1317,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1390,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x5acf247b1033824bc13bd6ee4eb4892858bbf038353f1e650d53c1019ba6af2c
call_targets:
0xfe147b94a4ee2285db73d7897438a94a97be64c2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5acf247b1033824bc13bd6ee4eb4892858bbf038353f1e650d53c1019ba6af2c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfe147b94a4ee2285db73d7897438a94a97be64c2"
],
"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": "0x090015d8",
"selector": "0x090015d8",
"calldata_variants": [
"0x090015d8",
"0x090015d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1226afde",
"selector": "0x1226afde",
"calldata_variants": [
"0x1226afde",
"0x1226afde0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x146ca531",
"selector": "0x146ca531",
"calldata_variants": [
"0x146ca531",
"0x146ca5310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x348a653a",
"selector": "0x348a653a",
"calldata_variants": [
"0x348a653a",
"0x348a653a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39eda24e",
"selector": "0x39eda24e",
"calldata_variants": [
"0x39eda24e",
"0x39eda24e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4311de8f",
"selector": "0x4311de8f",
"calldata_variants": [
"0x4311de8f",
"0x4311de8f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4413c83c",
"selector": "0x4413c83c",
"calldata_variants": [
"0x4413c83c",
"0x4413c83c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4c6686d8",
"selector": "0x4c6686d8",
"calldata_variants": [
"0x4c6686d8",
"0x4c6686d80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 945,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1317,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1390,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|