019b477e-bd15-7060-a120-b275df4769f2
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 |
|---|---|---|---|---|
| 24177 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24178 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67526 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67527 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67528 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67529 | 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 0x313ce567 00000068: EQ 00000069: PUSH2 0x025e 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x70a08231 00000073: EQ 00000074: PUSH2 0x028f 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x95d89b41 0000007e: EQ 0000007f: PUSH2 0x02e6 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xa9059cbb 00000089: EQ 0000008a: PUSH2 0x0376 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xd0e30db0 00000094: EQ 00000095: PUSH2 0x03db 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xdd62ed3e 0000009f: EQ 000000a0: PUSH2 0x03e5 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xf3fef3a3 000000aa: EQ 000000ab: PUSH2 0x045c 000000ae: JUMPI 000000af: JUMPDEST 000000b0: PUSH2 0x00b7 000000b3: PUSH2 0x04a9 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 0x0546 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 0x05e4 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 0x06d6 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 0x06f5 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 0x0273 0000026f: PUSH2 0x0a42 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH1 0x40 00000276: MLOAD 00000277: DUP1 00000278: DUP3 00000279: PUSH1 0xff 0000027b: AND 0000027c: PUSH1 0xff 0000027e: AND 0000027f: DUP2 00000280: MSTORE 00000281: PUSH1 0x20 00000283: ADD 00000284: SWAP2 00000285: POP 00000286: POP 00000287: PUSH1 0x40 00000289: MLOAD 0000028a: DUP1 0000028b: SWAP2 0000028c: SUB 0000028d: SWAP1 0000028e: RETURN 0000028f: JUMPDEST 00000290: CALLVALUE 00000291: DUP1 00000292: ISZERO 00000293: PUSH2 0x029b 00000296: JUMPI 00000297: PUSH1 0x00 00000299: DUP1 0000029a: REVERT 0000029b: JUMPDEST 0000029c: POP 0000029d: PUSH2 0x02d0 000002a0: PUSH1 0x04 000002a2: DUP1 000002a3: CALLDATASIZE 000002a4: SUB 000002a5: DUP2 000002a6: ADD 000002a7: SWAP1 000002a8: DUP1 000002a9: DUP1 000002aa: CALLDATALOAD 000002ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c0: AND 000002c1: SWAP1 000002c2: PUSH1 0x20 000002c4: ADD 000002c5: SWAP1 000002c6: SWAP3 000002c7: SWAP2 000002c8: SWAP1 000002c9: POP 000002ca: POP 000002cb: POP 000002cc: PUSH2 0x0a55 000002cf: JUMP 000002d0: JUMPDEST 000002d1: PUSH1 0x40 000002d3: MLOAD 000002d4: DUP1 000002d5: DUP3 000002d6: DUP2 000002d7: MSTORE 000002d8: PUSH1 0x20 000002da: ADD 000002db: SWAP2 000002dc: POP 000002dd: POP 000002de: PUSH1 0x40 000002e0: MLOAD 000002e1: DUP1 000002e2: SWAP2 000002e3: SUB 000002e4: SWAP1 000002e5: RETURN 000002e6: JUMPDEST 000002e7: CALLVALUE 000002e8: DUP1 000002e9: ISZERO 000002ea: PUSH2 0x02f2 000002ed: JUMPI 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: REVERT 000002f2: JUMPDEST 000002f3: POP 000002f4: PUSH2 0x02fb 000002f7: PUSH2 0x0a6d 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH1 0x40 000002fe: MLOAD 000002ff: DUP1 00000300: DUP1 00000301: PUSH1 0x20 00000303: ADD 00000304: DUP3 00000305: DUP2 00000306: SUB 00000307: DUP3 00000308: MSTORE 00000309: DUP4 0000030a: DUP2 0000030b: DUP2 0000030c: MLOAD 0000030d: DUP2 0000030e: MSTORE 0000030f: PUSH1 0x20 00000311: ADD 00000312: SWAP2 00000313: POP 00000314: DUP1 00000315: MLOAD 00000316: SWAP1 00000317: PUSH1 0x20 00000319: ADD 0000031a: SWAP1 0000031b: DUP1 0000031c: DUP4 0000031d: DUP4 0000031e: PUSH1 0x00 00000320: JUMPDEST 00000321: DUP4 00000322: DUP2 00000323: LT 00000324: ISZERO 00000325: PUSH2 0x033b 00000328: JUMPI 00000329: DUP1 0000032a: DUP3 0000032b: ADD 0000032c: MLOAD 0000032d: DUP2 0000032e: DUP5 0000032f: ADD 00000330: MSTORE 00000331: PUSH1 0x20 00000333: DUP2 00000334: ADD 00000335: SWAP1 00000336: POP 00000337: PUSH2 0x0320 0000033a: JUMP 0000033b: JUMPDEST 0000033c: POP 0000033d: POP 0000033e: POP 0000033f: POP 00000340: SWAP1 00000341: POP 00000342: SWAP1 00000343: DUP2 00000344: ADD 00000345: SWAP1 00000346: PUSH1 0x1f 00000348: AND 00000349: DUP1 0000034a: ISZERO 0000034b: PUSH2 0x0368 0000034e: JUMPI 0000034f: DUP1 00000350: DUP3 00000351: SUB 00000352: DUP1 00000353: MLOAD 00000354: PUSH1 0x01 00000356: DUP4 00000357: PUSH1 0x20 00000359: SUB 0000035a: PUSH2 0x0100 0000035d: EXP 0000035e: SUB 0000035f: NOT 00000360: AND 00000361: DUP2 00000362: MSTORE 00000363: PUSH1 0x20 00000365: ADD 00000366: SWAP2 00000367: POP 00000368: JUMPDEST 00000369: POP 0000036a: SWAP3 0000036b: POP 0000036c: POP 0000036d: POP 0000036e: PUSH1 0x40 00000370: MLOAD 00000371: DUP1 00000372: SWAP2 00000373: SUB 00000374: SWAP1 00000375: RETURN 00000376: JUMPDEST 00000377: CALLVALUE 00000378: DUP1 00000379: ISZERO 0000037a: PUSH2 0x0382 0000037d: JUMPI 0000037e: PUSH1 0x00 00000380: DUP1 00000381: REVERT 00000382: JUMPDEST 00000383: POP 00000384: PUSH2 0x03c1 00000387: PUSH1 0x04 00000389: DUP1 0000038a: CALLDATASIZE 0000038b: SUB 0000038c: DUP2 0000038d: ADD 0000038e: SWAP1 0000038f: DUP1 00000390: DUP1 00000391: CALLDATALOAD 00000392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a7: AND 000003a8: SWAP1 000003a9: PUSH1 0x20 000003ab: ADD 000003ac: SWAP1 000003ad: SWAP3 000003ae: SWAP2 000003af: SWAP1 000003b0: DUP1 000003b1: CALLDATALOAD 000003b2: SWAP1 000003b3: PUSH1 0x20 000003b5: ADD 000003b6: SWAP1 000003b7: SWAP3 000003b8: SWAP2 000003b9: SWAP1 000003ba: POP 000003bb: POP 000003bc: POP 000003bd: PUSH2 0x0b0b 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH1 0x40 000003c4: MLOAD 000003c5: DUP1 000003c6: DUP3 000003c7: ISZERO 000003c8: ISZERO 000003c9: ISZERO 000003ca: ISZERO 000003cb: DUP2 000003cc: MSTORE 000003cd: PUSH1 0x20 000003cf: ADD 000003d0: SWAP2 000003d1: POP 000003d2: POP 000003d3: PUSH1 0x40 000003d5: MLOAD 000003d6: DUP1 000003d7: SWAP2 000003d8: SUB 000003d9: SWAP1 000003da: RETURN 000003db: JUMPDEST 000003dc: PUSH2 0x03e3 000003df: PUSH2 0x04a9 000003e2: JUMP 000003e3: JUMPDEST 000003e4: STOP 000003e5: JUMPDEST 000003e6: CALLVALUE 000003e7: DUP1 000003e8: ISZERO 000003e9: PUSH2 0x03f1 000003ec: JUMPI 000003ed: PUSH1 0x00 000003ef: DUP1 000003f0: REVERT 000003f1: JUMPDEST 000003f2: POP 000003f3: PUSH2 0x0446 000003f6: PUSH1 0x04 000003f8: DUP1 000003f9: CALLDATASIZE 000003fa: SUB 000003fb: DUP2 000003fc: ADD 000003fd: SWAP1 000003fe: DUP1 000003ff: DUP1 00000400: CALLDATALOAD 00000401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000416: AND 00000417: SWAP1 00000418: PUSH1 0x20 0000041a: ADD 0000041b: SWAP1 0000041c: SWAP3 0000041d: SWAP2 0000041e: SWAP1 0000041f: DUP1 00000420: CALLDATALOAD 00000421: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000436: AND 00000437: SWAP1 00000438: PUSH1 0x20 0000043a: ADD 0000043b: SWAP1 0000043c: SWAP3 0000043d: SWAP2 0000043e: SWAP1 0000043f: POP 00000440: POP 00000441: POP 00000442: PUSH2 0x0b20 00000445: JUMP 00000446: JUMPDEST 00000447: PUSH1 0x40 00000449: MLOAD 0000044a: DUP1 0000044b: DUP3 0000044c: DUP2 0000044d: MSTORE 0000044e: PUSH1 0x20 00000450: ADD 00000451: SWAP2 00000452: POP 00000453: POP 00000454: PUSH1 0x40 00000456: MLOAD 00000457: DUP1 00000458: SWAP2 00000459: SUB 0000045a: SWAP1 0000045b: RETURN 0000045c: JUMPDEST 0000045d: CALLVALUE 0000045e: DUP1 0000045f: ISZERO 00000460: PUSH2 0x0468 00000463: JUMPI 00000464: PUSH1 0x00 00000466: DUP1 00000467: REVERT 00000468: JUMPDEST 00000469: POP 0000046a: PUSH2 0x04a7 0000046d: PUSH1 0x04 0000046f: DUP1 00000470: CALLDATASIZE 00000471: SUB 00000472: DUP2 00000473: ADD 00000474: SWAP1 00000475: DUP1 00000476: DUP1 00000477: CALLDATALOAD 00000478: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048d: AND 0000048e: SWAP1 0000048f: PUSH1 0x20 00000491: ADD 00000492: SWAP1 00000493: SWAP3 00000494: SWAP2 00000495: SWAP1 00000496: DUP1 00000497: CALLDATALOAD 00000498: SWAP1 00000499: PUSH1 0x20 0000049b: ADD 0000049c: SWAP1 0000049d: SWAP3 0000049e: SWAP2 0000049f: SWAP1 000004a0: POP 000004a1: POP 000004a2: POP 000004a3: PUSH2 0x0b45 000004a6: JUMP 000004a7: JUMPDEST 000004a8: STOP 000004a9: JUMPDEST 000004aa: CALLVALUE 000004ab: PUSH1 0x03 000004ad: PUSH1 0x00 000004af: CALLER 000004b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c5: AND 000004c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004db: AND 000004dc: DUP2 000004dd: MSTORE 000004de: PUSH1 0x20 000004e0: ADD 000004e1: SWAP1 000004e2: DUP2 000004e3: MSTORE 000004e4: PUSH1 0x20 000004e6: ADD 000004e7: PUSH1 0x00 000004e9: KECCAK256 000004ea: PUSH1 0x00 000004ec: DUP3 000004ed: DUP3 000004ee: SLOAD 000004ef: ADD 000004f0: SWAP3 000004f1: POP 000004f2: POP 000004f3: DUP2 000004f4: SWAP1 000004f5: SSTORE 000004f6: POP 000004f7: CALLER 000004f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050d: AND 0000050e: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 0000052f: CALLVALUE 00000530: PUSH1 0x40 00000532: MLOAD 00000533: DUP1 00000534: DUP3 00000535: DUP2 00000536: MSTORE 00000537: PUSH1 0x20 00000539: ADD 0000053a: SWAP2 0000053b: POP 0000053c: POP 0000053d: PUSH1 0x40 0000053f: MLOAD 00000540: DUP1 00000541: SWAP2 00000542: SUB 00000543: SWAP1 00000544: LOG2 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH1 0x00 00000549: DUP1 0000054a: SLOAD 0000054b: PUSH1 0x01 0000054d: DUP2 0000054e: PUSH1 0x01 00000550: AND 00000551: ISZERO 00000552: PUSH2 0x0100 00000555: MUL 00000556: SUB 00000557: AND 00000558: PUSH1 0x02 0000055a: SWAP1 0000055b: DIV 0000055c: DUP1 0000055d: PUSH1 0x1f 0000055f: ADD 00000560: PUSH1 0x20 00000562: DUP1 00000563: SWAP2 00000564: DIV 00000565: MUL 00000566: PUSH1 0x20 00000568: ADD 00000569: PUSH1 0x40 0000056b: MLOAD 0000056c: SWAP1 0000056d: DUP2 0000056e: ADD 0000056f: PUSH1 0x40 00000571: MSTORE 00000572: DUP1 00000573: SWAP3 00000574: SWAP2 00000575: SWAP1 00000576: DUP2 00000577: DUP2 00000578: MSTORE 00000579: PUSH1 0x20 0000057b: ADD 0000057c: DUP3 0000057d: DUP1 0000057e: SLOAD 0000057f: PUSH1 0x01 00000581: DUP2 00000582: PUSH1 0x01 00000584: AND 00000585: ISZERO 00000586: PUSH2 0x0100 00000589: MUL 0000058a: SUB 0000058b: AND 0000058c: PUSH1 0x02 0000058e: SWAP1 0000058f: DIV 00000590: DUP1 00000591: ISZERO 00000592: PUSH2 0x05dc 00000595: JUMPI 00000596: DUP1 00000597: PUSH1 0x1f 00000599: LT 0000059a: PUSH2 0x05b1 0000059d: JUMPI 0000059e: PUSH2 0x0100 000005a1: DUP1 000005a2: DUP4 000005a3: SLOAD 000005a4: DIV 000005a5: MUL 000005a6: DUP4 000005a7: MSTORE 000005a8: SWAP2 000005a9: PUSH1 0x20 000005ab: ADD 000005ac: SWAP2 000005ad: PUSH2 0x05dc 000005b0: JUMP 000005b1: JUMPDEST 000005b2: DUP3 000005b3: ADD 000005b4: SWAP2 000005b5: SWAP1 000005b6: PUSH1 0x00 000005b8: MSTORE 000005b9: PUSH1 0x20 000005bb: PUSH1 0x00 000005bd: KECCAK256 000005be: SWAP1 000005bf: JUMPDEST 000005c0: DUP2 000005c1: SLOAD 000005c2: DUP2 000005c3: MSTORE 000005c4: SWAP1 000005c5: PUSH1 0x01 000005c7: ADD 000005c8: SWAP1 000005c9: PUSH1 0x20 000005cb: ADD 000005cc: DUP1 000005cd: DUP4 000005ce: GT 000005cf: PUSH2 0x05bf 000005d2: JUMPI 000005d3: DUP3 000005d4: SWAP1 000005d5: SUB 000005d6: PUSH1 0x1f 000005d8: AND 000005d9: DUP3 000005da: ADD 000005db: SWAP2 000005dc: JUMPDEST 000005dd: POP 000005de: POP 000005df: POP 000005e0: POP 000005e1: POP 000005e2: DUP2 000005e3: JUMP 000005e4: JUMPDEST 000005e5: PUSH1 0x00 000005e7: DUP2 000005e8: PUSH1 0x04 000005ea: PUSH1 0x00 000005ec: CALLER 000005ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000602: AND 00000603: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000618: AND 00000619: DUP2 0000061a: MSTORE 0000061b: PUSH1 0x20 0000061d: ADD 0000061e: SWAP1 0000061f: DUP2 00000620: MSTORE 00000621: PUSH1 0x20 00000623: ADD 00000624: PUSH1 0x00 00000626: KECCAK256 00000627: PUSH1 0x00 00000629: DUP6 0000062a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063f: AND 00000640: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000655: AND 00000656: DUP2 00000657: MSTORE 00000658: PUSH1 0x20 0000065a: ADD 0000065b: SWAP1 0000065c: DUP2 0000065d: MSTORE 0000065e: PUSH1 0x20 00000660: ADD 00000661: PUSH1 0x00 00000663: KECCAK256 00000664: DUP2 00000665: SWAP1 00000666: SSTORE 00000667: POP 00000668: DUP3 00000669: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067e: AND 0000067f: CALLER 00000680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000695: AND 00000696: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000006b7: DUP5 000006b8: PUSH1 0x40 000006ba: MLOAD 000006bb: DUP1 000006bc: DUP3 000006bd: DUP2 000006be: MSTORE 000006bf: PUSH1 0x20 000006c1: ADD 000006c2: SWAP2 000006c3: POP 000006c4: POP 000006c5: PUSH1 0x40 000006c7: MLOAD 000006c8: DUP1 000006c9: SWAP2 000006ca: SUB 000006cb: SWAP1 000006cc: LOG3 000006cd: PUSH1 0x01 000006cf: SWAP1 000006d0: POP 000006d1: SWAP3 000006d2: SWAP2 000006d3: POP 000006d4: POP 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH1 0x00 000006d9: ADDRESS 000006da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ef: AND 000006f0: BALANCE 000006f1: SWAP1 000006f2: POP 000006f3: SWAP1 000006f4: JUMP 000006f5: JUMPDEST 000006f6: PUSH1 0x00 000006f8: DUP2 000006f9: PUSH1 0x03 000006fb: PUSH1 0x00 000006fd: DUP7 000006fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000713: AND 00000714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000729: AND 0000072a: DUP2 0000072b: MSTORE 0000072c: PUSH1 0x20 0000072e: ADD 0000072f: SWAP1 00000730: DUP2 00000731: MSTORE 00000732: PUSH1 0x20 00000734: ADD 00000735: PUSH1 0x00 00000737: KECCAK256 00000738: SLOAD 00000739: LT 0000073a: ISZERO 0000073b: ISZERO 0000073c: ISZERO 0000073d: PUSH2 0x0745 00000740: JUMPI 00000741: PUSH1 0x00 00000743: DUP1 00000744: REVERT 00000745: JUMPDEST 00000746: CALLER 00000747: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075c: AND 0000075d: DUP5 0000075e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000773: AND 00000774: EQ 00000775: ISZERO 00000776: DUP1 00000777: ISZERO 00000778: PUSH2 0x081d 0000077b: JUMPI 0000077c: POP 0000077d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000079e: PUSH1 0x04 000007a0: PUSH1 0x00 000007a2: DUP7 000007a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b8: AND 000007b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ce: AND 000007cf: DUP2 000007d0: MSTORE 000007d1: PUSH1 0x20 000007d3: ADD 000007d4: SWAP1 000007d5: DUP2 000007d6: MSTORE 000007d7: PUSH1 0x20 000007d9: ADD 000007da: PUSH1 0x00 000007dc: KECCAK256 000007dd: PUSH1 0x00 000007df: CALLER 000007e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f5: AND 000007f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080b: AND 0000080c: DUP2 0000080d: MSTORE 0000080e: PUSH1 0x20 00000810: ADD 00000811: SWAP1 00000812: DUP2 00000813: MSTORE 00000814: PUSH1 0x20 00000816: ADD 00000817: PUSH1 0x00 00000819: KECCAK256 0000081a: SLOAD 0000081b: EQ 0000081c: ISZERO 0000081d: JUMPDEST 0000081e: ISZERO 0000081f: PUSH2 0x0938 00000822: JUMPI 00000823: DUP2 00000824: PUSH1 0x04 00000826: PUSH1 0x00 00000828: DUP7 00000829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083e: AND 0000083f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000854: AND 00000855: DUP2 00000856: MSTORE 00000857: PUSH1 0x20 00000859: ADD 0000085a: SWAP1 0000085b: DUP2 0000085c: MSTORE 0000085d: PUSH1 0x20 0000085f: ADD 00000860: PUSH1 0x00 00000862: KECCAK256 00000863: PUSH1 0x00 00000865: CALLER 00000866: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087b: AND 0000087c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000891: AND 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: ADD 00000897: SWAP1 00000898: DUP2 00000899: MSTORE 0000089a: PUSH1 0x20 0000089c: ADD 0000089d: PUSH1 0x00 0000089f: KECCAK256 000008a0: SLOAD 000008a1: LT 000008a2: ISZERO 000008a3: ISZERO 000008a4: ISZERO 000008a5: PUSH2 0x08ad 000008a8: JUMPI 000008a9: PUSH1 0x00 000008ab: DUP1 000008ac: REVERT 000008ad: JUMPDEST 000008ae: DUP2 000008af: PUSH1 0x04 000008b1: PUSH1 0x00 000008b3: DUP7 000008b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c9: AND 000008ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008df: AND 000008e0: DUP2 000008e1: MSTORE 000008e2: PUSH1 0x20 000008e4: ADD 000008e5: SWAP1 000008e6: DUP2 000008e7: MSTORE 000008e8: PUSH1 0x20 000008ea: ADD 000008eb: PUSH1 0x00 000008ed: KECCAK256 000008ee: PUSH1 0x00 000008f0: CALLER 000008f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000906: AND 00000907: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091c: AND 0000091d: DUP2 0000091e: MSTORE 0000091f: PUSH1 0x20 00000921: ADD 00000922: SWAP1 00000923: DUP2 00000924: MSTORE 00000925: PUSH1 0x20 00000927: ADD 00000928: PUSH1 0x00 0000092a: KECCAK256 0000092b: PUSH1 0x00 0000092d: DUP3 0000092e: DUP3 0000092f: SLOAD 00000930: SUB 00000931: SWAP3 00000932: POP 00000933: POP 00000934: DUP2 00000935: SWAP1 00000936: SSTORE 00000937: POP 00000938: JUMPDEST 00000939: DUP2 0000093a: PUSH1 0x03 0000093c: PUSH1 0x00 0000093e: DUP7 0000093f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000954: AND 00000955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096a: AND 0000096b: DUP2 0000096c: MSTORE 0000096d: PUSH1 0x20 0000096f: ADD 00000970: SWAP1 00000971: DUP2 00000972: MSTORE 00000973: PUSH1 0x20 00000975: ADD 00000976: PUSH1 0x00 00000978: KECCAK256 00000979: PUSH1 0x00 0000097b: DUP3 0000097c: DUP3 0000097d: SLOAD 0000097e: SUB 0000097f: SWAP3 00000980: POP 00000981: POP 00000982: DUP2 00000983: SWAP1 00000984: SSTORE 00000985: POP 00000986: DUP2 00000987: PUSH1 0x03 00000989: PUSH1 0x00 0000098b: DUP6 0000098c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a1: AND 000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b7: AND 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x20 000009bc: ADD 000009bd: SWAP1 000009be: DUP2 000009bf: MSTORE 000009c0: PUSH1 0x20 000009c2: ADD 000009c3: PUSH1 0x00 000009c5: KECCAK256 000009c6: PUSH1 0x00 000009c8: DUP3 000009c9: DUP3 000009ca: SLOAD 000009cb: ADD 000009cc: SWAP3 000009cd: POP 000009ce: POP 000009cf: DUP2 000009d0: SWAP1 000009d1: SSTORE 000009d2: POP 000009d3: DUP3 000009d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e9: AND 000009ea: DUP5 000009eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a00: AND 00000a01: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000a22: DUP5 00000a23: PUSH1 0x40 00000a25: MLOAD 00000a26: DUP1 00000a27: DUP3 00000a28: DUP2 00000a29: MSTORE 00000a2a: PUSH1 0x20 00000a2c: ADD 00000a2d: SWAP2 00000a2e: POP 00000a2f: POP 00000a30: PUSH1 0x40 00000a32: MLOAD 00000a33: DUP1 00000a34: SWAP2 00000a35: SUB 00000a36: SWAP1 00000a37: LOG3 00000a38: PUSH1 0x01 00000a3a: SWAP1 00000a3b: POP 00000a3c: SWAP4 00000a3d: SWAP3 00000a3e: POP 00000a3f: POP 00000a40: POP 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH1 0x02 00000a45: PUSH1 0x00 00000a47: SWAP1 00000a48: SLOAD 00000a49: SWAP1 00000a4a: PUSH2 0x0100 00000a4d: EXP 00000a4e: SWAP1 00000a4f: DIV 00000a50: PUSH1 0xff 00000a52: AND 00000a53: DUP2 00000a54: JUMP 00000a55: JUMPDEST 00000a56: PUSH1 0x03 00000a58: PUSH1 0x20 00000a5a: MSTORE 00000a5b: DUP1 00000a5c: PUSH1 0x00 00000a5e: MSTORE 00000a5f: PUSH1 0x40 00000a61: PUSH1 0x00 00000a63: KECCAK256 00000a64: PUSH1 0x00 00000a66: SWAP2 00000a67: POP 00000a68: SWAP1 00000a69: POP 00000a6a: SLOAD 00000a6b: DUP2 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH1 0x01 00000a70: DUP1 00000a71: SLOAD 00000a72: PUSH1 0x01 00000a74: DUP2 00000a75: PUSH1 0x01 00000a77: AND 00000a78: ISZERO 00000a79: PUSH2 0x0100 00000a7c: MUL 00000a7d: SUB 00000a7e: AND 00000a7f: PUSH1 0x02 00000a81: SWAP1 00000a82: DIV 00000a83: DUP1 00000a84: PUSH1 0x1f 00000a86: ADD 00000a87: PUSH1 0x20 00000a89: DUP1 00000a8a: SWAP2 00000a8b: DIV 00000a8c: MUL 00000a8d: PUSH1 0x20 00000a8f: ADD 00000a90: PUSH1 0x40 00000a92: MLOAD 00000a93: SWAP1 00000a94: DUP2 00000a95: ADD 00000a96: PUSH1 0x40 00000a98: MSTORE 00000a99: DUP1 00000a9a: SWAP3 00000a9b: SWAP2 00000a9c: SWAP1 00000a9d: DUP2 00000a9e: DUP2 00000a9f: MSTORE 00000aa0: PUSH1 0x20 00000aa2: ADD 00000aa3: DUP3 00000aa4: DUP1 00000aa5: SLOAD 00000aa6: PUSH1 0x01 00000aa8: DUP2 00000aa9: PUSH1 0x01 00000aab: AND 00000aac: ISZERO 00000aad: PUSH2 0x0100 00000ab0: MUL 00000ab1: SUB 00000ab2: AND 00000ab3: PUSH1 0x02 00000ab5: SWAP1 00000ab6: DIV 00000ab7: DUP1 00000ab8: ISZERO 00000ab9: PUSH2 0x0b03 00000abc: JUMPI 00000abd: DUP1 00000abe: PUSH1 0x1f 00000ac0: LT 00000ac1: PUSH2 0x0ad8 00000ac4: JUMPI 00000ac5: PUSH2 0x0100 00000ac8: DUP1 00000ac9: DUP4 00000aca: SLOAD 00000acb: DIV 00000acc: MUL 00000acd: DUP4 00000ace: MSTORE 00000acf: SWAP2 00000ad0: PUSH1 0x20 00000ad2: ADD 00000ad3: SWAP2 00000ad4: PUSH2 0x0b03 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: DUP3 00000ada: ADD 00000adb: SWAP2 00000adc: SWAP1 00000add: PUSH1 0x00 00000adf: MSTORE 00000ae0: PUSH1 0x20 00000ae2: PUSH1 0x00 00000ae4: KECCAK256 00000ae5: SWAP1 00000ae6: JUMPDEST 00000ae7: DUP2 00000ae8: SLOAD 00000ae9: DUP2 00000aea: MSTORE 00000aeb: SWAP1 00000aec: PUSH1 0x01 00000aee: ADD 00000aef: SWAP1 00000af0: PUSH1 0x20 00000af2: ADD 00000af3: DUP1 00000af4: DUP4 00000af5: GT 00000af6: PUSH2 0x0ae6 00000af9: JUMPI 00000afa: DUP3 00000afb: SWAP1 00000afc: SUB 00000afd: PUSH1 0x1f 00000aff: AND 00000b00: DUP3 00000b01: ADD 00000b02: SWAP2 00000b03: JUMPDEST 00000b04: POP 00000b05: POP 00000b06: POP 00000b07: POP 00000b08: POP 00000b09: DUP2 00000b0a: JUMP 00000b0b: JUMPDEST 00000b0c: PUSH1 0x00 00000b0e: PUSH2 0x0b18 00000b11: CALLER 00000b12: DUP5 00000b13: DUP5 00000b14: PUSH2 0x06f5 00000b17: JUMP 00000b18: JUMPDEST 00000b19: SWAP1 00000b1a: POP 00000b1b: SWAP3 00000b1c: SWAP2 00000b1d: POP 00000b1e: POP 00000b1f: JUMP 00000b20: JUMPDEST 00000b21: PUSH1 0x04 00000b23: PUSH1 0x20 00000b25: MSTORE 00000b26: DUP2 00000b27: PUSH1 0x00 00000b29: MSTORE 00000b2a: PUSH1 0x40 00000b2c: PUSH1 0x00 00000b2e: KECCAK256 00000b2f: PUSH1 0x20 00000b31: MSTORE 00000b32: DUP1 00000b33: PUSH1 0x00 00000b35: MSTORE 00000b36: PUSH1 0x40 00000b38: PUSH1 0x00 00000b3a: KECCAK256 00000b3b: PUSH1 0x00 00000b3d: SWAP2 00000b3e: POP 00000b3f: SWAP2 00000b40: POP 00000b41: POP 00000b42: SLOAD 00000b43: DUP2 00000b44: JUMP 00000b45: JUMPDEST 00000b46: DUP1 00000b47: PUSH1 0x03 00000b49: PUSH1 0x00 00000b4b: CALLER 00000b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b61: AND 00000b62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b77: AND 00000b78: DUP2 00000b79: MSTORE 00000b7a: PUSH1 0x20 00000b7c: ADD 00000b7d: SWAP1 00000b7e: DUP2 00000b7f: MSTORE 00000b80: PUSH1 0x20 00000b82: ADD 00000b83: PUSH1 0x00 00000b85: KECCAK256 00000b86: SLOAD 00000b87: LT 00000b88: ISZERO 00000b89: ISZERO 00000b8a: ISZERO 00000b8b: PUSH2 0x0b93 00000b8e: JUMPI 00000b8f: PUSH1 0x00 00000b91: DUP1 00000b92: REVERT 00000b93: JUMPDEST 00000b94: DUP1 00000b95: PUSH1 0x03 00000b97: PUSH1 0x00 00000b99: CALLER 00000b9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000baf: AND 00000bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc5: AND 00000bc6: DUP2 00000bc7: MSTORE 00000bc8: PUSH1 0x20 00000bca: ADD 00000bcb: SWAP1 00000bcc: DUP2 00000bcd: MSTORE 00000bce: PUSH1 0x20 00000bd0: ADD 00000bd1: PUSH1 0x00 00000bd3: KECCAK256 00000bd4: PUSH1 0x00 00000bd6: DUP3 00000bd7: DUP3 00000bd8: SLOAD 00000bd9: SUB 00000bda: SWAP3 00000bdb: POP 00000bdc: POP 00000bdd: DUP2 00000bde: SWAP1 00000bdf: SSTORE 00000be0: POP 00000be1: DUP2 00000be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf7: AND 00000bf8: PUSH2 0x08fc 00000bfb: DUP3 00000bfc: SWAP1 00000bfd: DUP2 00000bfe: ISZERO 00000bff: MUL 00000c00: SWAP1 00000c01: PUSH1 0x40 00000c03: MLOAD 00000c04: PUSH1 0x00 00000c06: PUSH1 0x40 00000c08: MLOAD 00000c09: DUP1 00000c0a: DUP4 00000c0b: SUB 00000c0c: DUP2 00000c0d: DUP6 00000c0e: DUP9 00000c0f: DUP9 00000c10: CALL 00000c11: SWAP4 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: POP 00000c16: ISZERO 00000c17: DUP1 00000c18: ISZERO 00000c19: PUSH2 0x0c26 00000c1c: JUMPI 00000c1d: RETURNDATASIZE 00000c1e: PUSH1 0x00 00000c20: DUP1 00000c21: RETURNDATACOPY 00000c22: RETURNDATASIZE 00000c23: PUSH1 0x00 00000c25: REVERT 00000c26: JUMPDEST 00000c27: POP 00000c28: CALLER 00000c29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3e: AND 00000c3f: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65 00000c60: DUP3 00000c61: PUSH1 0x40 00000c63: MLOAD 00000c64: DUP1 00000c65: DUP3 00000c66: DUP2 00000c67: MSTORE 00000c68: PUSH1 0x20 00000c6a: ADD 00000c6b: SWAP2 00000c6c: POP 00000c6d: POP 00000c6e: PUSH1 0x40 00000c70: MLOAD 00000c71: DUP1 00000c72: SWAP2 00000c73: SUB 00000c74: SWAP1 00000c75: LOG2 00000c76: POP 00000c77: POP 00000c78: JUMP 00000c79: STOP 00000c7a: LOG1 00000c7b: PUSH6 0x627a7a723058 00000c82: KECCAK256 00000c83: UNKNOWN(0xC1) 00000c84: XOR 00000c85: UNKNOWN(0x24) 00000c86: UNKNOWN(0xD7) 00000c87: PUSH25 0xe447f3821cd87a2e397a02562d9340e1d4d08147955260fc08 00000ca1: RETURN 00000ca2: SHL 00000ca3: STOP 00000ca4: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7b21c6c9b93913becdd856c25056a386f91d0a290e51f06e51e8db68aae8ad3b
call_targets:
0x1f52453b32bfab737247114d56d756a6c37dd9ef
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7b21c6c9b93913becdd856c25056a386f91d0a290e51f06e51e8db68aae8ad3b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1f52453b32bfab737247114d56d756a6c37dd9ef"
],
"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": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3088,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7b21c6c9b93913becdd856c25056a386f91d0a290e51f06e51e8db68aae8ad3b
call_targets:
0x1f52453b32bfab737247114d56d756a6c37dd9ef
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7b21c6c9b93913becdd856c25056a386f91d0a290e51f06e51e8db68aae8ad3b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1f52453b32bfab737247114d56d756a6c37dd9ef"
],
"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": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95d89b41",
"selector": "0x95d89b41",
"calldata_variants": [
"0x95d89b41",
"0x95d89b410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3088,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|