019b3836-4d0e-719d-9092-00af5d0b8661
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 |
|---|---|---|---|---|
| 7153 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 7154 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 50376 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 50377 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 50378 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 50379 | 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 0x00cf 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x045d46c2 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00d1 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x06fdde03 00000025: EQ 00000026: PUSH2 0x0112 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x09901f70 00000030: EQ 00000031: PUSH2 0x016f 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x18160ddd 0000003b: EQ 0000003c: PUSH2 0x01c7 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x313ce567 00000046: EQ 00000047: PUSH2 0x01d0 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x41c0e1b5 00000051: EQ 00000052: PUSH2 0x01dc 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x42966c68 0000005c: EQ 0000005d: PUSH2 0x01fb 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x54fd4d50 00000067: EQ 00000068: PUSH2 0x021d 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x5765f3ac 00000072: EQ 00000073: PUSH2 0x027b 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x70a08231 0000007d: EQ 0000007e: PUSH2 0x028d 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x70e01002 00000088: EQ 00000089: PUSH2 0x02a5 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8da5cb5b 00000093: EQ 00000094: PUSH2 0x0381 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x92eefe9b 0000009e: EQ 0000009f: PUSH2 0x0393 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x95d89b41 000000a9: EQ 000000aa: PUSH2 0x03b4 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa9059cbb 000000b4: EQ 000000b5: PUSH2 0x0411 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xcc872b66 000000bf: EQ 000000c0: PUSH2 0x0427 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xf2fde38b 000000ca: EQ 000000cb: PUSH2 0x0448 000000ce: JUMPI 000000cf: JUMPDEST 000000d0: STOP 000000d1: JUMPDEST 000000d2: PUSH1 0x01 000000d4: PUSH1 0xa0 000000d6: PUSH1 0x02 000000d8: EXP 000000d9: SUB 000000da: PUSH1 0x04 000000dc: CALLDATALOAD 000000dd: DUP2 000000de: AND 000000df: PUSH1 0x00 000000e1: SWAP1 000000e2: DUP2 000000e3: MSTORE 000000e4: PUSH1 0x06 000000e6: PUSH1 0x20 000000e8: MSTORE 000000e9: PUSH1 0x40 000000eb: DUP1 000000ec: DUP3 000000ed: KECCAK256 000000ee: SLOAD 000000ef: PUSH1 0x24 000000f1: CALLDATALOAD 000000f2: SWAP1 000000f3: SWAP4 000000f4: AND 000000f5: DUP3 000000f6: MSTORE 000000f7: SWAP1 000000f8: KECCAK256 000000f9: SLOAD 000000fa: PUSH1 0x40 000000fc: DUP1 000000fd: MLOAD 000000fe: SWAP3 000000ff: DUP4 00000100: MSTORE 00000101: PUSH1 0x20 00000103: DUP4 00000104: ADD 00000105: SWAP2 00000106: SWAP1 00000107: SWAP2 00000108: MSTORE 00000109: DUP1 0000010a: MLOAD 0000010b: SWAP2 0000010c: DUP3 0000010d: SWAP1 0000010e: SUB 0000010f: ADD 00000110: SWAP1 00000111: RETURN 00000112: JUMPDEST 00000113: PUSH1 0x40 00000115: DUP1 00000116: MLOAD 00000117: PUSH1 0x01 00000119: DUP1 0000011a: SLOAD 0000011b: PUSH1 0x20 0000011d: PUSH1 0x02 0000011f: DUP3 00000120: DUP5 00000121: AND 00000122: ISZERO 00000123: PUSH2 0x0100 00000126: MUL 00000127: PUSH1 0x00 00000129: NOT 0000012a: ADD 0000012b: SWAP1 0000012c: SWAP3 0000012d: AND 0000012e: SWAP2 0000012f: SWAP1 00000130: SWAP2 00000131: DIV 00000132: PUSH1 0x1f 00000134: DUP2 00000135: ADD 00000136: DUP3 00000137: SWAP1 00000138: DIV 00000139: DUP3 0000013a: MUL 0000013b: DUP5 0000013c: ADD 0000013d: DUP3 0000013e: ADD 0000013f: SWAP1 00000140: SWAP5 00000141: MSTORE 00000142: DUP4 00000143: DUP4 00000144: MSTORE 00000145: PUSH2 0x0469 00000148: SWAP4 00000149: SWAP1 0000014a: DUP4 0000014b: ADD 0000014c: DUP3 0000014d: DUP3 0000014e: DUP1 0000014f: ISZERO 00000150: PUSH2 0x05ac 00000153: JUMPI 00000154: DUP1 00000155: PUSH1 0x1f 00000157: LT 00000158: PUSH2 0x0581 0000015b: JUMPI 0000015c: PUSH2 0x0100 0000015f: DUP1 00000160: DUP4 00000161: SLOAD 00000162: DIV 00000163: MUL 00000164: DUP4 00000165: MSTORE 00000166: SWAP2 00000167: PUSH1 0x20 00000169: ADD 0000016a: SWAP2 0000016b: PUSH2 0x05ac 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH2 0x00cf 00000173: PUSH1 0x04 00000175: CALLDATALOAD 00000176: PUSH1 0x24 00000178: CALLDATALOAD 00000179: PUSH1 0x07 0000017b: SLOAD 0000017c: PUSH1 0x01 0000017e: PUSH1 0xa0 00000180: PUSH1 0x02 00000182: EXP 00000183: SUB 00000184: SWAP1 00000185: DUP2 00000186: AND 00000187: CALLER 00000188: SWAP1 00000189: SWAP2 0000018a: AND 0000018b: EQ 0000018c: DUP1 0000018d: PUSH2 0x01a5 00000190: JUMPI 00000191: POP 00000192: PUSH1 0x00 00000194: SLOAD 00000195: PUSH1 0x01 00000197: PUSH1 0xa0 00000199: PUSH1 0x02 0000019b: EXP 0000019c: SUB 0000019d: SWAP1 0000019e: DUP2 0000019f: AND 000001a0: CALLER 000001a1: SWAP1 000001a2: SWAP2 000001a3: AND 000001a4: EQ 000001a5: JUMPDEST 000001a6: ISZERO 000001a7: PUSH2 0x0606 000001aa: JUMPI 000001ab: PUSH1 0x01 000001ad: PUSH1 0xa0 000001af: PUSH1 0x02 000001b1: EXP 000001b2: SUB 000001b3: SWAP2 000001b4: SWAP1 000001b5: SWAP2 000001b6: AND 000001b7: PUSH1 0x00 000001b9: SWAP1 000001ba: DUP2 000001bb: MSTORE 000001bc: PUSH1 0x06 000001be: PUSH1 0x20 000001c0: MSTORE 000001c1: PUSH1 0x40 000001c3: SWAP1 000001c4: KECCAK256 000001c5: SSTORE 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH2 0x04d7 000001cb: PUSH1 0x05 000001cd: SLOAD 000001ce: DUP2 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH2 0x04e9 000001d4: PUSH1 0x04 000001d6: SLOAD 000001d7: PUSH1 0xff 000001d9: AND 000001da: DUP2 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH2 0x00cf 000001e0: PUSH1 0x00 000001e2: SLOAD 000001e3: PUSH1 0x01 000001e5: PUSH1 0xa0 000001e7: PUSH1 0x02 000001e9: EXP 000001ea: SUB 000001eb: SWAP1 000001ec: DUP2 000001ed: AND 000001ee: CALLER 000001ef: SWAP1 000001f0: SWAP2 000001f1: AND 000001f2: EQ 000001f3: PUSH2 0x053e 000001f6: JUMPI 000001f7: PUSH2 0x0002 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH2 0x00cf 000001ff: PUSH1 0x04 00000201: CALLDATALOAD 00000202: PUSH1 0x00 00000204: SLOAD 00000205: PUSH1 0x01 00000207: PUSH1 0xa0 00000209: PUSH1 0x02 0000020b: EXP 0000020c: SUB 0000020d: SWAP1 0000020e: DUP2 0000020f: AND 00000210: CALLER 00000211: SWAP1 00000212: SWAP2 00000213: AND 00000214: EQ 00000215: PUSH2 0x0661 00000218: JUMPI 00000219: PUSH2 0x0002 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH1 0x40 00000220: DUP1 00000221: MLOAD 00000222: PUSH1 0x03 00000224: DUP1 00000225: SLOAD 00000226: PUSH1 0x20 00000228: PUSH1 0x02 0000022a: PUSH1 0x01 0000022c: DUP4 0000022d: AND 0000022e: ISZERO 0000022f: PUSH2 0x0100 00000232: MUL 00000233: PUSH1 0x00 00000235: NOT 00000236: ADD 00000237: SWAP1 00000238: SWAP3 00000239: AND 0000023a: SWAP2 0000023b: SWAP1 0000023c: SWAP2 0000023d: DIV 0000023e: PUSH1 0x1f 00000240: DUP2 00000241: ADD 00000242: DUP3 00000243: SWAP1 00000244: DIV 00000245: DUP3 00000246: MUL 00000247: DUP5 00000248: ADD 00000249: DUP3 0000024a: ADD 0000024b: SWAP1 0000024c: SWAP5 0000024d: MSTORE 0000024e: DUP4 0000024f: DUP4 00000250: MSTORE 00000251: PUSH2 0x0469 00000254: SWAP4 00000255: SWAP1 00000256: DUP4 00000257: ADD 00000258: DUP3 00000259: DUP3 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x05ac 0000025f: JUMPI 00000260: DUP1 00000261: PUSH1 0x1f 00000263: LT 00000264: PUSH2 0x0581 00000267: JUMPI 00000268: PUSH2 0x0100 0000026b: DUP1 0000026c: DUP4 0000026d: SLOAD 0000026e: DIV 0000026f: MUL 00000270: DUP4 00000271: MSTORE 00000272: SWAP2 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP2 00000277: PUSH2 0x05ac 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH2 0x04ff 0000027f: PUSH1 0x07 00000281: SLOAD 00000282: PUSH1 0x01 00000284: PUSH1 0xa0 00000286: PUSH1 0x02 00000288: EXP 00000289: SUB 0000028a: AND 0000028b: DUP2 0000028c: JUMP 0000028d: JUMPDEST 0000028e: PUSH2 0x04d7 00000291: PUSH1 0x04 00000293: CALLDATALOAD 00000294: PUSH1 0x06 00000296: PUSH1 0x20 00000298: MSTORE 00000299: PUSH1 0x00 0000029b: SWAP1 0000029c: DUP2 0000029d: MSTORE 0000029e: PUSH1 0x40 000002a0: SWAP1 000002a1: KECCAK256 000002a2: SLOAD 000002a3: DUP2 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH2 0x04d7 000002a9: PUSH1 0x04 000002ab: CALLDATALOAD 000002ac: PUSH1 0x24 000002ae: CALLDATALOAD 000002af: PUSH1 0x44 000002b1: CALLDATALOAD 000002b2: JUMPDEST 000002b3: PUSH1 0x07 000002b5: SLOAD 000002b6: PUSH1 0x40 000002b8: DUP1 000002b9: MLOAD 000002ba: PUSH32 0x0779afe600000000000000000000000000000000000000000000000000000000 000002db: DUP2 000002dc: MSTORE 000002dd: PUSH1 0x01 000002df: PUSH1 0xa0 000002e1: PUSH1 0x02 000002e3: EXP 000002e4: SUB 000002e5: DUP7 000002e6: DUP2 000002e7: AND 000002e8: PUSH1 0x04 000002ea: DUP4 000002eb: ADD 000002ec: MSTORE 000002ed: DUP6 000002ee: DUP2 000002ef: AND 000002f0: PUSH1 0x24 000002f2: DUP4 000002f3: ADD 000002f4: MSTORE 000002f5: PUSH1 0x44 000002f7: DUP3 000002f8: ADD 000002f9: DUP6 000002fa: SWAP1 000002fb: MSTORE 000002fc: SWAP2 000002fd: MLOAD 000002fe: PUSH1 0x00 00000300: SWAP4 00000301: SWAP1 00000302: SWAP3 00000303: AND 00000304: SWAP2 00000305: DUP3 00000306: SWAP2 00000307: PUSH4 0x0779afe6 0000030c: SWAP2 0000030d: PUSH1 0x64 0000030f: DUP3 00000310: DUP2 00000311: ADD 00000312: SWAP3 00000313: DUP8 00000314: SWAP3 00000315: SWAP2 00000316: SWAP1 00000317: DUP3 00000318: SWAP1 00000319: SUB 0000031a: ADD 0000031b: DUP2 0000031c: DUP4 0000031d: DUP8 0000031e: PUSH2 0x61da 00000321: GAS 00000322: SUB 00000323: CALL 00000324: ISZERO 00000325: PUSH2 0x0002 00000328: JUMPI 00000329: POP 0000032a: POP 0000032b: POP 0000032c: DUP4 0000032d: PUSH1 0x01 0000032f: PUSH1 0xa0 00000331: PUSH1 0x02 00000333: EXP 00000334: SUB 00000335: AND 00000336: DUP6 00000337: PUSH1 0x01 00000339: PUSH1 0xa0 0000033b: PUSH1 0x02 0000033d: EXP 0000033e: SUB 0000033f: AND 00000340: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000361: DUP6 00000362: PUSH1 0x40 00000364: MLOAD 00000365: DUP1 00000366: DUP3 00000367: DUP2 00000368: MSTORE 00000369: PUSH1 0x20 0000036b: ADD 0000036c: SWAP2 0000036d: POP 0000036e: POP 0000036f: PUSH1 0x40 00000371: MLOAD 00000372: DUP1 00000373: SWAP2 00000374: SUB 00000375: SWAP1 00000376: LOG3 00000377: POP 00000378: PUSH1 0x01 0000037a: SWAP5 0000037b: SWAP4 0000037c: POP 0000037d: POP 0000037e: POP 0000037f: POP 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH2 0x04ff 00000385: PUSH1 0x00 00000387: SLOAD 00000388: PUSH1 0x01 0000038a: PUSH1 0xa0 0000038c: PUSH1 0x02 0000038e: EXP 0000038f: SUB 00000390: AND 00000391: DUP2 00000392: JUMP 00000393: JUMPDEST 00000394: PUSH2 0x00cf 00000397: PUSH1 0x04 00000399: CALLDATALOAD 0000039a: PUSH1 0x00 0000039c: SLOAD 0000039d: CALLER 0000039e: PUSH1 0x01 000003a0: PUSH1 0xa0 000003a2: PUSH1 0x02 000003a4: EXP 000003a5: SUB 000003a6: SWAP1 000003a7: DUP2 000003a8: AND 000003a9: SWAP2 000003aa: AND 000003ab: EQ 000003ac: PUSH2 0x05bb 000003af: JUMPI 000003b0: PUSH2 0x0002 000003b3: JUMP 000003b4: JUMPDEST 000003b5: PUSH2 0x0469 000003b8: PUSH1 0x02 000003ba: DUP1 000003bb: SLOAD 000003bc: PUSH1 0x40 000003be: DUP1 000003bf: MLOAD 000003c0: PUSH1 0x20 000003c2: PUSH1 0x1f 000003c4: PUSH1 0x00 000003c6: NOT 000003c7: PUSH1 0x01 000003c9: DUP7 000003ca: AND 000003cb: ISZERO 000003cc: PUSH2 0x0100 000003cf: MUL 000003d0: ADD 000003d1: SWAP1 000003d2: SWAP5 000003d3: AND 000003d4: DUP6 000003d5: SWAP1 000003d6: DIV 000003d7: SWAP4 000003d8: DUP5 000003d9: ADD 000003da: DUP2 000003db: SWAP1 000003dc: DIV 000003dd: DUP2 000003de: MUL 000003df: DUP3 000003e0: ADD 000003e1: DUP2 000003e2: ADD 000003e3: SWAP1 000003e4: SWAP3 000003e5: MSTORE 000003e6: DUP3 000003e7: DUP2 000003e8: MSTORE 000003e9: SWAP3 000003ea: SWAP2 000003eb: SWAP1 000003ec: DUP4 000003ed: ADD 000003ee: DUP3 000003ef: DUP3 000003f0: DUP1 000003f1: ISZERO 000003f2: PUSH2 0x05ac 000003f5: JUMPI 000003f6: DUP1 000003f7: PUSH1 0x1f 000003f9: LT 000003fa: PUSH2 0x0581 000003fd: JUMPI 000003fe: PUSH2 0x0100 00000401: DUP1 00000402: DUP4 00000403: SLOAD 00000404: DIV 00000405: MUL 00000406: DUP4 00000407: MSTORE 00000408: SWAP2 00000409: PUSH1 0x20 0000040b: ADD 0000040c: SWAP2 0000040d: PUSH2 0x05ac 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH2 0x04d7 00000415: PUSH1 0x04 00000417: CALLDATALOAD 00000418: PUSH1 0x24 0000041a: CALLDATALOAD 0000041b: PUSH1 0x00 0000041d: PUSH2 0x05b4 00000420: CALLER 00000421: DUP5 00000422: DUP5 00000423: PUSH2 0x02b2 00000426: JUMP 00000427: JUMPDEST 00000428: PUSH2 0x00cf 0000042b: PUSH1 0x04 0000042d: CALLDATALOAD 0000042e: PUSH1 0x00 00000430: SLOAD 00000431: CALLER 00000432: PUSH1 0x01 00000434: PUSH1 0xa0 00000436: PUSH1 0x02 00000438: EXP 00000439: SUB 0000043a: SWAP1 0000043b: DUP2 0000043c: AND 0000043d: SWAP2 0000043e: AND 0000043f: EQ 00000440: PUSH2 0x060b 00000443: JUMPI 00000444: PUSH2 0x0002 00000447: JUMP 00000448: JUMPDEST 00000449: PUSH2 0x00cf 0000044c: PUSH1 0x04 0000044e: CALLDATALOAD 0000044f: PUSH1 0x00 00000451: SLOAD 00000452: CALLER 00000453: PUSH1 0x01 00000455: PUSH1 0xa0 00000457: PUSH1 0x02 00000459: EXP 0000045a: SUB 0000045b: SWAP1 0000045c: DUP2 0000045d: AND 0000045e: SWAP2 0000045f: AND 00000460: EQ 00000461: PUSH2 0x051c 00000464: JUMPI 00000465: PUSH2 0x0002 00000468: JUMP 00000469: JUMPDEST 0000046a: PUSH1 0x40 0000046c: MLOAD 0000046d: DUP1 0000046e: DUP1 0000046f: PUSH1 0x20 00000471: ADD 00000472: DUP3 00000473: DUP2 00000474: SUB 00000475: DUP3 00000476: MSTORE 00000477: DUP4 00000478: DUP2 00000479: DUP2 0000047a: MLOAD 0000047b: DUP2 0000047c: MSTORE 0000047d: PUSH1 0x20 0000047f: ADD 00000480: SWAP2 00000481: POP 00000482: DUP1 00000483: MLOAD 00000484: SWAP1 00000485: PUSH1 0x20 00000487: ADD 00000488: SWAP1 00000489: DUP1 0000048a: DUP4 0000048b: DUP4 0000048c: DUP3 0000048d: SWAP1 0000048e: PUSH1 0x00 00000490: PUSH1 0x04 00000492: PUSH1 0x20 00000494: DUP5 00000495: PUSH1 0x1f 00000497: ADD 00000498: DIV 00000499: PUSH1 0x0f 0000049b: MUL 0000049c: PUSH1 0x03 0000049e: ADD 0000049f: CALL 000004a0: POP 000004a1: SWAP1 000004a2: POP 000004a3: SWAP1 000004a4: DUP2 000004a5: ADD 000004a6: SWAP1 000004a7: PUSH1 0x1f 000004a9: AND 000004aa: DUP1 000004ab: ISZERO 000004ac: PUSH2 0x04c9 000004af: JUMPI 000004b0: DUP1 000004b1: DUP3 000004b2: SUB 000004b3: DUP1 000004b4: MLOAD 000004b5: PUSH1 0x01 000004b7: DUP4 000004b8: PUSH1 0x20 000004ba: SUB 000004bb: PUSH2 0x0100 000004be: EXP 000004bf: SUB 000004c0: NOT 000004c1: AND 000004c2: DUP2 000004c3: MSTORE 000004c4: PUSH1 0x20 000004c6: ADD 000004c7: SWAP2 000004c8: POP 000004c9: JUMPDEST 000004ca: POP 000004cb: SWAP3 000004cc: POP 000004cd: POP 000004ce: POP 000004cf: PUSH1 0x40 000004d1: MLOAD 000004d2: DUP1 000004d3: SWAP2 000004d4: SUB 000004d5: SWAP1 000004d6: RETURN 000004d7: JUMPDEST 000004d8: PUSH1 0x40 000004da: DUP1 000004db: MLOAD 000004dc: SWAP2 000004dd: DUP3 000004de: MSTORE 000004df: MLOAD 000004e0: SWAP1 000004e1: DUP2 000004e2: SWAP1 000004e3: SUB 000004e4: PUSH1 0x20 000004e6: ADD 000004e7: SWAP1 000004e8: RETURN 000004e9: JUMPDEST 000004ea: PUSH1 0x40 000004ec: DUP1 000004ed: MLOAD 000004ee: PUSH1 0xff 000004f0: SWAP1 000004f1: SWAP3 000004f2: AND 000004f3: DUP3 000004f4: MSTORE 000004f5: MLOAD 000004f6: SWAP1 000004f7: DUP2 000004f8: SWAP1 000004f9: SUB 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: SWAP1 000004fe: RETURN 000004ff: JUMPDEST 00000500: PUSH1 0x40 00000502: DUP1 00000503: MLOAD 00000504: PUSH1 0x01 00000506: PUSH1 0xa0 00000508: PUSH1 0x02 0000050a: EXP 0000050b: SUB 0000050c: SWAP3 0000050d: SWAP1 0000050e: SWAP3 0000050f: AND 00000510: DUP3 00000511: MSTORE 00000512: MLOAD 00000513: SWAP1 00000514: DUP2 00000515: SWAP1 00000516: SUB 00000517: PUSH1 0x20 00000519: ADD 0000051a: SWAP1 0000051b: RETURN 0000051c: JUMPDEST 0000051d: PUSH1 0x00 0000051f: DUP1 00000520: SLOAD 00000521: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000536: NOT 00000537: AND 00000538: DUP3 00000539: OR 0000053a: SWAP1 0000053b: SSTORE 0000053c: POP 0000053d: JUMP 0000053e: JUMPDEST 0000053f: PUSH1 0x00 00000541: ADDRESS 00000542: PUSH1 0x01 00000544: PUSH1 0xa0 00000546: PUSH1 0x02 00000548: EXP 00000549: SUB 0000054a: AND 0000054b: BALANCE 0000054c: GT 0000054d: ISZERO 0000054e: PUSH2 0x0575 00000551: JUMPI 00000552: PUSH1 0x40 00000554: MLOAD 00000555: PUSH1 0x01 00000557: PUSH1 0xa0 00000559: PUSH1 0x02 0000055b: EXP 0000055c: SUB 0000055d: CALLER 0000055e: DUP2 0000055f: AND 00000560: SWAP2 00000561: PUSH1 0x00 00000563: SWAP2 00000564: ADDRESS 00000565: AND 00000566: BALANCE 00000567: SWAP1 00000568: DUP3 00000569: DUP2 0000056a: DUP2 0000056b: DUP2 0000056c: DUP6 0000056d: DUP9 0000056e: DUP4 0000056f: CALL 00000570: POP 00000571: POP 00000572: POP 00000573: POP 00000574: POP 00000575: JUMPDEST 00000576: CALLER 00000577: PUSH1 0x01 00000579: PUSH1 0xa0 0000057b: PUSH1 0x02 0000057d: EXP 0000057e: SUB 0000057f: AND 00000580: SELFDESTRUCT 00000581: JUMPDEST 00000582: DUP3 00000583: ADD 00000584: SWAP2 00000585: SWAP1 00000586: PUSH1 0x00 00000588: MSTORE 00000589: PUSH1 0x20 0000058b: PUSH1 0x00 0000058d: KECCAK256 0000058e: SWAP1 0000058f: JUMPDEST 00000590: DUP2 00000591: SLOAD 00000592: DUP2 00000593: MSTORE 00000594: SWAP1 00000595: PUSH1 0x01 00000597: ADD 00000598: SWAP1 00000599: PUSH1 0x20 0000059b: ADD 0000059c: DUP1 0000059d: DUP4 0000059e: GT 0000059f: PUSH2 0x058f 000005a2: JUMPI 000005a3: DUP3 000005a4: SWAP1 000005a5: SUB 000005a6: PUSH1 0x1f 000005a8: AND 000005a9: DUP3 000005aa: ADD 000005ab: SWAP2 000005ac: JUMPDEST 000005ad: POP 000005ae: POP 000005af: POP 000005b0: POP 000005b1: POP 000005b2: DUP2 000005b3: JUMP 000005b4: JUMPDEST 000005b5: SWAP4 000005b6: SWAP3 000005b7: POP 000005b8: POP 000005b9: POP 000005ba: JUMP 000005bb: JUMPDEST 000005bc: PUSH1 0x07 000005be: DUP1 000005bf: SLOAD 000005c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d5: NOT 000005d6: AND 000005d7: DUP3 000005d8: OR 000005d9: SWAP1 000005da: SSTORE 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: PUSH32 0x61cb4f0c9f1798ab9001dbbfdaeef9f97d5261e1dc5034541b4c92529c4e4335 000005ff: SWAP1 00000600: PUSH1 0x00 00000602: SWAP1 00000603: LOG1 00000604: POP 00000605: JUMP 00000606: JUMPDEST 00000607: PUSH2 0x0002 0000060a: JUMP 0000060b: JUMPDEST 0000060c: CALLER 0000060d: PUSH1 0x01 0000060f: PUSH1 0xa0 00000611: PUSH1 0x02 00000613: EXP 00000614: SUB 00000615: AND 00000616: PUSH1 0x00 00000618: DUP2 00000619: DUP2 0000061a: MSTORE 0000061b: PUSH1 0x06 0000061d: PUSH1 0x20 0000061f: SWAP1 00000620: DUP2 00000621: MSTORE 00000622: PUSH1 0x40 00000624: SWAP2 00000625: DUP3 00000626: SWAP1 00000627: KECCAK256 00000628: DUP1 00000629: SLOAD 0000062a: DUP6 0000062b: ADD 0000062c: SWAP1 0000062d: SSTORE 0000062e: DUP2 0000062f: MLOAD 00000630: DUP5 00000631: DUP2 00000632: MSTORE 00000633: SWAP2 00000634: MLOAD 00000635: PUSH32 0x9cb9c14f7bc76e3a89b796b091850526236115352a198b1e472f00e91376bbcb 00000656: SWAP3 00000657: DUP2 00000658: SWAP1 00000659: SUB 0000065a: SWAP1 0000065b: SWAP2 0000065c: ADD 0000065d: SWAP1 0000065e: LOG2 0000065f: POP 00000660: JUMP 00000661: JUMPDEST 00000662: CALLER 00000663: PUSH1 0x01 00000665: PUSH1 0xa0 00000667: PUSH1 0x02 00000669: EXP 0000066a: SUB 0000066b: AND 0000066c: PUSH1 0x00 0000066e: SWAP1 0000066f: DUP2 00000670: MSTORE 00000671: PUSH1 0x06 00000673: PUSH1 0x20 00000675: MSTORE 00000676: PUSH1 0x40 00000678: SWAP1 00000679: KECCAK256 0000067a: SLOAD 0000067b: DUP2 0000067c: SWAP1 0000067d: GT 0000067e: ISZERO 0000067f: PUSH2 0x0693 00000682: JUMPI 00000683: PUSH1 0x40 00000685: PUSH1 0x00 00000687: KECCAK256 00000688: DUP1 00000689: SLOAD 0000068a: DUP3 0000068b: SWAP1 0000068c: SUB 0000068d: SWAP1 0000068e: SSTORE 0000068f: PUSH2 0x06b2 00000692: JUMP 00000693: JUMPDEST 00000694: POP 00000695: CALLER 00000696: PUSH1 0x01 00000698: PUSH1 0xa0 0000069a: PUSH1 0x02 0000069c: EXP 0000069d: SUB 0000069e: AND 0000069f: PUSH1 0x00 000006a1: SWAP1 000006a2: DUP2 000006a3: MSTORE 000006a4: PUSH1 0x06 000006a6: PUSH1 0x20 000006a8: MSTORE 000006a9: PUSH1 0x40 000006ab: DUP2 000006ac: KECCAK256 000006ad: DUP1 000006ae: SLOAD 000006af: SWAP2 000006b0: SWAP1 000006b1: SSTORE 000006b2: JUMPDEST 000006b3: PUSH1 0x40 000006b5: DUP1 000006b6: MLOAD 000006b7: DUP3 000006b8: DUP2 000006b9: MSTORE 000006ba: SWAP1 000006bb: MLOAD 000006bc: CALLER 000006bd: PUSH1 0x01 000006bf: PUSH1 0xa0 000006c1: PUSH1 0x02 000006c3: EXP 000006c4: SUB 000006c5: AND 000006c6: SWAP2 000006c7: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 000006e8: SWAP2 000006e9: SWAP1 000006ea: DUP2 000006eb: SWAP1 000006ec: SUB 000006ed: PUSH1 0x20 000006ef: ADD 000006f0: SWAP1 000006f1: LOG2 000006f2: POP 000006f3: 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 | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x70370f7e608fb8c48a303011ff3e671ed36b94120f9cd6775cad912333d86fd6
call_targets:
0x3b535aa8d487dfe4c4d7cee4df084b00a448d330
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x70370f7e608fb8c48a303011ff3e671ed36b94120f9cd6775cad912333d86fd6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3b535aa8d487dfe4c4d7cee4df084b00a448d330"
],
"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": "0x045d46c2",
"selector": "0x045d46c2",
"calldata_variants": [
"0x045d46c2",
"0x045d46c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09901f70",
"selector": "0x09901f70",
"calldata_variants": [
"0x09901f70",
"0x09901f700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42966c68",
"selector": "0x42966c68",
"calldata_variants": [
"0x42966c68",
"0x42966c680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 803,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1183,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1391,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x70370f7e608fb8c48a303011ff3e671ed36b94120f9cd6775cad912333d86fd6
call_targets:
0x3b535aa8d487dfe4c4d7cee4df084b00a448d330
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x70370f7e608fb8c48a303011ff3e671ed36b94120f9cd6775cad912333d86fd6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3b535aa8d487dfe4c4d7cee4df084b00a448d330"
],
"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": "0x045d46c2",
"selector": "0x045d46c2",
"calldata_variants": [
"0x045d46c2",
"0x045d46c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09901f70",
"selector": "0x09901f70",
"calldata_variants": [
"0x09901f70",
"0x09901f700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42966c68",
"selector": "0x42966c68",
"calldata_variants": [
"0x42966c68",
"0x42966c680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 803,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1183,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1391,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x37a836de6efa7d55f9fd079c7345c2a10c55cd1a26163841f9aeac2abee5b281
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x37a836de6efa7d55f9fd079c7345c2a10c55cd1a26163841f9aeac2abee5b281",
"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": "0x045d46c2",
"selector": "0x045d46c2",
"calldata_variants": [
"0x045d46c2",
"0x045d46c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09901f70",
"selector": "0x09901f70",
"calldata_variants": [
"0x09901f70",
"0x09901f700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x42966c68",
"selector": "0x42966c68",
"calldata_variants": [
"0x42966c68",
"0x42966c680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|