019b477e-be18-71d0-8d22-3a9d6c6c4df1
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 |
|---|---|---|---|---|
| 24331 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24332 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67910 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67911 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67912 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67913 | 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 0x00af 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x00b9 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x095ea7b3 00000047: EQ 00000048: PUSH2 0x0149 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x18160ddd 00000052: EQ 00000053: PUSH2 0x01ae 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x23b872dd 0000005d: EQ 0000005e: PUSH2 0x01d9 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x2e1a7d4d 00000068: EQ 00000069: PUSH2 0x025e 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x313ce567 00000073: EQ 00000074: PUSH2 0x028b 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x70a08231 0000007e: EQ 0000007f: PUSH2 0x02bc 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x95d89b41 00000089: EQ 0000008a: PUSH2 0x0313 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xa9059cbb 00000094: EQ 00000095: PUSH2 0x03a3 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xd0e30db0 0000009f: EQ 000000a0: PUSH2 0x0408 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xdd62ed3e 000000aa: EQ 000000ab: PUSH2 0x0412 000000ae: JUMPI 000000af: JUMPDEST 000000b0: PUSH2 0x00b7 000000b3: PUSH2 0x0489 000000b6: JUMP 000000b7: JUMPDEST 000000b8: STOP 000000b9: JUMPDEST 000000ba: CALLVALUE 000000bb: DUP1 000000bc: ISZERO 000000bd: PUSH2 0x00c5 000000c0: JUMPI 000000c1: PUSH1 0x00 000000c3: DUP1 000000c4: REVERT 000000c5: JUMPDEST 000000c6: POP 000000c7: PUSH2 0x00ce 000000ca: PUSH2 0x0526 000000cd: JUMP 000000ce: JUMPDEST 000000cf: PUSH1 0x40 000000d1: MLOAD 000000d2: DUP1 000000d3: DUP1 000000d4: PUSH1 0x20 000000d6: ADD 000000d7: DUP3 000000d8: DUP2 000000d9: SUB 000000da: DUP3 000000db: MSTORE 000000dc: DUP4 000000dd: DUP2 000000de: DUP2 000000df: MLOAD 000000e0: DUP2 000000e1: MSTORE 000000e2: PUSH1 0x20 000000e4: ADD 000000e5: SWAP2 000000e6: POP 000000e7: DUP1 000000e8: MLOAD 000000e9: SWAP1 000000ea: PUSH1 0x20 000000ec: ADD 000000ed: SWAP1 000000ee: DUP1 000000ef: DUP4 000000f0: DUP4 000000f1: PUSH1 0x00 000000f3: JUMPDEST 000000f4: DUP4 000000f5: DUP2 000000f6: LT 000000f7: ISZERO 000000f8: PUSH2 0x010e 000000fb: JUMPI 000000fc: DUP1 000000fd: DUP3 000000fe: ADD 000000ff: MLOAD 00000100: DUP2 00000101: DUP5 00000102: ADD 00000103: MSTORE 00000104: PUSH1 0x20 00000106: DUP2 00000107: ADD 00000108: SWAP1 00000109: POP 0000010a: PUSH2 0x00f3 0000010d: JUMP 0000010e: JUMPDEST 0000010f: POP 00000110: POP 00000111: POP 00000112: POP 00000113: SWAP1 00000114: POP 00000115: SWAP1 00000116: DUP2 00000117: ADD 00000118: SWAP1 00000119: PUSH1 0x1f 0000011b: AND 0000011c: DUP1 0000011d: ISZERO 0000011e: PUSH2 0x013b 00000121: JUMPI 00000122: DUP1 00000123: DUP3 00000124: SUB 00000125: DUP1 00000126: MLOAD 00000127: PUSH1 0x01 00000129: DUP4 0000012a: PUSH1 0x20 0000012c: SUB 0000012d: PUSH2 0x0100 00000130: EXP 00000131: SUB 00000132: NOT 00000133: AND 00000134: DUP2 00000135: MSTORE 00000136: PUSH1 0x20 00000138: ADD 00000139: SWAP2 0000013a: POP 0000013b: JUMPDEST 0000013c: POP 0000013d: SWAP3 0000013e: POP 0000013f: POP 00000140: POP 00000141: PUSH1 0x40 00000143: MLOAD 00000144: DUP1 00000145: SWAP2 00000146: SUB 00000147: SWAP1 00000148: RETURN 00000149: JUMPDEST 0000014a: CALLVALUE 0000014b: DUP1 0000014c: ISZERO 0000014d: PUSH2 0x0155 00000150: JUMPI 00000151: PUSH1 0x00 00000153: DUP1 00000154: REVERT 00000155: JUMPDEST 00000156: POP 00000157: PUSH2 0x0194 0000015a: PUSH1 0x04 0000015c: DUP1 0000015d: CALLDATASIZE 0000015e: SUB 0000015f: DUP2 00000160: ADD 00000161: SWAP1 00000162: DUP1 00000163: DUP1 00000164: CALLDATALOAD 00000165: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000017a: AND 0000017b: SWAP1 0000017c: PUSH1 0x20 0000017e: ADD 0000017f: SWAP1 00000180: SWAP3 00000181: SWAP2 00000182: SWAP1 00000183: DUP1 00000184: CALLDATALOAD 00000185: SWAP1 00000186: PUSH1 0x20 00000188: ADD 00000189: SWAP1 0000018a: SWAP3 0000018b: SWAP2 0000018c: SWAP1 0000018d: POP 0000018e: POP 0000018f: POP 00000190: PUSH2 0x05c4 00000193: JUMP 00000194: JUMPDEST 00000195: PUSH1 0x40 00000197: MLOAD 00000198: DUP1 00000199: DUP3 0000019a: ISZERO 0000019b: ISZERO 0000019c: ISZERO 0000019d: ISZERO 0000019e: DUP2 0000019f: MSTORE 000001a0: PUSH1 0x20 000001a2: ADD 000001a3: SWAP2 000001a4: POP 000001a5: POP 000001a6: PUSH1 0x40 000001a8: MLOAD 000001a9: DUP1 000001aa: SWAP2 000001ab: SUB 000001ac: SWAP1 000001ad: RETURN 000001ae: JUMPDEST 000001af: CALLVALUE 000001b0: DUP1 000001b1: ISZERO 000001b2: PUSH2 0x01ba 000001b5: JUMPI 000001b6: PUSH1 0x00 000001b8: DUP1 000001b9: REVERT 000001ba: JUMPDEST 000001bb: POP 000001bc: PUSH2 0x01c3 000001bf: PUSH2 0x06b6 000001c2: JUMP 000001c3: JUMPDEST 000001c4: PUSH1 0x40 000001c6: MLOAD 000001c7: DUP1 000001c8: DUP3 000001c9: DUP2 000001ca: MSTORE 000001cb: PUSH1 0x20 000001cd: ADD 000001ce: SWAP2 000001cf: POP 000001d0: POP 000001d1: PUSH1 0x40 000001d3: MLOAD 000001d4: DUP1 000001d5: SWAP2 000001d6: SUB 000001d7: SWAP1 000001d8: RETURN 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x01e5 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x0244 000001ea: PUSH1 0x04 000001ec: DUP1 000001ed: CALLDATASIZE 000001ee: SUB 000001ef: DUP2 000001f0: ADD 000001f1: SWAP1 000001f2: DUP1 000001f3: DUP1 000001f4: CALLDATALOAD 000001f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020a: AND 0000020b: SWAP1 0000020c: PUSH1 0x20 0000020e: ADD 0000020f: SWAP1 00000210: SWAP3 00000211: SWAP2 00000212: SWAP1 00000213: DUP1 00000214: CALLDATALOAD 00000215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000022a: AND 0000022b: SWAP1 0000022c: PUSH1 0x20 0000022e: ADD 0000022f: SWAP1 00000230: SWAP3 00000231: SWAP2 00000232: SWAP1 00000233: DUP1 00000234: CALLDATALOAD 00000235: SWAP1 00000236: PUSH1 0x20 00000238: ADD 00000239: SWAP1 0000023a: SWAP3 0000023b: SWAP2 0000023c: SWAP1 0000023d: POP 0000023e: POP 0000023f: POP 00000240: PUSH2 0x06d5 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x40 00000247: MLOAD 00000248: DUP1 00000249: DUP3 0000024a: ISZERO 0000024b: ISZERO 0000024c: ISZERO 0000024d: ISZERO 0000024e: DUP2 0000024f: MSTORE 00000250: PUSH1 0x20 00000252: ADD 00000253: SWAP2 00000254: POP 00000255: POP 00000256: PUSH1 0x40 00000258: MLOAD 00000259: DUP1 0000025a: SWAP2 0000025b: SUB 0000025c: SWAP1 0000025d: RETURN 0000025e: JUMPDEST 0000025f: CALLVALUE 00000260: DUP1 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: PUSH2 0x0289 0000026f: PUSH1 0x04 00000271: DUP1 00000272: CALLDATASIZE 00000273: SUB 00000274: DUP2 00000275: ADD 00000276: SWAP1 00000277: DUP1 00000278: DUP1 00000279: CALLDATALOAD 0000027a: SWAP1 0000027b: PUSH1 0x20 0000027d: ADD 0000027e: SWAP1 0000027f: SWAP3 00000280: SWAP2 00000281: SWAP1 00000282: POP 00000283: POP 00000284: POP 00000285: PUSH2 0x0a22 00000288: JUMP 00000289: JUMPDEST 0000028a: STOP 0000028b: JUMPDEST 0000028c: CALLVALUE 0000028d: DUP1 0000028e: ISZERO 0000028f: PUSH2 0x0297 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: POP 00000299: PUSH2 0x02a0 0000029c: PUSH2 0x0b55 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH1 0x40 000002a3: MLOAD 000002a4: DUP1 000002a5: DUP3 000002a6: PUSH1 0xff 000002a8: AND 000002a9: PUSH1 0xff 000002ab: AND 000002ac: DUP2 000002ad: MSTORE 000002ae: PUSH1 0x20 000002b0: ADD 000002b1: SWAP2 000002b2: POP 000002b3: POP 000002b4: PUSH1 0x40 000002b6: MLOAD 000002b7: DUP1 000002b8: SWAP2 000002b9: SUB 000002ba: SWAP1 000002bb: RETURN 000002bc: JUMPDEST 000002bd: CALLVALUE 000002be: DUP1 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: POP 000002ca: PUSH2 0x02fd 000002cd: PUSH1 0x04 000002cf: DUP1 000002d0: CALLDATASIZE 000002d1: SUB 000002d2: DUP2 000002d3: ADD 000002d4: SWAP1 000002d5: DUP1 000002d6: DUP1 000002d7: CALLDATALOAD 000002d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ed: AND 000002ee: SWAP1 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: SWAP1 000002f3: SWAP3 000002f4: SWAP2 000002f5: SWAP1 000002f6: POP 000002f7: POP 000002f8: POP 000002f9: PUSH2 0x0b68 000002fc: JUMP 000002fd: JUMPDEST 000002fe: PUSH1 0x40 00000300: MLOAD 00000301: DUP1 00000302: DUP3 00000303: DUP2 00000304: MSTORE 00000305: PUSH1 0x20 00000307: ADD 00000308: SWAP2 00000309: POP 0000030a: POP 0000030b: PUSH1 0x40 0000030d: MLOAD 0000030e: DUP1 0000030f: SWAP2 00000310: SUB 00000311: SWAP1 00000312: RETURN 00000313: JUMPDEST 00000314: CALLVALUE 00000315: DUP1 00000316: ISZERO 00000317: PUSH2 0x031f 0000031a: JUMPI 0000031b: PUSH1 0x00 0000031d: DUP1 0000031e: REVERT 0000031f: JUMPDEST 00000320: POP 00000321: PUSH2 0x0328 00000324: PUSH2 0x0b80 00000327: JUMP 00000328: JUMPDEST 00000329: PUSH1 0x40 0000032b: MLOAD 0000032c: DUP1 0000032d: DUP1 0000032e: PUSH1 0x20 00000330: ADD 00000331: DUP3 00000332: DUP2 00000333: SUB 00000334: DUP3 00000335: MSTORE 00000336: DUP4 00000337: DUP2 00000338: DUP2 00000339: MLOAD 0000033a: DUP2 0000033b: MSTORE 0000033c: PUSH1 0x20 0000033e: ADD 0000033f: SWAP2 00000340: POP 00000341: DUP1 00000342: MLOAD 00000343: SWAP1 00000344: PUSH1 0x20 00000346: ADD 00000347: SWAP1 00000348: DUP1 00000349: DUP4 0000034a: DUP4 0000034b: PUSH1 0x00 0000034d: JUMPDEST 0000034e: DUP4 0000034f: DUP2 00000350: LT 00000351: ISZERO 00000352: PUSH2 0x0368 00000355: JUMPI 00000356: DUP1 00000357: DUP3 00000358: ADD 00000359: MLOAD 0000035a: DUP2 0000035b: DUP5 0000035c: ADD 0000035d: MSTORE 0000035e: PUSH1 0x20 00000360: DUP2 00000361: ADD 00000362: SWAP1 00000363: POP 00000364: PUSH2 0x034d 00000367: JUMP 00000368: JUMPDEST 00000369: POP 0000036a: POP 0000036b: POP 0000036c: POP 0000036d: SWAP1 0000036e: POP 0000036f: SWAP1 00000370: DUP2 00000371: ADD 00000372: SWAP1 00000373: PUSH1 0x1f 00000375: AND 00000376: DUP1 00000377: ISZERO 00000378: PUSH2 0x0395 0000037b: JUMPI 0000037c: DUP1 0000037d: DUP3 0000037e: SUB 0000037f: DUP1 00000380: MLOAD 00000381: PUSH1 0x01 00000383: DUP4 00000384: PUSH1 0x20 00000386: SUB 00000387: PUSH2 0x0100 0000038a: EXP 0000038b: SUB 0000038c: NOT 0000038d: AND 0000038e: DUP2 0000038f: MSTORE 00000390: PUSH1 0x20 00000392: ADD 00000393: SWAP2 00000394: POP 00000395: JUMPDEST 00000396: POP 00000397: SWAP3 00000398: POP 00000399: POP 0000039a: POP 0000039b: PUSH1 0x40 0000039d: MLOAD 0000039e: DUP1 0000039f: SWAP2 000003a0: SUB 000003a1: SWAP1 000003a2: RETURN 000003a3: JUMPDEST 000003a4: CALLVALUE 000003a5: DUP1 000003a6: ISZERO 000003a7: PUSH2 0x03af 000003aa: JUMPI 000003ab: PUSH1 0x00 000003ad: DUP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: POP 000003b1: PUSH2 0x03ee 000003b4: PUSH1 0x04 000003b6: DUP1 000003b7: CALLDATASIZE 000003b8: SUB 000003b9: DUP2 000003ba: ADD 000003bb: SWAP1 000003bc: DUP1 000003bd: DUP1 000003be: CALLDATALOAD 000003bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d4: AND 000003d5: SWAP1 000003d6: PUSH1 0x20 000003d8: ADD 000003d9: SWAP1 000003da: SWAP3 000003db: SWAP2 000003dc: SWAP1 000003dd: DUP1 000003de: CALLDATALOAD 000003df: SWAP1 000003e0: PUSH1 0x20 000003e2: ADD 000003e3: SWAP1 000003e4: SWAP3 000003e5: SWAP2 000003e6: SWAP1 000003e7: POP 000003e8: POP 000003e9: POP 000003ea: PUSH2 0x0c1e 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH1 0x40 000003f1: MLOAD 000003f2: DUP1 000003f3: DUP3 000003f4: ISZERO 000003f5: ISZERO 000003f6: ISZERO 000003f7: ISZERO 000003f8: DUP2 000003f9: MSTORE 000003fa: PUSH1 0x20 000003fc: ADD 000003fd: SWAP2 000003fe: POP 000003ff: POP 00000400: PUSH1 0x40 00000402: MLOAD 00000403: DUP1 00000404: SWAP2 00000405: SUB 00000406: SWAP1 00000407: RETURN 00000408: JUMPDEST 00000409: PUSH2 0x0410 0000040c: PUSH2 0x0489 0000040f: JUMP 00000410: JUMPDEST 00000411: STOP 00000412: JUMPDEST 00000413: CALLVALUE 00000414: DUP1 00000415: ISZERO 00000416: PUSH2 0x041e 00000419: JUMPI 0000041a: PUSH1 0x00 0000041c: DUP1 0000041d: REVERT 0000041e: JUMPDEST 0000041f: POP 00000420: PUSH2 0x0473 00000423: PUSH1 0x04 00000425: DUP1 00000426: CALLDATASIZE 00000427: SUB 00000428: DUP2 00000429: ADD 0000042a: SWAP1 0000042b: DUP1 0000042c: DUP1 0000042d: CALLDATALOAD 0000042e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000443: AND 00000444: SWAP1 00000445: PUSH1 0x20 00000447: ADD 00000448: SWAP1 00000449: SWAP3 0000044a: SWAP2 0000044b: SWAP1 0000044c: DUP1 0000044d: CALLDATALOAD 0000044e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000463: AND 00000464: SWAP1 00000465: PUSH1 0x20 00000467: ADD 00000468: SWAP1 00000469: SWAP3 0000046a: SWAP2 0000046b: SWAP1 0000046c: POP 0000046d: POP 0000046e: POP 0000046f: PUSH2 0x0c33 00000472: JUMP 00000473: JUMPDEST 00000474: PUSH1 0x40 00000476: MLOAD 00000477: DUP1 00000478: DUP3 00000479: DUP2 0000047a: MSTORE 0000047b: PUSH1 0x20 0000047d: ADD 0000047e: SWAP2 0000047f: POP 00000480: POP 00000481: PUSH1 0x40 00000483: MLOAD 00000484: DUP1 00000485: SWAP2 00000486: SUB 00000487: SWAP1 00000488: RETURN 00000489: JUMPDEST 0000048a: CALLVALUE 0000048b: PUSH1 0x03 0000048d: PUSH1 0x00 0000048f: CALLER 00000490: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a5: AND 000004a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004bb: AND 000004bc: DUP2 000004bd: MSTORE 000004be: PUSH1 0x20 000004c0: ADD 000004c1: SWAP1 000004c2: DUP2 000004c3: MSTORE 000004c4: PUSH1 0x20 000004c6: ADD 000004c7: PUSH1 0x00 000004c9: KECCAK256 000004ca: PUSH1 0x00 000004cc: DUP3 000004cd: DUP3 000004ce: SLOAD 000004cf: ADD 000004d0: SWAP3 000004d1: POP 000004d2: POP 000004d3: DUP2 000004d4: SWAP1 000004d5: SSTORE 000004d6: POP 000004d7: CALLER 000004d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ed: AND 000004ee: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000050f: CALLVALUE 00000510: PUSH1 0x40 00000512: MLOAD 00000513: DUP1 00000514: DUP3 00000515: DUP2 00000516: MSTORE 00000517: PUSH1 0x20 00000519: ADD 0000051a: SWAP2 0000051b: POP 0000051c: POP 0000051d: PUSH1 0x40 0000051f: MLOAD 00000520: DUP1 00000521: SWAP2 00000522: SUB 00000523: SWAP1 00000524: LOG2 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0x00 00000529: DUP1 0000052a: SLOAD 0000052b: PUSH1 0x01 0000052d: DUP2 0000052e: PUSH1 0x01 00000530: AND 00000531: ISZERO 00000532: PUSH2 0x0100 00000535: MUL 00000536: SUB 00000537: AND 00000538: PUSH1 0x02 0000053a: SWAP1 0000053b: DIV 0000053c: DUP1 0000053d: PUSH1 0x1f 0000053f: ADD 00000540: PUSH1 0x20 00000542: DUP1 00000543: SWAP2 00000544: DIV 00000545: MUL 00000546: PUSH1 0x20 00000548: ADD 00000549: PUSH1 0x40 0000054b: MLOAD 0000054c: SWAP1 0000054d: DUP2 0000054e: ADD 0000054f: PUSH1 0x40 00000551: MSTORE 00000552: DUP1 00000553: SWAP3 00000554: SWAP2 00000555: SWAP1 00000556: DUP2 00000557: DUP2 00000558: MSTORE 00000559: PUSH1 0x20 0000055b: ADD 0000055c: DUP3 0000055d: DUP1 0000055e: SLOAD 0000055f: PUSH1 0x01 00000561: DUP2 00000562: PUSH1 0x01 00000564: AND 00000565: ISZERO 00000566: PUSH2 0x0100 00000569: MUL 0000056a: SUB 0000056b: AND 0000056c: PUSH1 0x02 0000056e: SWAP1 0000056f: DIV 00000570: DUP1 00000571: ISZERO 00000572: PUSH2 0x05bc 00000575: JUMPI 00000576: DUP1 00000577: PUSH1 0x1f 00000579: LT 0000057a: PUSH2 0x0591 0000057d: JUMPI 0000057e: PUSH2 0x0100 00000581: DUP1 00000582: DUP4 00000583: SLOAD 00000584: DIV 00000585: MUL 00000586: DUP4 00000587: MSTORE 00000588: SWAP2 00000589: PUSH1 0x20 0000058b: ADD 0000058c: SWAP2 0000058d: PUSH2 0x05bc 00000590: JUMP 00000591: JUMPDEST 00000592: DUP3 00000593: ADD 00000594: SWAP2 00000595: SWAP1 00000596: PUSH1 0x00 00000598: MSTORE 00000599: PUSH1 0x20 0000059b: PUSH1 0x00 0000059d: KECCAK256 0000059e: SWAP1 0000059f: JUMPDEST 000005a0: DUP2 000005a1: SLOAD 000005a2: DUP2 000005a3: MSTORE 000005a4: SWAP1 000005a5: PUSH1 0x01 000005a7: ADD 000005a8: SWAP1 000005a9: PUSH1 0x20 000005ab: ADD 000005ac: DUP1 000005ad: DUP4 000005ae: GT 000005af: PUSH2 0x059f 000005b2: JUMPI 000005b3: DUP3 000005b4: SWAP1 000005b5: SUB 000005b6: PUSH1 0x1f 000005b8: AND 000005b9: DUP3 000005ba: ADD 000005bb: SWAP2 000005bc: JUMPDEST 000005bd: POP 000005be: POP 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: DUP2 000005c3: JUMP 000005c4: JUMPDEST 000005c5: PUSH1 0x00 000005c7: DUP2 000005c8: PUSH1 0x04 000005ca: PUSH1 0x00 000005cc: CALLER 000005cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e2: AND 000005e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f8: AND 000005f9: DUP2 000005fa: MSTORE 000005fb: PUSH1 0x20 000005fd: ADD 000005fe: SWAP1 000005ff: DUP2 00000600: MSTORE 00000601: PUSH1 0x20 00000603: ADD 00000604: PUSH1 0x00 00000606: KECCAK256 00000607: PUSH1 0x00 00000609: DUP6 0000060a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061f: AND 00000620: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000635: AND 00000636: DUP2 00000637: MSTORE 00000638: PUSH1 0x20 0000063a: ADD 0000063b: SWAP1 0000063c: DUP2 0000063d: MSTORE 0000063e: PUSH1 0x20 00000640: ADD 00000641: PUSH1 0x00 00000643: KECCAK256 00000644: DUP2 00000645: SWAP1 00000646: SSTORE 00000647: POP 00000648: DUP3 00000649: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065e: AND 0000065f: CALLER 00000660: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000675: AND 00000676: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000697: DUP5 00000698: PUSH1 0x40 0000069a: MLOAD 0000069b: DUP1 0000069c: DUP3 0000069d: DUP2 0000069e: MSTORE 0000069f: PUSH1 0x20 000006a1: ADD 000006a2: SWAP2 000006a3: POP 000006a4: POP 000006a5: PUSH1 0x40 000006a7: MLOAD 000006a8: DUP1 000006a9: SWAP2 000006aa: SUB 000006ab: SWAP1 000006ac: LOG3 000006ad: PUSH1 0x01 000006af: SWAP1 000006b0: POP 000006b1: SWAP3 000006b2: SWAP2 000006b3: POP 000006b4: POP 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH1 0x00 000006b9: ADDRESS 000006ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cf: AND 000006d0: BALANCE 000006d1: SWAP1 000006d2: POP 000006d3: SWAP1 000006d4: JUMP 000006d5: JUMPDEST 000006d6: PUSH1 0x00 000006d8: DUP2 000006d9: PUSH1 0x03 000006db: PUSH1 0x00 000006dd: DUP7 000006de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f3: AND 000006f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000709: AND 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x20 0000070e: ADD 0000070f: SWAP1 00000710: DUP2 00000711: MSTORE 00000712: PUSH1 0x20 00000714: ADD 00000715: PUSH1 0x00 00000717: KECCAK256 00000718: SLOAD 00000719: LT 0000071a: ISZERO 0000071b: ISZERO 0000071c: ISZERO 0000071d: PUSH2 0x0725 00000720: JUMPI 00000721: PUSH1 0x00 00000723: DUP1 00000724: REVERT 00000725: JUMPDEST 00000726: CALLER 00000727: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073c: AND 0000073d: DUP5 0000073e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000753: AND 00000754: EQ 00000755: ISZERO 00000756: DUP1 00000757: ISZERO 00000758: PUSH2 0x07fd 0000075b: JUMPI 0000075c: POP 0000075d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000077e: PUSH1 0x04 00000780: PUSH1 0x00 00000782: DUP7 00000783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000798: AND 00000799: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ae: AND 000007af: DUP2 000007b0: MSTORE 000007b1: PUSH1 0x20 000007b3: ADD 000007b4: SWAP1 000007b5: DUP2 000007b6: MSTORE 000007b7: PUSH1 0x20 000007b9: ADD 000007ba: PUSH1 0x00 000007bc: KECCAK256 000007bd: PUSH1 0x00 000007bf: CALLER 000007c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d5: AND 000007d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007eb: AND 000007ec: DUP2 000007ed: MSTORE 000007ee: PUSH1 0x20 000007f0: ADD 000007f1: SWAP1 000007f2: DUP2 000007f3: MSTORE 000007f4: PUSH1 0x20 000007f6: ADD 000007f7: PUSH1 0x00 000007f9: KECCAK256 000007fa: SLOAD 000007fb: EQ 000007fc: ISZERO 000007fd: JUMPDEST 000007fe: ISZERO 000007ff: PUSH2 0x0918 00000802: JUMPI 00000803: DUP2 00000804: PUSH1 0x04 00000806: PUSH1 0x00 00000808: DUP7 00000809: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081e: AND 0000081f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000834: AND 00000835: DUP2 00000836: MSTORE 00000837: PUSH1 0x20 00000839: ADD 0000083a: SWAP1 0000083b: DUP2 0000083c: MSTORE 0000083d: PUSH1 0x20 0000083f: ADD 00000840: PUSH1 0x00 00000842: KECCAK256 00000843: PUSH1 0x00 00000845: CALLER 00000846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085b: AND 0000085c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000871: AND 00000872: DUP2 00000873: MSTORE 00000874: PUSH1 0x20 00000876: ADD 00000877: SWAP1 00000878: DUP2 00000879: MSTORE 0000087a: PUSH1 0x20 0000087c: ADD 0000087d: PUSH1 0x00 0000087f: KECCAK256 00000880: SLOAD 00000881: LT 00000882: ISZERO 00000883: ISZERO 00000884: ISZERO 00000885: PUSH2 0x088d 00000888: JUMPI 00000889: PUSH1 0x00 0000088b: DUP1 0000088c: REVERT 0000088d: JUMPDEST 0000088e: DUP2 0000088f: PUSH1 0x04 00000891: PUSH1 0x00 00000893: DUP7 00000894: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a9: AND 000008aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bf: AND 000008c0: DUP2 000008c1: MSTORE 000008c2: PUSH1 0x20 000008c4: ADD 000008c5: SWAP1 000008c6: DUP2 000008c7: MSTORE 000008c8: PUSH1 0x20 000008ca: ADD 000008cb: PUSH1 0x00 000008cd: KECCAK256 000008ce: PUSH1 0x00 000008d0: CALLER 000008d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e6: AND 000008e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fc: AND 000008fd: DUP2 000008fe: MSTORE 000008ff: PUSH1 0x20 00000901: ADD 00000902: SWAP1 00000903: DUP2 00000904: MSTORE 00000905: PUSH1 0x20 00000907: ADD 00000908: PUSH1 0x00 0000090a: KECCAK256 0000090b: PUSH1 0x00 0000090d: DUP3 0000090e: DUP3 0000090f: SLOAD 00000910: SUB 00000911: SWAP3 00000912: POP 00000913: POP 00000914: DUP2 00000915: SWAP1 00000916: SSTORE 00000917: POP 00000918: JUMPDEST 00000919: DUP2 0000091a: PUSH1 0x03 0000091c: PUSH1 0x00 0000091e: DUP7 0000091f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000934: AND 00000935: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094a: AND 0000094b: DUP2 0000094c: MSTORE 0000094d: PUSH1 0x20 0000094f: ADD 00000950: SWAP1 00000951: DUP2 00000952: MSTORE 00000953: PUSH1 0x20 00000955: ADD 00000956: PUSH1 0x00 00000958: KECCAK256 00000959: PUSH1 0x00 0000095b: DUP3 0000095c: DUP3 0000095d: SLOAD 0000095e: SUB 0000095f: SWAP3 00000960: POP 00000961: POP 00000962: DUP2 00000963: SWAP1 00000964: SSTORE 00000965: POP 00000966: DUP2 00000967: PUSH1 0x03 00000969: PUSH1 0x00 0000096b: DUP6 0000096c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000981: AND 00000982: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000997: AND 00000998: DUP2 00000999: MSTORE 0000099a: PUSH1 0x20 0000099c: ADD 0000099d: SWAP1 0000099e: DUP2 0000099f: MSTORE 000009a0: PUSH1 0x20 000009a2: ADD 000009a3: PUSH1 0x00 000009a5: KECCAK256 000009a6: PUSH1 0x00 000009a8: DUP3 000009a9: DUP3 000009aa: SLOAD 000009ab: ADD 000009ac: SWAP3 000009ad: POP 000009ae: POP 000009af: DUP2 000009b0: SWAP1 000009b1: SSTORE 000009b2: POP 000009b3: DUP3 000009b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c9: AND 000009ca: DUP5 000009cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e0: AND 000009e1: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000a02: DUP5 00000a03: PUSH1 0x40 00000a05: MLOAD 00000a06: DUP1 00000a07: DUP3 00000a08: DUP2 00000a09: MSTORE 00000a0a: PUSH1 0x20 00000a0c: ADD 00000a0d: SWAP2 00000a0e: POP 00000a0f: POP 00000a10: PUSH1 0x40 00000a12: MLOAD 00000a13: DUP1 00000a14: SWAP2 00000a15: SUB 00000a16: SWAP1 00000a17: LOG3 00000a18: PUSH1 0x01 00000a1a: SWAP1 00000a1b: POP 00000a1c: SWAP4 00000a1d: SWAP3 00000a1e: POP 00000a1f: POP 00000a20: POP 00000a21: JUMP 00000a22: JUMPDEST 00000a23: DUP1 00000a24: PUSH1 0x03 00000a26: PUSH1 0x00 00000a28: CALLER 00000a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3e: AND 00000a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a54: AND 00000a55: DUP2 00000a56: MSTORE 00000a57: PUSH1 0x20 00000a59: ADD 00000a5a: SWAP1 00000a5b: DUP2 00000a5c: MSTORE 00000a5d: PUSH1 0x20 00000a5f: ADD 00000a60: PUSH1 0x00 00000a62: KECCAK256 00000a63: SLOAD 00000a64: LT 00000a65: ISZERO 00000a66: ISZERO 00000a67: ISZERO 00000a68: PUSH2 0x0a70 00000a6b: JUMPI 00000a6c: PUSH1 0x00 00000a6e: DUP1 00000a6f: REVERT 00000a70: JUMPDEST 00000a71: DUP1 00000a72: PUSH1 0x03 00000a74: PUSH1 0x00 00000a76: CALLER 00000a77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8c: AND 00000a8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa2: AND 00000aa3: DUP2 00000aa4: MSTORE 00000aa5: PUSH1 0x20 00000aa7: ADD 00000aa8: SWAP1 00000aa9: DUP2 00000aaa: MSTORE 00000aab: PUSH1 0x20 00000aad: ADD 00000aae: PUSH1 0x00 00000ab0: KECCAK256 00000ab1: PUSH1 0x00 00000ab3: DUP3 00000ab4: DUP3 00000ab5: SLOAD 00000ab6: SUB 00000ab7: SWAP3 00000ab8: POP 00000ab9: POP 00000aba: DUP2 00000abb: SWAP1 00000abc: SSTORE 00000abd: POP 00000abe: CALLER 00000abf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad4: AND 00000ad5: PUSH2 0x08fc 00000ad8: DUP3 00000ad9: SWAP1 00000ada: DUP2 00000adb: ISZERO 00000adc: MUL 00000add: SWAP1 00000ade: PUSH1 0x40 00000ae0: MLOAD 00000ae1: PUSH1 0x00 00000ae3: PUSH1 0x40 00000ae5: MLOAD 00000ae6: DUP1 00000ae7: DUP4 00000ae8: SUB 00000ae9: DUP2 00000aea: DUP6 00000aeb: DUP9 00000aec: DUP9 00000aed: CALL 00000aee: SWAP4 00000aef: POP 00000af0: POP 00000af1: POP 00000af2: POP 00000af3: ISZERO 00000af4: DUP1 00000af5: ISZERO 00000af6: PUSH2 0x0b03 00000af9: JUMPI 00000afa: RETURNDATASIZE 00000afb: PUSH1 0x00 00000afd: DUP1 00000afe: RETURNDATACOPY 00000aff: RETURNDATASIZE 00000b00: PUSH1 0x00 00000b02: REVERT 00000b03: JUMPDEST 00000b04: POP 00000b05: CALLER 00000b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1b: AND 00000b1c: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65 00000b3d: DUP3 00000b3e: PUSH1 0x40 00000b40: MLOAD 00000b41: DUP1 00000b42: DUP3 00000b43: DUP2 00000b44: MSTORE 00000b45: PUSH1 0x20 00000b47: ADD 00000b48: SWAP2 00000b49: POP 00000b4a: POP 00000b4b: PUSH1 0x40 00000b4d: MLOAD 00000b4e: DUP1 00000b4f: SWAP2 00000b50: SUB 00000b51: SWAP1 00000b52: LOG2 00000b53: POP 00000b54: JUMP 00000b55: JUMPDEST 00000b56: PUSH1 0x02 00000b58: PUSH1 0x00 00000b5a: SWAP1 00000b5b: SLOAD 00000b5c: SWAP1 00000b5d: PUSH2 0x0100 00000b60: EXP 00000b61: SWAP1 00000b62: DIV 00000b63: PUSH1 0xff 00000b65: AND 00000b66: DUP2 00000b67: JUMP 00000b68: JUMPDEST 00000b69: PUSH1 0x03 00000b6b: PUSH1 0x20 00000b6d: MSTORE 00000b6e: DUP1 00000b6f: PUSH1 0x00 00000b71: MSTORE 00000b72: PUSH1 0x40 00000b74: PUSH1 0x00 00000b76: KECCAK256 00000b77: PUSH1 0x00 00000b79: SWAP2 00000b7a: POP 00000b7b: SWAP1 00000b7c: POP 00000b7d: SLOAD 00000b7e: DUP2 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: PUSH1 0x01 00000b83: DUP1 00000b84: SLOAD 00000b85: PUSH1 0x01 00000b87: DUP2 00000b88: PUSH1 0x01 00000b8a: AND 00000b8b: ISZERO 00000b8c: PUSH2 0x0100 00000b8f: MUL 00000b90: SUB 00000b91: AND 00000b92: PUSH1 0x02 00000b94: SWAP1 00000b95: DIV 00000b96: DUP1 00000b97: PUSH1 0x1f 00000b99: ADD 00000b9a: PUSH1 0x20 00000b9c: DUP1 00000b9d: SWAP2 00000b9e: DIV 00000b9f: MUL 00000ba0: PUSH1 0x20 00000ba2: ADD 00000ba3: PUSH1 0x40 00000ba5: MLOAD 00000ba6: SWAP1 00000ba7: DUP2 00000ba8: ADD 00000ba9: PUSH1 0x40 00000bab: MSTORE 00000bac: DUP1 00000bad: SWAP3 00000bae: SWAP2 00000baf: SWAP1 00000bb0: DUP2 00000bb1: DUP2 00000bb2: MSTORE 00000bb3: PUSH1 0x20 00000bb5: ADD 00000bb6: DUP3 00000bb7: DUP1 00000bb8: SLOAD 00000bb9: PUSH1 0x01 00000bbb: DUP2 00000bbc: PUSH1 0x01 00000bbe: AND 00000bbf: ISZERO 00000bc0: PUSH2 0x0100 00000bc3: MUL 00000bc4: SUB 00000bc5: AND 00000bc6: PUSH1 0x02 00000bc8: SWAP1 00000bc9: DIV 00000bca: DUP1 00000bcb: ISZERO 00000bcc: PUSH2 0x0c16 00000bcf: JUMPI 00000bd0: DUP1 00000bd1: PUSH1 0x1f 00000bd3: LT 00000bd4: PUSH2 0x0beb 00000bd7: JUMPI 00000bd8: PUSH2 0x0100 00000bdb: DUP1 00000bdc: DUP4 00000bdd: SLOAD 00000bde: DIV 00000bdf: MUL 00000be0: DUP4 00000be1: MSTORE 00000be2: SWAP2 00000be3: PUSH1 0x20 00000be5: ADD 00000be6: SWAP2 00000be7: PUSH2 0x0c16 00000bea: JUMP 00000beb: JUMPDEST 00000bec: DUP3 00000bed: ADD 00000bee: SWAP2 00000bef: SWAP1 00000bf0: PUSH1 0x00 00000bf2: MSTORE 00000bf3: PUSH1 0x20 00000bf5: PUSH1 0x00 00000bf7: KECCAK256 00000bf8: SWAP1 00000bf9: JUMPDEST 00000bfa: DUP2 00000bfb: SLOAD 00000bfc: DUP2 00000bfd: MSTORE 00000bfe: SWAP1 00000bff: PUSH1 0x01 00000c01: ADD 00000c02: SWAP1 00000c03: PUSH1 0x20 00000c05: ADD 00000c06: DUP1 00000c07: DUP4 00000c08: GT 00000c09: PUSH2 0x0bf9 00000c0c: JUMPI 00000c0d: DUP3 00000c0e: SWAP1 00000c0f: SUB 00000c10: PUSH1 0x1f 00000c12: AND 00000c13: DUP3 00000c14: ADD 00000c15: SWAP2 00000c16: JUMPDEST 00000c17: POP 00000c18: POP 00000c19: POP 00000c1a: POP 00000c1b: POP 00000c1c: DUP2 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: PUSH1 0x00 00000c21: PUSH2 0x0c2b 00000c24: CALLER 00000c25: DUP5 00000c26: DUP5 00000c27: PUSH2 0x06d5 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: SWAP1 00000c2d: POP 00000c2e: SWAP3 00000c2f: SWAP2 00000c30: POP 00000c31: POP 00000c32: JUMP 00000c33: JUMPDEST 00000c34: PUSH1 0x04 00000c36: PUSH1 0x20 00000c38: MSTORE 00000c39: DUP2 00000c3a: PUSH1 0x00 00000c3c: MSTORE 00000c3d: PUSH1 0x40 00000c3f: PUSH1 0x00 00000c41: KECCAK256 00000c42: PUSH1 0x20 00000c44: MSTORE 00000c45: DUP1 00000c46: PUSH1 0x00 00000c48: MSTORE 00000c49: PUSH1 0x40 00000c4b: PUSH1 0x00 00000c4d: KECCAK256 00000c4e: PUSH1 0x00 00000c50: SWAP2 00000c51: POP 00000c52: SWAP2 00000c53: POP 00000c54: POP 00000c55: SLOAD 00000c56: DUP2 00000c57: JUMP 00000c58: STOP 00000c59: LOG1 00000c5a: PUSH6 0x627a7a723058 00000c61: KECCAK256 00000c62: UNKNOWN(0x4C) 00000c63: DUP10 00000c64: SWAP16 00000c65: SWAP12 00000c66: RETURN 00000c67: CALLDATASIZE 00000c68: UNKNOWN(0xAD) 00000c69: SWAP1 00000c6a: UNKNOWN(0xFC) 00000c6b: PUSH11 0x63d09e8f97dbf45e1bf609 00000c77: EXP 00000c78: SUB 00000c79: EXTCODECOPY 00000c7a: LOG2 00000c7b: SHR 00000c7c: DUP5 00000c7d: CALLCODE 00000c7e: UNKNOWN(0xDB) 00000c7f: UNKNOWN(0xD9) 00000c80: CHAINID 00000c81: UNKNOWN(0xA9) 00000c82: STOP 00000c83: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd7644404fa80e4cd200348820dfd44312bf0ed6d331b71c025181d3a3e2a7378
call_targets:
0x73d02307abf9e38700a285df05b3664d33155c95
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd7644404fa80e4cd200348820dfd44312bf0ed6d331b71c025181d3a3e2a7378",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x73d02307abf9e38700a285df05b3664d33155c95"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2797,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3197,
"opcode": "CALLCODE",
"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: 0xd7644404fa80e4cd200348820dfd44312bf0ed6d331b71c025181d3a3e2a7378
call_targets:
0x73d02307abf9e38700a285df05b3664d33155c95
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd7644404fa80e4cd200348820dfd44312bf0ed6d331b71c025181d3a3e2a7378",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x73d02307abf9e38700a285df05b3664d33155c95"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2797,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3197,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|