019b477e-ca80-7277-b562-f5dbd1f1e541
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 |
|---|---|---|---|---|
| 26523 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26524 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69794 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69795 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69796 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69797 | 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 0x006e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x004b 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x00d5 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9ac84414 0000002f: EQ 00000030: PUSH2 0x010d 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb2efd32f 0000003a: EQ 0000003b: PUSH2 0x0122 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbc4ad803 00000045: EQ 00000046: PUSH2 0x014f 00000049: JUMPI 0000004a: STOP 0000004b: JUMPDEST 0000004c: DUP1 0000004d: PUSH4 0x13af4035 00000052: EQ 00000053: PUSH2 0x0077 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x3ccfd60b 0000005d: EQ 0000005e: PUSH2 0x0097 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x4ba2363a 00000068: EQ 00000069: PUSH2 0x00ac 0000006c: JUMPI 0000006d: STOP 0000006e: JUMPDEST 0000006f: CALLDATASIZE 00000070: PUSH2 0x0075 00000073: JUMPI 00000074: STOP 00000075: JUMPDEST 00000076: STOP 00000077: JUMPDEST 00000078: CALLVALUE 00000079: DUP1 0000007a: ISZERO 0000007b: PUSH2 0x0083 0000007e: JUMPI 0000007f: PUSH1 0x00 00000081: DUP1 00000082: REVERT 00000083: JUMPDEST 00000084: POP 00000085: PUSH2 0x0075 00000088: PUSH2 0x0092 0000008b: CALLDATASIZE 0000008c: PUSH1 0x04 0000008e: PUSH2 0x04f4 00000091: JUMP 00000092: JUMPDEST 00000093: PUSH2 0x016f 00000096: JUMP 00000097: JUMPDEST 00000098: CALLVALUE 00000099: DUP1 0000009a: ISZERO 0000009b: PUSH2 0x00a3 0000009e: JUMPI 0000009f: PUSH1 0x00 000000a1: DUP1 000000a2: REVERT 000000a3: JUMPDEST 000000a4: POP 000000a5: PUSH2 0x0075 000000a8: PUSH2 0x01ed 000000ab: JUMP 000000ac: JUMPDEST 000000ad: CALLVALUE 000000ae: DUP1 000000af: ISZERO 000000b0: PUSH2 0x00b8 000000b3: JUMPI 000000b4: PUSH1 0x00 000000b6: DUP1 000000b7: REVERT 000000b8: JUMPDEST 000000b9: POP 000000ba: PUSH2 0x00c2 000000bd: PUSH1 0x02 000000bf: SLOAD 000000c0: DUP2 000000c1: JUMP 000000c2: JUMPDEST 000000c3: PUSH1 0x40 000000c5: MLOAD 000000c6: SWAP1 000000c7: DUP2 000000c8: MSTORE 000000c9: PUSH1 0x20 000000cb: ADD 000000cc: JUMPDEST 000000cd: PUSH1 0x40 000000cf: MLOAD 000000d0: DUP1 000000d1: SWAP2 000000d2: SUB 000000d3: SWAP1 000000d4: RETURN 000000d5: JUMPDEST 000000d6: CALLVALUE 000000d7: DUP1 000000d8: ISZERO 000000d9: PUSH2 0x00e1 000000dc: JUMPI 000000dd: PUSH1 0x00 000000df: DUP1 000000e0: REVERT 000000e1: JUMPDEST 000000e2: POP 000000e3: PUSH1 0x00 000000e5: SLOAD 000000e6: PUSH2 0x00f5 000000e9: SWAP1 000000ea: PUSH1 0x01 000000ec: PUSH1 0x01 000000ee: PUSH1 0xa0 000000f0: SHL 000000f1: SUB 000000f2: AND 000000f3: DUP2 000000f4: JUMP 000000f5: JUMPDEST 000000f6: PUSH1 0x40 000000f8: MLOAD 000000f9: PUSH1 0x01 000000fb: PUSH1 0x01 000000fd: PUSH1 0xa0 000000ff: SHL 00000100: SUB 00000101: SWAP1 00000102: SWAP2 00000103: AND 00000104: DUP2 00000105: MSTORE 00000106: PUSH1 0x20 00000108: ADD 00000109: PUSH2 0x00cc 0000010c: JUMP 0000010d: JUMPDEST 0000010e: CALLVALUE 0000010f: DUP1 00000110: ISZERO 00000111: PUSH2 0x0119 00000114: JUMPI 00000115: PUSH1 0x00 00000117: DUP1 00000118: REVERT 00000119: JUMPDEST 0000011a: POP 0000011b: PUSH2 0x0075 0000011e: PUSH2 0x02c3 00000121: JUMP 00000122: JUMPDEST 00000123: CALLVALUE 00000124: DUP1 00000125: ISZERO 00000126: PUSH2 0x012e 00000129: JUMPI 0000012a: PUSH1 0x00 0000012c: DUP1 0000012d: REVERT 0000012e: JUMPDEST 0000012f: POP 00000130: PUSH2 0x00c2 00000133: PUSH2 0x013d 00000136: CALLDATASIZE 00000137: PUSH1 0x04 00000139: PUSH2 0x04f4 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH1 0x01 00000140: PUSH1 0x20 00000142: MSTORE 00000143: PUSH1 0x00 00000145: SWAP1 00000146: DUP2 00000147: MSTORE 00000148: PUSH1 0x40 0000014a: SWAP1 0000014b: KECCAK256 0000014c: SLOAD 0000014d: DUP2 0000014e: JUMP 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: DUP1 00000152: ISZERO 00000153: PUSH2 0x015b 00000156: JUMPI 00000157: PUSH1 0x00 00000159: DUP1 0000015a: REVERT 0000015b: JUMPDEST 0000015c: POP 0000015d: PUSH2 0x0075 00000160: PUSH2 0x016a 00000163: CALLDATASIZE 00000164: PUSH1 0x04 00000166: PUSH2 0x05ec 00000169: JUMP 0000016a: JUMPDEST 0000016b: PUSH2 0x038c 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH1 0x00 00000172: SLOAD 00000173: PUSH1 0x01 00000175: PUSH1 0x01 00000177: PUSH1 0xa0 00000179: SHL 0000017a: SUB 0000017b: AND 0000017c: CALLER 0000017d: EQ 0000017e: PUSH2 0x01a2 00000181: JUMPI 00000182: PUSH1 0x40 00000184: MLOAD 00000185: PUSH3 0x461bcd 00000189: PUSH1 0xe5 0000018b: SHL 0000018c: DUP2 0000018d: MSTORE 0000018e: PUSH1 0x04 00000190: ADD 00000191: PUSH2 0x0199 00000194: SWAP1 00000195: PUSH2 0x06ac 00000198: JUMP 00000199: JUMPDEST 0000019a: PUSH1 0x40 0000019c: MLOAD 0000019d: DUP1 0000019e: SWAP2 0000019f: SUB 000001a0: SWAP1 000001a1: REVERT 000001a2: JUMPDEST 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: SLOAD 000001a7: PUSH1 0x01 000001a9: PUSH1 0x01 000001ab: PUSH1 0xa0 000001ad: SHL 000001ae: SUB 000001af: NOT 000001b0: AND 000001b1: PUSH1 0x01 000001b3: PUSH1 0x01 000001b5: PUSH1 0xa0 000001b7: SHL 000001b8: SUB 000001b9: DUP4 000001ba: AND 000001bb: SWAP1 000001bc: DUP2 000001bd: OR 000001be: DUP3 000001bf: SSTORE 000001c0: PUSH1 0x40 000001c2: MLOAD 000001c3: SWAP1 000001c4: SWAP2 000001c5: CALLER 000001c6: SWAP2 000001c7: PUSH32 0x8292fce18fa69edf4db7b94ea2e58241df0ae57f97e0a6c9b29067028bf92d76 000001e8: SWAP2 000001e9: SWAP1 000001ea: LOG3 000001eb: POP 000001ec: JUMP 000001ed: JUMPDEST 000001ee: CALLER 000001ef: PUSH1 0x00 000001f1: SWAP1 000001f2: DUP2 000001f3: MSTORE 000001f4: PUSH1 0x01 000001f6: PUSH1 0x20 000001f8: MSTORE 000001f9: PUSH1 0x40 000001fb: DUP2 000001fc: KECCAK256 000001fd: SLOAD 000001fe: SWAP1 000001ff: DUP2 00000200: SWAP1 00000201: SUB 00000202: PUSH2 0x021e 00000205: JUMPI 00000206: PUSH1 0x40 00000208: MLOAD 00000209: PUSH4 0x334ab3f5 0000020e: PUSH1 0xe1 00000210: SHL 00000211: DUP2 00000212: MSTORE 00000213: PUSH1 0x04 00000215: ADD 00000216: PUSH1 0x40 00000218: MLOAD 00000219: DUP1 0000021a: SWAP2 0000021b: SUB 0000021c: SWAP1 0000021d: REVERT 0000021e: JUMPDEST 0000021f: CALLER 00000220: PUSH1 0x00 00000222: DUP2 00000223: DUP2 00000224: MSTORE 00000225: PUSH1 0x01 00000227: PUSH1 0x20 00000229: MSTORE 0000022a: PUSH1 0x40 0000022c: DUP1 0000022d: DUP3 0000022e: KECCAK256 0000022f: DUP3 00000230: SWAP1 00000231: SSTORE 00000232: MLOAD 00000233: SWAP1 00000234: SWAP2 00000235: DUP3 00000236: SWAP2 00000237: DUP5 00000238: SWAP1 00000239: DUP4 0000023a: DUP2 0000023b: DUP2 0000023c: DUP2 0000023d: DUP6 0000023e: DUP8 0000023f: GAS 00000240: CALL 00000241: SWAP3 00000242: POP 00000243: POP 00000244: POP 00000245: RETURNDATASIZE 00000246: DUP1 00000247: PUSH1 0x00 00000249: DUP2 0000024a: EQ 0000024b: PUSH2 0x0270 0000024e: JUMPI 0000024f: PUSH1 0x40 00000251: MLOAD 00000252: SWAP2 00000253: POP 00000254: PUSH1 0x1f 00000256: NOT 00000257: PUSH1 0x3f 00000259: RETURNDATASIZE 0000025a: ADD 0000025b: AND 0000025c: DUP3 0000025d: ADD 0000025e: PUSH1 0x40 00000260: MSTORE 00000261: RETURNDATASIZE 00000262: DUP3 00000263: MSTORE 00000264: RETURNDATASIZE 00000265: PUSH1 0x00 00000267: PUSH1 0x20 00000269: DUP5 0000026a: ADD 0000026b: RETURNDATACOPY 0000026c: PUSH2 0x0275 0000026f: JUMP 00000270: JUMPDEST 00000271: PUSH1 0x60 00000273: SWAP2 00000274: POP 00000275: JUMPDEST 00000276: POP 00000277: SWAP2 00000278: POP 00000279: SWAP2 0000027a: POP 0000027b: DUP2 0000027c: PUSH2 0x02be 0000027f: JUMPI 00000280: PUSH1 0x40 00000282: MLOAD 00000283: PUSH3 0x461bcd 00000287: PUSH1 0xe5 00000289: SHL 0000028a: DUP2 0000028b: MSTORE 0000028c: PUSH1 0x20 0000028e: PUSH1 0x04 00000290: DUP3 00000291: ADD 00000292: MSTORE 00000293: PUSH1 0x14 00000295: PUSH1 0x24 00000297: DUP3 00000298: ADD 00000299: MSTORE 0000029a: PUSH20 0x2330b4b632b2103a379039b2b7321022ba3432b9 000002af: PUSH1 0x61 000002b1: SHL 000002b2: PUSH1 0x44 000002b4: DUP3 000002b5: ADD 000002b6: MSTORE 000002b7: PUSH1 0x64 000002b9: ADD 000002ba: PUSH2 0x0199 000002bd: JUMP 000002be: JUMPDEST 000002bf: POP 000002c0: POP 000002c1: POP 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH1 0x00 000002c6: SLOAD 000002c7: PUSH1 0x01 000002c9: PUSH1 0x01 000002cb: PUSH1 0xa0 000002cd: SHL 000002ce: SUB 000002cf: AND 000002d0: CALLER 000002d1: EQ 000002d2: PUSH2 0x02ed 000002d5: JUMPI 000002d6: PUSH1 0x40 000002d8: MLOAD 000002d9: PUSH3 0x461bcd 000002dd: PUSH1 0xe5 000002df: SHL 000002e0: DUP2 000002e1: MSTORE 000002e2: PUSH1 0x04 000002e4: ADD 000002e5: PUSH2 0x0199 000002e8: SWAP1 000002e9: PUSH2 0x06ac 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: SLOAD 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: DUP3 000002f6: SWAP2 000002f7: PUSH1 0x01 000002f9: PUSH1 0x01 000002fb: PUSH1 0xa0 000002fd: SHL 000002fe: SUB 000002ff: AND 00000300: SWAP1 00000301: SELFBALANCE 00000302: SWAP1 00000303: DUP4 00000304: DUP2 00000305: DUP2 00000306: DUP2 00000307: DUP6 00000308: DUP8 00000309: GAS 0000030a: CALL 0000030b: SWAP3 0000030c: POP 0000030d: POP 0000030e: POP 0000030f: RETURNDATASIZE 00000310: DUP1 00000311: PUSH1 0x00 00000313: DUP2 00000314: EQ 00000315: PUSH2 0x033a 00000318: JUMPI 00000319: PUSH1 0x40 0000031b: MLOAD 0000031c: SWAP2 0000031d: POP 0000031e: PUSH1 0x1f 00000320: NOT 00000321: PUSH1 0x3f 00000323: RETURNDATASIZE 00000324: ADD 00000325: AND 00000326: DUP3 00000327: ADD 00000328: PUSH1 0x40 0000032a: MSTORE 0000032b: RETURNDATASIZE 0000032c: DUP3 0000032d: MSTORE 0000032e: RETURNDATASIZE 0000032f: PUSH1 0x00 00000331: PUSH1 0x20 00000333: DUP5 00000334: ADD 00000335: RETURNDATACOPY 00000336: PUSH2 0x033f 00000339: JUMP 0000033a: JUMPDEST 0000033b: PUSH1 0x60 0000033d: SWAP2 0000033e: POP 0000033f: JUMPDEST 00000340: POP 00000341: SWAP2 00000342: POP 00000343: SWAP2 00000344: POP 00000345: DUP2 00000346: PUSH2 0x0388 00000349: JUMPI 0000034a: PUSH1 0x40 0000034c: MLOAD 0000034d: PUSH3 0x461bcd 00000351: PUSH1 0xe5 00000353: SHL 00000354: DUP2 00000355: MSTORE 00000356: PUSH1 0x20 00000358: PUSH1 0x04 0000035a: DUP3 0000035b: ADD 0000035c: MSTORE 0000035d: PUSH1 0x14 0000035f: PUSH1 0x24 00000361: DUP3 00000362: ADD 00000363: MSTORE 00000364: PUSH20 0x2330b4b632b2103a379039b2b7321022ba3432b9 00000379: PUSH1 0x61 0000037b: SHL 0000037c: PUSH1 0x44 0000037e: DUP3 0000037f: ADD 00000380: MSTORE 00000381: PUSH1 0x64 00000383: ADD 00000384: PUSH2 0x0199 00000387: JUMP 00000388: JUMPDEST 00000389: POP 0000038a: POP 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH1 0x00 0000038f: SLOAD 00000390: PUSH1 0x01 00000392: PUSH1 0x01 00000394: PUSH1 0xa0 00000396: SHL 00000397: SUB 00000398: AND 00000399: CALLER 0000039a: EQ 0000039b: PUSH2 0x03b6 0000039e: JUMPI 0000039f: PUSH1 0x40 000003a1: MLOAD 000003a2: PUSH3 0x461bcd 000003a6: PUSH1 0xe5 000003a8: SHL 000003a9: DUP2 000003aa: MSTORE 000003ab: PUSH1 0x04 000003ad: ADD 000003ae: PUSH2 0x0199 000003b1: SWAP1 000003b2: PUSH2 0x06ac 000003b5: JUMP 000003b6: JUMPDEST 000003b7: DUP1 000003b8: MLOAD 000003b9: DUP3 000003ba: MLOAD 000003bb: EQ 000003bc: PUSH2 0x0407 000003bf: JUMPI 000003c0: PUSH1 0x40 000003c2: MLOAD 000003c3: PUSH3 0x461bcd 000003c7: PUSH1 0xe5 000003c9: SHL 000003ca: DUP2 000003cb: MSTORE 000003cc: PUSH1 0x20 000003ce: PUSH1 0x04 000003d0: DUP3 000003d1: ADD 000003d2: MSTORE 000003d3: PUSH1 0x17 000003d5: PUSH1 0x24 000003d7: DUP3 000003d8: ADD 000003d9: MSTORE 000003da: PUSH32 0x646966666572656e74206c656e67746820617272617973000000000000000000 000003fb: PUSH1 0x44 000003fd: DUP3 000003fe: ADD 000003ff: MSTORE 00000400: PUSH1 0x64 00000402: ADD 00000403: PUSH2 0x0199 00000406: JUMP 00000407: JUMPDEST 00000408: PUSH1 0x00 0000040a: JUMPDEST 0000040b: DUP3 0000040c: MLOAD 0000040d: DUP2 0000040e: LT 0000040f: ISZERO 00000410: PUSH2 0x02be 00000413: JUMPI 00000414: PUSH8 0x011c37937e080000 0000041d: DUP3 0000041e: DUP3 0000041f: DUP2 00000420: MLOAD 00000421: DUP2 00000422: LT 00000423: PUSH2 0x042e 00000426: JUMPI 00000427: PUSH2 0x042e 0000042a: PUSH2 0x06d2 0000042d: JUMP 0000042e: JUMPDEST 0000042f: PUSH1 0x20 00000431: MUL 00000432: PUSH1 0x20 00000434: ADD 00000435: ADD 00000436: MLOAD 00000437: PUSH2 0x0440 0000043a: SWAP2 0000043b: SWAP1 0000043c: PUSH2 0x06fe 0000043f: JUMP 00000440: JUMPDEST 00000441: PUSH1 0x01 00000443: PUSH1 0x00 00000445: DUP6 00000446: DUP5 00000447: DUP2 00000448: MLOAD 00000449: DUP2 0000044a: LT 0000044b: PUSH2 0x0456 0000044e: JUMPI 0000044f: PUSH2 0x0456 00000452: PUSH2 0x06d2 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH1 0x20 00000459: MUL 0000045a: PUSH1 0x20 0000045c: ADD 0000045d: ADD 0000045e: MLOAD 0000045f: PUSH1 0x01 00000461: PUSH1 0x01 00000463: PUSH1 0xa0 00000465: SHL 00000466: SUB 00000467: AND 00000468: PUSH1 0x01 0000046a: PUSH1 0x01 0000046c: PUSH1 0xa0 0000046e: SHL 0000046f: SUB 00000470: AND 00000471: DUP2 00000472: MSTORE 00000473: PUSH1 0x20 00000475: ADD 00000476: SWAP1 00000477: DUP2 00000478: MSTORE 00000479: PUSH1 0x20 0000047b: ADD 0000047c: PUSH1 0x00 0000047e: KECCAK256 0000047f: DUP2 00000480: SWAP1 00000481: SSTORE 00000482: POP 00000483: PUSH8 0x011c37937e080000 0000048c: DUP3 0000048d: DUP3 0000048e: DUP2 0000048f: MLOAD 00000490: DUP2 00000491: LT 00000492: PUSH2 0x049d 00000495: JUMPI 00000496: PUSH2 0x049d 00000499: PUSH2 0x06d2 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH1 0x20 000004a0: MUL 000004a1: PUSH1 0x20 000004a3: ADD 000004a4: ADD 000004a5: MLOAD 000004a6: PUSH2 0x04af 000004a9: SWAP2 000004aa: SWAP1 000004ab: PUSH2 0x06fe 000004ae: JUMP 000004af: JUMPDEST 000004b0: PUSH1 0x02 000004b2: PUSH1 0x00 000004b4: DUP3 000004b5: DUP3 000004b6: SLOAD 000004b7: PUSH2 0x04c0 000004ba: SWAP2 000004bb: SWAP1 000004bc: PUSH2 0x071d 000004bf: JUMP 000004c0: JUMPDEST 000004c1: SWAP1 000004c2: SWAP2 000004c3: SSTORE 000004c4: POP 000004c5: DUP2 000004c6: SWAP1 000004c7: POP 000004c8: PUSH2 0x04d0 000004cb: DUP2 000004cc: PUSH2 0x0735 000004cf: JUMP 000004d0: JUMPDEST 000004d1: SWAP2 000004d2: POP 000004d3: POP 000004d4: PUSH2 0x040a 000004d7: JUMP 000004d8: JUMPDEST 000004d9: DUP1 000004da: CALLDATALOAD 000004db: PUSH1 0x01 000004dd: PUSH1 0x01 000004df: PUSH1 0xa0 000004e1: SHL 000004e2: SUB 000004e3: DUP2 000004e4: AND 000004e5: DUP2 000004e6: EQ 000004e7: PUSH2 0x04ef 000004ea: JUMPI 000004eb: PUSH1 0x00 000004ed: DUP1 000004ee: REVERT 000004ef: JUMPDEST 000004f0: SWAP2 000004f1: SWAP1 000004f2: POP 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH1 0x00 000004f7: PUSH1 0x20 000004f9: DUP3 000004fa: DUP5 000004fb: SUB 000004fc: SLT 000004fd: ISZERO 000004fe: PUSH2 0x0506 00000501: JUMPI 00000502: PUSH1 0x00 00000504: DUP1 00000505: REVERT 00000506: JUMPDEST 00000507: PUSH2 0x050f 0000050a: DUP3 0000050b: PUSH2 0x04d8 0000050e: JUMP 0000050f: JUMPDEST 00000510: SWAP4 00000511: SWAP3 00000512: POP 00000513: POP 00000514: POP 00000515: JUMP 00000516: JUMPDEST 00000517: PUSH4 0x4e487b71 0000051c: PUSH1 0xe0 0000051e: SHL 0000051f: PUSH1 0x00 00000521: MSTORE 00000522: PUSH1 0x41 00000524: PUSH1 0x04 00000526: MSTORE 00000527: PUSH1 0x24 00000529: PUSH1 0x00 0000052b: REVERT 0000052c: JUMPDEST 0000052d: PUSH1 0x40 0000052f: MLOAD 00000530: PUSH1 0x1f 00000532: DUP3 00000533: ADD 00000534: PUSH1 0x1f 00000536: NOT 00000537: AND 00000538: DUP2 00000539: ADD 0000053a: PUSH8 0xffffffffffffffff 00000543: DUP2 00000544: GT 00000545: DUP3 00000546: DUP3 00000547: LT 00000548: OR 00000549: ISZERO 0000054a: PUSH2 0x0555 0000054d: JUMPI 0000054e: PUSH2 0x0555 00000551: PUSH2 0x0516 00000554: JUMP 00000555: JUMPDEST 00000556: PUSH1 0x40 00000558: MSTORE 00000559: SWAP2 0000055a: SWAP1 0000055b: POP 0000055c: JUMP 0000055d: JUMPDEST 0000055e: PUSH1 0x00 00000560: PUSH8 0xffffffffffffffff 00000569: DUP3 0000056a: GT 0000056b: ISZERO 0000056c: PUSH2 0x0577 0000056f: JUMPI 00000570: PUSH2 0x0577 00000573: PUSH2 0x0516 00000576: JUMP 00000577: JUMPDEST 00000578: POP 00000579: PUSH1 0x05 0000057b: SHL 0000057c: PUSH1 0x20 0000057e: ADD 0000057f: SWAP1 00000580: JUMP 00000581: JUMPDEST 00000582: PUSH1 0x00 00000584: DUP3 00000585: PUSH1 0x1f 00000587: DUP4 00000588: ADD 00000589: SLT 0000058a: PUSH2 0x0592 0000058d: JUMPI 0000058e: PUSH1 0x00 00000590: DUP1 00000591: REVERT 00000592: JUMPDEST 00000593: DUP2 00000594: CALLDATALOAD 00000595: PUSH1 0x20 00000597: PUSH2 0x05a7 0000059a: PUSH2 0x05a2 0000059d: DUP4 0000059e: PUSH2 0x055d 000005a1: JUMP 000005a2: JUMPDEST 000005a3: PUSH2 0x052c 000005a6: JUMP 000005a7: JUMPDEST 000005a8: DUP3 000005a9: DUP2 000005aa: MSTORE 000005ab: PUSH1 0x05 000005ad: SWAP3 000005ae: SWAP1 000005af: SWAP3 000005b0: SHL 000005b1: DUP5 000005b2: ADD 000005b3: DUP2 000005b4: ADD 000005b5: SWAP2 000005b6: DUP2 000005b7: DUP2 000005b8: ADD 000005b9: SWAP1 000005ba: DUP7 000005bb: DUP5 000005bc: GT 000005bd: ISZERO 000005be: PUSH2 0x05c6 000005c1: JUMPI 000005c2: PUSH1 0x00 000005c4: DUP1 000005c5: REVERT 000005c6: JUMPDEST 000005c7: DUP3 000005c8: DUP7 000005c9: ADD 000005ca: JUMPDEST 000005cb: DUP5 000005cc: DUP2 000005cd: LT 000005ce: ISZERO 000005cf: PUSH2 0x05e1 000005d2: JUMPI 000005d3: DUP1 000005d4: CALLDATALOAD 000005d5: DUP4 000005d6: MSTORE 000005d7: SWAP2 000005d8: DUP4 000005d9: ADD 000005da: SWAP2 000005db: DUP4 000005dc: ADD 000005dd: PUSH2 0x05ca 000005e0: JUMP 000005e1: JUMPDEST 000005e2: POP 000005e3: SWAP7 000005e4: SWAP6 000005e5: POP 000005e6: POP 000005e7: POP 000005e8: POP 000005e9: POP 000005ea: POP 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH1 0x00 000005ef: DUP1 000005f0: PUSH1 0x40 000005f2: DUP4 000005f3: DUP6 000005f4: SUB 000005f5: SLT 000005f6: ISZERO 000005f7: PUSH2 0x05ff 000005fa: JUMPI 000005fb: PUSH1 0x00 000005fd: DUP1 000005fe: REVERT 000005ff: JUMPDEST 00000600: DUP3 00000601: CALLDATALOAD 00000602: PUSH8 0xffffffffffffffff 0000060b: DUP1 0000060c: DUP3 0000060d: GT 0000060e: ISZERO 0000060f: PUSH2 0x0617 00000612: JUMPI 00000613: PUSH1 0x00 00000615: DUP1 00000616: REVERT 00000617: JUMPDEST 00000618: DUP2 00000619: DUP6 0000061a: ADD 0000061b: SWAP2 0000061c: POP 0000061d: DUP6 0000061e: PUSH1 0x1f 00000620: DUP4 00000621: ADD 00000622: SLT 00000623: PUSH2 0x062b 00000626: JUMPI 00000627: PUSH1 0x00 00000629: DUP1 0000062a: REVERT 0000062b: JUMPDEST 0000062c: DUP2 0000062d: CALLDATALOAD 0000062e: PUSH1 0x20 00000630: PUSH2 0x063b 00000633: PUSH2 0x05a2 00000636: DUP4 00000637: PUSH2 0x055d 0000063a: JUMP 0000063b: JUMPDEST 0000063c: DUP3 0000063d: DUP2 0000063e: MSTORE 0000063f: PUSH1 0x05 00000641: SWAP3 00000642: SWAP1 00000643: SWAP3 00000644: SHL 00000645: DUP5 00000646: ADD 00000647: DUP2 00000648: ADD 00000649: SWAP2 0000064a: DUP2 0000064b: DUP2 0000064c: ADD 0000064d: SWAP1 0000064e: DUP10 0000064f: DUP5 00000650: GT 00000651: ISZERO 00000652: PUSH2 0x065a 00000655: JUMPI 00000656: PUSH1 0x00 00000658: DUP1 00000659: REVERT 0000065a: JUMPDEST 0000065b: SWAP5 0000065c: DUP3 0000065d: ADD 0000065e: SWAP5 0000065f: JUMPDEST 00000660: DUP4 00000661: DUP7 00000662: LT 00000663: ISZERO 00000664: PUSH2 0x067f 00000667: JUMPI 00000668: PUSH2 0x0670 0000066b: DUP7 0000066c: PUSH2 0x04d8 0000066f: JUMP 00000670: JUMPDEST 00000671: DUP3 00000672: MSTORE 00000673: SWAP5 00000674: DUP3 00000675: ADD 00000676: SWAP5 00000677: SWAP1 00000678: DUP3 00000679: ADD 0000067a: SWAP1 0000067b: PUSH2 0x065f 0000067e: JUMP 0000067f: JUMPDEST 00000680: SWAP7 00000681: POP 00000682: POP 00000683: DUP7 00000684: ADD 00000685: CALLDATALOAD 00000686: SWAP3 00000687: POP 00000688: POP 00000689: DUP1 0000068a: DUP3 0000068b: GT 0000068c: ISZERO 0000068d: PUSH2 0x0695 00000690: JUMPI 00000691: PUSH1 0x00 00000693: DUP1 00000694: REVERT 00000695: JUMPDEST 00000696: POP 00000697: PUSH2 0x06a2 0000069a: DUP6 0000069b: DUP3 0000069c: DUP7 0000069d: ADD 0000069e: PUSH2 0x0581 000006a1: JUMP 000006a2: JUMPDEST 000006a3: SWAP2 000006a4: POP 000006a5: POP 000006a6: SWAP3 000006a7: POP 000006a8: SWAP3 000006a9: SWAP1 000006aa: POP 000006ab: JUMP 000006ac: JUMPDEST 000006ad: PUSH1 0x20 000006af: DUP1 000006b0: DUP3 000006b1: MSTORE 000006b2: PUSH1 0x0c 000006b4: SWAP1 000006b5: DUP3 000006b6: ADD 000006b7: MSTORE 000006b8: PUSH12 0x15539055551213d492569151 000006c5: PUSH1 0xa2 000006c7: SHL 000006c8: PUSH1 0x40 000006ca: DUP3 000006cb: ADD 000006cc: MSTORE 000006cd: PUSH1 0x60 000006cf: ADD 000006d0: SWAP1 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH4 0x4e487b71 000006d8: PUSH1 0xe0 000006da: SHL 000006db: PUSH1 0x00 000006dd: MSTORE 000006de: PUSH1 0x32 000006e0: PUSH1 0x04 000006e2: MSTORE 000006e3: PUSH1 0x24 000006e5: PUSH1 0x00 000006e7: REVERT 000006e8: JUMPDEST 000006e9: PUSH4 0x4e487b71 000006ee: PUSH1 0xe0 000006f0: SHL 000006f1: PUSH1 0x00 000006f3: MSTORE 000006f4: PUSH1 0x11 000006f6: PUSH1 0x04 000006f8: MSTORE 000006f9: PUSH1 0x24 000006fb: PUSH1 0x00 000006fd: REVERT 000006fe: JUMPDEST 000006ff: PUSH1 0x00 00000701: DUP2 00000702: PUSH1 0x00 00000704: NOT 00000705: DIV 00000706: DUP4 00000707: GT 00000708: DUP3 00000709: ISZERO 0000070a: ISZERO 0000070b: AND 0000070c: ISZERO 0000070d: PUSH2 0x0718 00000710: JUMPI 00000711: PUSH2 0x0718 00000714: PUSH2 0x06e8 00000717: JUMP 00000718: JUMPDEST 00000719: POP 0000071a: MUL 0000071b: SWAP1 0000071c: JUMP 0000071d: JUMPDEST 0000071e: PUSH1 0x00 00000720: DUP3 00000721: NOT 00000722: DUP3 00000723: GT 00000724: ISZERO 00000725: PUSH2 0x0730 00000728: JUMPI 00000729: PUSH2 0x0730 0000072c: PUSH2 0x06e8 0000072f: JUMP 00000730: JUMPDEST 00000731: POP 00000732: ADD 00000733: SWAP1 00000734: JUMP 00000735: JUMPDEST 00000736: PUSH1 0x00 00000738: PUSH1 0x01 0000073a: DUP3 0000073b: ADD 0000073c: PUSH2 0x0747 0000073f: JUMPI 00000740: PUSH2 0x0747 00000743: PUSH2 0x06e8 00000746: JUMP 00000747: JUMPDEST 00000748: POP 00000749: PUSH1 0x01 0000074b: ADD 0000074c: SWAP1 0000074d: JUMP 0000074e: INVALID 0000074f: LOG2 00000750: PUSH5 0x6970667358 00000756: UNKNOWN(0x22) 00000757: SLT 00000758: KECCAK256 00000759: PUSH17 0xf178b3bf207d9a53e5b39f378ed591165d 0000076b: PUSH19 0xb5c1b20b449bf2c1c725ebaec564736f6c6343 0000077f: STOP 00000780: ADDMOD 00000781: UNKNOWN(0x0F) 00000782: STOP 00000783: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4d7bcbee0009b8305f25451d8a6f9cb1c9570a0988ebeb8da2d7f687eff0bc19
call_targets:
0xdd2c878df5e095013cb2214c7a5e300a11c29c92
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4d7bcbee0009b8305f25451d8a6f9cb1c9570a0988ebeb8da2d7f687eff0bc19",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdd2c878df5e095013cb2214c7a5e300a11c29c92"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ac84414",
"selector": "0x9ac84414",
"calldata_variants": [
"0x9ac84414",
"0x9ac844140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb2efd32f",
"selector": "0xb2efd32f",
"calldata_variants": [
"0xb2efd32f",
"0xb2efd32f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc4ad803",
"selector": "0xbc4ad803",
"calldata_variants": [
"0xbc4ad803",
"0xbc4ad8030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4ba2363a",
"selector": "0x4ba2363a",
"calldata_variants": [
"0x4ba2363a",
"0x4ba2363a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 778,
"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: 0x4d7bcbee0009b8305f25451d8a6f9cb1c9570a0988ebeb8da2d7f687eff0bc19
call_targets:
0xdd2c878df5e095013cb2214c7a5e300a11c29c92
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4d7bcbee0009b8305f25451d8a6f9cb1c9570a0988ebeb8da2d7f687eff0bc19",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdd2c878df5e095013cb2214c7a5e300a11c29c92"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ac84414",
"selector": "0x9ac84414",
"calldata_variants": [
"0x9ac84414",
"0x9ac844140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb2efd32f",
"selector": "0xb2efd32f",
"calldata_variants": [
"0xb2efd32f",
"0xb2efd32f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc4ad803",
"selector": "0xbc4ad803",
"calldata_variants": [
"0xbc4ad803",
"0xbc4ad8030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4ba2363a",
"selector": "0x4ba2363a",
"calldata_variants": [
"0x4ba2363a",
"0x4ba2363a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 778,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|