019b3836-3352-7304-be64-bdab4aecbf5b
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 |
|---|---|---|---|---|
| 3085 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 3086 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 79675 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 79676 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 79677 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 79678 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x006c 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x13af4035 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0077 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x35c1d349 00000025: EQ 00000026: PUSH2 0x00ac 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x8da5cb5b 00000030: EQ 00000031: PUSH2 0x00f8 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x9003adfe 0000003b: EQ 0000003c: PUSH2 0x010a 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0xa60f3588 00000046: EQ 00000047: PUSH2 0x0113 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xb69ef8a8 00000051: EQ 00000052: PUSH2 0x011c 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xc8796572 0000005c: EQ 0000005d: PUSH2 0x0125 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xe97dcb62 00000067: EQ 00000068: PUSH2 0x014f 0000006b: JUMPI 0000006c: JUMPDEST 0000006d: PUSH2 0x018d 00000070: PUSH2 0x014d 00000073: PUSH2 0x0153 00000076: JUMP 00000077: JUMPDEST 00000078: PUSH2 0x018d 0000007b: PUSH1 0x04 0000007d: CALLDATALOAD 0000007e: PUSH1 0x04 00000080: SLOAD 00000081: PUSH1 0x01 00000083: PUSH1 0xa0 00000085: PUSH1 0x02 00000087: EXP 00000088: SUB 00000089: SWAP1 0000008a: DUP2 0000008b: AND 0000008c: CALLER 0000008d: SWAP2 0000008e: SWAP1 0000008f: SWAP2 00000090: AND 00000091: EQ 00000092: ISZERO 00000093: PUSH2 0x00a9 00000096: JUMPI 00000097: PUSH1 0x04 00000099: DUP1 0000009a: SLOAD 0000009b: PUSH1 0x01 0000009d: PUSH1 0xa0 0000009f: PUSH1 0x02 000000a1: EXP 000000a2: SUB 000000a3: NOT 000000a4: AND 000000a5: DUP3 000000a6: OR 000000a7: SWAP1 000000a8: SSTORE 000000a9: JUMPDEST 000000aa: POP 000000ab: JUMP 000000ac: JUMPDEST 000000ad: PUSH2 0x018f 000000b0: PUSH1 0x04 000000b2: CALLDATALOAD 000000b3: PUSH1 0x00 000000b5: DUP1 000000b6: SLOAD 000000b7: DUP3 000000b8: SWAP1 000000b9: DUP2 000000ba: LT 000000bb: ISZERO 000000bc: PUSH2 0x0002 000000bf: JUMPI 000000c0: POP 000000c1: DUP1 000000c2: MSTORE 000000c3: PUSH1 0x02 000000c5: MUL 000000c6: PUSH1 0x00 000000c8: DUP1 000000c9: MLOAD 000000ca: PUSH1 0x20 000000cc: PUSH2 0x0457 000000cf: DUP4 000000d0: CODECOPY 000000d1: DUP2 000000d2: MLOAD 000000d3: SWAP2 000000d4: MSTORE 000000d5: DUP2 000000d6: ADD 000000d7: SLOAD 000000d8: PUSH1 0x00 000000da: DUP1 000000db: MLOAD 000000dc: PUSH1 0x20 000000de: PUSH2 0x0437 000000e1: DUP4 000000e2: CODECOPY 000000e3: DUP2 000000e4: MLOAD 000000e5: SWAP2 000000e6: MSTORE 000000e7: SWAP2 000000e8: SWAP1 000000e9: SWAP2 000000ea: ADD 000000eb: SLOAD 000000ec: PUSH1 0x01 000000ee: PUSH1 0xa0 000000f0: PUSH1 0x02 000000f2: EXP 000000f3: SUB 000000f4: AND 000000f5: SWAP1 000000f6: DUP3 000000f7: JUMP 000000f8: JUMPDEST 000000f9: PUSH2 0x01b5 000000fc: PUSH1 0x04 000000fe: SLOAD 000000ff: PUSH1 0x01 00000101: PUSH1 0xa0 00000103: PUSH1 0x02 00000105: EXP 00000106: SUB 00000107: AND 00000108: DUP2 00000109: JUMP 0000010a: JUMPDEST 0000010b: PUSH2 0x01d2 0000010e: PUSH1 0x02 00000110: SLOAD 00000111: DUP2 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH2 0x01d2 00000117: PUSH1 0x01 00000119: SLOAD 0000011a: DUP2 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH2 0x01d2 00000120: PUSH1 0x03 00000122: SLOAD 00000123: DUP2 00000124: JUMP 00000125: JUMPDEST 00000126: PUSH2 0x018d 00000129: PUSH1 0x04 0000012b: SLOAD 0000012c: PUSH1 0x01 0000012e: PUSH1 0xa0 00000130: PUSH1 0x02 00000132: EXP 00000133: SUB 00000134: SWAP1 00000135: DUP2 00000136: AND 00000137: CALLER 00000138: SWAP2 00000139: SWAP1 0000013a: SWAP2 0000013b: AND 0000013c: EQ 0000013d: ISZERO 0000013e: PUSH2 0x014d 00000141: JUMPI 00000142: PUSH1 0x02 00000144: SLOAD 00000145: PUSH1 0x00 00000147: EQ 00000148: ISZERO 00000149: PUSH2 0x040c 0000014c: JUMPI 0000014d: JUMPDEST 0000014e: JUMP 0000014f: JUMPDEST 00000150: PUSH2 0x018d 00000153: JUMPDEST 00000154: PUSH1 0x00 00000156: PUSH1 0x00 00000158: PUSH1 0x00 0000015a: PUSH7 0x2386f26fc10000 00000162: CALLVALUE 00000163: LT 00000164: ISZERO 00000165: PUSH2 0x01e4 00000168: JUMPI 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: PUSH1 0x01 0000016e: PUSH1 0xa0 00000170: PUSH1 0x02 00000172: EXP 00000173: SUB 00000174: CALLER 00000175: AND 00000176: SWAP1 00000177: DUP3 00000178: SWAP1 00000179: CALLVALUE 0000017a: SWAP1 0000017b: DUP3 0000017c: DUP2 0000017d: DUP2 0000017e: DUP2 0000017f: DUP6 00000180: DUP9 00000181: DUP4 00000182: CALL 00000183: POP 00000184: POP 00000185: POP 00000186: POP 00000187: POP 00000188: JUMPDEST 00000189: POP 0000018a: POP 0000018b: POP 0000018c: JUMP 0000018d: JUMPDEST 0000018e: STOP 0000018f: JUMPDEST 00000190: PUSH1 0x40 00000192: MLOAD 00000193: DUP1 00000194: DUP4 00000195: PUSH1 0x01 00000197: PUSH1 0xa0 00000199: PUSH1 0x02 0000019b: EXP 0000019c: SUB 0000019d: AND 0000019e: DUP2 0000019f: MSTORE 000001a0: PUSH1 0x20 000001a2: ADD 000001a3: DUP3 000001a4: DUP2 000001a5: MSTORE 000001a6: PUSH1 0x20 000001a8: ADD 000001a9: SWAP3 000001aa: POP 000001ab: POP 000001ac: POP 000001ad: PUSH1 0x40 000001af: MLOAD 000001b0: DUP1 000001b1: SWAP2 000001b2: SUB 000001b3: SWAP1 000001b4: RETURN 000001b5: JUMPDEST 000001b6: PUSH1 0x40 000001b8: DUP1 000001b9: MLOAD 000001ba: PUSH1 0x01 000001bc: PUSH1 0xa0 000001be: PUSH1 0x02 000001c0: EXP 000001c1: SUB 000001c2: SWAP3 000001c3: SWAP1 000001c4: SWAP3 000001c5: AND 000001c6: DUP3 000001c7: MSTORE 000001c8: MLOAD 000001c9: SWAP1 000001ca: DUP2 000001cb: SWAP1 000001cc: SUB 000001cd: PUSH1 0x20 000001cf: ADD 000001d0: SWAP1 000001d1: RETURN 000001d2: JUMPDEST 000001d3: PUSH1 0x40 000001d5: DUP1 000001d6: MLOAD 000001d7: SWAP2 000001d8: DUP3 000001d9: MSTORE 000001da: MLOAD 000001db: SWAP1 000001dc: DUP2 000001dd: SWAP1 000001de: SUB 000001df: PUSH1 0x20 000001e1: ADD 000001e2: SWAP1 000001e3: RETURN 000001e4: JUMPDEST 000001e5: PUSH8 0x4563918244f40000 000001ee: CALLVALUE 000001ef: GT 000001f0: ISZERO 000001f1: PUSH2 0x0230 000001f4: JUMPI 000001f5: PUSH1 0x40 000001f7: MLOAD 000001f8: PUSH1 0x01 000001fa: PUSH1 0xa0 000001fc: PUSH1 0x02 000001fe: EXP 000001ff: SUB 00000200: CALLER 00000201: AND 00000202: SWAP1 00000203: PUSH1 0x00 00000205: SWAP1 00000206: PUSH8 0x4563918244f3ffff 0000020f: NOT 00000210: CALLVALUE 00000211: ADD 00000212: SWAP1 00000213: DUP3 00000214: DUP2 00000215: DUP2 00000216: DUP2 00000217: DUP6 00000218: DUP9 00000219: DUP4 0000021a: CALL 0000021b: POP 0000021c: PUSH8 0x4563918244f40000 00000225: SWAP7 00000226: POP 00000227: PUSH2 0x0234 0000022a: SWAP4 0000022b: POP 0000022c: POP 0000022d: POP 0000022e: POP 0000022f: JUMP 00000230: JUMPDEST 00000231: CALLVALUE 00000232: SWAP3 00000233: POP 00000234: JUMPDEST 00000235: PUSH1 0x00 00000237: DUP1 00000238: SLOAD 00000239: PUSH1 0x01 0000023b: DUP2 0000023c: ADD 0000023d: DUP1 0000023e: DUP4 0000023f: SSTORE 00000240: SWAP1 00000241: SWAP4 00000242: POP 00000243: SWAP1 00000244: DUP2 00000245: DUP5 00000246: DUP1 00000247: ISZERO 00000248: DUP3 00000249: SWAP1 0000024a: GT 0000024b: PUSH2 0x0297 0000024e: JUMPI 0000024f: DUP3 00000250: DUP1 00000251: MSTORE 00000252: PUSH2 0x0297 00000255: SWAP1 00000256: PUSH1 0x02 00000258: SWAP1 00000259: DUP2 0000025a: MUL 0000025b: PUSH1 0x00 0000025d: DUP1 0000025e: MLOAD 0000025f: PUSH1 0x20 00000261: PUSH2 0x0437 00000264: DUP4 00000265: CODECOPY 00000266: DUP2 00000267: MLOAD 00000268: SWAP2 00000269: MSTORE 0000026a: SWAP1 0000026b: DUP2 0000026c: ADD 0000026d: SWAP2 0000026e: DUP5 0000026f: MUL 00000270: ADD 00000271: JUMPDEST 00000272: DUP1 00000273: DUP3 00000274: GT 00000275: ISZERO 00000276: PUSH2 0x0316 00000279: JUMPI 0000027a: DUP1 0000027b: SLOAD 0000027c: PUSH1 0x01 0000027e: PUSH1 0xa0 00000280: PUSH1 0x02 00000282: EXP 00000283: SUB 00000284: NOT 00000285: AND 00000286: DUP2 00000287: SSTORE 00000288: PUSH1 0x00 0000028a: PUSH1 0x01 0000028c: SWAP2 0000028d: SWAP1 0000028e: SWAP2 0000028f: ADD 00000290: SWAP1 00000291: DUP2 00000292: SSTORE 00000293: PUSH2 0x0271 00000296: JUMP 00000297: JUMPDEST 00000298: POP 00000299: POP 0000029a: POP 0000029b: POP 0000029c: CALLER 0000029d: PUSH1 0x00 0000029f: PUSH1 0x00 000002a1: POP 000002a2: DUP4 000002a3: DUP2 000002a4: SLOAD 000002a5: DUP2 000002a6: LT 000002a7: ISZERO 000002a8: PUSH2 0x0002 000002ab: JUMPI 000002ac: DUP2 000002ad: DUP1 000002ae: MSTORE 000002af: PUSH1 0x02 000002b1: MUL 000002b2: PUSH1 0x00 000002b4: DUP1 000002b5: MLOAD 000002b6: PUSH1 0x20 000002b8: PUSH2 0x0437 000002bb: DUP4 000002bc: CODECOPY 000002bd: DUP2 000002be: MLOAD 000002bf: SWAP2 000002c0: MSTORE 000002c1: ADD 000002c2: DUP1 000002c3: SLOAD 000002c4: PUSH1 0x01 000002c6: PUSH1 0xa0 000002c8: PUSH1 0x02 000002ca: EXP 000002cb: SUB 000002cc: NOT 000002cd: AND 000002ce: SWAP1 000002cf: SWAP3 000002d0: OR 000002d1: SWAP1 000002d2: SWAP2 000002d3: SSTORE 000002d4: DUP1 000002d5: SLOAD 000002d6: DUP5 000002d7: SWAP2 000002d8: SWAP1 000002d9: DUP5 000002da: SWAP1 000002db: DUP2 000002dc: LT 000002dd: ISZERO 000002de: PUSH2 0x0002 000002e1: JUMPI 000002e2: PUSH1 0x02 000002e4: MUL 000002e5: PUSH1 0x00 000002e7: DUP1 000002e8: MLOAD 000002e9: PUSH1 0x20 000002eb: PUSH2 0x0457 000002ee: DUP4 000002ef: CODECOPY 000002f0: DUP2 000002f1: MLOAD 000002f2: SWAP2 000002f3: MSTORE 000002f4: ADD 000002f5: SWAP2 000002f6: SWAP1 000002f7: SWAP2 000002f8: SSTORE 000002f9: DUP3 000002fa: EQ 000002fb: PUSH2 0x031a 000002fe: JUMPI 000002ff: PUSH1 0x02 00000301: DUP1 00000302: SLOAD 00000303: PUSH1 0x32 00000305: DUP6 00000306: DIV 00000307: ADD 00000308: SWAP1 00000309: SSTORE 0000030a: PUSH1 0x03 0000030c: DUP1 0000030d: SLOAD 0000030e: DUP5 0000030f: ADD 00000310: SWAP1 00000311: SSTORE 00000312: PUSH2 0x0323 00000315: JUMP 00000316: JUMPDEST 00000317: POP 00000318: SWAP1 00000319: JUMP 0000031a: JUMPDEST 0000031b: PUSH1 0x02 0000031d: DUP1 0000031e: SLOAD 0000031f: DUP5 00000320: ADD 00000321: SWAP1 00000322: SSTORE 00000323: JUMPDEST 00000324: JUMPDEST 00000325: PUSH1 0x00 00000327: DUP1 00000328: SLOAD 00000329: PUSH1 0x01 0000032b: SLOAD 0000032c: SWAP1 0000032d: DUP2 0000032e: LT 0000032f: ISZERO 00000330: PUSH2 0x0002 00000333: JUMPI 00000334: SWAP1 00000335: DUP1 00000336: MSTORE 00000337: PUSH1 0x02 00000339: SWAP1 0000033a: DUP2 0000033b: MUL 0000033c: PUSH1 0x00 0000033e: DUP1 0000033f: MLOAD 00000340: PUSH1 0x20 00000342: PUSH2 0x0457 00000345: DUP4 00000346: CODECOPY 00000347: DUP2 00000348: MLOAD 00000349: SWAP2 0000034a: MSTORE 0000034b: ADD 0000034c: SLOAD 0000034d: PUSH1 0x03 0000034f: SLOAD 00000350: SWAP2 00000351: MUL 00000352: SWAP1 00000353: GT 00000354: ISZERO 00000355: PUSH2 0x0188 00000358: JUMPI 00000359: PUSH1 0x01 0000035b: SLOAD 0000035c: PUSH1 0x00 0000035e: DUP1 0000035f: SLOAD 00000360: PUSH1 0x32 00000362: SWAP3 00000363: SWAP1 00000364: DUP2 00000365: LT 00000366: ISZERO 00000367: PUSH2 0x0002 0000036a: JUMPI 0000036b: DUP2 0000036c: SLOAD 0000036d: PUSH1 0x01 0000036f: SLOAD 00000370: PUSH1 0x02 00000372: SWAP3 00000373: SWAP1 00000374: SWAP3 00000375: MUL 00000376: PUSH1 0x00 00000378: DUP1 00000379: MLOAD 0000037a: PUSH1 0x20 0000037c: PUSH2 0x0457 0000037f: DUP4 00000380: CODECOPY 00000381: DUP2 00000382: MLOAD 00000383: SWAP2 00000384: MSTORE 00000385: ADD 00000386: SLOAD 00000387: SWAP4 00000388: SWAP1 00000389: SWAP4 0000038a: DIV 0000038b: PUSH1 0x62 0000038d: MUL 0000038e: SWAP4 0000038f: POP 00000390: SWAP1 00000391: SWAP2 00000392: DUP2 00000393: LT 00000394: ISZERO 00000395: PUSH2 0x0002 00000398: JUMPI 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: PUSH1 0x02 0000039e: SWAP2 0000039f: SWAP1 000003a0: SWAP2 000003a1: MUL 000003a2: PUSH1 0x00 000003a4: DUP1 000003a5: MLOAD 000003a6: PUSH1 0x20 000003a8: PUSH2 0x0437 000003ab: DUP4 000003ac: CODECOPY 000003ad: DUP2 000003ae: MLOAD 000003af: SWAP2 000003b0: MSTORE 000003b1: ADD 000003b2: SLOAD 000003b3: PUSH1 0x01 000003b5: PUSH1 0xa0 000003b7: PUSH1 0x02 000003b9: EXP 000003ba: SUB 000003bb: AND 000003bc: SWAP2 000003bd: SWAP1 000003be: DUP4 000003bf: SWAP1 000003c0: DUP3 000003c1: DUP2 000003c2: DUP2 000003c3: DUP2 000003c4: DUP6 000003c5: DUP9 000003c6: DUP4 000003c7: CALL 000003c8: POP 000003c9: POP 000003ca: DUP2 000003cb: SLOAD 000003cc: PUSH1 0x01 000003ce: SLOAD 000003cf: SWAP3 000003d0: SWAP4 000003d1: POP 000003d2: DUP3 000003d3: LT 000003d4: ISZERO 000003d5: SWAP1 000003d6: POP 000003d7: PUSH2 0x0002 000003da: JUMPI 000003db: SWAP1 000003dc: DUP1 000003dd: MSTORE 000003de: PUSH1 0x02 000003e0: SWAP1 000003e1: DUP2 000003e2: MUL 000003e3: PUSH1 0x00 000003e5: DUP1 000003e6: MLOAD 000003e7: PUSH1 0x20 000003e9: PUSH2 0x0457 000003ec: DUP4 000003ed: CODECOPY 000003ee: DUP2 000003ef: MLOAD 000003f0: SWAP2 000003f1: MSTORE 000003f2: ADD 000003f3: SLOAD 000003f4: PUSH1 0x03 000003f6: DUP1 000003f7: SLOAD 000003f8: SWAP2 000003f9: SWAP1 000003fa: SWAP3 000003fb: MUL 000003fc: SWAP1 000003fd: SUB 000003fe: SWAP1 000003ff: SSTORE 00000400: PUSH1 0x01 00000402: DUP1 00000403: SLOAD 00000404: DUP2 00000405: ADD 00000406: SWAP1 00000407: SSTORE 00000408: PUSH2 0x0324 0000040b: JUMP 0000040c: JUMPDEST 0000040d: PUSH1 0x04 0000040f: SLOAD 00000410: PUSH1 0x02 00000412: SLOAD 00000413: PUSH1 0x40 00000415: MLOAD 00000416: PUSH1 0x01 00000418: PUSH1 0xa0 0000041a: PUSH1 0x02 0000041c: EXP 0000041d: SUB 0000041e: SWAP3 0000041f: SWAP1 00000420: SWAP3 00000421: AND 00000422: SWAP2 00000423: PUSH1 0x00 00000425: SWAP2 00000426: SWAP1 00000427: DUP3 00000428: DUP2 00000429: DUP2 0000042a: DUP2 0000042b: DUP6 0000042c: DUP9 0000042d: DUP4 0000042e: CALL 0000042f: POP 00000430: POP 00000431: POP 00000432: PUSH1 0x02 00000434: SSTORE 00000435: POP 00000436: JUMP 00000437: UNKNOWN(0x29) 00000438: UNKNOWN(0x0D) 00000439: UNKNOWN(0xEC) 0000043a: UNKNOWN(0xD9) 0000043b: SLOAD 0000043c: DUP12 0000043d: PUSH3 0xa8d603 00000441: GASLIMIT 00000442: UNKNOWN(0xA9) 00000443: DUP9 00000444: CODESIZE 00000445: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5 00000456: PUSH4 0x290decd9 0000045b: SLOAD 0000045c: DUP12 0000045d: PUSH3 0xa8d603 00000461: GASLIMIT 00000462: UNKNOWN(0xA9) 00000463: DUP9 00000464: CODESIZE 00000465: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5 00000476: PUSH5
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x063c3cbe9db01ab416813b28dfb937a3910cb16b1ff803adb7b94cde87ad95cb
call_targets:
0x303e50180fe5794ba066e227f376b22341aad497
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x063c3cbe9db01ab416813b28dfb937a3910cb16b1ff803adb7b94cde87ad95cb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x303e50180fe5794ba066e227f376b22341aad497"
],
"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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x35c1d349",
"selector": "0x35c1d349",
"calldata_variants": [
"0x35c1d349",
"0x35c1d3490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9003adfe",
"selector": "0x9003adfe",
"calldata_variants": [
"0x9003adfe",
"0x9003adfe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa60f3588",
"selector": "0xa60f3588",
"calldata_variants": [
"0xa60f3588",
"0xa60f35880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8796572",
"selector": "0xc8796572",
"calldata_variants": [
"0xc8796572",
"0xc87965720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe97dcb62",
"selector": "0xe97dcb62",
"calldata_variants": [
"0xe97dcb62",
"0xe97dcb620000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 386,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 538,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 967,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x063c3cbe9db01ab416813b28dfb937a3910cb16b1ff803adb7b94cde87ad95cb
call_targets:
0x303e50180fe5794ba066e227f376b22341aad497
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x063c3cbe9db01ab416813b28dfb937a3910cb16b1ff803adb7b94cde87ad95cb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x303e50180fe5794ba066e227f376b22341aad497"
],
"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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x35c1d349",
"selector": "0x35c1d349",
"calldata_variants": [
"0x35c1d349",
"0x35c1d3490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9003adfe",
"selector": "0x9003adfe",
"calldata_variants": [
"0x9003adfe",
"0x9003adfe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa60f3588",
"selector": "0xa60f3588",
"calldata_variants": [
"0xa60f3588",
"0xa60f35880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb69ef8a8",
"selector": "0xb69ef8a8",
"calldata_variants": [
"0xb69ef8a8",
"0xb69ef8a80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8796572",
"selector": "0xc8796572",
"calldata_variants": [
"0xc8796572",
"0xc87965720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe97dcb62",
"selector": "0xe97dcb62",
"calldata_variants": [
"0xe97dcb62",
"0xe97dcb620000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 386,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 538,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 967,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|