019b3836-3ac8-7088-a17e-329a63f9e3cb
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 |
|---|---|---|---|---|
| 4287 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 4288 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 47452 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 47453 | capability.graph | complete | 1 / 3 | 1 week ago |
| 47454 | detector.run | complete | 1 / 3 | 1 week ago |
| 47455 | 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 0x006c 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x06fdde03 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0120 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x21f8a721 00000025: EQ 00000026: PUSH2 0x0129 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x3751707c 00000030: EQ 00000031: PUSH2 0x01a0 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x3ed48679 0000003b: EQ 0000003c: PUSH2 0x01b2 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x651e723c 00000046: EQ 00000047: PUSH2 0x02e0 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x7948f523 00000051: EQ 00000052: PUSH2 0x03ab 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x93423e9c 0000005c: EQ 0000005d: PUSH2 0x03ef 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xa7f43779 00000067: EQ 00000068: PUSH2 0x0422 0000006b: JUMPI 0000006c: JUMPDEST 0000006d: PUSH2 0x044a 00000070: PUSH1 0x00 00000072: DUP1 00000073: SLOAD 00000074: PUSH1 0xd1 00000076: PUSH1 0x02 00000078: EXP 00000079: PUSH6 0x39b4b3b732b9 00000080: MUL 00000081: SWAP1 00000082: PUSH1 0x01 00000084: PUSH1 0xa0 00000086: PUSH1 0x02 00000088: EXP 00000089: SUB 0000008a: AND 0000008b: DUP3 0000008c: EQ 0000008d: DUP1 0000008e: ISZERO 0000008f: SWAP1 00000090: PUSH2 0x00fd 00000093: JUMPI 00000094: POP 00000095: PUSH1 0x01 00000097: SLOAD 00000098: PUSH1 0x02 0000009a: SLOAD 0000009b: PUSH1 0x40 0000009d: DUP1 0000009e: MLOAD 0000009f: PUSH1 0xe4 000000a1: PUSH1 0x02 000000a3: EXP 000000a4: PUSH4 0x0a1add51 000000a9: MUL 000000aa: DUP2 000000ab: MSTORE 000000ac: PUSH1 0x04 000000ae: DUP2 000000af: ADD 000000b0: SWAP3 000000b1: SWAP1 000000b2: SWAP3 000000b3: MSTORE 000000b4: PUSH1 0x24 000000b6: DUP3 000000b7: ADD 000000b8: DUP5 000000b9: SWAP1 000000ba: MSTORE 000000bb: CALLER 000000bc: PUSH1 0x01 000000be: PUSH1 0xa0 000000c0: PUSH1 0x02 000000c2: EXP 000000c3: SUB 000000c4: SWAP1 000000c5: DUP2 000000c6: AND 000000c7: PUSH1 0x44 000000c9: DUP5 000000ca: ADD 000000cb: MSTORE 000000cc: SWAP1 000000cd: MLOAD 000000ce: SWAP3 000000cf: AND 000000d0: SWAP2 000000d1: PUSH4 0xa1add510 000000d6: SWAP2 000000d7: PUSH1 0x64 000000d9: DUP2 000000da: DUP2 000000db: ADD 000000dc: SWAP3 000000dd: PUSH1 0x20 000000df: SWAP3 000000e0: SWAP1 000000e1: SWAP2 000000e2: SWAP1 000000e3: DUP3 000000e4: SWAP1 000000e5: SUB 000000e6: ADD 000000e7: DUP2 000000e8: DUP9 000000e9: DUP8 000000ea: PUSH2 0x61da 000000ed: GAS 000000ee: SUB 000000ef: CALL 000000f0: ISZERO 000000f1: PUSH2 0x0002 000000f4: JUMPI 000000f5: POP 000000f6: POP 000000f7: PUSH1 0x40 000000f9: MLOAD 000000fa: MLOAD 000000fb: SWAP1 000000fc: POP 000000fd: JUMPDEST 000000fe: ISZERO 000000ff: PUSH2 0x045c 00000102: JUMPI 00000103: PUSH1 0x00 00000105: CALLDATASIZE 00000106: GT 00000107: ISZERO 00000108: PUSH2 0x0461 0000010b: JUMPI 0000010c: PUSH2 0x046b 0000010f: PUSH1 0xd1 00000111: PUSH1 0x02 00000113: EXP 00000114: PUSH6 0x32bd31b7b4b7 0000011b: MUL 0000011c: PUSH2 0x0130 0000011f: JUMP 00000120: JUMPDEST 00000121: PUSH2 0x044a 00000124: PUSH1 0x02 00000126: SLOAD 00000127: DUP2 00000128: JUMP 00000129: JUMPDEST 0000012a: PUSH2 0x04a7 0000012d: PUSH1 0x04 0000012f: CALLDATALOAD 00000130: JUMPDEST 00000131: PUSH1 0x40 00000133: DUP1 00000134: MLOAD 00000135: PUSH1 0x01 00000137: SLOAD 00000138: PUSH32 0x2ade6c3600000000000000000000000000000000000000000000000000000000 00000159: DUP3 0000015a: MSTORE 0000015b: PUSH1 0x04 0000015d: DUP3 0000015e: ADD 0000015f: DUP5 00000160: SWAP1 00000161: MSTORE 00000162: SWAP2 00000163: MLOAD 00000164: PUSH1 0x00 00000166: SWAP3 00000167: PUSH1 0x01 00000169: PUSH1 0xa0 0000016b: PUSH1 0x02 0000016d: EXP 0000016e: SUB 0000016f: AND 00000170: SWAP2 00000171: PUSH4 0x2ade6c36 00000176: SWAP2 00000177: PUSH1 0x24 00000179: DUP1 0000017a: DUP4 0000017b: ADD 0000017c: SWAP3 0000017d: PUSH1 0x20 0000017f: SWAP3 00000180: SWAP2 00000181: SWAP1 00000182: DUP3 00000183: SWAP1 00000184: SUB 00000185: ADD 00000186: DUP2 00000187: DUP8 00000188: DUP8 00000189: PUSH2 0x61da 0000018c: GAS 0000018d: SUB 0000018e: CALL 0000018f: ISZERO 00000190: PUSH2 0x0002 00000193: JUMPI 00000194: POP 00000195: POP 00000196: PUSH1 0x40 00000198: MLOAD 00000199: MLOAD 0000019a: SWAP4 0000019b: SWAP3 0000019c: POP 0000019d: POP 0000019e: POP 0000019f: JUMP 000001a0: JUMPDEST 000001a1: PUSH2 0x04a7 000001a4: PUSH1 0x00 000001a6: SLOAD 000001a7: PUSH1 0x01 000001a9: PUSH1 0xa0 000001ab: PUSH1 0x02 000001ad: EXP 000001ae: SUB 000001af: AND 000001b0: DUP2 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH1 0x40 000001b5: DUP1 000001b6: MLOAD 000001b7: PUSH1 0x44 000001b9: CALLDATALOAD 000001ba: PUSH1 0x04 000001bc: DUP2 000001bd: DUP2 000001be: ADD 000001bf: CALLDATALOAD 000001c0: PUSH1 0x20 000001c2: DUP2 000001c3: DUP2 000001c4: MUL 000001c5: DUP1 000001c6: DUP7 000001c7: ADD 000001c8: DUP3 000001c9: ADD 000001ca: SWAP1 000001cb: SWAP7 000001cc: MSTORE 000001cd: DUP2 000001ce: DUP6 000001cf: MSTORE 000001d0: PUSH2 0x044a 000001d3: SWAP6 000001d4: DUP4 000001d5: CALLDATALOAD 000001d6: SWAP6 000001d7: PUSH1 0x24 000001d9: DUP1 000001da: CALLDATALOAD 000001db: SWAP7 000001dc: PUSH1 0x64 000001de: SWAP6 000001df: SWAP3 000001e0: SWAP5 000001e1: SWAP2 000001e2: ADD 000001e3: SWAP3 000001e4: DUP3 000001e5: SWAP2 000001e6: DUP6 000001e7: ADD 000001e8: SWAP1 000001e9: DUP5 000001ea: SWAP1 000001eb: DUP1 000001ec: DUP3 000001ed: DUP5 000001ee: CALLDATACOPY 000001ef: POP 000001f0: POP 000001f1: PUSH1 0x40 000001f3: DUP1 000001f4: MLOAD 000001f5: SWAP7 000001f6: CALLDATALOAD 000001f7: DUP1 000001f8: DUP10 000001f9: ADD 000001fa: CALLDATALOAD 000001fb: PUSH1 0x20 000001fd: DUP2 000001fe: DUP2 000001ff: MUL 00000200: DUP1 00000201: DUP12 00000202: ADD 00000203: DUP3 00000204: ADD 00000205: SWAP1 00000206: SWAP5 00000207: MSTORE 00000208: DUP2 00000209: DUP11 0000020a: MSTORE 0000020b: SWAP8 0000020c: SWAP10 0000020d: SWAP9 0000020e: PUSH1 0x84 00000210: SWAP9 00000211: SWAP1 00000212: SWAP8 00000213: POP 00000214: PUSH1 0x24 00000216: SWAP3 00000217: SWAP1 00000218: SWAP3 00000219: ADD 0000021a: SWAP6 0000021b: POP 0000021c: SWAP4 0000021d: POP 0000021e: DUP4 0000021f: SWAP3 00000220: POP 00000221: DUP6 00000222: ADD 00000223: SWAP1 00000224: DUP5 00000225: SWAP1 00000226: DUP1 00000227: DUP3 00000228: DUP5 00000229: CALLDATACOPY 0000022a: POP 0000022b: SWAP5 0000022c: SWAP7 0000022d: POP 0000022e: POP 0000022f: SWAP4 00000230: CALLDATALOAD 00000231: SWAP4 00000232: POP 00000233: POP 00000234: PUSH1 0xa4 00000236: CALLDATALOAD 00000237: SWAP2 00000238: POP 00000239: POP 0000023a: PUSH1 0x00 0000023c: DUP1 0000023d: SLOAD 0000023e: DUP2 0000023f: SWAP1 00000240: PUSH1 0xd1 00000242: PUSH1 0x02 00000244: EXP 00000245: PUSH6 0x39b4b3b732b9 0000024c: MUL 0000024d: SWAP1 0000024e: PUSH1 0x01 00000250: PUSH1 0xa0 00000252: PUSH1 0x02 00000254: EXP 00000255: SUB 00000256: AND 00000257: DUP3 00000258: EQ 00000259: DUP1 0000025a: ISZERO 0000025b: SWAP1 0000025c: PUSH2 0x02c6 0000025f: JUMPI 00000260: POP 00000261: PUSH1 0x40 00000263: DUP1 00000264: MLOAD 00000265: PUSH1 0x01 00000267: SLOAD 00000268: PUSH1 0x02 0000026a: SLOAD 0000026b: PUSH1 0xe4 0000026d: PUSH1 0x02 0000026f: EXP 00000270: PUSH4 0x0a1add51 00000275: MUL 00000276: DUP4 00000277: MSTORE 00000278: PUSH1 0x04 0000027a: DUP4 0000027b: ADD 0000027c: MSTORE 0000027d: PUSH1 0x24 0000027f: DUP3 00000280: ADD 00000281: DUP5 00000282: SWAP1 00000283: MSTORE 00000284: CALLER 00000285: PUSH1 0x01 00000287: PUSH1 0xa0 00000289: PUSH1 0x02 0000028b: EXP 0000028c: SUB 0000028d: SWAP1 0000028e: DUP2 0000028f: AND 00000290: PUSH1 0x44 00000292: DUP5 00000293: ADD 00000294: MSTORE 00000295: SWAP3 00000296: MLOAD 00000297: SWAP3 00000298: AND 00000299: SWAP2 0000029a: PUSH4 0xa1add510 0000029f: SWAP2 000002a0: PUSH1 0x64 000002a2: DUP2 000002a3: DUP2 000002a4: ADD 000002a5: SWAP3 000002a6: PUSH1 0x20 000002a8: SWAP3 000002a9: SWAP1 000002aa: SWAP2 000002ab: SWAP1 000002ac: DUP3 000002ad: SWAP1 000002ae: SUB 000002af: ADD 000002b0: DUP2 000002b1: DUP9 000002b2: DUP8 000002b3: PUSH2 0x61da 000002b6: GAS 000002b7: SUB 000002b8: CALL 000002b9: ISZERO 000002ba: PUSH2 0x0002 000002bd: JUMPI 000002be: POP 000002bf: POP 000002c0: PUSH1 0x40 000002c2: MLOAD 000002c3: MLOAD 000002c4: SWAP1 000002c5: POP 000002c6: JUMPDEST 000002c7: ISZERO 000002c8: PUSH2 0x062d 000002cb: JUMPI 000002cc: PUSH2 0x063a 000002cf: PUSH1 0xd1 000002d1: PUSH1 0x02 000002d3: EXP 000002d4: PUSH6 0x32bd31b7b4b7 000002db: MUL 000002dc: PUSH2 0x0130 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH1 0x40 000002e3: DUP1 000002e4: MLOAD 000002e5: PUSH1 0x44 000002e7: CALLDATALOAD 000002e8: PUSH1 0x04 000002ea: DUP2 000002eb: DUP2 000002ec: ADD 000002ed: CALLDATALOAD 000002ee: PUSH1 0x20 000002f0: DUP2 000002f1: DUP2 000002f2: MUL 000002f3: DUP1 000002f4: DUP7 000002f5: ADD 000002f6: DUP3 000002f7: ADD 000002f8: SWAP1 000002f9: SWAP7 000002fa: MSTORE 000002fb: DUP2 000002fc: DUP6 000002fd: MSTORE 000002fe: PUSH2 0x044a 00000301: SWAP6 00000302: DUP4 00000303: CALLDATALOAD 00000304: SWAP6 00000305: PUSH1 0x24 00000307: DUP1 00000308: CALLDATALOAD 00000309: SWAP7 0000030a: PUSH1 0x64 0000030c: SWAP6 0000030d: SWAP3 0000030e: SWAP5 0000030f: SWAP2 00000310: ADD 00000311: SWAP3 00000312: DUP3 00000313: SWAP2 00000314: DUP6 00000315: ADD 00000316: SWAP1 00000317: DUP5 00000318: SWAP1 00000319: DUP1 0000031a: DUP3 0000031b: DUP5 0000031c: CALLDATACOPY 0000031d: POP 0000031e: POP 0000031f: PUSH1 0x40 00000321: DUP1 00000322: MLOAD 00000323: SWAP7 00000324: CALLDATALOAD 00000325: DUP1 00000326: DUP10 00000327: ADD 00000328: CALLDATALOAD 00000329: PUSH1 0x20 0000032b: DUP2 0000032c: DUP2 0000032d: MUL 0000032e: DUP1 0000032f: DUP12 00000330: ADD 00000331: DUP3 00000332: ADD 00000333: SWAP1 00000334: SWAP5 00000335: MSTORE 00000336: DUP2 00000337: DUP11 00000338: MSTORE 00000339: SWAP8 0000033a: SWAP10 0000033b: SWAP9 0000033c: PUSH1 0x84 0000033e: SWAP9 0000033f: SWAP1 00000340: SWAP8 00000341: POP 00000342: PUSH1 0x24 00000344: SWAP3 00000345: SWAP1 00000346: SWAP3 00000347: ADD 00000348: SWAP6 00000349: POP 0000034a: SWAP4 0000034b: POP 0000034c: DUP4 0000034d: SWAP3 0000034e: POP 0000034f: DUP6 00000350: ADD 00000351: SWAP1 00000352: DUP5 00000353: SWAP1 00000354: DUP1 00000355: DUP3 00000356: DUP5 00000357: CALLDATACOPY 00000358: POP 00000359: POP 0000035a: PUSH1 0x40 0000035c: DUP1 0000035d: MLOAD 0000035e: PUSH1 0xa4 00000360: CALLDATALOAD 00000361: DUP1 00000362: DUP11 00000363: ADD 00000364: CALLDATALOAD 00000365: PUSH1 0x20 00000367: DUP2 00000368: DUP2 00000369: MUL 0000036a: DUP1 0000036b: DUP6 0000036c: ADD 0000036d: DUP3 0000036e: ADD 0000036f: SWAP1 00000370: SWAP6 00000371: MSTORE 00000372: DUP2 00000373: DUP5 00000374: MSTORE 00000375: SWAP9 00000376: SWAP11 00000377: SWAP10 00000378: CALLDATALOAD 00000379: SWAP10 0000037a: SWAP9 0000037b: PUSH1 0xc4 0000037d: SWAP9 0000037e: POP 0000037f: SWAP3 00000380: SWAP7 00000381: POP 00000382: PUSH1 0x24 00000384: SWAP2 00000385: SWAP1 00000386: SWAP2 00000387: ADD 00000388: SWAP5 00000389: POP 0000038a: SWAP3 0000038b: POP 0000038c: DUP3 0000038d: SWAP2 0000038e: SWAP1 0000038f: DUP6 00000390: ADD 00000391: SWAP1 00000392: DUP5 00000393: SWAP1 00000394: DUP1 00000395: DUP3 00000396: DUP5 00000397: CALLDATACOPY 00000398: POP 00000399: PUSH1 0x01 0000039b: SWAP14 0000039c: SWAP13 0000039d: POP 0000039e: POP 0000039f: POP 000003a0: POP 000003a1: POP 000003a2: POP 000003a3: POP 000003a4: POP 000003a5: POP 000003a6: POP 000003a7: POP 000003a8: POP 000003a9: POP 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH2 0x044a 000003af: PUSH1 0x04 000003b1: CALLDATALOAD 000003b2: PUSH1 0x24 000003b4: CALLDATALOAD 000003b5: PUSH1 0x00 000003b7: DUP1 000003b8: SLOAD 000003b9: DUP2 000003ba: SWAP1 000003bb: DUP2 000003bc: SWAP1 000003bd: PUSH1 0x01 000003bf: PUSH1 0xa0 000003c1: PUSH1 0x02 000003c3: EXP 000003c4: SUB 000003c5: AND 000003c6: DUP2 000003c7: EQ 000003c8: DUP1 000003c9: ISZERO 000003ca: SWAP1 000003cb: PUSH2 0x03e1 000003ce: JUMPI 000003cf: POP 000003d0: DUP1 000003d1: SLOAD 000003d2: PUSH1 0x01 000003d4: PUSH1 0xa0 000003d6: PUSH1 0x02 000003d8: EXP 000003d9: SUB 000003da: DUP7 000003db: DUP2 000003dc: AND 000003dd: SWAP2 000003de: AND 000003df: EQ 000003e0: ISZERO 000003e1: JUMPDEST 000003e2: ISZERO 000003e3: PUSH2 0x0503 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: SWAP3 000003ea: POP 000003eb: PUSH2 0x04fb 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH2 0x044a 000003f3: PUSH1 0x04 000003f5: CALLDATALOAD 000003f6: PUSH1 0x00 000003f8: PUSH1 0x00 000003fa: PUSH2 0x05d4 000003fd: PUSH32 0x657a636f696e4462000000000000000000000000000000000000000000000000 0000041e: PUSH2 0x0130 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH2 0x04c4 00000426: PUSH1 0x00 00000428: SLOAD 00000429: CALLER 0000042a: PUSH1 0x01 0000042c: PUSH1 0xa0 0000042e: PUSH1 0x02 00000430: EXP 00000431: SUB 00000432: SWAP1 00000433: DUP2 00000434: AND 00000435: SWAP2 00000436: AND 00000437: EQ 00000438: ISZERO 00000439: PUSH2 0x05d2 0000043c: JUMPI 0000043d: PUSH1 0x00 0000043f: SLOAD 00000440: PUSH1 0x01 00000442: PUSH1 0xa0 00000444: PUSH1 0x02 00000446: EXP 00000447: SUB 00000448: AND 00000449: SELFDESTRUCT 0000044a: JUMPDEST 0000044b: PUSH1 0x40 0000044d: DUP1 0000044e: MLOAD 0000044f: SWAP2 00000450: DUP3 00000451: MSTORE 00000452: MLOAD 00000453: SWAP1 00000454: DUP2 00000455: SWAP1 00000456: SUB 00000457: PUSH1 0x20 00000459: ADD 0000045a: SWAP1 0000045b: RETURN 0000045c: JUMPDEST 0000045d: POP 0000045e: JUMPDEST 0000045f: SWAP1 00000460: JUMP 00000461: JUMPDEST 00000462: PUSH1 0x00 00000464: SWAP2 00000465: POP 00000466: POP 00000467: PUSH2 0x045e 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH1 0x01 0000046e: PUSH1 0xa0 00000470: PUSH1 0x02 00000472: EXP 00000473: SUB 00000474: AND 00000475: PUSH1 0x00 00000477: CALLDATASIZE 00000478: PUSH1 0x40 0000047a: MLOAD 0000047b: DUP1 0000047c: DUP4 0000047d: DUP4 0000047e: DUP1 0000047f: DUP3 00000480: DUP5 00000481: CALLDATACOPY 00000482: DUP3 00000483: ADD 00000484: SWAP2 00000485: POP 00000486: POP 00000487: SWAP3 00000488: POP 00000489: POP 0000048a: POP 0000048b: PUSH1 0x00 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: DUP1 00000491: DUP4 00000492: SUB 00000493: DUP2 00000494: PUSH1 0x00 00000496: DUP7 00000497: PUSH2 0x61da 0000049a: GAS 0000049b: SUB 0000049c: CALL 0000049d: SWAP2 0000049e: POP 0000049f: POP 000004a0: SWAP2 000004a1: POP 000004a2: POP 000004a3: PUSH2 0x045e 000004a6: JUMP 000004a7: JUMPDEST 000004a8: PUSH1 0x40 000004aa: DUP1 000004ab: MLOAD 000004ac: PUSH1 0x01 000004ae: PUSH1 0xa0 000004b0: PUSH1 0x02 000004b2: EXP 000004b3: SUB 000004b4: SWAP3 000004b5: SWAP1 000004b6: SWAP3 000004b7: AND 000004b8: DUP3 000004b9: MSTORE 000004ba: MLOAD 000004bb: SWAP1 000004bc: DUP2 000004bd: SWAP1 000004be: SUB 000004bf: PUSH1 0x20 000004c1: ADD 000004c2: SWAP1 000004c3: RETURN 000004c4: JUMPDEST 000004c5: STOP 000004c6: JUMPDEST 000004c7: PUSH1 0x02 000004c9: DUP5 000004ca: SWAP1 000004cb: SSTORE 000004cc: PUSH1 0x00 000004ce: DUP1 000004cf: SLOAD 000004d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e5: NOT 000004e6: SWAP1 000004e7: DUP2 000004e8: AND 000004e9: DUP8 000004ea: OR 000004eb: SWAP1 000004ec: SWAP2 000004ed: SSTORE 000004ee: PUSH1 0x01 000004f0: DUP1 000004f1: SLOAD 000004f2: SWAP1 000004f3: SWAP2 000004f4: AND 000004f5: DUP4 000004f6: OR 000004f7: DUP2 000004f8: SSTORE 000004f9: SWAP3 000004fa: POP 000004fb: JUMPDEST 000004fc: POP 000004fd: POP 000004fe: SWAP3 000004ff: SWAP2 00000500: POP 00000501: POP 00000502: JUMP 00000503: JUMPDEST 00000504: DUP5 00000505: SWAP2 00000506: POP 00000507: ADDRESS 00000508: PUSH1 0x01 0000050a: PUSH1 0xa0 0000050c: PUSH1 0x02 0000050e: EXP 0000050f: SUB 00000510: AND 00000511: DUP3 00000512: PUSH1 0x01 00000514: PUSH1 0xa0 00000516: PUSH1 0x02 00000518: EXP 00000519: SUB 0000051a: AND 0000051b: PUSH4 0x2ade6c36 00000520: DUP7 00000521: PUSH1 0x40 00000523: MLOAD 00000524: DUP3 00000525: PUSH1 0xe0 00000527: PUSH1 0x02 00000529: EXP 0000052a: MUL 0000052b: DUP2 0000052c: MSTORE 0000052d: PUSH1 0x04 0000052f: ADD 00000530: DUP1 00000531: DUP3 00000532: DUP2 00000533: MSTORE 00000534: PUSH1 0x20 00000536: ADD 00000537: SWAP2 00000538: POP 00000539: POP 0000053a: PUSH1 0x20 0000053c: PUSH1 0x40 0000053e: MLOAD 0000053f: DUP1 00000540: DUP4 00000541: SUB 00000542: DUP2 00000543: PUSH1 0x00 00000545: DUP8 00000546: PUSH2 0x61da 00000549: GAS 0000054a: SUB 0000054b: CALL 0000054c: ISZERO 0000054d: PUSH2 0x0002 00000550: JUMPI 00000551: POP 00000552: POP 00000553: PUSH1 0x40 00000555: MLOAD 00000556: MLOAD 00000557: PUSH1 0x01 00000559: PUSH1 0xa0 0000055b: PUSH1 0x02 0000055d: EXP 0000055e: SUB 0000055f: AND 00000560: SWAP1 00000561: SWAP2 00000562: EQ 00000563: SWAP1 00000564: POP 00000565: PUSH2 0x04c6 00000568: JUMPI 00000569: DUP2 0000056a: PUSH1 0x01 0000056c: PUSH1 0xa0 0000056e: PUSH1 0x02 00000570: EXP 00000571: SUB 00000572: AND 00000573: PUSH4 0x76849376 00000578: DUP6 00000579: ADDRESS 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: DUP4 0000057e: PUSH1 0xe0 00000580: PUSH1 0x02 00000582: EXP 00000583: MUL 00000584: DUP2 00000585: MSTORE 00000586: PUSH1 0x04 00000588: ADD 00000589: DUP1 0000058a: DUP4 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x20 0000058f: ADD 00000590: DUP3 00000591: PUSH1 0x01 00000593: PUSH1 0xa0 00000595: PUSH1 0x02 00000597: EXP 00000598: SUB 00000599: AND 0000059a: DUP2 0000059b: MSTORE 0000059c: PUSH1 0x20 0000059e: ADD 0000059f: SWAP3 000005a0: POP 000005a1: POP 000005a2: POP 000005a3: PUSH1 0x20 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: DUP1 000005a9: DUP4 000005aa: SUB 000005ab: DUP2 000005ac: PUSH1 0x00 000005ae: DUP8 000005af: PUSH2 0x61da 000005b2: GAS 000005b3: SUB 000005b4: CALL 000005b5: ISZERO 000005b6: PUSH2 0x0002 000005b9: JUMPI 000005ba: POP 000005bb: POP 000005bc: PUSH1 0x40 000005be: MLOAD 000005bf: MLOAD 000005c0: SWAP2 000005c1: POP 000005c2: POP 000005c3: DUP1 000005c4: ISZERO 000005c5: ISZERO 000005c6: PUSH2 0x04c6 000005c9: JUMPI 000005ca: PUSH1 0x00 000005cc: SWAP3 000005cd: POP 000005ce: PUSH2 0x04fb 000005d1: JUMP 000005d2: JUMPDEST 000005d3: JUMP 000005d4: JUMPDEST 000005d5: SWAP1 000005d6: POP 000005d7: DUP1 000005d8: PUSH1 0x01 000005da: PUSH1 0xa0 000005dc: PUSH1 0x02 000005de: EXP 000005df: SUB 000005e0: AND 000005e1: PUSH4 0xf8b2cb4f 000005e6: DUP5 000005e7: PUSH1 0x40 000005e9: MLOAD 000005ea: DUP3 000005eb: PUSH1 0xe0 000005ed: PUSH1 0x02 000005ef: EXP 000005f0: MUL 000005f1: DUP2 000005f2: MSTORE 000005f3: PUSH1 0x04 000005f5: ADD 000005f6: DUP1 000005f7: DUP3 000005f8: PUSH1 0x01 000005fa: PUSH1 0xa0 000005fc: PUSH1 0x02 000005fe: EXP 000005ff: SUB 00000600: AND 00000601: DUP2 00000602: MSTORE 00000603: PUSH1 0x20 00000605: ADD 00000606: SWAP2 00000607: POP 00000608: POP 00000609: PUSH1 0x20 0000060b: PUSH1 0x40 0000060d: MLOAD 0000060e: DUP1 0000060f: DUP4 00000610: SUB 00000611: DUP2 00000612: PUSH1 0x00 00000614: DUP8 00000615: PUSH2 0x61da 00000618: GAS 00000619: SUB 0000061a: CALL 0000061b: ISZERO 0000061c: PUSH2 0x0002 0000061f: JUMPI 00000620: POP 00000621: POP 00000622: PUSH1 0x40 00000624: MLOAD 00000625: MLOAD 00000626: SWAP5 00000627: SWAP4 00000628: POP 00000629: POP 0000062a: POP 0000062b: POP 0000062c: JUMP 0000062d: JUMPDEST 0000062e: POP 0000062f: JUMPDEST 00000630: POP 00000631: SWAP7 00000632: SWAP6 00000633: POP 00000634: POP 00000635: POP 00000636: POP 00000637: POP 00000638: POP 00000639: JUMP 0000063a: JUMPDEST 0000063b: SWAP2 0000063c: POP 0000063d: DUP2 0000063e: PUSH1 0x01 00000640: PUSH1 0xa0 00000642: PUSH1 0x02 00000644: EXP 00000645: SUB 00000646: AND 00000647: PUSH4 0xaa64c43b 0000064c: DUP11 0000064d: DUP8 0000064e: DUP8 0000064f: PUSH1 0x40 00000651: MLOAD 00000652: DUP5 00000653: PUSH1 0xe0 00000655: PUSH1 0x02 00000657: EXP 00000658: MUL 00000659: DUP2 0000065a: MSTORE 0000065b: PUSH1 0x04 0000065d: ADD 0000065e: DUP1 0000065f: DUP5 00000660: PUSH1 0x01 00000662: PUSH1 0xa0 00000664: PUSH1 0x02 00000666: EXP 00000667: SUB 00000668: AND 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x20 0000066d: ADD 0000066e: DUP4 0000066f: PUSH1 0x01 00000671: PUSH1 0xa0 00000673: PUSH1 0x02 00000675: EXP 00000676: SUB 00000677: AND 00000678: DUP2 00000679: MSTORE 0000067a: PUSH1 0x20 0000067c: ADD 0000067d: DUP3 0000067e: DUP2 0000067f: MSTORE 00000680: PUSH1 0x20 00000682: ADD 00000683: SWAP4 00000684: POP 00000685: POP 00000686: POP 00000687: POP 00000688: PUSH1 0x20 0000068a: PUSH1 0x40 0000068c: MLOAD 0000068d: DUP1 0000068e: DUP4 0000068f: SUB 00000690: DUP2 00000691: PUSH1 0x00 00000693: DUP8 00000694: PUSH2 0x61da 00000697: GAS 00000698: SUB 00000699: CALL 0000069a: ISZERO 0000069b: PUSH2 0x0002 0000069e: JUMPI 0000069f: POP 000006a0: POP 000006a1: PUSH1 0x40 000006a3: MLOAD 000006a4: MLOAD 000006a5: SWAP4 000006a6: POP 000006a7: PUSH2 0x062f 000006aa: SWAP2 000006ab: POP 000006ac: POP 000006ad: 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: 0x4ba060ef1534b05578c88758c9df921227bbbe4e567065099fd744a259c01366
call_targets:
0xa7f1c5e19d03f271421028ede586d3309366730e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4ba060ef1534b05578c88758c9df921227bbbe4e567065099fd744a259c01366",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa7f1c5e19d03f271421028ede586d3309366730e"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21f8a721",
"selector": "0x21f8a721",
"calldata_variants": [
"0x21f8a721",
"0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3751707c",
"selector": "0x3751707c",
"calldata_variants": [
"0x3751707c",
"0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed48679",
"selector": "0x3ed48679",
"calldata_variants": [
"0x3ed48679",
"0x3ed486790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x651e723c",
"selector": "0x651e723c",
"calldata_variants": [
"0x651e723c",
"0x651e723c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7948f523",
"selector": "0x7948f523",
"calldata_variants": [
"0x7948f523",
"0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93423e9c",
"selector": "0x93423e9c",
"calldata_variants": [
"0x93423e9c",
"0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7f43779",
"selector": "0xa7f43779",
"calldata_variants": [
"0xa7f43779",
"0xa7f437790000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 239,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 398,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 696,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4ba060ef1534b05578c88758c9df921227bbbe4e567065099fd744a259c01366
call_targets:
0xa7f1c5e19d03f271421028ede586d3309366730e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4ba060ef1534b05578c88758c9df921227bbbe4e567065099fd744a259c01366",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa7f1c5e19d03f271421028ede586d3309366730e"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21f8a721",
"selector": "0x21f8a721",
"calldata_variants": [
"0x21f8a721",
"0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3751707c",
"selector": "0x3751707c",
"calldata_variants": [
"0x3751707c",
"0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed48679",
"selector": "0x3ed48679",
"calldata_variants": [
"0x3ed48679",
"0x3ed486790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x651e723c",
"selector": "0x651e723c",
"calldata_variants": [
"0x651e723c",
"0x651e723c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7948f523",
"selector": "0x7948f523",
"calldata_variants": [
"0x7948f523",
"0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93423e9c",
"selector": "0x93423e9c",
"calldata_variants": [
"0x93423e9c",
"0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7f43779",
"selector": "0xa7f43779",
"calldata_variants": [
"0xa7f43779",
"0xa7f437790000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 239,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 398,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 696,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x8a4379a20dcd91b47d7e14727510a4752f5c2f4d903d564cb57ed35e5cb38a5f
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 16,
"trace_id": "0x8a4379a20dcd91b47d7e14727510a4752f5c2f4d903d564cb57ed35e5cb38a5f",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21f8a721",
"selector": "0x21f8a721",
"calldata_variants": [
"0x21f8a721",
"0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3751707c",
"selector": "0x3751707c",
"calldata_variants": [
"0x3751707c",
"0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed48679",
"selector": "0x3ed48679",
"calldata_variants": [
"0x3ed48679",
"0x3ed486790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x651e723c",
"selector": "0x651e723c",
"calldata_variants": [
"0x651e723c",
"0x651e723c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7948f523",
"selector": "0x7948f523",
"calldata_variants": [
"0x7948f523",
"0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93423e9c",
"selector": "0x93423e9c",
"calldata_variants": [
"0x93423e9c",
"0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7f43779",
"selector": "0xa7f43779",
"calldata_variants": [
"0xa7f43779",
"0xa7f437790000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|