019b3844-9008-71f3-970f-45353c106a63
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 |
|---|---|---|---|---|
| 12533 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12534 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84716 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84717 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84718 | detector.run | complete | 1 / 3 | 1 week ago |
| 84719 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0082 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x0252b995 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0325 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x08f102c0 00000046: EQ 00000047: PUSH2 0x034c 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x8a19c8bc 00000051: EQ 00000052: PUSH2 0x0361 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8da5cb5b 0000005c: EQ 0000005d: PUSH2 0x0376 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xabf57908 00000067: EQ 00000068: PUSH2 0x03a7 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xb04fe57e 00000072: EQ 00000073: PUSH2 0x03e0 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xb9975077 0000007d: EQ 0000007e: PUSH2 0x03f5 00000081: JUMPI 00000082: JUMPDEST 00000083: PUSH1 0x00 00000085: DUP1 00000086: PUSH1 0x00 00000088: PUSH1 0x01 0000008a: SLOAD 0000008b: TIMESTAMP 0000008c: SUB 0000008d: LT 0000008e: ISZERO 0000008f: ISZERO 00000090: ISZERO 00000091: PUSH2 0x0099 00000094: JUMPI 00000095: PUSH1 0x00 00000097: DUP1 00000098: REVERT 00000099: JUMPDEST 0000009a: PUSH2 0x00a1 0000009d: PUSH2 0x040a 000000a0: JUMP 000000a1: JUMPDEST 000000a2: SWAP2 000000a3: POP 000000a4: PUSH7 0x2386f26fc10000 000000ac: PUSH1 0x00 000000ae: NOT 000000af: DUP4 000000b0: ADD 000000b1: MUL 000000b2: PUSH8 0x016345785d8a0000 000000bb: ADD 000000bc: CALLVALUE 000000bd: EQ 000000be: PUSH2 0x0128 000000c1: JUMPI 000000c2: PUSH1 0x40 000000c4: DUP1 000000c5: MLOAD 000000c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000000e7: DUP2 000000e8: MSTORE 000000e9: PUSH1 0x20 000000eb: PUSH1 0x04 000000ed: DUP3 000000ee: ADD 000000ef: MSTORE 000000f0: PUSH1 0x0f 000000f2: PUSH1 0x24 000000f4: DUP3 000000f5: ADD 000000f6: MSTORE 000000f7: PUSH32 0x57726f6e6720456e747279204665650000000000000000000000000000000000 00000118: PUSH1 0x44 0000011a: DUP3 0000011b: ADD 0000011c: MSTORE 0000011d: SWAP1 0000011e: MLOAD 0000011f: SWAP1 00000120: DUP2 00000121: SWAP1 00000122: SUB 00000123: PUSH1 0x64 00000125: ADD 00000126: SWAP1 00000127: REVERT 00000128: JUMPDEST 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: SLOAD 0000012d: CALLVALUE 0000012e: ADD 0000012f: DUP2 00000130: SSTORE 00000131: PUSH1 0x02 00000133: DUP1 00000134: SLOAD 00000135: PUSH1 0x01 00000137: SWAP1 00000138: DUP2 00000139: ADD 0000013a: DUP3 0000013b: SSTORE 0000013c: PUSH1 0x03 0000013e: DUP1 0000013f: SLOAD 00000140: DUP3 00000141: ADD 00000142: SWAP1 00000143: SSTORE 00000144: PUSH1 0x40 00000146: DUP1 00000147: MLOAD 00000148: DUP1 00000149: DUP3 0000014a: ADD 0000014b: SWAP1 0000014c: SWAP2 0000014d: MSTORE 0000014e: DUP6 0000014f: DUP2 00000150: MSTORE 00000151: CALLER 00000152: PUSH1 0x20 00000154: DUP3 00000155: ADD 00000156: SWAP1 00000157: DUP2 00000158: MSTORE 00000159: PUSH1 0x04 0000015b: DUP1 0000015c: SLOAD 0000015d: DUP1 0000015e: DUP6 0000015f: ADD 00000160: DUP3 00000161: SSTORE 00000162: SWAP6 00000163: MSTORE 00000164: SWAP1 00000165: MLOAD 00000166: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b 00000187: SWAP5 00000188: SWAP1 00000189: SWAP4 0000018a: MUL 0000018b: SWAP4 0000018c: DUP5 0000018d: ADD 0000018e: SWAP3 0000018f: SWAP1 00000190: SWAP3 00000191: SSTORE 00000192: SWAP1 00000193: MLOAD 00000194: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19c 000001b5: SWAP1 000001b6: SWAP3 000001b7: ADD 000001b8: DUP1 000001b9: SLOAD 000001ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001cf: NOT 000001d0: AND 000001d1: PUSH1 0x01 000001d3: PUSH1 0xa0 000001d5: PUSH1 0x02 000001d7: EXP 000001d8: SUB 000001d9: SWAP1 000001da: SWAP4 000001db: AND 000001dc: SWAP3 000001dd: SWAP1 000001de: SWAP3 000001df: OR 000001e0: SWAP1 000001e1: SWAP2 000001e2: SSTORE 000001e3: SLOAD 000001e4: PUSH1 0xa8 000001e6: SWAP1 000001e7: PUSH2 0x0e10 000001ea: SWAP1 000001eb: TIMESTAMP 000001ec: SUB 000001ed: DIV 000001ee: LT 000001ef: ISZERO 000001f0: DUP1 000001f1: ISZERO 000001f2: PUSH2 0x01fd 000001f5: JUMPI 000001f6: POP 000001f7: PUSH1 0x00 000001f9: PUSH1 0x03 000001fb: SLOAD 000001fc: GT 000001fd: JUMPDEST 000001fe: ISZERO 000001ff: PUSH2 0x020f 00000202: JUMPI 00000203: PUSH2 0x020a 00000206: PUSH2 0x0419 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH2 0x0321 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH1 0x02 00000212: SLOAD 00000213: PUSH2 0x0258 00000216: SWAP1 00000217: MOD 00000218: ISZERO 00000219: ISZERO 0000021a: PUSH2 0x026f 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: SLOAD 00000222: PUSH1 0x40 00000224: MLOAD 00000225: CALLER 00000226: SWAP3 00000227: PUSH1 0x05 00000229: SWAP1 0000022a: SWAP3 0000022b: DIV 0000022c: DUP1 0000022d: ISZERO 0000022e: PUSH2 0x08fc 00000231: MUL 00000232: SWAP3 00000233: SWAP1 00000234: SWAP2 00000235: SWAP1 00000236: DUP2 00000237: DUP2 00000238: DUP2 00000239: DUP6 0000023a: DUP9 0000023b: DUP9 0000023c: CALL 0000023d: SWAP4 0000023e: POP 0000023f: POP 00000240: POP 00000241: POP 00000242: ISZERO 00000243: DUP1 00000244: ISZERO 00000245: PUSH2 0x0252 00000248: JUMPI 00000249: RETURNDATASIZE 0000024a: PUSH1 0x00 0000024c: DUP1 0000024d: RETURNDATACOPY 0000024e: RETURNDATASIZE 0000024f: PUSH1 0x00 00000251: REVERT 00000252: JUMPDEST 00000253: POP 00000254: PUSH1 0x00 00000256: DUP1 00000257: SLOAD 00000258: PUSH1 0x05 0000025a: DUP2 0000025b: DIV 0000025c: SWAP1 0000025d: SUB 0000025e: SWAP1 0000025f: SSTORE 00000260: PUSH1 0x04 00000262: SLOAD 00000263: PUSH2 0x026f 00000266: SWAP1 00000267: PUSH1 0x00 00000269: NOT 0000026a: ADD 0000026b: PUSH2 0x0519 0000026e: JUMP 0000026f: JUMPDEST 00000270: PUSH1 0x04 00000272: SLOAD 00000273: PUSH1 0x03 00000275: GT 00000276: DUP1 00000277: ISZERO 00000278: SWAP1 00000279: PUSH2 0x0284 0000027c: JUMPI 0000027d: POP 0000027e: PUSH1 0x03 00000280: DUP1 00000281: SLOAD 00000282: MOD 00000283: ISZERO 00000284: JUMPDEST 00000285: ISZERO 00000286: PUSH2 0x0321 00000289: JUMPI 0000028a: PUSH2 0x02b4 0000028d: PUSH1 0x04 0000028f: PUSH1 0x00 00000291: DUP2 00000292: SLOAD 00000293: DUP2 00000294: LT 00000295: ISZERO 00000296: ISZERO 00000297: PUSH2 0x029c 0000029a: JUMPI 0000029b: INVALID 0000029c: JUMPDEST 0000029d: SWAP1 0000029e: PUSH1 0x00 000002a0: MSTORE 000002a1: PUSH1 0x20 000002a3: PUSH1 0x00 000002a5: KECCAK256 000002a6: SWAP1 000002a7: PUSH1 0x02 000002a9: MUL 000002aa: ADD 000002ab: PUSH1 0x00 000002ad: ADD 000002ae: SLOAD 000002af: DUP4 000002b0: PUSH2 0x0610 000002b3: JUMP 000002b4: JUMPDEST 000002b5: SWAP1 000002b6: POP 000002b7: PUSH1 0x04 000002b9: PUSH1 0x00 000002bb: DUP2 000002bc: SLOAD 000002bd: DUP2 000002be: LT 000002bf: ISZERO 000002c0: ISZERO 000002c1: PUSH2 0x02c6 000002c4: JUMPI 000002c5: INVALID 000002c6: JUMPDEST 000002c7: PUSH1 0x00 000002c9: SWAP2 000002ca: DUP3 000002cb: MSTORE 000002cc: PUSH1 0x20 000002ce: DUP3 000002cf: KECCAK256 000002d0: PUSH1 0x01 000002d2: PUSH1 0x02 000002d4: SWAP1 000002d5: SWAP3 000002d6: MUL 000002d7: ADD 000002d8: ADD 000002d9: SLOAD 000002da: PUSH1 0x40 000002dc: MLOAD 000002dd: PUSH1 0x01 000002df: PUSH1 0xa0 000002e1: PUSH1 0x02 000002e3: EXP 000002e4: SUB 000002e5: SWAP1 000002e6: SWAP2 000002e7: AND 000002e8: SWAP2 000002e9: DUP4 000002ea: ISZERO 000002eb: PUSH2 0x08fc 000002ee: MUL 000002ef: SWAP2 000002f0: DUP5 000002f1: SWAP2 000002f2: DUP2 000002f3: DUP2 000002f4: DUP2 000002f5: DUP6 000002f6: DUP9 000002f7: DUP9 000002f8: CALL 000002f9: SWAP4 000002fa: POP 000002fb: POP 000002fc: POP 000002fd: POP 000002fe: ISZERO 000002ff: DUP1 00000300: ISZERO 00000301: PUSH2 0x030e 00000304: JUMPI 00000305: RETURNDATASIZE 00000306: PUSH1 0x00 00000308: DUP1 00000309: RETURNDATACOPY 0000030a: RETURNDATASIZE 0000030b: PUSH1 0x00 0000030d: REVERT 0000030e: JUMPDEST 0000030f: POP 00000310: PUSH1 0x00 00000312: DUP1 00000313: SLOAD 00000314: DUP3 00000315: SWAP1 00000316: SUB 00000317: DUP2 00000318: SSTORE 00000319: PUSH2 0x0321 0000031c: SWAP1 0000031d: PUSH2 0x0519 00000320: JUMP 00000321: JUMPDEST 00000322: POP 00000323: POP 00000324: STOP 00000325: JUMPDEST 00000326: CALLVALUE 00000327: DUP1 00000328: ISZERO 00000329: PUSH2 0x0331 0000032c: JUMPI 0000032d: PUSH1 0x00 0000032f: DUP1 00000330: REVERT 00000331: JUMPDEST 00000332: POP 00000333: PUSH2 0x033a 00000336: PUSH2 0x063b 00000339: JUMP 0000033a: JUMPDEST 0000033b: PUSH1 0x40 0000033d: DUP1 0000033e: MLOAD 0000033f: SWAP2 00000340: DUP3 00000341: MSTORE 00000342: MLOAD 00000343: SWAP1 00000344: DUP2 00000345: SWAP1 00000346: SUB 00000347: PUSH1 0x20 00000349: ADD 0000034a: SWAP1 0000034b: RETURN 0000034c: JUMPDEST 0000034d: CALLVALUE 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: POP 0000035a: PUSH2 0x033a 0000035d: PUSH2 0x0641 00000360: JUMP 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: PUSH2 0x033a 00000372: PUSH2 0x040a 00000375: JUMP 00000376: JUMPDEST 00000377: CALLVALUE 00000378: DUP1 00000379: ISZERO 0000037a: PUSH2 0x0382 0000037d: JUMPI 0000037e: PUSH1 0x00 00000380: DUP1 00000381: REVERT 00000382: JUMPDEST 00000383: POP 00000384: PUSH2 0x038b 00000387: PUSH2 0x0647 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH1 0x40 0000038e: DUP1 0000038f: MLOAD 00000390: PUSH1 0x01 00000392: PUSH1 0xa0 00000394: PUSH1 0x02 00000396: EXP 00000397: SUB 00000398: SWAP1 00000399: SWAP3 0000039a: AND 0000039b: DUP3 0000039c: MSTORE 0000039d: MLOAD 0000039e: SWAP1 0000039f: DUP2 000003a0: SWAP1 000003a1: SUB 000003a2: PUSH1 0x20 000003a4: ADD 000003a5: SWAP1 000003a6: RETURN 000003a7: JUMPDEST 000003a8: CALLVALUE 000003a9: DUP1 000003aa: ISZERO 000003ab: PUSH2 0x03b3 000003ae: JUMPI 000003af: PUSH1 0x00 000003b1: DUP1 000003b2: REVERT 000003b3: JUMPDEST 000003b4: POP 000003b5: PUSH2 0x03bf 000003b8: PUSH1 0x04 000003ba: CALLDATALOAD 000003bb: PUSH2 0x0656 000003be: JUMP 000003bf: JUMPDEST 000003c0: PUSH1 0x40 000003c2: DUP1 000003c3: MLOAD 000003c4: SWAP3 000003c5: DUP4 000003c6: MSTORE 000003c7: PUSH1 0x01 000003c9: PUSH1 0xa0 000003cb: PUSH1 0x02 000003cd: EXP 000003ce: SUB 000003cf: SWAP1 000003d0: SWAP2 000003d1: AND 000003d2: PUSH1 0x20 000003d4: DUP4 000003d5: ADD 000003d6: MSTORE 000003d7: DUP1 000003d8: MLOAD 000003d9: SWAP2 000003da: DUP3 000003db: SWAP1 000003dc: SUB 000003dd: ADD 000003de: SWAP1 000003df: RETURN 000003e0: JUMPDEST 000003e1: CALLVALUE 000003e2: DUP1 000003e3: ISZERO 000003e4: PUSH2 0x03ec 000003e7: JUMPI 000003e8: PUSH1 0x00 000003ea: DUP1 000003eb: REVERT 000003ec: JUMPDEST 000003ed: POP 000003ee: PUSH2 0x033a 000003f1: PUSH2 0x068b 000003f4: JUMP 000003f5: JUMPDEST 000003f6: CALLVALUE 000003f7: DUP1 000003f8: ISZERO 000003f9: PUSH2 0x0401 000003fc: JUMPI 000003fd: PUSH1 0x00 000003ff: DUP1 00000400: REVERT 00000401: JUMPDEST 00000402: POP 00000403: PUSH2 0x033a 00000406: PUSH2 0x0691 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH1 0x02 0000040d: SLOAD 0000040e: PUSH2 0x0258 00000411: SWAP1 00000412: DIV 00000413: PUSH1 0x01 00000415: ADD 00000416: JUMPDEST 00000417: SWAP1 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH1 0x06 0000041c: SLOAD 0000041d: PUSH1 0x00 0000041f: DUP1 00000420: SLOAD 00000421: PUSH1 0x40 00000423: MLOAD 00000424: SWAP2 00000425: SWAP3 00000426: DUP4 00000427: SWAP3 00000428: PUSH1 0x01 0000042a: PUSH1 0xa0 0000042c: PUSH1 0x02 0000042e: EXP 0000042f: SUB 00000430: SWAP1 00000431: SWAP2 00000432: AND 00000433: SWAP2 00000434: PUSH1 0x64 00000436: PUSH1 0x32 00000438: SWAP1 00000439: SWAP2 0000043a: MUL 0000043b: DIV 0000043c: DUP1 0000043d: ISZERO 0000043e: PUSH2 0x08fc 00000441: MUL 00000442: SWAP2 00000443: DUP5 00000444: DUP2 00000445: DUP2 00000446: DUP2 00000447: DUP6 00000448: DUP9 00000449: DUP9 0000044a: CALL 0000044b: SWAP4 0000044c: POP 0000044d: POP 0000044e: POP 0000044f: POP 00000450: ISZERO 00000451: DUP1 00000452: ISZERO 00000453: PUSH2 0x0460 00000456: JUMPI 00000457: RETURNDATASIZE 00000458: PUSH1 0x00 0000045a: DUP1 0000045b: RETURNDATACOPY 0000045c: RETURNDATASIZE 0000045d: PUSH1 0x00 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: PUSH1 0x00 00000464: DUP1 00000465: SLOAD 00000466: PUSH1 0x64 00000468: PUSH1 0x32 0000046a: DUP3 0000046b: MUL 0000046c: DIV 0000046d: SWAP1 0000046e: SUB 0000046f: SWAP1 00000470: DUP2 00000471: SWAP1 00000472: SSTORE 00000473: PUSH1 0x04 00000475: SLOAD 00000476: SWAP1 00000477: DUP2 00000478: ISZERO 00000479: ISZERO 0000047a: PUSH2 0x047f 0000047d: JUMPI 0000047e: INVALID 0000047f: JUMPDEST 00000480: DIV 00000481: SWAP2 00000482: POP 00000483: PUSH1 0x00 00000485: SWAP1 00000486: POP 00000487: JUMPDEST 00000488: PUSH1 0x04 0000048a: SLOAD 0000048b: DUP2 0000048c: LT 0000048d: ISZERO 0000048e: PUSH2 0x04f9 00000491: JUMPI 00000492: PUSH1 0x04 00000494: DUP1 00000495: SLOAD 00000496: DUP3 00000497: SWAP1 00000498: DUP2 00000499: LT 0000049a: PUSH2 0x049f 0000049d: JUMPI 0000049e: INVALID 0000049f: JUMPDEST 000004a0: PUSH1 0x00 000004a2: SWAP2 000004a3: DUP3 000004a4: MSTORE 000004a5: PUSH1 0x20 000004a7: DUP3 000004a8: KECCAK256 000004a9: PUSH1 0x01 000004ab: PUSH1 0x02 000004ad: SWAP1 000004ae: SWAP3 000004af: MUL 000004b0: ADD 000004b1: ADD 000004b2: SLOAD 000004b3: PUSH1 0x40 000004b5: MLOAD 000004b6: PUSH1 0x01 000004b8: PUSH1 0xa0 000004ba: PUSH1 0x02 000004bc: EXP 000004bd: SUB 000004be: SWAP1 000004bf: SWAP2 000004c0: AND 000004c1: SWAP2 000004c2: DUP5 000004c3: ISZERO 000004c4: PUSH2 0x08fc 000004c7: MUL 000004c8: SWAP2 000004c9: DUP6 000004ca: SWAP2 000004cb: DUP2 000004cc: DUP2 000004cd: DUP2 000004ce: DUP6 000004cf: DUP9 000004d0: DUP9 000004d1: CALL 000004d2: SWAP4 000004d3: POP 000004d4: POP 000004d5: POP 000004d6: POP 000004d7: ISZERO 000004d8: DUP1 000004d9: ISZERO 000004da: PUSH2 0x04e7 000004dd: JUMPI 000004de: RETURNDATASIZE 000004df: PUSH1 0x00 000004e1: DUP1 000004e2: RETURNDATACOPY 000004e3: RETURNDATASIZE 000004e4: PUSH1 0x00 000004e6: REVERT 000004e7: JUMPDEST 000004e8: POP 000004e9: PUSH1 0x00 000004eb: DUP1 000004ec: SLOAD 000004ed: DUP4 000004ee: SWAP1 000004ef: SUB 000004f0: SWAP1 000004f1: SSTORE 000004f2: PUSH1 0x01 000004f4: ADD 000004f5: PUSH2 0x0487 000004f8: JUMP 000004f9: JUMPDEST 000004fa: TIMESTAMP 000004fb: PUSH1 0x01 000004fd: SSTORE 000004fe: PUSH1 0x00 00000500: PUSH1 0x03 00000502: DUP2 00000503: SWAP1 00000504: SSTORE 00000505: PUSH1 0x02 00000507: DUP2 00000508: SWAP1 00000509: SSTORE 0000050a: PUSH2 0x0515 0000050d: SWAP1 0000050e: PUSH1 0x04 00000510: SWAP1 00000511: PUSH2 0x0697 00000514: JUMP 00000515: JUMPDEST 00000516: POP 00000517: POP 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x04 0000051c: SLOAD 0000051d: PUSH1 0x00 0000051f: DUP2 00000520: DUP4 00000521: LT 00000522: PUSH2 0x052a 00000525: JUMPI 00000526: PUSH2 0x060b 00000529: JUMP 0000052a: JUMPDEST 0000052b: POP 0000052c: DUP2 0000052d: JUMPDEST 0000052e: PUSH1 0x01 00000530: DUP3 00000531: SUB 00000532: DUP2 00000533: LT 00000534: ISZERO 00000535: PUSH2 0x05b4 00000538: JUMPI 00000539: PUSH1 0x04 0000053b: DUP1 0000053c: SLOAD 0000053d: PUSH1 0x01 0000053f: DUP4 00000540: ADD 00000541: SWAP1 00000542: DUP2 00000543: LT 00000544: PUSH2 0x0549 00000547: JUMPI 00000548: INVALID 00000549: JUMPDEST 0000054a: SWAP1 0000054b: PUSH1 0x00 0000054d: MSTORE 0000054e: PUSH1 0x20 00000550: PUSH1 0x00 00000552: KECCAK256 00000553: SWAP1 00000554: PUSH1 0x02 00000556: MUL 00000557: ADD 00000558: PUSH1 0x04 0000055a: DUP3 0000055b: DUP2 0000055c: SLOAD 0000055d: DUP2 0000055e: LT 0000055f: ISZERO 00000560: ISZERO 00000561: PUSH2 0x0566 00000564: JUMPI 00000565: INVALID 00000566: JUMPDEST 00000567: PUSH1 0x00 00000569: SWAP2 0000056a: DUP3 0000056b: MSTORE 0000056c: PUSH1 0x20 0000056e: SWAP1 0000056f: SWAP2 00000570: KECCAK256 00000571: DUP3 00000572: SLOAD 00000573: PUSH1 0x02 00000575: SWAP1 00000576: SWAP3 00000577: MUL 00000578: ADD 00000579: SWAP1 0000057a: DUP2 0000057b: SSTORE 0000057c: PUSH1 0x01 0000057e: SWAP2 0000057f: DUP3 00000580: ADD 00000581: SLOAD 00000582: SWAP1 00000583: DUP3 00000584: ADD 00000585: DUP1 00000586: SLOAD 00000587: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059c: NOT 0000059d: AND 0000059e: PUSH1 0x01 000005a0: PUSH1 0xa0 000005a2: PUSH1 0x02 000005a4: EXP 000005a5: SUB 000005a6: SWAP1 000005a7: SWAP3 000005a8: AND 000005a9: SWAP2 000005aa: SWAP1 000005ab: SWAP2 000005ac: OR 000005ad: SWAP1 000005ae: SSTORE 000005af: ADD 000005b0: PUSH2 0x052d 000005b3: JUMP 000005b4: JUMPDEST 000005b5: PUSH1 0x04 000005b7: DUP1 000005b8: SLOAD 000005b9: PUSH1 0x00 000005bb: NOT 000005bc: DUP5 000005bd: ADD 000005be: SWAP1 000005bf: DUP2 000005c0: LT 000005c1: PUSH2 0x05c6 000005c4: JUMPI 000005c5: INVALID 000005c6: JUMPDEST 000005c7: PUSH1 0x00 000005c9: SWAP2 000005ca: DUP3 000005cb: MSTORE 000005cc: PUSH1 0x20 000005ce: DUP3 000005cf: KECCAK256 000005d0: PUSH1 0x02 000005d2: SWAP1 000005d3: SWAP2 000005d4: MUL 000005d5: ADD 000005d6: SWAP1 000005d7: DUP2 000005d8: SSTORE 000005d9: PUSH1 0x01 000005db: ADD 000005dc: DUP1 000005dd: SLOAD 000005de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f3: NOT 000005f4: AND 000005f5: SWAP1 000005f6: SSTORE 000005f7: PUSH1 0x04 000005f9: DUP1 000005fa: SLOAD 000005fb: SWAP1 000005fc: PUSH2 0x0609 000005ff: SWAP1 00000600: PUSH1 0x00 00000602: NOT 00000603: DUP4 00000604: ADD 00000605: PUSH2 0x06bb 00000608: JUMP 00000609: JUMPDEST 0000060a: POP 0000060b: JUMPDEST 0000060c: POP 0000060d: POP 0000060e: POP 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH1 0x00 00000613: PUSH1 0x00 00000615: NOT 00000616: DUP4 00000617: ADD 00000618: PUSH7 0x2386f26fc10000 00000620: MUL 00000621: PUSH8 0x016345785d8a0000 0000062a: ADD 0000062b: PUSH1 0x64 0000062d: PUSH1 0x77 0000062f: DUP5 00000630: ADD 00000631: DUP3 00000632: MUL 00000633: DIV 00000634: SWAP5 00000635: SWAP4 00000636: POP 00000637: POP 00000638: POP 00000639: POP 0000063a: JUMP 0000063b: JUMPDEST 0000063c: PUSH1 0x01 0000063e: SLOAD 0000063f: DUP2 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x00 00000644: SLOAD 00000645: DUP2 00000646: JUMP 00000647: JUMPDEST 00000648: PUSH1 0x05 0000064a: SLOAD 0000064b: PUSH1 0x01 0000064d: PUSH1 0xa0 0000064f: PUSH1 0x02 00000651: EXP 00000652: SUB 00000653: AND 00000654: DUP2 00000655: JUMP 00000656: JUMPDEST 00000657: PUSH1 0x04 00000659: DUP1 0000065a: SLOAD 0000065b: DUP3 0000065c: SWAP1 0000065d: DUP2 0000065e: LT 0000065f: PUSH2 0x0664 00000662: JUMPI 00000663: INVALID 00000664: JUMPDEST 00000665: PUSH1 0x00 00000667: SWAP2 00000668: DUP3 00000669: MSTORE 0000066a: PUSH1 0x20 0000066c: SWAP1 0000066d: SWAP2 0000066e: KECCAK256 0000066f: PUSH1 0x02 00000671: SWAP1 00000672: SWAP2 00000673: MUL 00000674: ADD 00000675: DUP1 00000676: SLOAD 00000677: PUSH1 0x01 00000679: SWAP1 0000067a: SWAP2 0000067b: ADD 0000067c: SLOAD 0000067d: SWAP1 0000067e: SWAP2 0000067f: POP 00000680: PUSH1 0x01 00000682: PUSH1 0xa0 00000684: PUSH1 0x02 00000686: EXP 00000687: SUB 00000688: AND 00000689: DUP3 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH1 0x02 0000068e: SLOAD 0000068f: DUP2 00000690: JUMP 00000691: JUMPDEST 00000692: PUSH1 0x03 00000694: SLOAD 00000695: DUP2 00000696: JUMP 00000697: JUMPDEST 00000698: POP 00000699: DUP1 0000069a: SLOAD 0000069b: PUSH1 0x00 0000069d: DUP3 0000069e: SSTORE 0000069f: PUSH1 0x02 000006a1: MUL 000006a2: SWAP1 000006a3: PUSH1 0x00 000006a5: MSTORE 000006a6: PUSH1 0x20 000006a8: PUSH1 0x00 000006aa: KECCAK256 000006ab: SWAP1 000006ac: DUP2 000006ad: ADD 000006ae: SWAP1 000006af: PUSH2 0x06b8 000006b2: SWAP2 000006b3: SWAP1 000006b4: PUSH2 0x06e3 000006b7: JUMP 000006b8: JUMPDEST 000006b9: POP 000006ba: JUMP 000006bb: JUMPDEST 000006bc: DUP2 000006bd: SLOAD 000006be: DUP2 000006bf: DUP4 000006c0: SSTORE 000006c1: DUP2 000006c2: DUP2 000006c3: GT 000006c4: ISZERO 000006c5: PUSH2 0x060b 000006c8: JUMPI 000006c9: PUSH1 0x02 000006cb: MUL 000006cc: DUP2 000006cd: PUSH1 0x02 000006cf: MUL 000006d0: DUP4 000006d1: PUSH1 0x00 000006d3: MSTORE 000006d4: PUSH1 0x20 000006d6: PUSH1 0x00 000006d8: KECCAK256 000006d9: SWAP2 000006da: DUP3 000006db: ADD 000006dc: SWAP2 000006dd: ADD 000006de: PUSH2 0x060b 000006e1: SWAP2 000006e2: SWAP1 000006e3: JUMPDEST 000006e4: PUSH2 0x0416 000006e7: SWAP2 000006e8: SWAP1 000006e9: JUMPDEST 000006ea: DUP1 000006eb: DUP3 000006ec: GT 000006ed: ISZERO 000006ee: PUSH2 0x071c 000006f1: JUMPI 000006f2: PUSH1 0x00 000006f4: DUP2 000006f5: SSTORE 000006f6: PUSH1 0x01 000006f8: DUP2 000006f9: ADD 000006fa: DUP1 000006fb: SLOAD 000006fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000711: NOT 00000712: AND 00000713: SWAP1 00000714: SSTORE 00000715: PUSH1 0x02 00000717: ADD 00000718: PUSH2 0x06e9 0000071b: JUMP 0000071c: JUMPDEST 0000071d: POP 0000071e: SWAP1 0000071f: JUMP 00000720: STOP 00000721: LOG1 00000722: PUSH6 0x627a7a723058 00000729: KECCAK256 0000072a: PUSH24 0x63ea0c093ff260bacb111a1762270a9f5ea7abab4189e26e 00000743: UNKNOWN(0xE0) 00000744: UNKNOWN(0x29) 00000745: LOG3 00000746: UNKNOWN(0xDB) 00000747: MCOPY 00000748: EXTCODESIZE 00000749: DUP8 0000074a: STOP 0000074b: UNKNOWN(0x29)
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: 0xd29f8ec4083d018fab7cabedcc167f1754053f7578b57f922ad14492cbd1a5df
call_targets:
0x8bd1d64b09c5c1274a21a1b0754770898fe10e1b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd29f8ec4083d018fab7cabedcc167f1754053f7578b57f922ad14492cbd1a5df",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8bd1d64b09c5c1274a21a1b0754770898fe10e1b"
],
"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": "0x0252b995",
"selector": "0x0252b995",
"calldata_variants": [
"0x0252b995",
"0x0252b9950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08f102c0",
"selector": "0x08f102c0",
"calldata_variants": [
"0x08f102c0",
"0x08f102c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a19c8bc",
"selector": "0x8a19c8bc",
"calldata_variants": [
"0x8a19c8bc",
"0x8a19c8bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabf57908",
"selector": "0xabf57908",
"calldata_variants": [
"0xabf57908",
"0xabf579080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb04fe57e",
"selector": "0xb04fe57e",
"calldata_variants": [
"0xb04fe57e",
"0xb04fe57e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb9975077",
"selector": "0xb9975077",
"calldata_variants": [
"0xb9975077",
"0xb99750770000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 572,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 760,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1098,
"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: 0xd29f8ec4083d018fab7cabedcc167f1754053f7578b57f922ad14492cbd1a5df
call_targets:
0x8bd1d64b09c5c1274a21a1b0754770898fe10e1b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd29f8ec4083d018fab7cabedcc167f1754053f7578b57f922ad14492cbd1a5df",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8bd1d64b09c5c1274a21a1b0754770898fe10e1b"
],
"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": "0x0252b995",
"selector": "0x0252b995",
"calldata_variants": [
"0x0252b995",
"0x0252b9950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08f102c0",
"selector": "0x08f102c0",
"calldata_variants": [
"0x08f102c0",
"0x08f102c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a19c8bc",
"selector": "0x8a19c8bc",
"calldata_variants": [
"0x8a19c8bc",
"0x8a19c8bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabf57908",
"selector": "0xabf57908",
"calldata_variants": [
"0xabf57908",
"0xabf579080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb04fe57e",
"selector": "0xb04fe57e",
"calldata_variants": [
"0xb04fe57e",
"0xb04fe57e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb9975077",
"selector": "0xb9975077",
"calldata_variants": [
"0xb9975077",
"0xb99750770000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 572,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 760,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|