019b3836-5edc-71d0-a94c-0b8f9c5e1885
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 |
|---|---|---|---|---|
| 9547 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 9548 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 52496 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 52497 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 52498 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 52499 | 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 0x0061 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x31a00e51 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0063 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x4ad211ca 00000025: EQ 00000026: PUSH2 0x0078 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x6497fc25 00000030: EQ 00000031: PUSH2 0x008a 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0xc532892c 0000003b: EQ 0000003c: PUSH2 0x01dc 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0xd2424162 00000046: EQ 00000047: PUSH2 0x0265 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xe31e5c3d 00000051: EQ 00000052: PUSH2 0x0287 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xf77df859 0000005c: EQ 0000005d: PUSH2 0x02ea 00000060: JUMPI 00000061: JUMPDEST 00000062: STOP 00000063: JUMPDEST 00000064: PUSH2 0x0061 00000067: PUSH1 0x04 00000069: CALLDATALOAD 0000006a: PUSH1 0x24 0000006c: CALLDATALOAD 0000006d: PUSH1 0x00 0000006f: PUSH2 0x0351 00000072: CALLER 00000073: DUP5 00000074: PUSH2 0x01e6 00000077: JUMP 00000078: JUMPDEST 00000079: PUSH2 0x0061 0000007c: PUSH1 0x04 0000007e: CALLDATALOAD 0000007f: PUSH1 0x00 00000081: PUSH2 0x038d 00000084: CALLER 00000085: DUP4 00000086: PUSH2 0x01e6 00000089: JUMP 0000008a: JUMPDEST 0000008b: PUSH2 0x0311 0000008e: JUMPDEST 0000008f: PUSH1 0x00 00000091: DUP1 00000092: DUP1 00000093: JUMPDEST 00000094: PUSH1 0x01 00000096: SLOAD 00000097: PUSH1 0xa0 00000099: PUSH1 0x02 0000009b: EXP 0000009c: SWAP1 0000009d: DIV 0000009e: PUSH4 0xffffffff 000000a3: SWAP1 000000a4: DUP2 000000a5: AND 000000a6: SWAP1 000000a7: DUP3 000000a8: AND 000000a9: LT 000000aa: ISZERO 000000ab: PUSH2 0x049d 000000ae: JUMPI 000000af: PUSH4 0xffffffff 000000b4: DUP2 000000b5: AND 000000b6: PUSH1 0x00 000000b8: SWAP1 000000b9: DUP2 000000ba: MSTORE 000000bb: PUSH1 0x02 000000bd: PUSH1 0x20 000000bf: MSTORE 000000c0: PUSH1 0x40 000000c2: DUP2 000000c3: KECCAK256 000000c4: PUSH1 0x01 000000c6: ADD 000000c7: SLOAD 000000c8: EQ 000000c9: DUP1 000000ca: ISZERO 000000cb: SWAP1 000000cc: PUSH2 0x01cb 000000cf: JUMPI 000000d0: POP 000000d1: PUSH4 0xffffffff 000000d6: DUP2 000000d7: DUP2 000000d8: AND 000000d9: PUSH1 0x00 000000db: SWAP1 000000dc: DUP2 000000dd: MSTORE 000000de: PUSH1 0x02 000000e0: PUSH1 0x20 000000e2: MSTORE 000000e3: PUSH1 0x40 000000e5: DUP1 000000e6: DUP3 000000e7: KECCAK256 000000e8: SLOAD 000000e9: SWAP3 000000ea: DUP6 000000eb: AND 000000ec: DUP3 000000ed: MSTORE 000000ee: SWAP1 000000ef: KECCAK256 000000f0: SLOAD 000000f1: PUSH1 0xa0 000000f3: PUSH1 0x02 000000f5: EXP 000000f6: SWAP2 000000f7: DUP3 000000f8: SWAP1 000000f9: DIV 000000fa: PUSH2 0xffff 000000fd: SWAP1 000000fe: DUP2 000000ff: AND 00000100: SWAP3 00000101: SWAP1 00000102: SWAP2 00000103: DIV 00000104: AND 00000105: GT 00000106: DUP1 00000107: PUSH2 0x01cb 0000010a: JUMPI 0000010b: POP 0000010c: PUSH1 0x02 0000010e: PUSH1 0x00 00000110: POP 00000111: PUSH1 0x00 00000113: DUP3 00000114: PUSH4 0xffffffff 00000119: AND 0000011a: DUP2 0000011b: MSTORE 0000011c: PUSH1 0x20 0000011e: ADD 0000011f: SWAP1 00000120: DUP2 00000121: MSTORE 00000122: PUSH1 0x20 00000124: ADD 00000125: PUSH1 0x00 00000127: KECCAK256 00000128: PUSH1 0x00 0000012a: POP 0000012b: PUSH1 0x00 0000012d: ADD 0000012e: PUSH1 0x14 00000130: SWAP1 00000131: SLOAD 00000132: SWAP1 00000133: PUSH2 0x0100 00000136: EXP 00000137: SWAP1 00000138: DIV 00000139: PUSH2 0xffff 0000013c: AND 0000013d: PUSH2 0xffff 00000140: AND 00000141: PUSH1 0x02 00000143: PUSH1 0x00 00000145: POP 00000146: PUSH1 0x00 00000148: DUP5 00000149: PUSH4 0xffffffff 0000014e: AND 0000014f: DUP2 00000150: MSTORE 00000151: PUSH1 0x20 00000153: ADD 00000154: SWAP1 00000155: DUP2 00000156: MSTORE 00000157: PUSH1 0x20 00000159: ADD 0000015a: PUSH1 0x00 0000015c: KECCAK256 0000015d: PUSH1 0x00 0000015f: POP 00000160: PUSH1 0x00 00000162: ADD 00000163: PUSH1 0x14 00000165: SWAP1 00000166: SLOAD 00000167: SWAP1 00000168: PUSH2 0x0100 0000016b: EXP 0000016c: SWAP1 0000016d: DIV 0000016e: PUSH2 0xffff 00000171: AND 00000172: PUSH2 0xffff 00000175: AND 00000176: EQ 00000177: DUP1 00000178: ISZERO 00000179: PUSH2 0x01cb 0000017c: JUMPI 0000017d: POP 0000017e: PUSH1 0x02 00000180: PUSH1 0x00 00000182: POP 00000183: PUSH1 0x00 00000185: DUP3 00000186: PUSH4 0xffffffff 0000018b: AND 0000018c: DUP2 0000018d: MSTORE 0000018e: PUSH1 0x20 00000190: ADD 00000191: SWAP1 00000192: DUP2 00000193: MSTORE 00000194: PUSH1 0x20 00000196: ADD 00000197: PUSH1 0x00 00000199: KECCAK256 0000019a: PUSH1 0x00 0000019c: POP 0000019d: PUSH1 0x02 0000019f: ADD 000001a0: PUSH1 0x00 000001a2: POP 000001a3: SLOAD 000001a4: PUSH1 0x02 000001a6: PUSH1 0x00 000001a8: POP 000001a9: PUSH1 0x00 000001ab: DUP5 000001ac: PUSH4 0xffffffff 000001b1: AND 000001b2: DUP2 000001b3: MSTORE 000001b4: PUSH1 0x20 000001b6: ADD 000001b7: SWAP1 000001b8: DUP2 000001b9: MSTORE 000001ba: PUSH1 0x20 000001bc: ADD 000001bd: PUSH1 0x00 000001bf: KECCAK256 000001c0: PUSH1 0x00 000001c2: POP 000001c3: PUSH1 0x02 000001c5: ADD 000001c6: PUSH1 0x00 000001c8: POP 000001c9: SLOAD 000001ca: GT 000001cb: JUMPDEST 000001cc: ISZERO 000001cd: PUSH2 0x01d4 000001d0: JUMPI 000001d1: SWAP1 000001d2: POP 000001d3: DUP1 000001d4: JUMPDEST 000001d5: PUSH1 0x01 000001d7: ADD 000001d8: PUSH2 0x0093 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH2 0x0311 000001e0: PUSH1 0x04 000001e2: CALLDATALOAD 000001e3: PUSH1 0x24 000001e5: CALLDATALOAD 000001e6: JUMPDEST 000001e7: PUSH1 0x00 000001e9: DUP1 000001ea: JUMPDEST 000001eb: PUSH1 0x01 000001ed: SLOAD 000001ee: PUSH1 0xa0 000001f0: PUSH1 0x02 000001f2: EXP 000001f3: SWAP1 000001f4: DIV 000001f5: PUSH4 0xffffffff 000001fa: SWAP1 000001fb: DUP2 000001fc: AND 000001fd: SWAP1 000001fe: DUP3 000001ff: AND 00000200: LT 00000201: ISZERO 00000202: PUSH2 0x04a3 00000205: JUMPI 00000206: PUSH4 0xffffffff 0000020b: DUP2 0000020c: AND 0000020d: PUSH1 0x00 0000020f: SWAP1 00000210: DUP2 00000211: MSTORE 00000212: PUSH1 0x02 00000214: PUSH1 0x20 00000216: MSTORE 00000217: PUSH1 0x40 00000219: SWAP1 0000021a: KECCAK256 0000021b: SLOAD 0000021c: PUSH1 0x01 0000021e: PUSH1 0xa0 00000220: PUSH1 0x02 00000222: EXP 00000223: SUB 00000224: DUP6 00000225: DUP2 00000226: AND 00000227: SWAP2 00000228: AND 00000229: EQ 0000022a: DUP1 0000022b: ISZERO 0000022c: PUSH2 0x0258 0000022f: JUMPI 00000230: POP 00000231: PUSH4 0xffffffff 00000236: DUP2 00000237: AND 00000238: PUSH1 0x00 0000023a: SWAP1 0000023b: DUP2 0000023c: MSTORE 0000023d: PUSH1 0x02 0000023f: PUSH1 0x20 00000241: MSTORE 00000242: PUSH1 0x40 00000244: SWAP1 00000245: KECCAK256 00000246: SLOAD 00000247: PUSH1 0xa0 00000249: PUSH1 0x02 0000024b: EXP 0000024c: SWAP1 0000024d: DIV 0000024e: PUSH2 0xffff 00000251: SWAP1 00000252: DUP2 00000253: AND 00000254: SWAP1 00000255: DUP5 00000256: AND 00000257: EQ 00000258: JUMPDEST 00000259: ISZERO 0000025a: PUSH2 0x04b2 0000025d: JUMPI 0000025e: DUP1 0000025f: SWAP2 00000260: POP 00000261: PUSH2 0x04ab 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH2 0x0061 00000269: PUSH1 0x04 0000026b: CALLDATALOAD 0000026c: PUSH1 0x00 0000026e: SLOAD 0000026f: PUSH1 0x01 00000271: PUSH1 0xa0 00000273: PUSH1 0x02 00000275: EXP 00000276: SUB 00000277: SWAP1 00000278: DUP2 00000279: AND 0000027a: CALLER 0000027b: SWAP1 0000027c: SWAP2 0000027d: AND 0000027e: EQ 0000027f: PUSH2 0x04ba 00000282: JUMPI 00000283: PUSH2 0x04da 00000286: JUMP 00000287: JUMPDEST 00000288: PUSH4 0xffffffff 0000028d: PUSH1 0x04 0000028f: CALLDATALOAD 00000290: AND 00000291: PUSH1 0x00 00000293: SWAP1 00000294: DUP2 00000295: MSTORE 00000296: PUSH1 0x02 00000298: PUSH1 0x20 0000029a: DUP2 0000029b: DUP2 0000029c: MSTORE 0000029d: PUSH1 0x40 0000029f: SWAP3 000002a0: DUP4 000002a1: SWAP1 000002a2: KECCAK256 000002a3: PUSH1 0x01 000002a5: DUP2 000002a6: ADD 000002a7: SLOAD 000002a8: DUP2 000002a9: SLOAD 000002aa: DUP6 000002ab: MLOAD 000002ac: SWAP3 000002ad: SWAP1 000002ae: SWAP5 000002af: ADD 000002b0: SLOAD 000002b1: PUSH1 0x01 000002b3: PUSH1 0xa0 000002b5: PUSH1 0x02 000002b7: EXP 000002b8: SUB 000002b9: DUP6 000002ba: AND 000002bb: DUP4 000002bc: MSTORE 000002bd: PUSH1 0xa0 000002bf: PUSH1 0x02 000002c1: EXP 000002c2: SWAP1 000002c3: SWAP5 000002c4: DIV 000002c5: PUSH2 0xffff 000002c8: AND 000002c9: SWAP3 000002ca: DUP3 000002cb: ADD 000002cc: SWAP3 000002cd: SWAP1 000002ce: SWAP3 000002cf: MSTORE 000002d0: DUP1 000002d1: DUP5 000002d2: ADD 000002d3: SWAP2 000002d4: SWAP1 000002d5: SWAP2 000002d6: MSTORE 000002d7: PUSH1 0x60 000002d9: DUP2 000002da: ADD 000002db: SWAP2 000002dc: SWAP1 000002dd: SWAP2 000002de: MSTORE 000002df: SWAP1 000002e0: MLOAD 000002e1: SWAP1 000002e2: DUP2 000002e3: SWAP1 000002e4: SUB 000002e5: PUSH1 0x80 000002e7: ADD 000002e8: SWAP1 000002e9: RETURN 000002ea: JUMPDEST 000002eb: PUSH2 0x0061 000002ee: PUSH1 0x04 000002f0: CALLDATALOAD 000002f1: PUSH1 0x24 000002f3: CALLDATALOAD 000002f4: PUSH1 0x01 000002f6: SLOAD 000002f7: PUSH1 0x00 000002f9: SWAP1 000002fa: CALLER 000002fb: PUSH1 0x01 000002fd: PUSH1 0xa0 000002ff: PUSH1 0x02 00000301: EXP 00000302: SUB 00000303: SWAP1 00000304: DUP2 00000305: AND 00000306: SWAP2 00000307: AND 00000308: EQ 00000309: PUSH2 0x06bb 0000030c: JUMPI 0000030d: PUSH2 0x034c 00000310: JUMP 00000311: JUMPDEST 00000312: PUSH1 0x40 00000314: DUP1 00000315: MLOAD 00000316: PUSH4 0xffffffff 0000031b: SWAP3 0000031c: SWAP1 0000031d: SWAP3 0000031e: AND 0000031f: DUP3 00000320: MSTORE 00000321: MLOAD 00000322: SWAP1 00000323: DUP2 00000324: SWAP1 00000325: SUB 00000326: PUSH1 0x20 00000328: ADD 00000329: SWAP1 0000032a: RETURN 0000032b: JUMPDEST 0000032c: PUSH1 0x40 0000032e: MLOAD 0000032f: CALLER 00000330: PUSH1 0x01 00000332: PUSH1 0xa0 00000334: PUSH1 0x02 00000336: EXP 00000337: SUB 00000338: AND 00000339: SWAP1 0000033a: PUSH1 0x00 0000033c: SWAP1 0000033d: DUP5 0000033e: SWAP1 0000033f: DUP3 00000340: DUP2 00000341: DUP2 00000342: DUP2 00000343: DUP6 00000344: DUP9 00000345: DUP4 00000346: CALL 00000347: POP 00000348: POP 00000349: POP 0000034a: POP 0000034b: POP 0000034c: JUMPDEST 0000034d: POP 0000034e: POP 0000034f: POP 00000350: JUMP 00000351: JUMPDEST 00000352: SWAP1 00000353: POP 00000354: DUP1 00000355: PUSH4 0xffffffff 0000035a: AND 0000035b: PUSH4 0xffffffff 00000360: EQ 00000361: DUP1 00000362: PUSH2 0x0383 00000365: JUMPI 00000366: POP 00000367: PUSH4 0xffffffff 0000036c: DUP2 0000036d: AND 0000036e: PUSH1 0x00 00000370: SWAP1 00000371: DUP2 00000372: MSTORE 00000373: PUSH1 0x02 00000375: PUSH1 0x20 00000377: MSTORE 00000378: PUSH1 0x40 0000037a: SWAP1 0000037b: KECCAK256 0000037c: PUSH1 0x01 0000037e: ADD 0000037f: SLOAD 00000380: DUP3 00000381: SWAP1 00000382: LT 00000383: JUMPDEST 00000384: ISZERO 00000385: PUSH2 0x032b 00000388: JUMPI 00000389: PUSH2 0x034c 0000038c: JUMP 0000038d: JUMPDEST 0000038e: SWAP1 0000038f: POP 00000390: DUP1 00000391: PUSH4 0xffffffff 00000396: AND 00000397: PUSH4 0xffffffff 0000039c: EQ 0000039d: ISZERO 0000039e: PUSH2 0x043c 000003a1: JUMPI 000003a2: PUSH1 0x01 000003a4: DUP1 000003a5: SLOAD 000003a6: PUSH1 0xa0 000003a8: PUSH1 0x02 000003aa: EXP 000003ab: SWAP1 000003ac: DUP2 000003ad: SWAP1 000003ae: DIV 000003af: PUSH4 0xffffffff 000003b4: SWAP1 000003b5: DUP2 000003b6: AND 000003b7: PUSH1 0x00 000003b9: SWAP1 000003ba: DUP2 000003bb: MSTORE 000003bc: PUSH1 0x02 000003be: PUSH1 0x20 000003c0: MSTORE 000003c1: PUSH1 0x40 000003c3: DUP1 000003c4: DUP3 000003c5: KECCAK256 000003c6: DUP1 000003c7: SLOAD 000003c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003dd: NOT 000003de: AND 000003df: CALLER 000003e0: OR 000003e1: SWAP1 000003e2: SSTORE 000003e3: DUP5 000003e4: SLOAD 000003e5: DUP5 000003e6: SWAP1 000003e7: DIV 000003e8: DUP4 000003e9: AND 000003ea: DUP3 000003eb: MSTORE 000003ec: SWAP1 000003ed: KECCAK256 000003ee: DUP1 000003ef: SLOAD 000003f0: PUSH22 0xffff0000000000000000000000000000000000000000 00000407: NOT 00000408: AND 00000409: DUP7 0000040a: DUP5 0000040b: MUL 0000040c: OR 0000040d: SWAP1 0000040e: SSTORE 0000040f: DUP3 00000410: SLOAD 00000411: PUSH24 0xffffffff0000000000000000000000000000000000000000 0000042a: NOT 0000042b: DUP2 0000042c: AND 0000042d: SWAP1 0000042e: DUP4 0000042f: SWAP1 00000430: DIV 00000431: SWAP1 00000432: SWAP2 00000433: AND 00000434: DUP4 00000435: ADD 00000436: SWAP1 00000437: SWAP2 00000438: MUL 00000439: OR 0000043a: SWAP1 0000043b: SSTORE 0000043c: JUMPDEST 0000043d: PUSH1 0x01 0000043f: DUP1 00000440: SLOAD 00000441: PUSH1 0xa0 00000443: PUSH1 0x02 00000445: EXP 00000446: SWAP1 00000447: DIV 00000448: PUSH4 0xffffffff 0000044d: AND 0000044e: PUSH1 0x00 00000450: SWAP1 00000451: DUP2 00000452: MSTORE 00000453: PUSH1 0x02 00000455: PUSH1 0x20 00000457: MSTORE 00000458: PUSH1 0x40 0000045a: DUP2 0000045b: KECCAK256 0000045c: SWAP1 0000045d: SWAP2 0000045e: ADD 0000045f: SLOAD 00000460: EQ 00000461: ISZERO 00000462: PUSH2 0x0473 00000465: JUMPI 00000466: PUSH1 0x40 00000468: PUSH1 0x00 0000046a: KECCAK256 0000046b: TIMESTAMP 0000046c: PUSH1 0x02 0000046e: SWAP2 0000046f: SWAP1 00000470: SWAP2 00000471: ADD 00000472: SSTORE 00000473: JUMPDEST 00000474: PUSH1 0x01 00000476: DUP1 00000477: SLOAD 00000478: PUSH1 0xa0 0000047a: PUSH1 0x02 0000047c: EXP 0000047d: SWAP1 0000047e: DIV 0000047f: PUSH4 0xffffffff 00000484: AND 00000485: PUSH1 0x00 00000487: SWAP1 00000488: DUP2 00000489: MSTORE 0000048a: PUSH1 0x02 0000048c: PUSH1 0x20 0000048e: MSTORE 0000048f: PUSH1 0x40 00000491: SWAP1 00000492: KECCAK256 00000493: ADD 00000494: DUP1 00000495: SLOAD 00000496: CALLVALUE 00000497: ADD 00000498: SWAP1 00000499: SSTORE 0000049a: POP 0000049b: POP 0000049c: JUMP 0000049d: JUMPDEST 0000049e: POP 0000049f: SWAP2 000004a0: SWAP1 000004a1: POP 000004a2: JUMP 000004a3: JUMPDEST 000004a4: PUSH4 0xffffffff 000004a9: SWAP2 000004aa: POP 000004ab: JUMPDEST 000004ac: POP 000004ad: SWAP3 000004ae: SWAP2 000004af: POP 000004b0: POP 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH1 0x01 000004b5: ADD 000004b6: PUSH2 0x01ea 000004b9: JUMP 000004ba: JUMPDEST 000004bb: PUSH1 0x01 000004bd: DUP1 000004be: SLOAD 000004bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d4: NOT 000004d5: AND 000004d6: DUP3 000004d7: OR 000004d8: SWAP1 000004d9: SSTORE 000004da: JUMPDEST 000004db: POP 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH4 0xffffffff 000004e3: DUP2 000004e4: AND 000004e5: PUSH1 0x00 000004e7: SWAP1 000004e8: DUP2 000004e9: MSTORE 000004ea: PUSH1 0x02 000004ec: PUSH1 0x20 000004ee: MSTORE 000004ef: PUSH1 0x40 000004f1: SWAP1 000004f2: KECCAK256 000004f3: SLOAD 000004f4: SWAP1 000004f5: SWAP2 000004f6: POP 000004f7: PUSH2 0xffff 000004fa: DUP5 000004fb: DUP2 000004fc: AND 000004fd: PUSH1 0xa0 000004ff: PUSH1 0x02 00000501: EXP 00000502: SWAP1 00000503: SWAP3 00000504: DIV 00000505: AND 00000506: GT 00000507: DUP1 00000508: PUSH2 0x0519 0000050b: JUMPI 0000050c: POP 0000050d: PUSH1 0x40 0000050f: PUSH1 0x00 00000511: SWAP1 00000512: DUP2 00000513: KECCAK256 00000514: PUSH1 0x01 00000516: ADD 00000517: SLOAD 00000518: EQ 00000519: JUMPDEST 0000051a: ISZERO 0000051b: PUSH2 0x0523 0000051e: JUMPI 0000051f: PUSH2 0x034c 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH4 0xffffffff 00000529: DUP2 0000052a: AND 0000052b: PUSH1 0x00 0000052d: SWAP1 0000052e: DUP2 0000052f: MSTORE 00000530: PUSH1 0x02 00000532: PUSH1 0x20 00000534: MSTORE 00000535: PUSH1 0x40 00000537: SWAP1 00000538: KECCAK256 00000539: PUSH1 0x01 0000053b: ADD 0000053c: SLOAD 0000053d: DUP3 0000053e: SWAP1 0000053f: LT 00000540: PUSH2 0x05e7 00000543: JUMPI 00000544: PUSH1 0x40 00000546: PUSH1 0x00 00000548: DUP2 00000549: DUP2 0000054a: KECCAK256 0000054b: SLOAD 0000054c: DUP3 0000054d: MLOAD 0000054e: PUSH1 0x01 00000550: SLOAD 00000551: PUSH1 0xe0 00000553: PUSH1 0x02 00000555: EXP 00000556: PUSH4 0x5e2fb5d9 0000055b: MUL 0000055c: DUP3 0000055d: MSTORE 0000055e: PUSH1 0x01 00000560: PUSH1 0xa0 00000562: PUSH1 0x02 00000564: EXP 00000565: SUB 00000566: DUP4 00000567: DUP2 00000568: AND 00000569: PUSH1 0x04 0000056b: DUP5 0000056c: ADD 0000056d: MSTORE 0000056e: PUSH1 0xa0 00000570: PUSH1 0x02 00000572: EXP 00000573: SWAP1 00000574: SWAP4 00000575: DIV 00000576: PUSH2 0xffff 00000579: AND 0000057a: PUSH1 0x24 0000057c: DUP4 0000057d: ADD 0000057e: MSTORE 0000057f: SWAP4 00000580: MLOAD 00000581: SWAP4 00000582: SWAP1 00000583: SWAP2 00000584: AND 00000585: SWAP3 00000586: PUSH4 0x5e2fb5d9 0000058b: SWAP3 0000058c: DUP7 0000058d: SWAP3 0000058e: PUSH1 0x44 00000590: DUP2 00000591: DUP2 00000592: ADD 00000593: SWAP4 00000594: SWAP2 00000595: DUP3 00000596: SWAP1 00000597: SUB 00000598: ADD 00000599: DUP2 0000059a: DUP6 0000059b: DUP9 0000059c: PUSH2 0x8502 0000059f: GAS 000005a0: SUB 000005a1: CALL 000005a2: ISZERO 000005a3: PUSH2 0x0002 000005a6: JUMPI 000005a7: POP 000005a8: POP 000005a9: POP 000005aa: POP 000005ab: DUP2 000005ac: PUSH1 0x02 000005ae: PUSH1 0x00 000005b0: POP 000005b1: PUSH1 0x00 000005b3: DUP4 000005b4: PUSH4 0xffffffff 000005b9: AND 000005ba: DUP2 000005bb: MSTORE 000005bc: PUSH1 0x20 000005be: ADD 000005bf: SWAP1 000005c0: DUP2 000005c1: MSTORE 000005c2: PUSH1 0x20 000005c4: ADD 000005c5: PUSH1 0x00 000005c7: KECCAK256 000005c8: PUSH1 0x00 000005ca: POP 000005cb: PUSH1 0x01 000005cd: ADD 000005ce: PUSH1 0x00 000005d0: DUP3 000005d1: DUP3 000005d2: DUP3 000005d3: POP 000005d4: SLOAD 000005d5: SUB 000005d6: SWAP3 000005d7: POP 000005d8: POP 000005d9: DUP2 000005da: SWAP1 000005db: SSTORE 000005dc: POP 000005dd: PUSH1 0x00 000005df: SWAP2 000005e0: POP 000005e1: DUP2 000005e2: POP 000005e3: PUSH2 0x06bb 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH1 0x01 000005ea: DUP1 000005eb: SLOAD 000005ec: PUSH4 0xffffffff 000005f1: DUP4 000005f2: AND 000005f3: PUSH1 0x00 000005f5: SWAP1 000005f6: DUP2 000005f7: MSTORE 000005f8: PUSH1 0x02 000005fa: PUSH1 0x20 000005fc: MSTORE 000005fd: PUSH1 0x40 000005ff: DUP1 00000600: DUP3 00000601: KECCAK256 00000602: SWAP4 00000603: DUP5 00000604: ADD 00000605: SLOAD 00000606: SWAP4 00000607: SLOAD 00000608: DUP2 00000609: MLOAD 0000060a: PUSH1 0xe0 0000060c: PUSH1 0x02 0000060e: EXP 0000060f: PUSH4 0x5e2fb5d9 00000614: MUL 00000615: DUP2 00000616: MSTORE 00000617: PUSH1 0x01 00000619: PUSH1 0xa0 0000061b: PUSH1 0x02 0000061d: EXP 0000061e: SUB 0000061f: DUP3 00000620: DUP2 00000621: AND 00000622: PUSH1 0x04 00000624: DUP4 00000625: ADD 00000626: MSTORE 00000627: PUSH1 0xa0 00000629: PUSH1 0x02 0000062b: EXP 0000062c: SWAP1 0000062d: SWAP3 0000062e: DIV 0000062f: PUSH2 0xffff 00000632: AND 00000633: PUSH1 0x24 00000635: DUP3 00000636: ADD 00000637: MSTORE 00000638: SWAP2 00000639: MLOAD 0000063a: SWAP4 0000063b: AND 0000063c: SWAP4 0000063d: PUSH4 0x5e2fb5d9 00000642: SWAP4 00000643: SWAP1 00000644: SWAP3 00000645: PUSH1 0x44 00000647: DUP4 00000648: DUP2 00000649: ADD 0000064a: SWAP4 0000064b: SWAP2 0000064c: SWAP3 0000064d: SWAP2 0000064e: DUP3 0000064f: SWAP1 00000650: SUB 00000651: ADD 00000652: DUP2 00000653: DUP6 00000654: DUP9 00000655: PUSH2 0x8502 00000658: GAS 00000659: SUB 0000065a: CALL 0000065b: ISZERO 0000065c: PUSH2 0x0002 0000065f: JUMPI 00000660: POP 00000661: POP 00000662: POP 00000663: POP 00000664: PUSH1 0x02 00000666: PUSH1 0x00 00000668: POP 00000669: PUSH1 0x00 0000066b: DUP3 0000066c: PUSH4 0xffffffff 00000671: AND 00000672: DUP2 00000673: MSTORE 00000674: PUSH1 0x20 00000676: ADD 00000677: SWAP1 00000678: DUP2 00000679: MSTORE 0000067a: PUSH1 0x20 0000067c: ADD 0000067d: PUSH1 0x00 0000067f: KECCAK256 00000680: PUSH1 0x00 00000682: POP 00000683: PUSH1 0x01 00000685: ADD 00000686: PUSH1 0x00 00000688: POP 00000689: SLOAD 0000068a: DUP3 0000068b: SUB 0000068c: SWAP2 0000068d: POP 0000068e: DUP2 0000068f: POP 00000690: PUSH1 0x00 00000692: PUSH1 0x02 00000694: PUSH1 0x00 00000696: POP 00000697: PUSH1 0x00 00000699: DUP4 0000069a: PUSH4 0xffffffff 0000069f: AND 000006a0: DUP2 000006a1: MSTORE 000006a2: PUSH1 0x20 000006a4: ADD 000006a5: SWAP1 000006a6: DUP2 000006a7: MSTORE 000006a8: PUSH1 0x20 000006aa: ADD 000006ab: PUSH1 0x00 000006ad: KECCAK256 000006ae: PUSH1 0x00 000006b0: POP 000006b1: PUSH1 0x01 000006b3: ADD 000006b4: PUSH1 0x00 000006b6: POP 000006b7: DUP2 000006b8: SWAP1 000006b9: SSTORE 000006ba: POP 000006bb: JUMPDEST 000006bc: PUSH1 0x00 000006be: DUP3 000006bf: EQ 000006c0: PUSH2 0x034c 000006c3: JUMPI 000006c4: PUSH2 0x04dd 000006c7: PUSH2 0x008e 000006ca: 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: 0x592bcc0fbe7506bd5008730f747cf42cbde6f3102d73480ecf0bfc818ac8ec3c
call_targets:
0x8fc243119ddd049f30658b5eb123d6f2208f671d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x592bcc0fbe7506bd5008730f747cf42cbde6f3102d73480ecf0bfc818ac8ec3c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8fc243119ddd049f30658b5eb123d6f2208f671d"
],
"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": "0x31a00e51",
"selector": "0x31a00e51",
"calldata_variants": [
"0x31a00e51",
"0x31a00e510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4ad211ca",
"selector": "0x4ad211ca",
"calldata_variants": [
"0x4ad211ca",
"0x4ad211ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6497fc25",
"selector": "0x6497fc25",
"calldata_variants": [
"0x6497fc25",
"0x6497fc250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc532892c",
"selector": "0xc532892c",
"calldata_variants": [
"0xc532892c",
"0xc532892c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2424162",
"selector": "0xd2424162",
"calldata_variants": [
"0xd2424162",
"0xd24241620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe31e5c3d",
"selector": "0xe31e5c3d",
"calldata_variants": [
"0xe31e5c3d",
"0xe31e5c3d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf77df859",
"selector": "0xf77df859",
"calldata_variants": [
"0xf77df859",
"0xf77df8590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 838,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1441,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1626,
"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: 0x592bcc0fbe7506bd5008730f747cf42cbde6f3102d73480ecf0bfc818ac8ec3c
call_targets:
0x8fc243119ddd049f30658b5eb123d6f2208f671d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x592bcc0fbe7506bd5008730f747cf42cbde6f3102d73480ecf0bfc818ac8ec3c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8fc243119ddd049f30658b5eb123d6f2208f671d"
],
"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": "0x31a00e51",
"selector": "0x31a00e51",
"calldata_variants": [
"0x31a00e51",
"0x31a00e510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4ad211ca",
"selector": "0x4ad211ca",
"calldata_variants": [
"0x4ad211ca",
"0x4ad211ca0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6497fc25",
"selector": "0x6497fc25",
"calldata_variants": [
"0x6497fc25",
"0x6497fc250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc532892c",
"selector": "0xc532892c",
"calldata_variants": [
"0xc532892c",
"0xc532892c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2424162",
"selector": "0xd2424162",
"calldata_variants": [
"0xd2424162",
"0xd24241620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe31e5c3d",
"selector": "0xe31e5c3d",
"calldata_variants": [
"0xe31e5c3d",
"0xe31e5c3d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf77df859",
"selector": "0xf77df859",
"calldata_variants": [
"0xf77df859",
"0xf77df8590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 838,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1441,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1626,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|