019b477e-aaeb-7309-98e9-88944d8bcf21
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 |
|---|---|---|---|---|
| 20921 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 20922 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 64166 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64167 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64168 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64169 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0099 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x01608f5f 0000003c: EQ 0000003d: PUSH2 0x009e 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x18a042ec 00000047: EQ 00000048: PUSH2 0x00eb 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x33a581d2 00000052: EQ 00000053: PUSH2 0x012d 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x534844a2 0000005d: EQ 0000005e: PUSH2 0x0156 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x8da5cb5b 00000068: EQ 00000069: PUSH2 0x016b 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x968ed600 00000073: EQ 00000074: PUSH2 0x01c0 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xa26759cb 0000007e: EQ 0000007f: PUSH2 0x01e9 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xb4cb741a 00000089: EQ 0000008a: PUSH2 0x020b 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xd2fafb19 00000094: EQ 00000095: PUSH2 0x0234 00000098: JUMPI 00000099: JUMPDEST 0000009a: PUSH1 0x00 0000009c: DUP1 0000009d: REVERT 0000009e: JUMPDEST 0000009f: CALLVALUE 000000a0: ISZERO 000000a1: PUSH2 0x00a9 000000a4: JUMPI 000000a5: PUSH1 0x00 000000a7: DUP1 000000a8: REVERT 000000a9: JUMPDEST 000000aa: PUSH2 0x00d5 000000ad: PUSH1 0x04 000000af: DUP1 000000b0: DUP1 000000b1: CALLDATALOAD 000000b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000c7: AND 000000c8: SWAP1 000000c9: PUSH1 0x20 000000cb: ADD 000000cc: SWAP1 000000cd: SWAP2 000000ce: SWAP1 000000cf: POP 000000d0: POP 000000d1: PUSH2 0x0276 000000d4: JUMP 000000d5: JUMPDEST 000000d6: PUSH1 0x40 000000d8: MLOAD 000000d9: DUP1 000000da: DUP3 000000db: DUP2 000000dc: MSTORE 000000dd: PUSH1 0x20 000000df: ADD 000000e0: SWAP2 000000e1: POP 000000e2: POP 000000e3: PUSH1 0x40 000000e5: MLOAD 000000e6: DUP1 000000e7: SWAP2 000000e8: SUB 000000e9: SWAP1 000000ea: RETURN 000000eb: JUMPDEST 000000ec: CALLVALUE 000000ed: ISZERO 000000ee: PUSH2 0x00f6 000000f1: JUMPI 000000f2: PUSH1 0x00 000000f4: DUP1 000000f5: REVERT 000000f6: JUMPDEST 000000f7: PUSH2 0x012b 000000fa: PUSH1 0x04 000000fc: DUP1 000000fd: DUP1 000000fe: CALLDATALOAD 000000ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000114: AND 00000115: SWAP1 00000116: PUSH1 0x20 00000118: ADD 00000119: SWAP1 0000011a: SWAP2 0000011b: SWAP1 0000011c: DUP1 0000011d: CALLDATALOAD 0000011e: SWAP1 0000011f: PUSH1 0x20 00000121: ADD 00000122: SWAP1 00000123: SWAP2 00000124: SWAP1 00000125: POP 00000126: POP 00000127: PUSH2 0x028e 0000012a: JUMP 0000012b: JUMPDEST 0000012c: STOP 0000012d: JUMPDEST 0000012e: CALLVALUE 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: PUSH2 0x0140 0000013c: PUSH2 0x032d 0000013f: JUMP 00000140: JUMPDEST 00000141: PUSH1 0x40 00000143: MLOAD 00000144: DUP1 00000145: DUP3 00000146: DUP2 00000147: MSTORE 00000148: PUSH1 0x20 0000014a: ADD 0000014b: SWAP2 0000014c: POP 0000014d: POP 0000014e: PUSH1 0x40 00000150: MLOAD 00000151: DUP1 00000152: SWAP2 00000153: SUB 00000154: SWAP1 00000155: RETURN 00000156: JUMPDEST 00000157: CALLVALUE 00000158: ISZERO 00000159: PUSH2 0x0161 0000015c: JUMPI 0000015d: PUSH1 0x00 0000015f: DUP1 00000160: REVERT 00000161: JUMPDEST 00000162: PUSH2 0x0169 00000165: PUSH2 0x0351 00000168: JUMP 00000169: JUMPDEST 0000016a: STOP 0000016b: JUMPDEST 0000016c: CALLVALUE 0000016d: ISZERO 0000016e: PUSH2 0x0176 00000171: JUMPI 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: PUSH2 0x017e 0000017a: PUSH2 0x0476 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: DUP1 00000183: DUP3 00000184: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000199: AND 0000019a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001af: AND 000001b0: DUP2 000001b1: MSTORE 000001b2: PUSH1 0x20 000001b4: ADD 000001b5: SWAP2 000001b6: POP 000001b7: POP 000001b8: PUSH1 0x40 000001ba: MLOAD 000001bb: DUP1 000001bc: SWAP2 000001bd: SUB 000001be: SWAP1 000001bf: RETURN 000001c0: JUMPDEST 000001c1: CALLVALUE 000001c2: ISZERO 000001c3: PUSH2 0x01cb 000001c6: JUMPI 000001c7: PUSH1 0x00 000001c9: DUP1 000001ca: REVERT 000001cb: JUMPDEST 000001cc: PUSH2 0x01d3 000001cf: PUSH2 0x049b 000001d2: JUMP 000001d3: JUMPDEST 000001d4: PUSH1 0x40 000001d6: MLOAD 000001d7: DUP1 000001d8: DUP3 000001d9: DUP2 000001da: MSTORE 000001db: PUSH1 0x20 000001dd: ADD 000001de: SWAP2 000001df: POP 000001e0: POP 000001e1: PUSH1 0x40 000001e3: MLOAD 000001e4: DUP1 000001e5: SWAP2 000001e6: SUB 000001e7: SWAP1 000001e8: RETURN 000001e9: JUMPDEST 000001ea: PUSH2 0x01f1 000001ed: PUSH2 0x04a1 000001f0: JUMP 000001f1: JUMPDEST 000001f2: PUSH1 0x40 000001f4: MLOAD 000001f5: DUP1 000001f6: DUP3 000001f7: ISZERO 000001f8: ISZERO 000001f9: ISZERO 000001fa: ISZERO 000001fb: DUP2 000001fc: MSTORE 000001fd: PUSH1 0x20 000001ff: ADD 00000200: SWAP2 00000201: POP 00000202: POP 00000203: PUSH1 0x40 00000205: MLOAD 00000206: DUP1 00000207: SWAP2 00000208: SUB 00000209: SWAP1 0000020a: RETURN 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: PUSH2 0x021e 0000021a: PUSH2 0x0551 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH1 0x40 00000221: MLOAD 00000222: DUP1 00000223: DUP3 00000224: DUP2 00000225: MSTORE 00000226: PUSH1 0x20 00000228: ADD 00000229: SWAP2 0000022a: POP 0000022b: POP 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: DUP1 00000230: SWAP2 00000231: SUB 00000232: SWAP1 00000233: RETURN 00000234: JUMPDEST 00000235: CALLVALUE 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: PUSH2 0x0274 00000243: PUSH1 0x04 00000245: DUP1 00000246: DUP1 00000247: CALLDATALOAD 00000248: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025d: AND 0000025e: SWAP1 0000025f: PUSH1 0x20 00000261: ADD 00000262: SWAP1 00000263: SWAP2 00000264: SWAP1 00000265: DUP1 00000266: CALLDATALOAD 00000267: SWAP1 00000268: PUSH1 0x20 0000026a: ADD 0000026b: SWAP1 0000026c: SWAP2 0000026d: SWAP1 0000026e: POP 0000026f: POP 00000270: PUSH2 0x0557 00000273: JUMP 00000274: JUMPDEST 00000275: STOP 00000276: JUMPDEST 00000277: PUSH1 0x03 00000279: PUSH1 0x20 0000027b: MSTORE 0000027c: DUP1 0000027d: PUSH1 0x00 0000027f: MSTORE 00000280: PUSH1 0x40 00000282: PUSH1 0x00 00000284: KECCAK256 00000285: PUSH1 0x00 00000287: SWAP2 00000288: POP 00000289: SWAP1 0000028a: POP 0000028b: SLOAD 0000028c: DUP2 0000028d: JUMP 0000028e: JUMPDEST 0000028f: PUSH1 0x00 00000291: DUP1 00000292: SWAP1 00000293: SLOAD 00000294: SWAP1 00000295: PUSH2 0x0100 00000298: EXP 00000299: SWAP1 0000029a: DIV 0000029b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b0: AND 000002b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c6: AND 000002c7: CALLER 000002c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002dd: AND 000002de: EQ 000002df: ISZERO 000002e0: ISZERO 000002e1: PUSH2 0x02e9 000002e4: JUMPI 000002e5: PUSH1 0x00 000002e7: DUP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: DUP2 000002eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000300: AND 00000301: PUSH2 0x08fc 00000304: DUP3 00000305: SWAP1 00000306: DUP2 00000307: ISZERO 00000308: MUL 00000309: SWAP1 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: PUSH1 0x00 0000030f: PUSH1 0x40 00000311: MLOAD 00000312: DUP1 00000313: DUP4 00000314: SUB 00000315: DUP2 00000316: DUP6 00000317: DUP9 00000318: DUP9 00000319: CALL 0000031a: SWAP4 0000031b: POP 0000031c: POP 0000031d: POP 0000031e: POP 0000031f: ISZERO 00000320: ISZERO 00000321: PUSH2 0x0329 00000324: JUMPI 00000325: PUSH1 0x00 00000327: DUP1 00000328: REVERT 00000329: JUMPDEST 0000032a: POP 0000032b: POP 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000034f: DUP2 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH1 0x00 00000354: DUP1 00000355: CALLER 00000356: SWAP2 00000357: POP 00000358: PUSH1 0x03 0000035a: PUSH1 0x00 0000035c: DUP4 0000035d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000372: AND 00000373: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000388: AND 00000389: DUP2 0000038a: MSTORE 0000038b: PUSH1 0x20 0000038d: ADD 0000038e: SWAP1 0000038f: DUP2 00000390: MSTORE 00000391: PUSH1 0x20 00000393: ADD 00000394: PUSH1 0x00 00000396: KECCAK256 00000397: SLOAD 00000398: SWAP1 00000399: POP 0000039a: PUSH1 0x00 0000039c: PUSH1 0x03 0000039e: PUSH1 0x00 000003a0: DUP5 000003a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b6: AND 000003b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cc: AND 000003cd: DUP2 000003ce: MSTORE 000003cf: PUSH1 0x20 000003d1: ADD 000003d2: SWAP1 000003d3: DUP2 000003d4: MSTORE 000003d5: PUSH1 0x20 000003d7: ADD 000003d8: PUSH1 0x00 000003da: KECCAK256 000003db: DUP2 000003dc: SWAP1 000003dd: SSTORE 000003de: POP 000003df: DUP2 000003e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f5: AND 000003f6: PUSH2 0x08fc 000003f9: DUP3 000003fa: SWAP1 000003fb: DUP2 000003fc: ISZERO 000003fd: MUL 000003fe: SWAP1 000003ff: PUSH1 0x40 00000401: MLOAD 00000402: PUSH1 0x00 00000404: PUSH1 0x40 00000406: MLOAD 00000407: DUP1 00000408: DUP4 00000409: SUB 0000040a: DUP2 0000040b: DUP6 0000040c: DUP9 0000040d: DUP9 0000040e: CALL 0000040f: SWAP4 00000410: POP 00000411: POP 00000412: POP 00000413: POP 00000414: POP 00000415: DUP1 00000416: PUSH1 0x01 00000418: PUSH1 0x00 0000041a: DUP3 0000041b: DUP3 0000041c: SLOAD 0000041d: SUB 0000041e: SWAP3 0000041f: POP 00000420: POP 00000421: DUP2 00000422: SWAP1 00000423: SSTORE 00000424: POP 00000425: DUP2 00000426: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043b: AND 0000043c: PUSH32 0x88969340a3d69da408cfcbcad93dfc1d174b772fb92562e7d52e0a7492186ef9 0000045d: DUP3 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: DUP1 00000462: DUP3 00000463: DUP2 00000464: MSTORE 00000465: PUSH1 0x20 00000467: ADD 00000468: SWAP2 00000469: POP 0000046a: POP 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: DUP1 0000046f: SWAP2 00000470: SUB 00000471: SWAP1 00000472: LOG2 00000473: POP 00000474: POP 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH1 0x00 00000479: DUP1 0000047a: SWAP1 0000047b: SLOAD 0000047c: SWAP1 0000047d: PUSH2 0x0100 00000480: EXP 00000481: SWAP1 00000482: DIV 00000483: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000498: AND 00000499: DUP2 0000049a: JUMP 0000049b: JUMPDEST 0000049c: PUSH1 0x01 0000049e: SLOAD 0000049f: DUP2 000004a0: JUMP 000004a1: JUMPDEST 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: SWAP1 000004a9: SLOAD 000004aa: SWAP1 000004ab: PUSH2 0x0100 000004ae: EXP 000004af: SWAP1 000004b0: DIV 000004b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c6: AND 000004c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004dc: AND 000004dd: CALLER 000004de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f3: AND 000004f4: EQ 000004f5: ISZERO 000004f6: ISZERO 000004f7: PUSH2 0x04ff 000004fa: JUMPI 000004fb: PUSH1 0x00 000004fd: DUP1 000004fe: REVERT 000004ff: JUMPDEST 00000500: CALLVALUE 00000501: SWAP1 00000502: POP 00000503: DUP1 00000504: PUSH1 0x01 00000506: PUSH1 0x00 00000508: DUP3 00000509: DUP3 0000050a: SLOAD 0000050b: ADD 0000050c: SWAP3 0000050d: POP 0000050e: POP 0000050f: DUP2 00000510: SWAP1 00000511: SSTORE 00000512: POP 00000513: PUSH32 0xce032f5604beaf87b0a3f2667fca1dcb271351c7ea0475026f4e5aa9beab88cd 00000534: DUP2 00000535: PUSH1 0x40 00000537: MLOAD 00000538: DUP1 00000539: DUP3 0000053a: DUP2 0000053b: MSTORE 0000053c: PUSH1 0x20 0000053e: ADD 0000053f: SWAP2 00000540: POP 00000541: POP 00000542: PUSH1 0x40 00000544: MLOAD 00000545: DUP1 00000546: SWAP2 00000547: SUB 00000548: SWAP1 00000549: LOG1 0000054a: PUSH1 0x01 0000054c: SWAP2 0000054d: POP 0000054e: POP 0000054f: SWAP1 00000550: JUMP 00000551: JUMPDEST 00000552: PUSH1 0x02 00000554: SLOAD 00000555: DUP2 00000556: JUMP 00000557: JUMPDEST 00000558: CALLER 00000559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056e: AND 0000056f: PUSH1 0x00 00000571: DUP1 00000572: SWAP1 00000573: SLOAD 00000574: SWAP1 00000575: PUSH2 0x0100 00000578: EXP 00000579: SWAP1 0000057a: DIV 0000057b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000590: AND 00000591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a6: AND 000005a7: EQ 000005a8: ISZERO 000005a9: ISZERO 000005aa: PUSH2 0x05b2 000005ad: JUMPI 000005ae: PUSH1 0x00 000005b0: DUP1 000005b1: REVERT 000005b2: JUMPDEST 000005b3: DUP1 000005b4: PUSH1 0x03 000005b6: PUSH1 0x00 000005b8: DUP5 000005b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ce: AND 000005cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e4: AND 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x20 000005e9: ADD 000005ea: SWAP1 000005eb: DUP2 000005ec: MSTORE 000005ed: PUSH1 0x20 000005ef: ADD 000005f0: PUSH1 0x00 000005f2: KECCAK256 000005f3: DUP2 000005f4: SWAP1 000005f5: SSTORE 000005f6: POP 000005f7: DUP1 000005f8: PUSH1 0x02 000005fa: PUSH1 0x00 000005fc: DUP3 000005fd: DUP3 000005fe: SLOAD 000005ff: ADD 00000600: SWAP3 00000601: POP 00000602: POP 00000603: DUP2 00000604: SWAP1 00000605: SSTORE 00000606: POP 00000607: DUP2 00000608: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061d: AND 0000061e: PUSH32 0x13abbaadfc56f27058bc2e6ce553163f1109f1c59d0935b43af21d07748b8be0 0000063f: DUP3 00000640: PUSH1 0x40 00000642: MLOAD 00000643: DUP1 00000644: DUP3 00000645: DUP2 00000646: MSTORE 00000647: PUSH1 0x20 00000649: ADD 0000064a: SWAP2 0000064b: POP 0000064c: POP 0000064d: PUSH1 0x40 0000064f: MLOAD 00000650: DUP1 00000651: SWAP2 00000652: SUB 00000653: SWAP1 00000654: LOG2 00000655: POP 00000656: POP 00000657: JUMP 00000658: STOP 00000659: LOG1 0000065a: PUSH6 0x627a7a723058 00000661: KECCAK256 00000662: UNKNOWN(0xD7) 00000663: UNKNOWN(0xA6) 00000664: UNKNOWN(0xC3) 00000665: GAS 00000666: UNKNOWN(0xD2) 00000667: CODECOPY 00000668: UNKNOWN(0xBD) 00000669: SWAP11 0000066a: SWAP11 0000066b: UNKNOWN(0xB8) 0000066c: DUP4 0000066d: SWAP15 0000066e: PUSH10 0xd2dda7060ca4008a3199 00000679: AND 0000067a: SIGNEXTEND 0000067b: UNKNOWN(0xE7) 0000067c: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xa04acb0582964956c08012610f6cbc56b7f481d303c37bc4ab009032924da1c7
call_targets:
0x0494317ae74960349ca5f6cf030334061a891da1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa04acb0582964956c08012610f6cbc56b7f481d303c37bc4ab009032924da1c7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0494317ae74960349ca5f6cf030334061a891da1"
],
"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": "0x01608f5f",
"selector": "0x01608f5f",
"calldata_variants": [
"0x01608f5f",
"0x01608f5f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18a042ec",
"selector": "0x18a042ec",
"calldata_variants": [
"0x18a042ec",
"0x18a042ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33a581d2",
"selector": "0x33a581d2",
"calldata_variants": [
"0x33a581d2",
"0x33a581d20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x534844a2",
"selector": "0x534844a2",
"calldata_variants": [
"0x534844a2",
"0x534844a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x968ed600",
"selector": "0x968ed600",
"calldata_variants": [
"0x968ed600",
"0x968ed6000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa26759cb",
"selector": "0xa26759cb",
"calldata_variants": [
"0xa26759cb",
"0xa26759cb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 793,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1038,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 711,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1245,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xa04acb0582964956c08012610f6cbc56b7f481d303c37bc4ab009032924da1c7
call_targets:
0x0494317ae74960349ca5f6cf030334061a891da1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa04acb0582964956c08012610f6cbc56b7f481d303c37bc4ab009032924da1c7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0494317ae74960349ca5f6cf030334061a891da1"
],
"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": "0x01608f5f",
"selector": "0x01608f5f",
"calldata_variants": [
"0x01608f5f",
"0x01608f5f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18a042ec",
"selector": "0x18a042ec",
"calldata_variants": [
"0x18a042ec",
"0x18a042ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33a581d2",
"selector": "0x33a581d2",
"calldata_variants": [
"0x33a581d2",
"0x33a581d20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x534844a2",
"selector": "0x534844a2",
"calldata_variants": [
"0x534844a2",
"0x534844a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x968ed600",
"selector": "0x968ed600",
"calldata_variants": [
"0x968ed600",
"0x968ed6000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa26759cb",
"selector": "0xa26759cb",
"calldata_variants": [
"0xa26759cb",
"0xa26759cb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 793,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1038,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 711,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1245,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|