019b477e-cde5-7112-8255-3c78a79f4459
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 |
|---|---|---|---|---|
| 27111 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27112 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70346 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 70347 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 70348 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 70349 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0043 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x169dac55 00000019: EQ 0000001a: PUSH2 0x004f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x52a90c42 00000024: EQ 00000025: PUSH2 0x007a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xac446002 0000002f: EQ 00000030: PUSH2 0x00a5 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbe9a6555 0000003a: EQ 0000003b: PUSH2 0x00bc 0000003e: JUMPI 0000003f: PUSH2 0x004a 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x004a 00000048: JUMPI 00000049: STOP 0000004a: JUMPDEST 0000004b: PUSH1 0x00 0000004d: DUP1 0000004e: REVERT 0000004f: JUMPDEST 00000050: CALLVALUE 00000051: DUP1 00000052: ISZERO 00000053: PUSH2 0x005b 00000056: JUMPI 00000057: PUSH1 0x00 00000059: DUP1 0000005a: REVERT 0000005b: JUMPDEST 0000005c: POP 0000005d: PUSH2 0x0064 00000060: PUSH2 0x00d3 00000063: JUMP 00000064: JUMPDEST 00000065: PUSH1 0x40 00000067: MLOAD 00000068: PUSH2 0x0071 0000006b: SWAP2 0000006c: SWAP1 0000006d: PUSH2 0x066a 00000070: JUMP 00000071: JUMPDEST 00000072: PUSH1 0x40 00000074: MLOAD 00000075: DUP1 00000076: SWAP2 00000077: SUB 00000078: SWAP1 00000079: RETURN 0000007a: JUMPDEST 0000007b: CALLVALUE 0000007c: DUP1 0000007d: ISZERO 0000007e: PUSH2 0x0086 00000081: JUMPI 00000082: PUSH1 0x00 00000084: DUP1 00000085: REVERT 00000086: JUMPDEST 00000087: POP 00000088: PUSH2 0x008f 0000008b: PUSH2 0x0134 0000008e: JUMP 0000008f: JUMPDEST 00000090: PUSH1 0x40 00000092: MLOAD 00000093: PUSH2 0x009c 00000096: SWAP2 00000097: SWAP1 00000098: PUSH2 0x06a5 0000009b: JUMP 0000009c: JUMPDEST 0000009d: PUSH1 0x40 0000009f: MLOAD 000000a0: DUP1 000000a1: SWAP2 000000a2: SUB 000000a3: SWAP1 000000a4: RETURN 000000a5: JUMPDEST 000000a6: CALLVALUE 000000a7: DUP1 000000a8: ISZERO 000000a9: PUSH2 0x00b1 000000ac: JUMPI 000000ad: PUSH1 0x00 000000af: DUP1 000000b0: REVERT 000000b1: JUMPDEST 000000b2: POP 000000b3: PUSH2 0x00ba 000000b6: PUSH2 0x013a 000000b9: JUMP 000000ba: JUMPDEST 000000bb: STOP 000000bc: JUMPDEST 000000bd: CALLVALUE 000000be: DUP1 000000bf: ISZERO 000000c0: PUSH2 0x00c8 000000c3: JUMPI 000000c4: PUSH1 0x00 000000c6: DUP1 000000c7: REVERT 000000c8: JUMPDEST 000000c9: POP 000000ca: PUSH2 0x00d1 000000cd: PUSH2 0x01a5 000000d0: JUMP 000000d1: JUMPDEST 000000d2: STOP 000000d3: JUMPDEST 000000d4: PUSH1 0x60 000000d6: PUSH1 0x00 000000d8: PUSH2 0x00df 000000db: PUSH2 0x0210 000000de: JUMP 000000df: JUMPDEST 000000e0: SWAP1 000000e1: POP 000000e2: PUSH1 0x00 000000e4: PUSH2 0x00eb 000000e7: PUSH2 0x024d 000000ea: JUMP 000000eb: JUMPDEST 000000ec: SWAP1 000000ed: POP 000000ee: PUSH1 0x00 000000f0: PUSH2 0x00f7 000000f3: PUSH2 0x028a 000000f6: JUMP 000000f7: JUMPDEST 000000f8: SWAP1 000000f9: POP 000000fa: PUSH1 0x00 000000fc: PUSH2 0x0103 000000ff: PUSH2 0x02c7 00000102: JUMP 00000103: JUMPDEST 00000104: SWAP1 00000105: POP 00000106: DUP4 00000107: DUP4 00000108: DUP4 00000109: DUP4 0000010a: PUSH1 0x40 0000010c: MLOAD 0000010d: PUSH1 0x20 0000010f: ADD 00000110: PUSH2 0x011c 00000113: SWAP5 00000114: SWAP4 00000115: SWAP3 00000116: SWAP2 00000117: SWAP1 00000118: PUSH2 0x06fc 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH1 0x40 0000011f: MLOAD 00000120: PUSH1 0x20 00000122: DUP2 00000123: DUP4 00000124: SUB 00000125: SUB 00000126: DUP2 00000127: MSTORE 00000128: SWAP1 00000129: PUSH1 0x40 0000012b: MSTORE 0000012c: SWAP5 0000012d: POP 0000012e: POP 0000012f: POP 00000130: POP 00000131: POP 00000132: SWAP1 00000133: JUMP 00000134: JUMPDEST 00000135: PUSH1 0x00 00000137: SLOAD 00000138: DUP2 00000139: JUMP 0000013a: JUMPDEST 0000013b: PUSH1 0x00 0000013d: PUSH2 0x014c 00000140: PUSH2 0x0147 00000143: PUSH2 0x00d3 00000146: JUMP 00000147: JUMPDEST 00000148: PUSH2 0x0304 0000014b: JUMP 0000014c: JUMPDEST 0000014d: SWAP1 0000014e: POP 0000014f: PUSH1 0x00 00000151: DUP2 00000152: SWAP1 00000153: POP 00000154: DUP1 00000155: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016a: AND 0000016b: PUSH2 0x08fc 0000016e: PUSH2 0x0175 00000171: PUSH2 0x05d2 00000174: JUMP 00000175: JUMPDEST 00000176: SWAP1 00000177: DUP2 00000178: ISZERO 00000179: MUL 0000017a: SWAP1 0000017b: PUSH1 0x40 0000017d: MLOAD 0000017e: PUSH1 0x00 00000180: PUSH1 0x40 00000182: MLOAD 00000183: DUP1 00000184: DUP4 00000185: SUB 00000186: DUP2 00000187: DUP6 00000188: DUP9 00000189: DUP9 0000018a: CALL 0000018b: SWAP4 0000018c: POP 0000018d: POP 0000018e: POP 0000018f: POP 00000190: ISZERO 00000191: DUP1 00000192: ISZERO 00000193: PUSH2 0x01a0 00000196: JUMPI 00000197: RETURNDATASIZE 00000198: PUSH1 0x00 0000019a: DUP1 0000019b: RETURNDATACOPY 0000019c: RETURNDATASIZE 0000019d: PUSH1 0x00 0000019f: REVERT 000001a0: JUMPDEST 000001a1: POP 000001a2: POP 000001a3: POP 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH1 0x00 000001a8: PUSH2 0x01b7 000001ab: PUSH2 0x01b2 000001ae: PUSH2 0x00d3 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH2 0x0304 000001b6: JUMP 000001b7: JUMPDEST 000001b8: SWAP1 000001b9: POP 000001ba: PUSH1 0x00 000001bc: DUP2 000001bd: SWAP1 000001be: POP 000001bf: DUP1 000001c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d5: AND 000001d6: PUSH2 0x08fc 000001d9: PUSH2 0x01e0 000001dc: PUSH2 0x05d2 000001df: JUMP 000001e0: JUMPDEST 000001e1: SWAP1 000001e2: DUP2 000001e3: ISZERO 000001e4: MUL 000001e5: SWAP1 000001e6: PUSH1 0x40 000001e8: MLOAD 000001e9: PUSH1 0x00 000001eb: PUSH1 0x40 000001ed: MLOAD 000001ee: DUP1 000001ef: DUP4 000001f0: SUB 000001f1: DUP2 000001f2: DUP6 000001f3: DUP9 000001f4: DUP9 000001f5: CALL 000001f6: SWAP4 000001f7: POP 000001f8: POP 000001f9: POP 000001fa: POP 000001fb: ISZERO 000001fc: DUP1 000001fd: ISZERO 000001fe: PUSH2 0x020b 00000201: JUMPI 00000202: RETURNDATASIZE 00000203: PUSH1 0x00 00000205: DUP1 00000206: RETURNDATACOPY 00000207: RETURNDATASIZE 00000208: PUSH1 0x00 0000020a: REVERT 0000020b: JUMPDEST 0000020c: POP 0000020d: POP 0000020e: POP 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH1 0x60 00000213: PUSH1 0x40 00000215: MLOAD 00000216: DUP1 00000217: PUSH1 0x40 00000219: ADD 0000021a: PUSH1 0x40 0000021c: MSTORE 0000021d: DUP1 0000021e: PUSH1 0x0c 00000220: DUP2 00000221: MSTORE 00000222: PUSH1 0x20 00000224: ADD 00000225: PUSH32 0x3078343831626338373534310000000000000000000000000000000000000000 00000246: DUP2 00000247: MSTORE 00000248: POP 00000249: SWAP1 0000024a: POP 0000024b: SWAP1 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH1 0x60 00000250: PUSH1 0x40 00000252: MLOAD 00000253: DUP1 00000254: PUSH1 0x40 00000256: ADD 00000257: PUSH1 0x40 00000259: MSTORE 0000025a: DUP1 0000025b: PUSH1 0x09 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x20 00000261: ADD 00000262: PUSH32 0x3862626366614631640000000000000000000000000000000000000000000000 00000283: DUP2 00000284: MSTORE 00000285: POP 00000286: SWAP1 00000287: POP 00000288: SWAP1 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH1 0x60 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: DUP1 00000291: PUSH1 0x40 00000293: ADD 00000294: PUSH1 0x40 00000296: MSTORE 00000297: DUP1 00000298: PUSH1 0x09 0000029a: DUP2 0000029b: MSTORE 0000029c: PUSH1 0x20 0000029e: ADD 0000029f: PUSH32 0x3032363942333631300000000000000000000000000000000000000000000000 000002c0: DUP2 000002c1: MSTORE 000002c2: POP 000002c3: SWAP1 000002c4: POP 000002c5: SWAP1 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x60 000002ca: PUSH1 0x40 000002cc: MLOAD 000002cd: DUP1 000002ce: PUSH1 0x40 000002d0: ADD 000002d1: PUSH1 0x40 000002d3: MSTORE 000002d4: DUP1 000002d5: PUSH1 0x0c 000002d7: DUP2 000002d8: MSTORE 000002d9: PUSH1 0x20 000002db: ADD 000002dc: PUSH32 0x3532633941373533363534440000000000000000000000000000000000000000 000002fd: DUP2 000002fe: MSTORE 000002ff: POP 00000300: SWAP1 00000301: POP 00000302: SWAP1 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH1 0x00 00000307: DUP1 00000308: DUP3 00000309: SWAP1 0000030a: POP 0000030b: PUSH1 0x00 0000030d: DUP1 0000030e: DUP1 0000030f: PUSH1 0x00 00000311: PUSH1 0x02 00000313: SWAP1 00000314: POP 00000315: JUMPDEST 00000316: PUSH1 0x2a 00000318: DUP2 00000319: LT 0000031a: ISZERO 0000031b: PUSH2 0x05c5 0000031e: JUMPI 0000031f: PUSH2 0x0100 00000322: DUP5 00000323: PUSH2 0x032c 00000326: SWAP2 00000327: SWAP1 00000328: PUSH2 0x0789 0000032b: JUMP 0000032c: JUMPDEST 0000032d: SWAP4 0000032e: POP 0000032f: DUP5 00000330: DUP2 00000331: DUP2 00000332: MLOAD 00000333: DUP2 00000334: LT 00000335: PUSH2 0x0341 00000338: JUMPI 00000339: PUSH2 0x0340 0000033c: PUSH2 0x07cb 0000033f: JUMP 00000340: JUMPDEST 00000341: JUMPDEST 00000342: PUSH1 0x20 00000344: ADD 00000345: ADD 00000346: MLOAD 00000347: PUSH1 0xf8 00000349: SHR 0000034a: PUSH1 0xf8 0000034c: SHL 0000034d: PUSH1 0xf8 0000034f: SHR 00000350: PUSH1 0xff 00000352: AND 00000353: SWAP3 00000354: POP 00000355: DUP5 00000356: PUSH1 0x01 00000358: DUP3 00000359: PUSH2 0x0362 0000035c: SWAP2 0000035d: SWAP1 0000035e: PUSH2 0x07fa 00000361: JUMP 00000362: JUMPDEST 00000363: DUP2 00000364: MLOAD 00000365: DUP2 00000366: LT 00000367: PUSH2 0x0373 0000036a: JUMPI 0000036b: PUSH2 0x0372 0000036e: PUSH2 0x07cb 00000371: JUMP 00000372: JUMPDEST 00000373: JUMPDEST 00000374: PUSH1 0x20 00000376: ADD 00000377: ADD 00000378: MLOAD 00000379: PUSH1 0xf8 0000037b: SHR 0000037c: PUSH1 0xf8 0000037e: SHL 0000037f: PUSH1 0xf8 00000381: SHR 00000382: PUSH1 0xff 00000384: AND 00000385: SWAP2 00000386: POP 00000387: PUSH1 0x61 00000389: DUP4 0000038a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039f: AND 000003a0: LT 000003a1: ISZERO 000003a2: DUP1 000003a3: ISZERO 000003a4: PUSH2 0x03c4 000003a7: JUMPI 000003a8: POP 000003a9: PUSH1 0x66 000003ab: DUP4 000003ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c1: AND 000003c2: GT 000003c3: ISZERO 000003c4: JUMPDEST 000003c5: ISZERO 000003c6: PUSH2 0x03dd 000003c9: JUMPI 000003ca: PUSH1 0x57 000003cc: DUP4 000003cd: PUSH2 0x03d6 000003d0: SWAP2 000003d1: SWAP1 000003d2: PUSH2 0x082e 000003d5: JUMP 000003d6: JUMPDEST 000003d7: SWAP3 000003d8: POP 000003d9: PUSH2 0x0489 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH1 0x41 000003e0: DUP4 000003e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f6: AND 000003f7: LT 000003f8: ISZERO 000003f9: DUP1 000003fa: ISZERO 000003fb: PUSH2 0x041b 000003fe: JUMPI 000003ff: POP 00000400: PUSH1 0x46 00000402: DUP4 00000403: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000418: AND 00000419: GT 0000041a: ISZERO 0000041b: JUMPDEST 0000041c: ISZERO 0000041d: PUSH2 0x0434 00000420: JUMPI 00000421: PUSH1 0x37 00000423: DUP4 00000424: PUSH2 0x042d 00000427: SWAP2 00000428: SWAP1 00000429: PUSH2 0x082e 0000042c: JUMP 0000042d: JUMPDEST 0000042e: SWAP3 0000042f: POP 00000430: PUSH2 0x0488 00000433: JUMP 00000434: JUMPDEST 00000435: PUSH1 0x30 00000437: DUP4 00000438: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044d: AND 0000044e: LT 0000044f: ISZERO 00000450: DUP1 00000451: ISZERO 00000452: PUSH2 0x0472 00000455: JUMPI 00000456: POP 00000457: PUSH1 0x39 00000459: DUP4 0000045a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046f: AND 00000470: GT 00000471: ISZERO 00000472: JUMPDEST 00000473: ISZERO 00000474: PUSH2 0x0487 00000477: JUMPI 00000478: PUSH1 0x30 0000047a: DUP4 0000047b: PUSH2 0x0484 0000047e: SWAP2 0000047f: SWAP1 00000480: PUSH2 0x082e 00000483: JUMP 00000484: JUMPDEST 00000485: SWAP3 00000486: POP 00000487: JUMPDEST 00000488: JUMPDEST 00000489: JUMPDEST 0000048a: PUSH1 0x61 0000048c: DUP3 0000048d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a2: AND 000004a3: LT 000004a4: ISZERO 000004a5: DUP1 000004a6: ISZERO 000004a7: PUSH2 0x04c7 000004aa: JUMPI 000004ab: POP 000004ac: PUSH1 0x66 000004ae: DUP3 000004af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c4: AND 000004c5: GT 000004c6: ISZERO 000004c7: JUMPDEST 000004c8: ISZERO 000004c9: PUSH2 0x04e0 000004cc: JUMPI 000004cd: PUSH1 0x57 000004cf: DUP3 000004d0: PUSH2 0x04d9 000004d3: SWAP2 000004d4: SWAP1 000004d5: PUSH2 0x082e 000004d8: JUMP 000004d9: JUMPDEST 000004da: SWAP2 000004db: POP 000004dc: PUSH2 0x058c 000004df: JUMP 000004e0: JUMPDEST 000004e1: PUSH1 0x41 000004e3: DUP3 000004e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f9: AND 000004fa: LT 000004fb: ISZERO 000004fc: DUP1 000004fd: ISZERO 000004fe: PUSH2 0x051e 00000501: JUMPI 00000502: POP 00000503: PUSH1 0x46 00000505: DUP3 00000506: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051b: AND 0000051c: GT 0000051d: ISZERO 0000051e: JUMPDEST 0000051f: ISZERO 00000520: PUSH2 0x0537 00000523: JUMPI 00000524: PUSH1 0x37 00000526: DUP3 00000527: PUSH2 0x0530 0000052a: SWAP2 0000052b: SWAP1 0000052c: PUSH2 0x082e 0000052f: JUMP 00000530: JUMPDEST 00000531: SWAP2 00000532: POP 00000533: PUSH2 0x058b 00000536: JUMP 00000537: JUMPDEST 00000538: PUSH1 0x30 0000053a: DUP3 0000053b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000550: AND 00000551: LT 00000552: ISZERO 00000553: DUP1 00000554: ISZERO 00000555: PUSH2 0x0575 00000558: JUMPI 00000559: POP 0000055a: PUSH1 0x39 0000055c: DUP3 0000055d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000572: AND 00000573: GT 00000574: ISZERO 00000575: JUMPDEST 00000576: ISZERO 00000577: PUSH2 0x058a 0000057a: JUMPI 0000057b: PUSH1 0x30 0000057d: DUP3 0000057e: PUSH2 0x0587 00000581: SWAP2 00000582: SWAP1 00000583: PUSH2 0x082e 00000586: JUMP 00000587: JUMPDEST 00000588: SWAP2 00000589: POP 0000058a: JUMPDEST 0000058b: JUMPDEST 0000058c: JUMPDEST 0000058d: DUP2 0000058e: PUSH1 0x10 00000590: DUP5 00000591: PUSH2 0x059a 00000594: SWAP2 00000595: SWAP1 00000596: PUSH2 0x0789 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH2 0x05a4 0000059e: SWAP2 0000059f: SWAP1 000005a0: PUSH2 0x0876 000005a3: JUMP 000005a4: JUMPDEST 000005a5: DUP5 000005a6: PUSH2 0x05af 000005a9: SWAP2 000005aa: SWAP1 000005ab: PUSH2 0x0876 000005ae: JUMP 000005af: JUMPDEST 000005b0: SWAP4 000005b1: POP 000005b2: PUSH1 0x02 000005b4: DUP2 000005b5: PUSH2 0x05be 000005b8: SWAP2 000005b9: SWAP1 000005ba: PUSH2 0x07fa 000005bd: JUMP 000005be: JUMPDEST 000005bf: SWAP1 000005c0: POP 000005c1: PUSH2 0x0315 000005c4: JUMP 000005c5: JUMPDEST 000005c6: POP 000005c7: DUP3 000005c8: SWAP5 000005c9: POP 000005ca: POP 000005cb: POP 000005cc: POP 000005cd: POP 000005ce: SWAP2 000005cf: SWAP1 000005d0: POP 000005d1: JUMP 000005d2: JUMPDEST 000005d3: PUSH1 0x00 000005d5: SELFBALANCE 000005d6: SWAP1 000005d7: POP 000005d8: SWAP1 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH1 0x00 000005dd: DUP2 000005de: MLOAD 000005df: SWAP1 000005e0: POP 000005e1: SWAP2 000005e2: SWAP1 000005e3: POP 000005e4: JUMP 000005e5: JUMPDEST 000005e6: PUSH1 0x00 000005e8: DUP3 000005e9: DUP3 000005ea: MSTORE 000005eb: PUSH1 0x20 000005ed: DUP3 000005ee: ADD 000005ef: SWAP1 000005f0: POP 000005f1: SWAP3 000005f2: SWAP2 000005f3: POP 000005f4: POP 000005f5: JUMP 000005f6: JUMPDEST 000005f7: PUSH1 0x00 000005f9: JUMPDEST 000005fa: DUP4 000005fb: DUP2 000005fc: LT 000005fd: ISZERO 000005fe: PUSH2 0x0614 00000601: JUMPI 00000602: DUP1 00000603: DUP3 00000604: ADD 00000605: MLOAD 00000606: DUP2 00000607: DUP5 00000608: ADD 00000609: MSTORE 0000060a: PUSH1 0x20 0000060c: DUP2 0000060d: ADD 0000060e: SWAP1 0000060f: POP 00000610: PUSH2 0x05f9 00000613: JUMP 00000614: JUMPDEST 00000615: PUSH1 0x00 00000617: DUP5 00000618: DUP5 00000619: ADD 0000061a: MSTORE 0000061b: POP 0000061c: POP 0000061d: POP 0000061e: POP 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH1 0x00 00000623: PUSH1 0x1f 00000625: NOT 00000626: PUSH1 0x1f 00000628: DUP4 00000629: ADD 0000062a: AND 0000062b: SWAP1 0000062c: POP 0000062d: SWAP2 0000062e: SWAP1 0000062f: POP 00000630: JUMP 00000631: JUMPDEST 00000632: PUSH1 0x00 00000634: PUSH2 0x063c 00000637: DUP3 00000638: PUSH2 0x05da 0000063b: JUMP 0000063c: JUMPDEST 0000063d: PUSH2 0x0646 00000640: DUP2 00000641: DUP6 00000642: PUSH2 0x05e5 00000645: JUMP 00000646: JUMPDEST 00000647: SWAP4 00000648: POP 00000649: PUSH2 0x0656 0000064c: DUP2 0000064d: DUP6 0000064e: PUSH1 0x20 00000650: DUP7 00000651: ADD 00000652: PUSH2 0x05f6 00000655: JUMP 00000656: JUMPDEST 00000657: PUSH2 0x065f 0000065a: DUP2 0000065b: PUSH2 0x0620 0000065e: JUMP 0000065f: JUMPDEST 00000660: DUP5 00000661: ADD 00000662: SWAP2 00000663: POP 00000664: POP 00000665: SWAP3 00000666: SWAP2 00000667: POP 00000668: POP 00000669: JUMP 0000066a: JUMPDEST 0000066b: PUSH1 0x00 0000066d: PUSH1 0x20 0000066f: DUP3 00000670: ADD 00000671: SWAP1 00000672: POP 00000673: DUP2 00000674: DUP2 00000675: SUB 00000676: PUSH1 0x00 00000678: DUP4 00000679: ADD 0000067a: MSTORE 0000067b: PUSH2 0x0684 0000067e: DUP2 0000067f: DUP5 00000680: PUSH2 0x0631 00000683: JUMP 00000684: JUMPDEST 00000685: SWAP1 00000686: POP 00000687: SWAP3 00000688: SWAP2 00000689: POP 0000068a: POP 0000068b: JUMP 0000068c: JUMPDEST 0000068d: PUSH1 0x00 0000068f: DUP2 00000690: SWAP1 00000691: POP 00000692: SWAP2 00000693: SWAP1 00000694: POP 00000695: JUMP 00000696: JUMPDEST 00000697: PUSH2 0x069f 0000069a: DUP2 0000069b: PUSH2 0x068c 0000069e: JUMP 0000069f: JUMPDEST 000006a0: DUP3 000006a1: MSTORE 000006a2: POP 000006a3: POP 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH1 0x00 000006a8: PUSH1 0x20 000006aa: DUP3 000006ab: ADD 000006ac: SWAP1 000006ad: POP 000006ae: PUSH2 0x06ba 000006b1: PUSH1 0x00 000006b3: DUP4 000006b4: ADD 000006b5: DUP5 000006b6: PUSH2 0x0696 000006b9: JUMP 000006ba: JUMPDEST 000006bb: SWAP3 000006bc: SWAP2 000006bd: POP 000006be: POP 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH1 0x00 000006c3: DUP2 000006c4: SWAP1 000006c5: POP 000006c6: SWAP3 000006c7: SWAP2 000006c8: POP 000006c9: POP 000006ca: JUMP 000006cb: JUMPDEST 000006cc: PUSH1 0x00 000006ce: PUSH2 0x06d6 000006d1: DUP3 000006d2: PUSH2 0x05da 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH2 0x06e0 000006da: DUP2 000006db: DUP6 000006dc: PUSH2 0x06c0 000006df: JUMP 000006e0: JUMPDEST 000006e1: SWAP4 000006e2: POP 000006e3: PUSH2 0x06f0 000006e6: DUP2 000006e7: DUP6 000006e8: PUSH1 0x20 000006ea: DUP7 000006eb: ADD 000006ec: PUSH2 0x05f6 000006ef: JUMP 000006f0: JUMPDEST 000006f1: DUP1 000006f2: DUP5 000006f3: ADD 000006f4: SWAP2 000006f5: POP 000006f6: POP 000006f7: SWAP3 000006f8: SWAP2 000006f9: POP 000006fa: POP 000006fb: JUMP 000006fc: JUMPDEST 000006fd: PUSH1 0x00 000006ff: PUSH2 0x0708 00000702: DUP3 00000703: DUP8 00000704: PUSH2 0x06cb 00000707: JUMP 00000708: JUMPDEST 00000709: SWAP2 0000070a: POP 0000070b: PUSH2 0x0714 0000070e: DUP3 0000070f: DUP7 00000710: PUSH2 0x06cb 00000713: JUMP 00000714: JUMPDEST 00000715: SWAP2 00000716: POP 00000717: PUSH2 0x0720 0000071a: DUP3 0000071b: DUP6 0000071c: PUSH2 0x06cb 0000071f: JUMP 00000720: JUMPDEST 00000721: SWAP2 00000722: POP 00000723: PUSH2 0x072c 00000726: DUP3 00000727: DUP5 00000728: PUSH2 0x06cb 0000072b: JUMP 0000072c: JUMPDEST 0000072d: SWAP2 0000072e: POP 0000072f: DUP2 00000730: SWAP1 00000731: POP 00000732: SWAP6 00000733: SWAP5 00000734: POP 00000735: POP 00000736: POP 00000737: POP 00000738: POP 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH1 0x00 0000073d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000752: DUP3 00000753: AND 00000754: SWAP1 00000755: POP 00000756: SWAP2 00000757: SWAP1 00000758: POP 00000759: JUMP 0000075a: JUMPDEST 0000075b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000077c: PUSH1 0x00 0000077e: MSTORE 0000077f: PUSH1 0x11 00000781: PUSH1 0x04 00000783: MSTORE 00000784: PUSH1 0x24 00000786: PUSH1 0x00 00000788: REVERT 00000789: JUMPDEST 0000078a: PUSH1 0x00 0000078c: PUSH2 0x0794 0000078f: DUP3 00000790: PUSH2 0x073a 00000793: JUMP 00000794: JUMPDEST 00000795: SWAP2 00000796: POP 00000797: PUSH2 0x079f 0000079a: DUP4 0000079b: PUSH2 0x073a 0000079e: JUMP 0000079f: JUMPDEST 000007a0: SWAP3 000007a1: POP 000007a2: DUP3 000007a3: DUP3 000007a4: MUL 000007a5: PUSH2 0x07ad 000007a8: DUP2 000007a9: PUSH2 0x073a 000007ac: JUMP 000007ad: JUMPDEST 000007ae: SWAP2 000007af: POP 000007b0: DUP3 000007b1: DUP3 000007b2: DIV 000007b3: DUP5 000007b4: EQ 000007b5: DUP4 000007b6: ISZERO 000007b7: OR 000007b8: PUSH2 0x07c4 000007bb: JUMPI 000007bc: PUSH2 0x07c3 000007bf: PUSH2 0x075a 000007c2: JUMP 000007c3: JUMPDEST 000007c4: JUMPDEST 000007c5: POP 000007c6: SWAP3 000007c7: SWAP2 000007c8: POP 000007c9: POP 000007ca: JUMP 000007cb: JUMPDEST 000007cc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000007ed: PUSH1 0x00 000007ef: MSTORE 000007f0: PUSH1 0x32 000007f2: PUSH1 0x04 000007f4: MSTORE 000007f5: PUSH1 0x24 000007f7: PUSH1 0x00 000007f9: REVERT 000007fa: JUMPDEST 000007fb: PUSH1 0x00 000007fd: PUSH2 0x0805 00000800: DUP3 00000801: PUSH2 0x068c 00000804: JUMP 00000805: JUMPDEST 00000806: SWAP2 00000807: POP 00000808: PUSH2 0x0810 0000080b: DUP4 0000080c: PUSH2 0x068c 0000080f: JUMP 00000810: JUMPDEST 00000811: SWAP3 00000812: POP 00000813: DUP3 00000814: DUP3 00000815: ADD 00000816: SWAP1 00000817: POP 00000818: DUP1 00000819: DUP3 0000081a: GT 0000081b: ISZERO 0000081c: PUSH2 0x0828 0000081f: JUMPI 00000820: PUSH2 0x0827 00000823: PUSH2 0x075a 00000826: JUMP 00000827: JUMPDEST 00000828: JUMPDEST 00000829: SWAP3 0000082a: SWAP2 0000082b: POP 0000082c: POP 0000082d: JUMP 0000082e: JUMPDEST 0000082f: PUSH1 0x00 00000831: PUSH2 0x0839 00000834: DUP3 00000835: PUSH2 0x073a 00000838: JUMP 00000839: JUMPDEST 0000083a: SWAP2 0000083b: POP 0000083c: PUSH2 0x0844 0000083f: DUP4 00000840: PUSH2 0x073a 00000843: JUMP 00000844: JUMPDEST 00000845: SWAP3 00000846: POP 00000847: DUP3 00000848: DUP3 00000849: SUB 0000084a: SWAP1 0000084b: POP 0000084c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000861: DUP2 00000862: GT 00000863: ISZERO 00000864: PUSH2 0x0870 00000867: JUMPI 00000868: PUSH2 0x086f 0000086b: PUSH2 0x075a 0000086e: JUMP 0000086f: JUMPDEST 00000870: JUMPDEST 00000871: SWAP3 00000872: SWAP2 00000873: POP 00000874: POP 00000875: JUMP 00000876: JUMPDEST 00000877: PUSH1 0x00 00000879: PUSH2 0x0881 0000087c: DUP3 0000087d: PUSH2 0x073a 00000880: JUMP 00000881: JUMPDEST 00000882: SWAP2 00000883: POP 00000884: PUSH2 0x088c 00000887: DUP4 00000888: PUSH2 0x073a 0000088b: JUMP 0000088c: JUMPDEST 0000088d: SWAP3 0000088e: POP 0000088f: DUP3 00000890: DUP3 00000891: ADD 00000892: SWAP1 00000893: POP 00000894: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a9: DUP2 000008aa: GT 000008ab: ISZERO 000008ac: PUSH2 0x08b8 000008af: JUMPI 000008b0: PUSH2 0x08b7 000008b3: PUSH2 0x075a 000008b6: JUMP 000008b7: JUMPDEST 000008b8: JUMPDEST 000008b9: SWAP3 000008ba: SWAP2 000008bb: POP 000008bc: POP 000008bd: JUMP 000008be: INVALID 000008bf: LOG2 000008c0: PUSH5 0x6970667358 000008c6: UNKNOWN(0x22) 000008c7: SLT 000008c8: KECCAK256 000008c9: CHAINID 000008ca: SWAP11 000008cb: CHAINID 000008cc: UNKNOWN(0xD0) 000008cd: UNKNOWN(0x0C) 000008ce: PUSH20 0x7637d10f14890a981c72500426c1fdce8dee50f9 000008e3: XOR 000008e4: CREATE 000008e5: UNKNOWN(0xE5) 000008e6: RETURNDATACOPY 000008e7: DUP4 000008e8: UNKNOWN(0xB3) 000008e9: PUSH5 0x736f6c6343 000008ef: STOP 000008f0: ADDMOD 000008f1: GT 000008f2: STOP 000008f3: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6203576dc002a4aea2269a3ed09879377ffdf29b32c873502fc134c538b2cb44
call_targets:
0x8805d9aed987278f77b095d3209e59a414c93836
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6203576dc002a4aea2269a3ed09879377ffdf29b32c873502fc134c538b2cb44",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8805d9aed987278f77b095d3209e59a414c93836"
],
"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": "0x169dac55",
"selector": "0x169dac55",
"calldata_variants": [
"0x169dac55",
"0x169dac550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52a90c42",
"selector": "0x52a90c42",
"calldata_variants": [
"0x52a90c42",
"0x52a90c420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac446002",
"selector": "0xac446002",
"calldata_variants": [
"0xac446002",
"0xac4460020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 394,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 501,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6203576dc002a4aea2269a3ed09879377ffdf29b32c873502fc134c538b2cb44
call_targets:
0x8805d9aed987278f77b095d3209e59a414c93836
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6203576dc002a4aea2269a3ed09879377ffdf29b32c873502fc134c538b2cb44",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8805d9aed987278f77b095d3209e59a414c93836"
],
"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": "0x169dac55",
"selector": "0x169dac55",
"calldata_variants": [
"0x169dac55",
"0x169dac550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52a90c42",
"selector": "0x52a90c42",
"calldata_variants": [
"0x52a90c42",
"0x52a90c420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac446002",
"selector": "0xac446002",
"calldata_variants": [
"0xac446002",
"0xac4460020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 394,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 501,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xa719f436cc4b74c6f0fb250b9afb075d34aa9ebd65adc0519dedc58d2fbc9080
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 8,
"trace_id": "0xa719f436cc4b74c6f0fb250b9afb075d34aa9ebd65adc0519dedc58d2fbc9080",
"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": "0x169dac55",
"selector": "0x169dac55",
"calldata_variants": [
"0x169dac55",
"0x169dac550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52a90c42",
"selector": "0x52a90c42",
"calldata_variants": [
"0x52a90c42",
"0x52a90c420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac446002",
"selector": "0xac446002",
"calldata_variants": [
"0xac446002",
"0xac4460020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|