019b3836-58ac-720f-ac12-58b397c2453e
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 |
|---|---|---|---|---|
| 8673 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 8674 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 52176 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 52177 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 52178 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 52179 | 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 0x008d 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x35ddea53 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x008f 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x364dab10 00000025: EQ 00000026: PUSH2 0x00bc 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x407f2fef 00000030: EQ 00000031: PUSH2 0x00ce 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x6eb27154 0000003b: EQ 0000003c: PUSH2 0x0165 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x79085425 00000046: EQ 00000047: PUSH2 0x0177 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x80fad325 00000051: EQ 00000052: PUSH2 0x0180 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8a00a82f 0000005c: EQ 0000005d: PUSH2 0x0189 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xb683b226 00000067: EQ 00000068: PUSH2 0x01b0 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xbd5a9b02 00000072: EQ 00000073: PUSH2 0x01c8 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xef2e6753 0000007d: EQ 0000007e: PUSH2 0x01ec 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xff5fc56f 00000088: EQ 00000089: PUSH2 0x020a 0000008c: JUMPI 0000008d: JUMPDEST 0000008e: STOP 0000008f: JUMPDEST 00000090: PUSH2 0x021c 00000093: PUSH1 0x04 00000095: CALLDATALOAD 00000096: PUSH1 0x24 00000098: CALLDATALOAD 00000099: PUSH1 0x44 0000009b: CALLDATALOAD 0000009c: PUSH1 0x01 0000009e: SLOAD 0000009f: PUSH1 0x00 000000a1: SWAP1 000000a2: DUP2 000000a3: SWAP1 000000a4: PUSH1 0x01 000000a6: PUSH1 0xa0 000000a8: PUSH1 0x02 000000aa: EXP 000000ab: SUB 000000ac: SWAP1 000000ad: DUP2 000000ae: AND 000000af: CALLER 000000b0: SWAP1 000000b1: SWAP2 000000b2: AND 000000b3: EQ 000000b4: PUSH2 0x029b 000000b7: JUMPI 000000b8: PUSH2 0x0002 000000bb: JUMP 000000bc: JUMPDEST 000000bd: PUSH2 0x022e 000000c0: PUSH1 0x01 000000c2: SLOAD 000000c3: PUSH1 0x01 000000c5: PUSH1 0xa0 000000c7: PUSH1 0x02 000000c9: EXP 000000ca: SUB 000000cb: AND 000000cc: DUP2 000000cd: JUMP 000000ce: JUMPDEST 000000cf: PUSH2 0x0241 000000d2: PUSH1 0x04 000000d4: CALLDATALOAD 000000d5: PUSH1 0x05 000000d7: DUP1 000000d8: SLOAD 000000d9: DUP3 000000da: SWAP1 000000db: DUP2 000000dc: LT 000000dd: ISZERO 000000de: PUSH2 0x0002 000000e1: JUMPI 000000e2: POP 000000e3: PUSH1 0x00 000000e5: MSTORE 000000e6: PUSH1 0x03 000000e8: MUL 000000e9: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db0 0000010a: DUP2 0000010b: ADD 0000010c: SLOAD 0000010d: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db1 0000012e: DUP3 0000012f: ADD 00000130: SLOAD 00000131: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db2 00000152: SWAP3 00000153: SWAP1 00000154: SWAP3 00000155: ADD 00000156: SLOAD 00000157: SWAP1 00000158: SWAP2 00000159: PUSH1 0x01 0000015b: PUSH1 0xa0 0000015d: PUSH1 0x02 0000015f: EXP 00000160: SUB 00000161: AND 00000162: SWAP1 00000163: DUP4 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH2 0x022e 00000169: PUSH1 0x00 0000016b: SLOAD 0000016c: PUSH1 0x01 0000016e: PUSH1 0xa0 00000170: PUSH1 0x02 00000172: EXP 00000173: SUB 00000174: AND 00000175: DUP2 00000176: JUMP 00000177: JUMPDEST 00000178: PUSH2 0x021c 0000017b: PUSH1 0x06 0000017d: SLOAD 0000017e: DUP2 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH2 0x021c 00000184: PUSH1 0x03 00000186: SLOAD 00000187: DUP2 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH2 0x021c 0000018d: PUSH1 0x04 0000018f: CALLDATALOAD 00000190: PUSH1 0x01 00000192: SLOAD 00000193: PUSH1 0x00 00000195: SWAP1 00000196: DUP2 00000197: SWAP1 00000198: PUSH1 0x01 0000019a: PUSH1 0xa0 0000019c: PUSH1 0x02 0000019e: EXP 0000019f: SUB 000001a0: SWAP1 000001a1: DUP2 000001a2: AND 000001a3: CALLER 000001a4: SWAP1 000001a5: SWAP2 000001a6: AND 000001a7: EQ 000001a8: PUSH2 0x033a 000001ab: JUMPI 000001ac: PUSH2 0x0002 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH2 0x021c 000001b4: PUSH1 0x04 000001b6: CALLDATALOAD 000001b7: PUSH1 0x04 000001b9: PUSH1 0x20 000001bb: MSTORE 000001bc: PUSH1 0x00 000001be: SWAP1 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x40 000001c3: SWAP1 000001c4: KECCAK256 000001c5: SLOAD 000001c6: DUP2 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH2 0x021c 000001cc: PUSH1 0x04 000001ce: CALLDATALOAD 000001cf: PUSH1 0x00 000001d1: DUP1 000001d2: SLOAD 000001d3: DUP2 000001d4: SWAP1 000001d5: CALLER 000001d6: PUSH1 0x01 000001d8: PUSH1 0xa0 000001da: PUSH1 0x02 000001dc: EXP 000001dd: SUB 000001de: SWAP1 000001df: DUP2 000001e0: AND 000001e1: SWAP2 000001e2: AND 000001e3: EQ 000001e4: PUSH2 0x033a 000001e7: JUMPI 000001e8: PUSH2 0x0002 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH2 0x008d 000001f0: PUSH1 0x00 000001f2: SLOAD 000001f3: CALLER 000001f4: PUSH1 0x01 000001f6: PUSH1 0xa0 000001f8: PUSH1 0x02 000001fa: EXP 000001fb: SUB 000001fc: SWAP1 000001fd: DUP2 000001fe: AND 000001ff: SWAP2 00000200: AND 00000201: EQ 00000202: PUSH2 0x0252 00000205: JUMPI 00000206: PUSH2 0x0002 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH2 0x022e 0000020e: PUSH1 0x02 00000210: SLOAD 00000211: PUSH1 0x01 00000213: PUSH1 0xa0 00000215: PUSH1 0x02 00000217: EXP 00000218: SUB 00000219: AND 0000021a: DUP2 0000021b: JUMP 0000021c: JUMPDEST 0000021d: PUSH1 0x40 0000021f: DUP1 00000220: MLOAD 00000221: SWAP2 00000222: DUP3 00000223: MSTORE 00000224: MLOAD 00000225: SWAP1 00000226: DUP2 00000227: SWAP1 00000228: SUB 00000229: PUSH1 0x20 0000022b: ADD 0000022c: SWAP1 0000022d: RETURN 0000022e: JUMPDEST 0000022f: PUSH1 0x01 00000231: PUSH1 0xa0 00000233: PUSH1 0x02 00000235: EXP 00000236: SUB 00000237: AND 00000238: PUSH1 0x60 0000023a: SWAP1 0000023b: DUP2 0000023c: MSTORE 0000023d: PUSH1 0x20 0000023f: SWAP1 00000240: RETURN 00000241: JUMPDEST 00000242: PUSH1 0x60 00000244: SWAP3 00000245: DUP4 00000246: MSTORE 00000247: PUSH1 0x80 00000249: SWAP2 0000024a: SWAP1 0000024b: SWAP2 0000024c: MSTORE 0000024d: PUSH1 0xa0 0000024f: MSTORE 00000250: DUP1 00000251: RETURN 00000252: JUMPDEST 00000253: PUSH1 0x03 00000255: SLOAD 00000256: CALLVALUE 00000257: PUSH1 0x60 00000259: SWAP1 0000025a: DUP2 0000025b: MSTORE 0000025c: PUSH1 0x80 0000025e: SWAP2 0000025f: SWAP1 00000260: SWAP2 00000261: MSTORE 00000262: PUSH32 0xbf2ebcc991369bcf488ef5738352a5d8998bd7a2c138128ca91ec96afe123fd6 00000283: SWAP1 00000284: PUSH1 0x40 00000286: SWAP1 00000287: LOG1 00000288: CALLVALUE 00000289: PUSH1 0x03 0000028b: PUSH1 0x00 0000028d: DUP3 0000028e: DUP3 0000028f: DUP3 00000290: POP 00000291: SLOAD 00000292: ADD 00000293: SWAP3 00000294: POP 00000295: POP 00000296: DUP2 00000297: SWAP1 00000298: SSTORE 00000299: POP 0000029a: JUMP 0000029b: JUMPDEST 0000029c: PUSH1 0x02 0000029e: SLOAD 0000029f: PUSH1 0xe0 000002a1: PUSH1 0x02 000002a3: EXP 000002a4: PUSH4 0x70a08231 000002a9: MUL 000002aa: PUSH1 0x60 000002ac: SWAP1 000002ad: DUP2 000002ae: MSTORE 000002af: PUSH1 0x01 000002b1: PUSH1 0xa0 000002b3: PUSH1 0x02 000002b5: EXP 000002b6: SUB 000002b7: DUP8 000002b8: DUP2 000002b9: AND 000002ba: PUSH1 0x64 000002bc: MSTORE 000002bd: SWAP1 000002be: SWAP2 000002bf: AND 000002c0: SWAP1 000002c1: PUSH4 0x70a08231 000002c6: SWAP1 000002c7: PUSH1 0x84 000002c9: SWAP1 000002ca: PUSH1 0x20 000002cc: SWAP1 000002cd: PUSH1 0x24 000002cf: DUP2 000002d0: DUP8 000002d1: DUP8 000002d2: PUSH2 0x61da 000002d5: GAS 000002d6: SUB 000002d7: CALL 000002d8: ISZERO 000002d9: PUSH2 0x0002 000002dc: JUMPI 000002dd: POP 000002de: POP 000002df: PUSH1 0x40 000002e1: DUP1 000002e2: MLOAD 000002e3: MLOAD 000002e4: PUSH1 0x01 000002e6: PUSH1 0xa0 000002e8: PUSH1 0x02 000002ea: EXP 000002eb: SUB 000002ec: DUP9 000002ed: AND 000002ee: SWAP1 000002ef: SWAP4 000002f0: MSTORE 000002f1: PUSH1 0x04 000002f3: PUSH1 0x20 000002f5: MSTORE 000002f6: DUP4 000002f7: KECCAK256 000002f8: SLOAD 000002f9: DUP1 000002fa: DUP6 000002fb: MUL 000002fc: SWAP3 000002fd: SWAP1 000002fe: SWAP3 000002ff: DIV 00000300: SWAP2 00000301: DUP3 00000302: GT 00000303: ISZERO 00000304: SWAP1 00000305: POP 00000306: PUSH2 0x030e 00000309: JUMPI 0000030a: PUSH2 0x0002 0000030d: JUMP 0000030e: JUMPDEST 0000030f: PUSH1 0x40 00000311: DUP1 00000312: DUP4 00000313: KECCAK256 00000314: DUP1 00000315: SLOAD 00000316: DUP4 00000317: SWAP1 00000318: SUB 00000319: SWAP1 0000031a: SSTORE 0000031b: PUSH1 0x01 0000031d: PUSH1 0xa0 0000031f: PUSH1 0x02 00000321: EXP 00000322: SUB 00000323: DUP6 00000324: AND 00000325: DUP4 00000326: MSTORE 00000327: SWAP1 00000328: SWAP2 00000329: KECCAK256 0000032a: DUP1 0000032b: SLOAD 0000032c: DUP3 0000032d: ADD 0000032e: SWAP1 0000032f: SSTORE 00000330: PUSH1 0x01 00000332: SWAP1 00000333: POP 00000334: SWAP4 00000335: SWAP3 00000336: POP 00000337: POP 00000338: POP 00000339: JUMP 0000033a: JUMPDEST 0000033b: PUSH1 0x01 0000033d: PUSH1 0xa0 0000033f: PUSH1 0x02 00000341: EXP 00000342: SUB 00000343: DUP4 00000344: DUP2 00000345: AND 00000346: DUP3 00000347: MSTORE 00000348: PUSH1 0x04 0000034a: PUSH1 0x20 0000034c: DUP2 0000034d: DUP2 0000034e: MSTORE 0000034f: PUSH1 0x40 00000351: DUP5 00000352: KECCAK256 00000353: SLOAD 00000354: PUSH1 0x02 00000356: SLOAD 00000357: PUSH32 0x366d485800000000000000000000000000000000000000000000000000000000 00000378: PUSH1 0x60 0000037a: SWAP1 0000037b: DUP2 0000037c: MSTORE 0000037d: SWAP2 0000037e: SWAP5 0000037f: AND 00000380: SWAP3 00000381: PUSH4 0x366d4858 00000386: SWAP3 00000387: PUSH1 0x64 00000389: SWAP3 0000038a: SWAP1 0000038b: SWAP2 0000038c: DUP2 0000038d: DUP9 0000038e: DUP8 0000038f: PUSH2 0x61da 00000392: GAS 00000393: SUB 00000394: CALL 00000395: ISZERO 00000396: PUSH2 0x0002 00000399: JUMPI 0000039a: POP 0000039b: POP 0000039c: PUSH1 0x40 0000039e: DUP1 0000039f: MLOAD 000003a0: DUP1 000003a1: MLOAD 000003a2: PUSH1 0x02 000003a4: SLOAD 000003a5: PUSH1 0xe0 000003a7: PUSH1 0x02 000003a9: EXP 000003aa: PUSH4 0x70a08231 000003af: MUL 000003b0: DUP4 000003b1: MSTORE 000003b2: PUSH1 0x01 000003b4: PUSH1 0xa0 000003b6: PUSH1 0x02 000003b8: EXP 000003b9: SUB 000003ba: DUP10 000003bb: DUP2 000003bc: AND 000003bd: PUSH1 0x04 000003bf: DUP6 000003c0: ADD 000003c1: MSTORE 000003c2: SWAP4 000003c3: MLOAD 000003c4: SWAP2 000003c5: SWAP5 000003c6: POP 000003c7: SWAP1 000003c8: SWAP3 000003c9: AND 000003ca: SWAP2 000003cb: PUSH4 0x70a08231 000003d0: SWAP2 000003d1: PUSH1 0x24 000003d3: DUP2 000003d4: DUP2 000003d5: ADD 000003d6: SWAP3 000003d7: PUSH1 0x20 000003d9: SWAP3 000003da: SWAP1 000003db: SWAP2 000003dc: SWAP1 000003dd: DUP3 000003de: SWAP1 000003df: SUB 000003e0: ADD 000003e1: DUP2 000003e2: DUP10 000003e3: DUP8 000003e4: PUSH2 0x61da 000003e7: GAS 000003e8: SUB 000003e9: CALL 000003ea: ISZERO 000003eb: PUSH2 0x0002 000003ee: JUMPI 000003ef: POP 000003f0: POP 000003f1: POP 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: DUP1 000003f6: MLOAD 000003f7: SWAP1 000003f8: PUSH1 0x20 000003fa: ADD 000003fb: POP 000003fc: PUSH1 0x03 000003fe: PUSH1 0x00 00000400: POP 00000401: SLOAD 00000402: MUL 00000403: DIV 00000404: LT 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH2 0x0002 0000040d: JUMP 0000040e: JUMPDEST 0000040f: PUSH1 0x04 00000411: PUSH1 0x00 00000413: POP 00000414: PUSH1 0x00 00000416: DUP5 00000417: PUSH1 0x01 00000419: PUSH1 0xa0 0000041b: PUSH1 0x02 0000041d: EXP 0000041e: SUB 0000041f: AND 00000420: DUP2 00000421: MSTORE 00000422: PUSH1 0x20 00000424: ADD 00000425: SWAP1 00000426: DUP2 00000427: MSTORE 00000428: PUSH1 0x20 0000042a: ADD 0000042b: PUSH1 0x00 0000042d: KECCAK256 0000042e: PUSH1 0x00 00000430: POP 00000431: SLOAD 00000432: PUSH1 0x02 00000434: PUSH1 0x00 00000436: SWAP1 00000437: SLOAD 00000438: SWAP1 00000439: PUSH2 0x0100 0000043c: EXP 0000043d: SWAP1 0000043e: DIV 0000043f: PUSH1 0x01 00000441: PUSH1 0xa0 00000443: PUSH1 0x02 00000445: EXP 00000446: SUB 00000447: AND 00000448: PUSH1 0x01 0000044a: PUSH1 0xa0 0000044c: PUSH1 0x02 0000044e: EXP 0000044f: SUB 00000450: AND 00000451: PUSH4 0x366d4858 00000456: PUSH1 0x40 00000458: MLOAD 00000459: DUP2 0000045a: PUSH1 0xe0 0000045c: PUSH1 0x02 0000045e: EXP 0000045f: MUL 00000460: DUP2 00000461: MSTORE 00000462: PUSH1 0x04 00000464: ADD 00000465: DUP1 00000466: SWAP1 00000467: POP 00000468: PUSH1 0x20 0000046a: PUSH1 0x40 0000046c: MLOAD 0000046d: DUP1 0000046e: DUP4 0000046f: SUB 00000470: DUP2 00000471: PUSH1 0x00 00000473: DUP8 00000474: PUSH2 0x61da 00000477: GAS 00000478: SUB 00000479: CALL 0000047a: ISZERO 0000047b: PUSH2 0x0002 0000047e: JUMPI 0000047f: POP 00000480: POP 00000481: PUSH1 0x40 00000483: DUP1 00000484: MLOAD 00000485: DUP1 00000486: MLOAD 00000487: PUSH1 0x02 00000489: SLOAD 0000048a: PUSH1 0xe0 0000048c: PUSH1 0x02 0000048e: EXP 0000048f: PUSH4 0x70a08231 00000494: MUL 00000495: DUP4 00000496: MSTORE 00000497: PUSH1 0x01 00000499: PUSH1 0xa0 0000049b: PUSH1 0x02 0000049d: EXP 0000049e: SUB 0000049f: DUP10 000004a0: DUP2 000004a1: AND 000004a2: PUSH1 0x04 000004a4: DUP6 000004a5: ADD 000004a6: MSTORE 000004a7: SWAP4 000004a8: MLOAD 000004a9: SWAP2 000004aa: SWAP5 000004ab: POP 000004ac: SWAP1 000004ad: SWAP3 000004ae: AND 000004af: SWAP2 000004b0: PUSH4 0x70a08231 000004b5: SWAP2 000004b6: PUSH1 0x24 000004b8: DUP2 000004b9: DUP2 000004ba: ADD 000004bb: SWAP3 000004bc: PUSH1 0x20 000004be: SWAP3 000004bf: SWAP1 000004c0: SWAP2 000004c1: SWAP1 000004c2: DUP3 000004c3: SWAP1 000004c4: SUB 000004c5: ADD 000004c6: DUP2 000004c7: DUP10 000004c8: DUP8 000004c9: PUSH2 0x61da 000004cc: GAS 000004cd: SUB 000004ce: CALL 000004cf: ISZERO 000004d0: PUSH2 0x0002 000004d3: JUMPI 000004d4: POP 000004d5: POP 000004d6: POP 000004d7: PUSH1 0x40 000004d9: MLOAD 000004da: DUP1 000004db: MLOAD 000004dc: SWAP1 000004dd: PUSH1 0x20 000004df: ADD 000004e0: POP 000004e1: PUSH1 0x03 000004e3: PUSH1 0x00 000004e5: POP 000004e6: SLOAD 000004e7: MUL 000004e8: DIV 000004e9: SUB 000004ea: SWAP1 000004eb: POP 000004ec: PUSH2 0x0551 000004ef: DUP4 000004f0: DUP3 000004f1: PUSH1 0x00 000004f3: DUP2 000004f4: PUSH1 0x04 000004f6: PUSH1 0x00 000004f8: POP 000004f9: PUSH1 0x00 000004fb: DUP6 000004fc: PUSH1 0x01 000004fe: PUSH1 0xa0 00000500: PUSH1 0x02 00000502: EXP 00000503: SUB 00000504: AND 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0x20 00000509: ADD 0000050a: SWAP1 0000050b: DUP2 0000050c: MSTORE 0000050d: PUSH1 0x20 0000050f: ADD 00000510: PUSH1 0x00 00000512: KECCAK256 00000513: PUSH1 0x00 00000515: DUP3 00000516: DUP3 00000517: DUP3 00000518: POP 00000519: SLOAD 0000051a: ADD 0000051b: SWAP3 0000051c: POP 0000051d: POP 0000051e: DUP2 0000051f: SWAP1 00000520: SSTORE 00000521: POP 00000522: DUP3 00000523: PUSH1 0x01 00000525: PUSH1 0xa0 00000527: PUSH1 0x02 00000529: EXP 0000052a: SUB 0000052b: AND 0000052c: PUSH1 0x00 0000052e: DUP4 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: DUP1 00000533: SWAP1 00000534: POP 00000535: PUSH1 0x00 00000537: PUSH1 0x40 00000539: MLOAD 0000053a: DUP1 0000053b: DUP4 0000053c: SUB 0000053d: DUP2 0000053e: DUP6 0000053f: DUP9 00000540: DUP9 00000541: CALL 00000542: SWAP4 00000543: POP 00000544: POP 00000545: POP 00000546: POP 00000547: ISZERO 00000548: ISZERO 00000549: PUSH2 0x05f4 0000054c: JUMPI 0000054d: PUSH2 0x0002 00000550: JUMP 00000551: JUMPDEST 00000552: POP 00000553: PUSH2 0x05ed 00000556: DUP4 00000557: DUP3 00000558: PUSH1 0x40 0000055a: DUP1 0000055b: MLOAD 0000055c: PUSH1 0x60 0000055e: DUP2 0000055f: ADD 00000560: DUP3 00000561: MSTORE 00000562: NUMBER 00000563: DUP2 00000564: MSTORE 00000565: PUSH1 0x01 00000567: PUSH1 0xa0 00000569: PUSH1 0x02 0000056b: EXP 0000056c: SUB 0000056d: DUP5 0000056e: AND 0000056f: PUSH1 0x20 00000571: DUP3 00000572: ADD 00000573: MSTORE 00000574: SWAP1 00000575: DUP2 00000576: ADD 00000577: DUP3 00000578: SWAP1 00000579: MSTORE 0000057a: PUSH1 0x06 0000057c: SLOAD 0000057d: PUSH1 0x05 0000057f: DUP1 00000580: SLOAD 00000581: PUSH1 0x01 00000583: SWAP3 00000584: SWAP1 00000585: SWAP3 00000586: ADD 00000587: DUP1 00000588: DUP3 00000589: SSTORE 0000058a: DUP9 0000058b: SWAP4 0000058c: SWAP3 0000058d: SWAP1 0000058e: SWAP2 0000058f: SWAP1 00000590: DUP3 00000591: SWAP1 00000592: DUP1 00000593: ISZERO 00000594: DUP3 00000595: SWAP1 00000596: GT 00000597: PUSH2 0x05fd 0000059a: JUMPI 0000059b: PUSH1 0x03 0000059d: MUL 0000059e: DUP2 0000059f: PUSH1 0x03 000005a1: MUL 000005a2: DUP4 000005a3: PUSH1 0x00 000005a5: MSTORE 000005a6: PUSH1 0x20 000005a8: PUSH1 0x00 000005aa: KECCAK256 000005ab: SWAP2 000005ac: DUP3 000005ad: ADD 000005ae: SWAP2 000005af: ADD 000005b0: PUSH2 0x05fd 000005b3: SWAP2 000005b4: SWAP1 000005b5: JUMPDEST 000005b6: DUP1 000005b7: DUP3 000005b8: GT 000005b9: ISZERO 000005ba: PUSH2 0x06d6 000005bd: JUMPI 000005be: DUP8 000005bf: DUP2 000005c0: SSTORE 000005c1: PUSH1 0x01 000005c3: DUP2 000005c4: ADD 000005c5: DUP1 000005c6: SLOAD 000005c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005dc: NOT 000005dd: AND 000005de: DUP2 000005df: SSTORE 000005e0: PUSH1 0x02 000005e2: SWAP2 000005e3: SWAP1 000005e4: SWAP2 000005e5: ADD 000005e6: DUP9 000005e7: SWAP1 000005e8: SSTORE 000005e9: PUSH2 0x05b5 000005ec: JUMP 000005ed: JUMPDEST 000005ee: SWAP4 000005ef: SWAP3 000005f0: POP 000005f1: POP 000005f2: POP 000005f3: JUMP 000005f4: JUMPDEST 000005f5: POP 000005f6: PUSH1 0x01 000005f8: SWAP3 000005f9: SWAP2 000005fa: POP 000005fb: POP 000005fc: JUMP 000005fd: JUMPDEST 000005fe: POP 000005ff: POP 00000600: PUSH1 0x06 00000602: SLOAD 00000603: DUP2 00000604: SLOAD 00000605: DUP5 00000606: SWAP4 00000607: POP 00000608: DUP2 00000609: LT 0000060a: ISZERO 0000060b: PUSH2 0x0002 0000060e: JUMPI 0000060f: SWAP1 00000610: DUP5 00000611: MSTORE 00000612: PUSH1 0x03 00000614: MUL 00000615: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db0 00000636: ADD 00000637: DUP4 00000638: POP 00000639: PUSH1 0x00 0000063b: DUP3 0000063c: ADD 0000063d: MLOAD 0000063e: DUP2 0000063f: PUSH1 0x00 00000641: ADD 00000642: PUSH1 0x00 00000644: POP 00000645: SSTORE 00000646: PUSH1 0x20 00000648: DUP3 00000649: ADD 0000064a: MLOAD 0000064b: DUP2 0000064c: PUSH1 0x01 0000064e: ADD 0000064f: PUSH1 0x00 00000651: PUSH2 0x0100 00000654: EXP 00000655: DUP2 00000656: SLOAD 00000657: DUP2 00000658: PUSH1 0x01 0000065a: PUSH1 0xa0 0000065c: PUSH1 0x02 0000065e: EXP 0000065f: SUB 00000660: MUL 00000661: NOT 00000662: AND 00000663: SWAP1 00000664: DUP4 00000665: MUL 00000666: OR 00000667: SWAP1 00000668: SSTORE 00000669: POP 0000066a: PUSH1 0x40 0000066c: DUP3 0000066d: ADD 0000066e: MLOAD 0000066f: DUP2 00000670: PUSH1 0x02 00000672: ADD 00000673: PUSH1 0x00 00000675: POP 00000676: SSTORE 00000677: SWAP1 00000678: POP 00000679: POP 0000067a: PUSH1 0x06 0000067c: PUSH1 0x00 0000067e: POP 0000067f: SLOAD 00000680: PUSH1 0x01 00000682: ADD 00000683: PUSH1 0x06 00000685: PUSH1 0x00 00000687: POP 00000688: DUP2 00000689: SWAP1 0000068a: SSTORE 0000068b: POP 0000068c: DUP4 0000068d: PUSH1 0x01 0000068f: PUSH1 0xa0 00000691: PUSH1 0x02 00000693: EXP 00000694: SUB 00000695: AND 00000696: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 000006b7: DUP5 000006b8: PUSH1 0x40 000006ba: MLOAD 000006bb: DUP1 000006bc: DUP3 000006bd: DUP2 000006be: MSTORE 000006bf: PUSH1 0x20 000006c1: ADD 000006c2: SWAP2 000006c3: POP 000006c4: POP 000006c5: PUSH1 0x40 000006c7: MLOAD 000006c8: DUP1 000006c9: SWAP2 000006ca: SUB 000006cb: SWAP1 000006cc: LOG2 000006cd: POP 000006ce: PUSH1 0x01 000006d0: SWAP4 000006d1: SWAP3 000006d2: POP 000006d3: POP 000006d4: POP 000006d5: JUMP 000006d6: JUMPDEST 000006d7: POP 000006d8: SWAP1 000006d9: 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: 0x6189dd5055e5606e5d574817e287bd0dabbdfd797731792f71ff9e52a172cde9
call_targets:
0x52d78686f666e83d3222625438379e23ac9aa110
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6189dd5055e5606e5d574817e287bd0dabbdfd797731792f71ff9e52a172cde9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x52d78686f666e83d3222625438379e23ac9aa110"
],
"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": "0x35ddea53",
"selector": "0x35ddea53",
"calldata_variants": [
"0x35ddea53",
"0x35ddea530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x364dab10",
"selector": "0x364dab10",
"calldata_variants": [
"0x364dab10",
"0x364dab100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x407f2fef",
"selector": "0x407f2fef",
"calldata_variants": [
"0x407f2fef",
"0x407f2fef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6eb27154",
"selector": "0x6eb27154",
"calldata_variants": [
"0x6eb27154",
"0x6eb271540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79085425",
"selector": "0x79085425",
"calldata_variants": [
"0x79085425",
"0x790854250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80fad325",
"selector": "0x80fad325",
"calldata_variants": [
"0x80fad325",
"0x80fad3250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a00a82f",
"selector": "0x8a00a82f",
"calldata_variants": [
"0x8a00a82f",
"0x8a00a82f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb683b226",
"selector": "0xb683b226",
"calldata_variants": [
"0xb683b226",
"0xb683b2260000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 727,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 916,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6189dd5055e5606e5d574817e287bd0dabbdfd797731792f71ff9e52a172cde9
call_targets:
0x52d78686f666e83d3222625438379e23ac9aa110
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6189dd5055e5606e5d574817e287bd0dabbdfd797731792f71ff9e52a172cde9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x52d78686f666e83d3222625438379e23ac9aa110"
],
"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": "0x35ddea53",
"selector": "0x35ddea53",
"calldata_variants": [
"0x35ddea53",
"0x35ddea530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x364dab10",
"selector": "0x364dab10",
"calldata_variants": [
"0x364dab10",
"0x364dab100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x407f2fef",
"selector": "0x407f2fef",
"calldata_variants": [
"0x407f2fef",
"0x407f2fef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6eb27154",
"selector": "0x6eb27154",
"calldata_variants": [
"0x6eb27154",
"0x6eb271540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79085425",
"selector": "0x79085425",
"calldata_variants": [
"0x79085425",
"0x790854250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80fad325",
"selector": "0x80fad325",
"calldata_variants": [
"0x80fad325",
"0x80fad3250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a00a82f",
"selector": "0x8a00a82f",
"calldata_variants": [
"0x8a00a82f",
"0x8a00a82f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb683b226",
"selector": "0xb683b226",
"calldata_variants": [
"0xb683b226",
"0xb683b2260000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 727,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 916,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|