019b3836-585f-73fd-a774-ba9aff679d01
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 |
|---|---|---|---|---|
| 8629 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 8630 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 98446 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 98447 | capability.graph | complete | 1 / 3 | 1 week ago |
| 98448 | detector.run | complete | 1 / 3 | 1 week ago |
| 98449 | validation.fork | complete | 1 / 3 | 1 week 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 0x00ab 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x4678f211 00000034: EQ 00000035: PUSH2 0x018b 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x5ff69b8e 0000003f: EQ 00000040: PUSH2 0x01ae 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x6190c9d5 0000004a: EQ 0000004b: PUSH2 0x01d1 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x815c47ee 00000055: EQ 00000056: PUSH2 0x01f4 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xaddb4766 00000060: EQ 00000061: PUSH2 0x0203 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xb8b4f1a0 0000006b: EQ 0000006c: PUSH2 0x023c 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xc9efff32 00000076: EQ 00000077: PUSH2 0x024b 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xddca3f43 00000081: EQ 00000082: PUSH2 0x0284 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe4b054e7 0000008c: EQ 0000008d: PUSH2 0x02a7 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xe66a6b22 00000097: EQ 00000098: PUSH2 0x0322 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xf18d20be 000000a2: EQ 000000a3: PUSH2 0x0347 000000a6: JUMPI 000000a7: PUSH2 0x00ab 000000aa: JUMP 000000ab: JUMPDEST 000000ac: PUSH2 0x0189 000000af: JUMPDEST 000000b0: PUSH2 0x00b7 000000b3: PUSH2 0x0356 000000b6: JUMP 000000b7: JUMPDEST 000000b8: PUSH1 0x05 000000ba: PUSH1 0x00 000000bc: SWAP1 000000bd: SLOAD 000000be: SWAP1 000000bf: PUSH2 0x0100 000000c2: EXP 000000c3: SWAP1 000000c4: DIV 000000c5: PUSH1 0xff 000000c7: AND 000000c8: ISZERO 000000c9: PUSH2 0x0130 000000cc: JUMPI 000000cd: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 000000ee: CALLER 000000ef: CALLVALUE 000000f0: PUSH1 0x40 000000f2: MLOAD 000000f3: DUP1 000000f4: DUP4 000000f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000010a: AND 0000010b: DUP2 0000010c: MSTORE 0000010d: PUSH1 0x20 0000010f: ADD 00000110: DUP3 00000111: DUP2 00000112: MSTORE 00000113: PUSH1 0x20 00000115: ADD 00000116: SWAP3 00000117: POP 00000118: POP 00000119: POP 0000011a: PUSH1 0x40 0000011c: MLOAD 0000011d: DUP1 0000011e: SWAP2 0000011f: SUB 00000120: SWAP1 00000121: LOG1 00000122: PUSH2 0x012a 00000125: CALLVALUE 00000126: PUSH2 0x04c4 00000129: JUMP 0000012a: JUMPDEST 0000012b: POP 0000012c: PUSH2 0x0186 0000012f: JUMP 00000130: JUMPDEST 00000131: PUSH32 0xd3ab9a53b92fb09aadc77e483a7163e7c344a12261e0afc379b19d1ec43faeaf 00000152: CALLER 00000153: CALLVALUE 00000154: PUSH1 0x40 00000156: MLOAD 00000157: DUP1 00000158: DUP4 00000159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016e: AND 0000016f: DUP2 00000170: MSTORE 00000171: PUSH1 0x20 00000173: ADD 00000174: DUP3 00000175: DUP2 00000176: MSTORE 00000177: PUSH1 0x20 00000179: ADD 0000017a: SWAP3 0000017b: POP 0000017c: POP 0000017d: POP 0000017e: PUSH1 0x40 00000180: MLOAD 00000181: DUP1 00000182: SWAP2 00000183: SUB 00000184: SWAP1 00000185: LOG1 00000186: JUMPDEST 00000187: JUMPDEST 00000188: JUMP 00000189: JUMPDEST 0000018a: STOP 0000018b: JUMPDEST 0000018c: PUSH2 0x0198 0000018f: PUSH1 0x04 00000191: DUP1 00000192: POP 00000193: POP 00000194: PUSH2 0x0667 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH1 0x40 0000019b: MLOAD 0000019c: DUP1 0000019d: DUP3 0000019e: DUP2 0000019f: MSTORE 000001a0: PUSH1 0x20 000001a2: ADD 000001a3: SWAP2 000001a4: POP 000001a5: POP 000001a6: PUSH1 0x40 000001a8: MLOAD 000001a9: DUP1 000001aa: SWAP2 000001ab: SUB 000001ac: SWAP1 000001ad: RETURN 000001ae: JUMPDEST 000001af: PUSH2 0x01bb 000001b2: PUSH1 0x04 000001b4: DUP1 000001b5: POP 000001b6: POP 000001b7: PUSH2 0x0670 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH1 0x40 000001be: MLOAD 000001bf: DUP1 000001c0: DUP3 000001c1: DUP2 000001c2: MSTORE 000001c3: PUSH1 0x20 000001c5: ADD 000001c6: SWAP2 000001c7: POP 000001c8: POP 000001c9: PUSH1 0x40 000001cb: MLOAD 000001cc: DUP1 000001cd: SWAP2 000001ce: SUB 000001cf: SWAP1 000001d0: RETURN 000001d1: JUMPDEST 000001d2: PUSH2 0x01de 000001d5: PUSH1 0x04 000001d7: DUP1 000001d8: POP 000001d9: POP 000001da: PUSH2 0x0679 000001dd: JUMP 000001de: JUMPDEST 000001df: PUSH1 0x40 000001e1: MLOAD 000001e2: DUP1 000001e3: DUP3 000001e4: DUP2 000001e5: MSTORE 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: SWAP2 000001ea: POP 000001eb: POP 000001ec: PUSH1 0x40 000001ee: MLOAD 000001ef: DUP1 000001f0: SWAP2 000001f1: SUB 000001f2: SWAP1 000001f3: RETURN 000001f4: JUMPDEST 000001f5: PUSH2 0x0201 000001f8: PUSH1 0x04 000001fa: DUP1 000001fb: POP 000001fc: POP 000001fd: PUSH2 0x0682 00000200: JUMP 00000201: JUMPDEST 00000202: STOP 00000203: JUMPDEST 00000204: PUSH2 0x0210 00000207: PUSH1 0x04 00000209: DUP1 0000020a: POP 0000020b: POP 0000020c: PUSH2 0x07a7 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH1 0x40 00000213: MLOAD 00000214: DUP1 00000215: DUP3 00000216: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000022b: AND 0000022c: DUP2 0000022d: MSTORE 0000022e: PUSH1 0x20 00000230: ADD 00000231: SWAP2 00000232: POP 00000233: POP 00000234: PUSH1 0x40 00000236: MLOAD 00000237: DUP1 00000238: SWAP2 00000239: SUB 0000023a: SWAP1 0000023b: RETURN 0000023c: JUMPDEST 0000023d: PUSH2 0x0249 00000240: PUSH1 0x04 00000242: DUP1 00000243: POP 00000244: POP 00000245: PUSH2 0x07cd 00000248: JUMP 00000249: JUMPDEST 0000024a: STOP 0000024b: JUMPDEST 0000024c: PUSH2 0x0258 0000024f: PUSH1 0x04 00000251: DUP1 00000252: POP 00000253: POP 00000254: PUSH2 0x08da 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH1 0x40 0000025b: MLOAD 0000025c: DUP1 0000025d: DUP3 0000025e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000273: AND 00000274: DUP2 00000275: MSTORE 00000276: PUSH1 0x20 00000278: ADD 00000279: SWAP2 0000027a: POP 0000027b: POP 0000027c: PUSH1 0x40 0000027e: MLOAD 0000027f: DUP1 00000280: SWAP2 00000281: SUB 00000282: SWAP1 00000283: RETURN 00000284: JUMPDEST 00000285: PUSH2 0x0291 00000288: PUSH1 0x04 0000028a: DUP1 0000028b: POP 0000028c: POP 0000028d: PUSH2 0x0900 00000290: JUMP 00000291: JUMPDEST 00000292: PUSH1 0x40 00000294: MLOAD 00000295: DUP1 00000296: DUP3 00000297: DUP2 00000298: MSTORE 00000299: PUSH1 0x20 0000029b: ADD 0000029c: SWAP2 0000029d: POP 0000029e: POP 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: DUP1 000002a3: SWAP2 000002a4: SUB 000002a5: SWAP1 000002a6: RETURN 000002a7: JUMPDEST 000002a8: PUSH2 0x02b4 000002ab: PUSH1 0x04 000002ad: DUP1 000002ae: POP 000002af: POP 000002b0: PUSH2 0x0909 000002b3: JUMP 000002b4: JUMPDEST 000002b5: PUSH1 0x40 000002b7: MLOAD 000002b8: DUP1 000002b9: DUP1 000002ba: PUSH1 0x20 000002bc: ADD 000002bd: DUP3 000002be: DUP2 000002bf: SUB 000002c0: DUP3 000002c1: MSTORE 000002c2: DUP4 000002c3: DUP2 000002c4: DUP2 000002c5: MLOAD 000002c6: DUP2 000002c7: MSTORE 000002c8: PUSH1 0x20 000002ca: ADD 000002cb: SWAP2 000002cc: POP 000002cd: DUP1 000002ce: MLOAD 000002cf: SWAP1 000002d0: PUSH1 0x20 000002d2: ADD 000002d3: SWAP1 000002d4: DUP1 000002d5: DUP4 000002d6: DUP4 000002d7: DUP3 000002d8: SWAP1 000002d9: PUSH1 0x00 000002db: PUSH1 0x04 000002dd: PUSH1 0x20 000002df: DUP5 000002e0: PUSH1 0x1f 000002e2: ADD 000002e3: DIV 000002e4: PUSH1 0x0f 000002e6: MUL 000002e7: PUSH1 0x03 000002e9: ADD 000002ea: CALL 000002eb: POP 000002ec: SWAP1 000002ed: POP 000002ee: SWAP1 000002ef: DUP2 000002f0: ADD 000002f1: SWAP1 000002f2: PUSH1 0x1f 000002f4: AND 000002f5: DUP1 000002f6: ISZERO 000002f7: PUSH2 0x0314 000002fa: JUMPI 000002fb: DUP1 000002fc: DUP3 000002fd: SUB 000002fe: DUP1 000002ff: MLOAD 00000300: PUSH1 0x01 00000302: DUP4 00000303: PUSH1 0x20 00000305: SUB 00000306: PUSH2 0x0100 00000309: EXP 0000030a: SUB 0000030b: NOT 0000030c: AND 0000030d: DUP2 0000030e: MSTORE 0000030f: PUSH1 0x20 00000311: ADD 00000312: SWAP2 00000313: POP 00000314: JUMPDEST 00000315: POP 00000316: SWAP3 00000317: POP 00000318: POP 00000319: POP 0000031a: PUSH1 0x40 0000031c: MLOAD 0000031d: DUP1 0000031e: SWAP2 0000031f: SUB 00000320: SWAP1 00000321: RETURN 00000322: JUMPDEST 00000323: PUSH2 0x032f 00000326: PUSH1 0x04 00000328: DUP1 00000329: POP 0000032a: POP 0000032b: PUSH2 0x09aa 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH1 0x40 00000332: MLOAD 00000333: DUP1 00000334: DUP3 00000335: ISZERO 00000336: ISZERO 00000337: DUP2 00000338: MSTORE 00000339: PUSH1 0x20 0000033b: ADD 0000033c: SWAP2 0000033d: POP 0000033e: POP 0000033f: PUSH1 0x40 00000341: MLOAD 00000342: DUP1 00000343: SWAP2 00000344: SUB 00000345: SWAP1 00000346: RETURN 00000347: JUMPDEST 00000348: PUSH2 0x0354 0000034b: PUSH1 0x04 0000034d: DUP1 0000034e: POP 0000034f: POP 00000350: PUSH2 0x09bd 00000353: JUMP 00000354: JUMPDEST 00000355: STOP 00000356: JUMPDEST 00000357: TIMESTAMP 00000358: PUSH1 0x03 0000035a: PUSH1 0x00 0000035c: POP 0000035d: SLOAD 0000035e: LT 0000035f: ISZERO 00000360: PUSH2 0x04c1 00000363: JUMPI 00000364: PUSH1 0x00 00000366: PUSH1 0x05 00000368: PUSH1 0x00 0000036a: PUSH2 0x0100 0000036d: EXP 0000036e: DUP2 0000036f: SLOAD 00000370: DUP2 00000371: PUSH1 0xff 00000373: MUL 00000374: NOT 00000375: AND 00000376: SWAP1 00000377: DUP4 00000378: MUL 00000379: OR 0000037a: SWAP1 0000037b: SSTORE 0000037c: POP 0000037d: PUSH1 0x00 0000037f: PUSH1 0x06 00000381: PUSH1 0x00 00000383: POP 00000384: PUSH1 0x00 00000386: PUSH1 0x07 00000388: PUSH1 0x00 0000038a: SWAP1 0000038b: SLOAD 0000038c: SWAP1 0000038d: PUSH2 0x0100 00000390: EXP 00000391: SWAP1 00000392: DIV 00000393: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a8: AND 000003a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003be: AND 000003bf: DUP2 000003c0: MSTORE 000003c1: PUSH1 0x20 000003c3: ADD 000003c4: SWAP1 000003c5: DUP2 000003c6: MSTORE 000003c7: PUSH1 0x20 000003c9: ADD 000003ca: PUSH1 0x00 000003cc: KECCAK256 000003cd: PUSH1 0x00 000003cf: POP 000003d0: PUSH1 0x01 000003d2: PUSH1 0x02 000003d4: DUP2 000003d5: LT 000003d6: ISZERO 000003d7: PUSH2 0x0002 000003da: JUMPI 000003db: SWAP1 000003dc: SWAP1 000003dd: PUSH1 0x20 000003df: SWAP2 000003e0: DUP3 000003e1: DUP3 000003e2: DIV 000003e3: ADD 000003e4: SWAP2 000003e5: SWAP1 000003e6: MOD 000003e7: JUMPDEST 000003e8: PUSH2 0x0100 000003eb: EXP 000003ec: DUP2 000003ed: SLOAD 000003ee: DUP2 000003ef: PUSH1 0xff 000003f1: MUL 000003f2: NOT 000003f3: AND 000003f4: SWAP1 000003f5: DUP4 000003f6: MUL 000003f7: OR 000003f8: SWAP1 000003f9: SSTORE 000003fa: POP 000003fb: PUSH1 0x00 000003fd: PUSH1 0x06 000003ff: PUSH1 0x00 00000401: POP 00000402: PUSH1 0x00 00000404: PUSH1 0x08 00000406: PUSH1 0x00 00000408: SWAP1 00000409: SLOAD 0000040a: SWAP1 0000040b: PUSH2 0x0100 0000040e: EXP 0000040f: SWAP1 00000410: DIV 00000411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000426: AND 00000427: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043c: AND 0000043d: DUP2 0000043e: MSTORE 0000043f: PUSH1 0x20 00000441: ADD 00000442: SWAP1 00000443: DUP2 00000444: MSTORE 00000445: PUSH1 0x20 00000447: ADD 00000448: PUSH1 0x00 0000044a: KECCAK256 0000044b: PUSH1 0x00 0000044d: POP 0000044e: PUSH1 0x01 00000450: PUSH1 0x02 00000452: DUP2 00000453: LT 00000454: ISZERO 00000455: PUSH2 0x0002 00000458: JUMPI 00000459: SWAP1 0000045a: SWAP1 0000045b: PUSH1 0x20 0000045d: SWAP2 0000045e: DUP3 0000045f: DUP3 00000460: DIV 00000461: ADD 00000462: SWAP2 00000463: SWAP1 00000464: MOD 00000465: JUMPDEST 00000466: PUSH2 0x0100 00000469: EXP 0000046a: DUP2 0000046b: SLOAD 0000046c: DUP2 0000046d: PUSH1 0xff 0000046f: MUL 00000470: NOT 00000471: AND 00000472: SWAP1 00000473: DUP4 00000474: MUL 00000475: OR 00000476: SWAP1 00000477: SSTORE 00000478: POP 00000479: PUSH32 0x2f87792d99eca4a229d181d3377d608caa72bae03c97695d06b700e1c4d908ce 0000049a: PUSH1 0x05 0000049c: PUSH1 0x00 0000049e: SWAP1 0000049f: SLOAD 000004a0: SWAP1 000004a1: PUSH2 0x0100 000004a4: EXP 000004a5: SWAP1 000004a6: DIV 000004a7: PUSH1 0xff 000004a9: AND 000004aa: PUSH1 0x40 000004ac: MLOAD 000004ad: DUP1 000004ae: DUP3 000004af: ISZERO 000004b0: ISZERO 000004b1: DUP2 000004b2: MSTORE 000004b3: PUSH1 0x20 000004b5: ADD 000004b6: SWAP2 000004b7: POP 000004b8: POP 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: DUP1 000004bd: SWAP2 000004be: SUB 000004bf: SWAP1 000004c0: LOG1 000004c1: JUMPDEST 000004c2: JUMPDEST 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH1 0x00 000004c7: PUSH1 0x00 000004c9: PUSH1 0x05 000004cb: PUSH1 0x00 000004cd: SWAP1 000004ce: SLOAD 000004cf: SWAP1 000004d0: PUSH2 0x0100 000004d3: EXP 000004d4: SWAP1 000004d5: DIV 000004d6: PUSH1 0xff 000004d8: AND 000004d9: ISZERO 000004da: PUSH2 0x0660 000004dd: JUMPI 000004de: PUSH1 0x64 000004e0: PUSH1 0x02 000004e2: PUSH1 0x00 000004e4: POP 000004e5: SLOAD 000004e6: DUP5 000004e7: MUL 000004e8: DIV 000004e9: SWAP1 000004ea: POP 000004eb: PUSH1 0x07 000004ed: PUSH1 0x00 000004ef: SWAP1 000004f0: SLOAD 000004f1: SWAP1 000004f2: PUSH2 0x0100 000004f5: EXP 000004f6: SWAP1 000004f7: DIV 000004f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050d: AND 0000050e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000523: AND 00000524: PUSH1 0x00 00000526: DUP3 00000527: PUSH1 0x40 00000529: MLOAD 0000052a: DUP1 0000052b: SWAP1 0000052c: POP 0000052d: PUSH1 0x00 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: DUP1 00000533: DUP4 00000534: SUB 00000535: DUP2 00000536: DUP6 00000537: DUP9 00000538: DUP9 00000539: CALL 0000053a: SWAP4 0000053b: POP 0000053c: POP 0000053d: POP 0000053e: POP 0000053f: POP 00000540: PUSH1 0x08 00000542: PUSH1 0x00 00000544: SWAP1 00000545: SLOAD 00000546: SWAP1 00000547: PUSH2 0x0100 0000054a: EXP 0000054b: SWAP1 0000054c: DIV 0000054d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000562: AND 00000563: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000578: AND 00000579: PUSH1 0x00 0000057b: DUP3 0000057c: DUP6 0000057d: SUB 0000057e: PUSH1 0x40 00000580: MLOAD 00000581: DUP1 00000582: SWAP1 00000583: POP 00000584: PUSH1 0x00 00000586: PUSH1 0x40 00000588: MLOAD 00000589: DUP1 0000058a: DUP4 0000058b: SUB 0000058c: DUP2 0000058d: DUP6 0000058e: DUP9 0000058f: DUP9 00000590: CALL 00000591: SWAP4 00000592: POP 00000593: POP 00000594: POP 00000595: POP 00000596: POP 00000597: PUSH32 0xaf948d02337eee07853d29cac97675524422a3b0d20173a889afe277d56d7046 000005b8: PUSH1 0x07 000005ba: PUSH1 0x00 000005bc: SWAP1 000005bd: SLOAD 000005be: SWAP1 000005bf: PUSH2 0x0100 000005c2: EXP 000005c3: SWAP1 000005c4: DIV 000005c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005da: AND 000005db: DUP3 000005dc: PUSH1 0x08 000005de: PUSH1 0x00 000005e0: SWAP1 000005e1: SLOAD 000005e2: SWAP1 000005e3: PUSH2 0x0100 000005e6: EXP 000005e7: SWAP1 000005e8: DIV 000005e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fe: AND 000005ff: DUP5 00000600: DUP8 00000601: SUB 00000602: PUSH1 0x40 00000604: MLOAD 00000605: DUP1 00000606: DUP6 00000607: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061c: AND 0000061d: DUP2 0000061e: MSTORE 0000061f: PUSH1 0x20 00000621: ADD 00000622: DUP5 00000623: DUP2 00000624: MSTORE 00000625: PUSH1 0x20 00000627: ADD 00000628: DUP4 00000629: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063e: AND 0000063f: DUP2 00000640: MSTORE 00000641: PUSH1 0x20 00000643: ADD 00000644: DUP3 00000645: DUP2 00000646: MSTORE 00000647: PUSH1 0x20 00000649: ADD 0000064a: SWAP5 0000064b: POP 0000064c: POP 0000064d: POP 0000064e: POP 0000064f: POP 00000650: PUSH1 0x40 00000652: MLOAD 00000653: DUP1 00000654: SWAP2 00000655: SUB 00000656: SWAP1 00000657: LOG1 00000658: PUSH1 0x01 0000065a: SWAP2 0000065b: POP 0000065c: PUSH2 0x0661 0000065f: JUMP 00000660: JUMPDEST 00000661: JUMPDEST 00000662: POP 00000663: SWAP2 00000664: SWAP1 00000665: POP 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH1 0x02 0000066a: PUSH1 0x00 0000066c: POP 0000066d: SLOAD 0000066e: DUP2 0000066f: JUMP 00000670: JUMPDEST 00000671: PUSH1 0x03 00000673: PUSH1 0x00 00000675: POP 00000676: SLOAD 00000677: DUP2 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH1 0x00 0000067c: PUSH1 0x00 0000067e: POP 0000067f: SLOAD 00000680: DUP2 00000681: JUMP 00000682: JUMPDEST 00000683: PUSH1 0x06 00000685: PUSH1 0x00 00000687: POP 00000688: PUSH1 0x00 0000068a: PUSH1 0x07 0000068c: PUSH1 0x00 0000068e: SWAP1 0000068f: SLOAD 00000690: SWAP1 00000691: PUSH2 0x0100 00000694: EXP 00000695: SWAP1 00000696: DIV 00000697: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ac: AND 000006ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c2: AND 000006c3: DUP2 000006c4: MSTORE 000006c5: PUSH1 0x20 000006c7: ADD 000006c8: SWAP1 000006c9: DUP2 000006ca: MSTORE 000006cb: PUSH1 0x20 000006cd: ADD 000006ce: PUSH1 0x00 000006d0: KECCAK256 000006d1: PUSH1 0x00 000006d3: POP 000006d4: PUSH1 0x01 000006d6: PUSH1 0x02 000006d8: DUP2 000006d9: LT 000006da: ISZERO 000006db: PUSH2 0x0002 000006de: JUMPI 000006df: SWAP1 000006e0: SWAP1 000006e1: PUSH1 0x20 000006e3: SWAP2 000006e4: DUP3 000006e5: DUP3 000006e6: DIV 000006e7: ADD 000006e8: SWAP2 000006e9: SWAP1 000006ea: MOD 000006eb: JUMPDEST 000006ec: SWAP1 000006ed: SLOAD 000006ee: SWAP1 000006ef: PUSH2 0x0100 000006f2: EXP 000006f3: SWAP1 000006f4: DIV 000006f5: PUSH1 0xff 000006f7: AND 000006f8: DUP1 000006f9: ISZERO 000006fa: PUSH2 0x0774 000006fd: JUMPI 000006fe: POP 000006ff: PUSH1 0x06 00000701: PUSH1 0x00 00000703: POP 00000704: PUSH1 0x00 00000706: PUSH1 0x08 00000708: PUSH1 0x00 0000070a: SWAP1 0000070b: SLOAD 0000070c: SWAP1 0000070d: PUSH2 0x0100 00000710: EXP 00000711: SWAP1 00000712: DIV 00000713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000728: AND 00000729: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073e: AND 0000073f: DUP2 00000740: MSTORE 00000741: PUSH1 0x20 00000743: ADD 00000744: SWAP1 00000745: DUP2 00000746: MSTORE 00000747: PUSH1 0x20 00000749: ADD 0000074a: PUSH1 0x00 0000074c: KECCAK256 0000074d: PUSH1 0x00 0000074f: POP 00000750: PUSH1 0x01 00000752: PUSH1 0x02 00000754: DUP2 00000755: LT 00000756: ISZERO 00000757: PUSH2 0x0002 0000075a: JUMPI 0000075b: SWAP1 0000075c: SWAP1 0000075d: PUSH1 0x20 0000075f: SWAP2 00000760: DUP3 00000761: DUP3 00000762: DIV 00000763: ADD 00000764: SWAP2 00000765: SWAP1 00000766: MOD 00000767: JUMPDEST 00000768: SWAP1 00000769: SLOAD 0000076a: SWAP1 0000076b: PUSH2 0x0100 0000076e: EXP 0000076f: SWAP1 00000770: DIV 00000771: PUSH1 0xff 00000773: AND 00000774: JUMPDEST 00000775: ISZERO 00000776: PUSH2 0x07a4 00000779: JUMPI 0000077a: PUSH1 0x01 0000077c: PUSH1 0x05 0000077e: PUSH1 0x00 00000780: PUSH2 0x0100 00000783: EXP 00000784: DUP2 00000785: SLOAD 00000786: DUP2 00000787: PUSH1 0xff 00000789: MUL 0000078a: NOT 0000078b: AND 0000078c: SWAP1 0000078d: DUP4 0000078e: MUL 0000078f: OR 00000790: SWAP1 00000791: SSTORE 00000792: POP 00000793: PUSH1 0x00 00000795: PUSH1 0x00 00000797: POP 00000798: SLOAD 00000799: TIMESTAMP 0000079a: ADD 0000079b: PUSH1 0x03 0000079d: PUSH1 0x00 0000079f: POP 000007a0: DUP2 000007a1: SWAP1 000007a2: SSTORE 000007a3: POP 000007a4: JUMPDEST 000007a5: JUMPDEST 000007a6: JUMP 000007a7: JUMPDEST 000007a8: PUSH1 0x07 000007aa: PUSH1 0x00 000007ac: SWAP1 000007ad: SLOAD 000007ae: SWAP1 000007af: PUSH2 0x0100 000007b2: EXP 000007b3: SWAP1 000007b4: DIV 000007b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ca: AND 000007cb: DUP2 000007cc: JUMP 000007cd: JUMPDEST 000007ce: PUSH1 0x06 000007d0: PUSH1 0x00 000007d2: POP 000007d3: PUSH1 0x00 000007d5: CALLER 000007d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007eb: AND 000007ec: DUP2 000007ed: MSTORE 000007ee: PUSH1 0x20 000007f0: ADD 000007f1: SWAP1 000007f2: DUP2 000007f3: MSTORE 000007f4: PUSH1 0x20 000007f6: ADD 000007f7: PUSH1 0x00 000007f9: KECCAK256 000007fa: PUSH1 0x00 000007fc: POP 000007fd: PUSH1 0x00 000007ff: PUSH1 0x02 00000801: DUP2 00000802: LT 00000803: ISZERO 00000804: PUSH2 0x0002 00000807: JUMPI 00000808: SWAP1 00000809: SWAP1 0000080a: PUSH1 0x20 0000080c: SWAP2 0000080d: DUP3 0000080e: DUP3 0000080f: DIV 00000810: ADD 00000811: SWAP2 00000812: SWAP1 00000813: MOD 00000814: JUMPDEST 00000815: SWAP1 00000816: SLOAD 00000817: SWAP1 00000818: PUSH2 0x0100 0000081b: EXP 0000081c: SWAP1 0000081d: DIV 0000081e: PUSH1 0xff 00000820: AND 00000821: ISZERO 00000822: PUSH2 0x08d7 00000825: JUMPI 00000826: PUSH1 0x01 00000828: PUSH1 0x06 0000082a: PUSH1 0x00 0000082c: POP 0000082d: PUSH1 0x00 0000082f: CALLER 00000830: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000845: AND 00000846: DUP2 00000847: MSTORE 00000848: PUSH1 0x20 0000084a: ADD 0000084b: SWAP1 0000084c: DUP2 0000084d: MSTORE 0000084e: PUSH1 0x20 00000850: ADD 00000851: PUSH1 0x00 00000853: KECCAK256 00000854: PUSH1 0x00 00000856: POP 00000857: PUSH1 0x01 00000859: PUSH1 0x02 0000085b: DUP2 0000085c: LT 0000085d: ISZERO 0000085e: PUSH2 0x0002 00000861: JUMPI 00000862: SWAP1 00000863: SWAP1 00000864: PUSH1 0x20 00000866: SWAP2 00000867: DUP3 00000868: DUP3 00000869: DIV 0000086a: ADD 0000086b: SWAP2 0000086c: SWAP1 0000086d: MOD 0000086e: JUMPDEST 0000086f: PUSH2 0x0100 00000872: EXP 00000873: DUP2 00000874: SLOAD 00000875: DUP2 00000876: PUSH1 0xff 00000878: MUL 00000879: NOT 0000087a: AND 0000087b: SWAP1 0000087c: DUP4 0000087d: MUL 0000087e: OR 0000087f: SWAP1 00000880: SSTORE 00000881: POP 00000882: PUSH2 0x0889 00000885: PUSH2 0x0682 00000888: JUMP 00000889: JUMPDEST 0000088a: PUSH32 0x87749e5a8d50e7a3313d5056b9cc2bd91d8d91b4985106ee8ce6b865e2edfd08 000008ab: CALLER 000008ac: PUSH1 0x40 000008ae: MLOAD 000008af: DUP1 000008b0: DUP3 000008b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c6: AND 000008c7: DUP2 000008c8: MSTORE 000008c9: PUSH1 0x20 000008cb: ADD 000008cc: SWAP2 000008cd: POP 000008ce: POP 000008cf: PUSH1 0x40 000008d1: MLOAD 000008d2: DUP1 000008d3: SWAP2 000008d4: SUB 000008d5: SWAP1 000008d6: LOG1 000008d7: JUMPDEST 000008d8: JUMPDEST 000008d9: JUMP 000008da: JUMPDEST 000008db: PUSH1 0x08 000008dd: PUSH1 0x00 000008df: SWAP1 000008e0: SLOAD 000008e1: SWAP1 000008e2: PUSH2 0x0100 000008e5: EXP 000008e6: SWAP1 000008e7: DIV 000008e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fd: AND 000008fe: DUP2 000008ff: JUMP 00000900: JUMPDEST 00000901: PUSH1 0x01 00000903: PUSH1 0x00 00000905: POP 00000906: SLOAD 00000907: DUP2 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH1 0x04 0000090c: PUSH1 0x00 0000090e: POP 0000090f: DUP1 00000910: SLOAD 00000911: PUSH1 0x01 00000913: DUP2 00000914: PUSH1 0x01 00000916: AND 00000917: ISZERO 00000918: PUSH2 0x0100 0000091b: MUL 0000091c: SUB 0000091d: AND 0000091e: PUSH1 0x02 00000920: SWAP1 00000921: DIV 00000922: DUP1 00000923: PUSH1 0x1f 00000925: ADD 00000926: PUSH1 0x20 00000928: DUP1 00000929: SWAP2 0000092a: DIV 0000092b: MUL 0000092c: PUSH1 0x20 0000092e: ADD 0000092f: PUSH1 0x40 00000931: MLOAD 00000932: SWAP1 00000933: DUP2 00000934: ADD 00000935: PUSH1 0x40 00000937: MSTORE 00000938: DUP1 00000939: SWAP3 0000093a: SWAP2 0000093b: SWAP1 0000093c: DUP2 0000093d: DUP2 0000093e: MSTORE 0000093f: PUSH1 0x20 00000941: ADD 00000942: DUP3 00000943: DUP1 00000944: SLOAD 00000945: PUSH1 0x01 00000947: DUP2 00000948: PUSH1 0x01 0000094a: AND 0000094b: ISZERO 0000094c: PUSH2 0x0100 0000094f: MUL 00000950: SUB 00000951: AND 00000952: PUSH1 0x02 00000954: SWAP1 00000955: DIV 00000956: DUP1 00000957: ISZERO 00000958: PUSH2 0x09a2 0000095b: JUMPI 0000095c: DUP1 0000095d: PUSH1 0x1f 0000095f: LT 00000960: PUSH2 0x0977 00000963: JUMPI 00000964: PUSH2 0x0100 00000967: DUP1 00000968: DUP4 00000969: SLOAD 0000096a: DIV 0000096b: MUL 0000096c: DUP4 0000096d: MSTORE 0000096e: SWAP2 0000096f: PUSH1 0x20 00000971: ADD 00000972: SWAP2 00000973: PUSH2 0x09a2 00000976: JUMP 00000977: JUMPDEST 00000978: DUP3 00000979: ADD 0000097a: SWAP2 0000097b: SWAP1 0000097c: PUSH1 0x00 0000097e: MSTORE 0000097f: PUSH1 0x20 00000981: PUSH1 0x00 00000983: KECCAK256 00000984: SWAP1 00000985: JUMPDEST 00000986: DUP2 00000987: SLOAD 00000988: DUP2 00000989: MSTORE 0000098a: SWAP1 0000098b: PUSH1 0x01 0000098d: ADD 0000098e: SWAP1 0000098f: PUSH1 0x20 00000991: ADD 00000992: DUP1 00000993: DUP4 00000994: GT 00000995: PUSH2 0x0985 00000998: JUMPI 00000999: DUP3 0000099a: SWAP1 0000099b: SUB 0000099c: PUSH1 0x1f 0000099e: AND 0000099f: DUP3 000009a0: ADD 000009a1: SWAP2 000009a2: JUMPDEST 000009a3: POP 000009a4: POP 000009a5: POP 000009a6: POP 000009a7: POP 000009a8: DUP2 000009a9: JUMP 000009aa: JUMPDEST 000009ab: PUSH1 0x05 000009ad: PUSH1 0x00 000009af: SWAP1 000009b0: SLOAD 000009b1: SWAP1 000009b2: PUSH2 0x0100 000009b5: EXP 000009b6: SWAP1 000009b7: DIV 000009b8: PUSH1 0xff 000009ba: AND 000009bb: DUP2 000009bc: JUMP 000009bd: JUMPDEST 000009be: PUSH1 0x06 000009c0: PUSH1 0x00 000009c2: POP 000009c3: PUSH1 0x00 000009c5: CALLER 000009c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009db: AND 000009dc: DUP2 000009dd: MSTORE 000009de: PUSH1 0x20 000009e0: ADD 000009e1: SWAP1 000009e2: DUP2 000009e3: MSTORE 000009e4: PUSH1 0x20 000009e6: ADD 000009e7: PUSH1 0x00 000009e9: KECCAK256 000009ea: PUSH1 0x00 000009ec: POP 000009ed: PUSH1 0x00 000009ef: PUSH1 0x02 000009f1: DUP2 000009f2: LT 000009f3: ISZERO 000009f4: PUSH2 0x0002 000009f7: JUMPI 000009f8: SWAP1 000009f9: SWAP1 000009fa: PUSH1 0x20 000009fc: SWAP2 000009fd: DUP3 000009fe: DUP3 000009ff: DIV 00000a00: ADD 00000a01: SWAP2 00000a02: SWAP1 00000a03: MOD 00000a04: JUMPDEST 00000a05: SWAP1 00000a06: SLOAD 00000a07: SWAP1 00000a08: PUSH2 0x0100 00000a0b: EXP 00000a0c: SWAP1 00000a0d: DIV 00000a0e: PUSH1 0xff 00000a10: AND 00000a11: ISZERO 00000a12: PUSH2 0x0a8c 00000a15: JUMPI 00000a16: PUSH1 0x08 00000a18: PUSH1 0x00 00000a1a: SWAP1 00000a1b: SLOAD 00000a1c: SWAP1 00000a1d: PUSH2 0x0100 00000a20: EXP 00000a21: SWAP1 00000a22: DIV 00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a38: AND 00000a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4e: AND 00000a4f: PUSH1 0x00 00000a51: ADDRESS 00000a52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a67: AND 00000a68: BALANCE 00000a69: PUSH1 0x40 00000a6b: MLOAD 00000a6c: DUP1 00000a6d: SWAP1 00000a6e: POP 00000a6f: PUSH1 0x00 00000a71: PUSH1 0x40 00000a73: MLOAD 00000a74: DUP1 00000a75: DUP4 00000a76: SUB 00000a77: DUP2 00000a78: DUP6 00000a79: DUP9 00000a7a: DUP9 00000a7b: CALL 00000a7c: SWAP4 00000a7d: POP 00000a7e: POP 00000a7f: POP 00000a80: POP 00000a81: ISZERO 00000a82: ISZERO 00000a83: PUSH2 0x0a8b 00000a86: JUMPI 00000a87: PUSH2 0x0002 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: JUMPDEST 00000a8d: JUMPDEST 00000a8e: 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: 0x212824ae0b88e218685434ea709d0969771993fe760635aeb5c8962fcc4e9c91
call_targets:
0x8f2b023506da684ca6876f7ec1a757970caa5b3d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x212824ae0b88e218685434ea709d0969771993fe760635aeb5c8962fcc4e9c91",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8f2b023506da684ca6876f7ec1a757970caa5b3d"
],
"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": "0x4678f211",
"selector": "0x4678f211",
"calldata_variants": [
"0x4678f211",
"0x4678f2110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ff69b8e",
"selector": "0x5ff69b8e",
"calldata_variants": [
"0x5ff69b8e",
"0x5ff69b8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6190c9d5",
"selector": "0x6190c9d5",
"calldata_variants": [
"0x6190c9d5",
"0x6190c9d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x815c47ee",
"selector": "0x815c47ee",
"calldata_variants": [
"0x815c47ee",
"0x815c47ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaddb4766",
"selector": "0xaddb4766",
"calldata_variants": [
"0xaddb4766",
"0xaddb47660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb8b4f1a0",
"selector": "0xb8b4f1a0",
"calldata_variants": [
"0xb8b4f1a0",
"0xb8b4f1a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9efff32",
"selector": "0xc9efff32",
"calldata_variants": [
"0xc9efff32",
"0xc9efff320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xddca3f43",
"selector": "0xddca3f43",
"calldata_variants": [
"0xddca3f43",
"0xddca3f430000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 746,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1337,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1424,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x212824ae0b88e218685434ea709d0969771993fe760635aeb5c8962fcc4e9c91
call_targets:
0x8f2b023506da684ca6876f7ec1a757970caa5b3d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x212824ae0b88e218685434ea709d0969771993fe760635aeb5c8962fcc4e9c91",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8f2b023506da684ca6876f7ec1a757970caa5b3d"
],
"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": "0x4678f211",
"selector": "0x4678f211",
"calldata_variants": [
"0x4678f211",
"0x4678f2110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ff69b8e",
"selector": "0x5ff69b8e",
"calldata_variants": [
"0x5ff69b8e",
"0x5ff69b8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6190c9d5",
"selector": "0x6190c9d5",
"calldata_variants": [
"0x6190c9d5",
"0x6190c9d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x815c47ee",
"selector": "0x815c47ee",
"calldata_variants": [
"0x815c47ee",
"0x815c47ee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaddb4766",
"selector": "0xaddb4766",
"calldata_variants": [
"0xaddb4766",
"0xaddb47660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb8b4f1a0",
"selector": "0xb8b4f1a0",
"calldata_variants": [
"0xb8b4f1a0",
"0xb8b4f1a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc9efff32",
"selector": "0xc9efff32",
"calldata_variants": [
"0xc9efff32",
"0xc9efff320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xddca3f43",
"selector": "0xddca3f43",
"calldata_variants": [
"0xddca3f43",
"0xddca3f430000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 746,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1337,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1424,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|