019ba9a5-c55e-71d4-938d-143264a3f726
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 |
|---|---|---|---|---|
| 36891 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36892 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36893 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36894 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36895 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36896 | detector.run | complete | 1 / 3 | 3 months ago |
| 36897 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x0077 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x3ef13367 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x00f8 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x6b9f96ea 00000046: EQ 00000047: PUSH2 0x011b 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x8f84aa09 00000051: EQ 00000052: PUSH2 0x0130 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x96a4154e 0000005c: EQ 0000005d: PUSH2 0x0161 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xa6f9dae1 00000067: EQ 00000068: PUSH2 0x0182 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xfeb0a141 00000072: EQ 00000073: PUSH2 0x01a3 00000076: JUMPI 00000077: JUMPDEST 00000078: PUSH1 0x00 0000007a: DUP1 0000007b: SLOAD 0000007c: PUSH1 0x40 0000007e: MLOAD 0000007f: PUSH1 0x01 00000081: PUSH1 0xa0 00000083: PUSH1 0x02 00000085: EXP 00000086: SUB 00000087: SWAP1 00000088: SWAP2 00000089: AND 0000008a: SWAP1 0000008b: CALLVALUE 0000008c: SWAP1 0000008d: PUSH1 0x20 0000008f: DUP1 00000090: DUP3 00000091: ADD 00000092: SWAP2 00000093: DUP6 00000094: SWAP2 00000095: DUP2 00000096: DUP6 00000097: DUP8 00000098: GAS 00000099: CALL 0000009a: SWAP3 0000009b: POP 0000009c: POP 0000009d: POP 0000009e: SWAP1 0000009f: POP 000000a0: DUP1 000000a1: ISZERO 000000a2: ISZERO 000000a3: PUSH2 0x00ab 000000a6: JUMPI 000000a7: PUSH1 0x00 000000a9: DUP1 000000aa: REVERT 000000ab: JUMPDEST 000000ac: PUSH1 0x00 000000ae: SLOAD 000000af: PUSH1 0x40 000000b1: DUP1 000000b2: MLOAD 000000b3: PUSH1 0x01 000000b5: PUSH1 0xa0 000000b7: PUSH1 0x02 000000b9: EXP 000000ba: SUB 000000bb: SWAP1 000000bc: SWAP3 000000bd: AND 000000be: DUP3 000000bf: MSTORE 000000c0: CALLER 000000c1: PUSH1 0x20 000000c3: DUP4 000000c4: ADD 000000c5: MSTORE 000000c6: CALLVALUE 000000c7: DUP3 000000c8: DUP3 000000c9: ADD 000000ca: MSTORE 000000cb: MLOAD 000000cc: PUSH32 0x5548c837ab068cf56a2c2479df0882a4922fd203edb7517321831d95078c5f62 000000ed: SWAP2 000000ee: DUP2 000000ef: SWAP1 000000f0: SUB 000000f1: PUSH1 0x60 000000f3: ADD 000000f4: SWAP1 000000f5: LOG1 000000f6: POP 000000f7: STOP 000000f8: JUMPDEST 000000f9: CALLVALUE 000000fa: DUP1 000000fb: ISZERO 000000fc: PUSH2 0x0104 000000ff: JUMPI 00000100: PUSH1 0x00 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: POP 00000106: PUSH2 0x0119 00000109: PUSH1 0x01 0000010b: PUSH1 0xa0 0000010d: PUSH1 0x02 0000010f: EXP 00000110: SUB 00000111: PUSH1 0x04 00000113: CALLDATALOAD 00000114: AND 00000115: PUSH2 0x01b8 00000118: JUMP 00000119: JUMPDEST 0000011a: STOP 0000011b: JUMPDEST 0000011c: CALLVALUE 0000011d: DUP1 0000011e: ISZERO 0000011f: PUSH2 0x0127 00000122: JUMPI 00000123: PUSH1 0x00 00000125: DUP1 00000126: REVERT 00000127: JUMPDEST 00000128: POP 00000129: PUSH2 0x0119 0000012c: PUSH2 0x03f5 0000012f: JUMP 00000130: JUMPDEST 00000131: CALLVALUE 00000132: DUP1 00000133: ISZERO 00000134: PUSH2 0x013c 00000137: JUMPI 00000138: PUSH1 0x00 0000013a: DUP1 0000013b: REVERT 0000013c: JUMPDEST 0000013d: POP 0000013e: PUSH2 0x0145 00000141: PUSH2 0x0433 00000144: JUMP 00000145: JUMPDEST 00000146: PUSH1 0x40 00000148: DUP1 00000149: MLOAD 0000014a: PUSH1 0x01 0000014c: PUSH1 0xa0 0000014e: PUSH1 0x02 00000150: EXP 00000151: SUB 00000152: SWAP1 00000153: SWAP3 00000154: AND 00000155: DUP3 00000156: MSTORE 00000157: MLOAD 00000158: SWAP1 00000159: DUP2 0000015a: SWAP1 0000015b: SUB 0000015c: PUSH1 0x20 0000015e: ADD 0000015f: SWAP1 00000160: RETURN 00000161: JUMPDEST 00000162: CALLVALUE 00000163: DUP1 00000164: ISZERO 00000165: PUSH2 0x016d 00000168: JUMPI 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: REVERT 0000016d: JUMPDEST 0000016e: POP 0000016f: PUSH2 0x0119 00000172: PUSH1 0x01 00000174: PUSH1 0xa0 00000176: PUSH1 0x02 00000178: EXP 00000179: SUB 0000017a: PUSH1 0x04 0000017c: CALLDATALOAD 0000017d: AND 0000017e: PUSH2 0x0442 00000181: JUMP 00000182: JUMPDEST 00000183: CALLVALUE 00000184: DUP1 00000185: ISZERO 00000186: PUSH2 0x018e 00000189: JUMPI 0000018a: PUSH1 0x00 0000018c: DUP1 0000018d: REVERT 0000018e: JUMPDEST 0000018f: POP 00000190: PUSH2 0x0119 00000193: PUSH1 0x01 00000195: PUSH1 0xa0 00000197: PUSH1 0x02 00000199: EXP 0000019a: SUB 0000019b: PUSH1 0x04 0000019d: CALLDATALOAD 0000019e: AND 0000019f: PUSH2 0x049f 000001a2: JUMP 000001a3: JUMPDEST 000001a4: CALLVALUE 000001a5: DUP1 000001a6: ISZERO 000001a7: PUSH2 0x01af 000001aa: JUMPI 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: REVERT 000001af: JUMPDEST 000001b0: POP 000001b1: PUSH2 0x0145 000001b4: PUSH2 0x04e5 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x01 000001bb: SLOAD 000001bc: PUSH1 0x00 000001be: SWAP1 000001bf: DUP2 000001c0: SWAP1 000001c1: DUP2 000001c2: SWAP1 000001c3: PUSH1 0x01 000001c5: PUSH1 0xa0 000001c7: PUSH1 0x02 000001c9: EXP 000001ca: SUB 000001cb: AND 000001cc: CALLER 000001cd: EQ 000001ce: DUP1 000001cf: PUSH2 0x01e2 000001d2: JUMPI 000001d3: POP 000001d4: PUSH1 0x00 000001d6: SLOAD 000001d7: PUSH1 0x01 000001d9: PUSH1 0xa0 000001db: PUSH1 0x02 000001dd: EXP 000001de: SUB 000001df: AND 000001e0: CALLER 000001e1: EQ 000001e2: JUMPDEST 000001e3: ISZERO 000001e4: ISZERO 000001e5: PUSH2 0x01ed 000001e8: JUMPI 000001e9: PUSH1 0x00 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: PUSH1 0x40 000001f0: DUP1 000001f1: MLOAD 000001f2: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000213: DUP2 00000214: MSTORE 00000215: ADDRESS 00000216: PUSH1 0x04 00000218: DUP3 00000219: ADD 0000021a: MSTORE 0000021b: SWAP1 0000021c: MLOAD 0000021d: DUP6 0000021e: SWAP5 0000021f: POP 00000220: PUSH1 0x01 00000222: PUSH1 0xa0 00000224: PUSH1 0x02 00000226: EXP 00000227: SUB 00000228: DUP6 00000229: AND 0000022a: SWAP2 0000022b: PUSH4 0x70a08231 00000230: SWAP2 00000231: PUSH1 0x24 00000233: DUP1 00000234: DUP4 00000235: ADD 00000236: SWAP3 00000237: PUSH1 0x20 00000239: SWAP3 0000023a: SWAP2 0000023b: SWAP1 0000023c: DUP3 0000023d: SWAP1 0000023e: SUB 0000023f: ADD 00000240: DUP2 00000241: PUSH1 0x00 00000243: DUP8 00000244: DUP1 00000245: EXTCODESIZE 00000246: ISZERO 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: GAS 00000254: CALL 00000255: ISZERO 00000256: DUP1 00000257: ISZERO 00000258: PUSH2 0x0265 0000025b: JUMPI 0000025c: RETURNDATASIZE 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: RETURNDATACOPY 00000261: RETURNDATASIZE 00000262: PUSH1 0x00 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: POP 00000268: POP 00000269: POP 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: RETURNDATASIZE 0000026e: PUSH1 0x20 00000270: DUP2 00000271: LT 00000272: ISZERO 00000273: PUSH2 0x027b 00000276: JUMPI 00000277: PUSH1 0x00 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: POP 0000027d: MLOAD 0000027e: SWAP2 0000027f: POP 00000280: DUP2 00000281: ISZERO 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: SLOAD 00000290: PUSH1 0x40 00000292: DUP1 00000293: MLOAD 00000294: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000002b5: DUP2 000002b6: MSTORE 000002b7: PUSH1 0x01 000002b9: PUSH1 0xa0 000002bb: PUSH1 0x02 000002bd: EXP 000002be: SUB 000002bf: SWAP3 000002c0: DUP4 000002c1: AND 000002c2: PUSH1 0x04 000002c4: DUP3 000002c5: ADD 000002c6: MSTORE 000002c7: PUSH1 0x24 000002c9: DUP2 000002ca: ADD 000002cb: DUP7 000002cc: SWAP1 000002cd: MSTORE 000002ce: SWAP1 000002cf: MLOAD 000002d0: SWAP2 000002d1: DUP7 000002d2: AND 000002d3: SWAP3 000002d4: PUSH4 0xa9059cbb 000002d9: SWAP3 000002da: PUSH1 0x44 000002dc: DUP1 000002dd: DUP5 000002de: ADD 000002df: SWAP4 000002e0: DUP3 000002e1: SWAP1 000002e2: SUB 000002e3: ADD 000002e4: DUP2 000002e5: DUP4 000002e6: DUP8 000002e7: DUP1 000002e8: EXTCODESIZE 000002e9: ISZERO 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: POP 000002f6: GAS 000002f7: CALL 000002f8: ISZERO 000002f9: DUP1 000002fa: ISZERO 000002fb: PUSH2 0x0308 000002fe: JUMPI 000002ff: RETURNDATASIZE 00000300: PUSH1 0x00 00000302: DUP1 00000303: RETURNDATACOPY 00000304: RETURNDATASIZE 00000305: PUSH1 0x00 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: POP 0000030b: POP 0000030c: POP 0000030d: RETURNDATASIZE 0000030e: PUSH1 0x00 00000310: DUP2 00000311: EQ 00000312: PUSH2 0x0322 00000315: JUMPI 00000316: PUSH1 0x20 00000318: DUP2 00000319: EQ 0000031a: PUSH2 0x032c 0000031d: JUMPI 0000031e: PUSH1 0x00 00000320: DUP1 00000321: REVERT 00000322: JUMPDEST 00000323: PUSH1 0x00 00000325: NOT 00000326: SWAP2 00000327: POP 00000328: PUSH2 0x0338 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH1 0x20 0000032f: PUSH1 0x00 00000331: DUP1 00000332: RETURNDATACOPY 00000333: PUSH1 0x00 00000335: MLOAD 00000336: SWAP2 00000337: POP 00000338: JUMPDEST 00000339: POP 0000033a: DUP1 0000033b: ISZERO 0000033c: ISZERO 0000033d: PUSH2 0x03a7 00000340: JUMPI 00000341: PUSH1 0x40 00000343: DUP1 00000344: MLOAD 00000345: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000366: DUP2 00000367: MSTORE 00000368: PUSH1 0x20 0000036a: PUSH1 0x04 0000036c: DUP3 0000036d: ADD 0000036e: MSTORE 0000036f: PUSH1 0x19 00000371: PUSH1 0x24 00000373: DUP3 00000374: ADD 00000375: MSTORE 00000376: PUSH32 0x544f4b454e5f5452414e534645525f4f55545f4641494c454400000000000000 00000397: PUSH1 0x44 00000399: DUP3 0000039a: ADD 0000039b: MSTORE 0000039c: SWAP1 0000039d: MLOAD 0000039e: SWAP1 0000039f: DUP2 000003a0: SWAP1 000003a1: SUB 000003a2: PUSH1 0x64 000003a4: ADD 000003a5: SWAP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: PUSH1 0x40 000003aa: DUP1 000003ab: MLOAD 000003ac: ADDRESS 000003ad: DUP2 000003ae: MSTORE 000003af: PUSH1 0x20 000003b1: DUP2 000003b2: ADD 000003b3: DUP5 000003b4: SWAP1 000003b5: MSTORE 000003b6: PUSH1 0x01 000003b8: PUSH1 0xa0 000003ba: PUSH1 0x02 000003bc: EXP 000003bd: SUB 000003be: DUP7 000003bf: AND 000003c0: DUP2 000003c1: DUP4 000003c2: ADD 000003c3: MSTORE 000003c4: SWAP1 000003c5: MLOAD 000003c6: PUSH32 0xb4bdccee2343c0b5e592d459c20eb1fa451c96bf88fb685a11aecda6b4ec76b1 000003e7: SWAP2 000003e8: DUP2 000003e9: SWAP1 000003ea: SUB 000003eb: PUSH1 0x60 000003ed: ADD 000003ee: SWAP1 000003ef: LOG1 000003f0: POP 000003f1: POP 000003f2: POP 000003f3: POP 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x00 000003f8: DUP1 000003f9: SLOAD 000003fa: PUSH1 0x40 000003fc: MLOAD 000003fd: PUSH1 0x01 000003ff: PUSH1 0xa0 00000401: PUSH1 0x02 00000403: EXP 00000404: SUB 00000405: SWAP1 00000406: SWAP2 00000407: AND 00000408: SWAP2 00000409: ADDRESS 0000040a: BALANCE 0000040b: DUP1 0000040c: ISZERO 0000040d: PUSH2 0x08fc 00000410: MUL 00000411: SWAP3 00000412: SWAP1 00000413: SWAP2 00000414: DUP2 00000415: DUP2 00000416: DUP2 00000417: DUP6 00000418: DUP9 00000419: DUP9 0000041a: CALL 0000041b: SWAP4 0000041c: POP 0000041d: POP 0000041e: POP 0000041f: POP 00000420: ISZERO 00000421: DUP1 00000422: ISZERO 00000423: PUSH2 0x0430 00000426: JUMPI 00000427: RETURNDATASIZE 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: RETURNDATACOPY 0000042c: RETURNDATASIZE 0000042d: PUSH1 0x00 0000042f: REVERT 00000430: JUMPDEST 00000431: POP 00000432: JUMP 00000433: JUMPDEST 00000434: PUSH1 0x00 00000436: SLOAD 00000437: PUSH1 0x01 00000439: PUSH1 0xa0 0000043b: PUSH1 0x02 0000043d: EXP 0000043e: SUB 0000043f: AND 00000440: DUP2 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH1 0x01 00000445: SLOAD 00000446: PUSH1 0x01 00000448: PUSH1 0xa0 0000044a: PUSH1 0x02 0000044c: EXP 0000044d: SUB 0000044e: AND 0000044f: CALLER 00000450: EQ 00000451: DUP1 00000452: PUSH2 0x0465 00000455: JUMPI 00000456: POP 00000457: PUSH1 0x00 00000459: SLOAD 0000045a: PUSH1 0x01 0000045c: PUSH1 0xa0 0000045e: PUSH1 0x02 00000460: EXP 00000461: SUB 00000462: AND 00000463: CALLER 00000464: EQ 00000465: JUMPDEST 00000466: ISZERO 00000467: ISZERO 00000468: PUSH2 0x0470 0000046b: JUMPI 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: REVERT 00000470: JUMPDEST 00000471: PUSH1 0x01 00000473: DUP1 00000474: SLOAD 00000475: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048a: NOT 0000048b: AND 0000048c: PUSH1 0x01 0000048e: PUSH1 0xa0 00000490: PUSH1 0x02 00000492: EXP 00000493: SUB 00000494: SWAP3 00000495: SWAP1 00000496: SWAP3 00000497: AND 00000498: SWAP2 00000499: SWAP1 0000049a: SWAP2 0000049b: OR 0000049c: SWAP1 0000049d: SSTORE 0000049e: JUMP 0000049f: JUMPDEST 000004a0: PUSH1 0x00 000004a2: SLOAD 000004a3: PUSH1 0x01 000004a5: PUSH1 0xa0 000004a7: PUSH1 0x02 000004a9: EXP 000004aa: SUB 000004ab: AND 000004ac: CALLER 000004ad: EQ 000004ae: PUSH2 0x04b6 000004b1: JUMPI 000004b2: PUSH1 0x00 000004b4: DUP1 000004b5: REVERT 000004b6: JUMPDEST 000004b7: PUSH1 0x00 000004b9: DUP1 000004ba: SLOAD 000004bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d0: NOT 000004d1: AND 000004d2: PUSH1 0x01 000004d4: PUSH1 0xa0 000004d6: PUSH1 0x02 000004d8: EXP 000004d9: SUB 000004da: SWAP3 000004db: SWAP1 000004dc: SWAP3 000004dd: AND 000004de: SWAP2 000004df: SWAP1 000004e0: SWAP2 000004e1: OR 000004e2: SWAP1 000004e3: SSTORE 000004e4: JUMP 000004e5: JUMPDEST 000004e6: PUSH1 0x01 000004e8: SLOAD 000004e9: PUSH1 0x01 000004eb: PUSH1 0xa0 000004ed: PUSH1 0x02 000004ef: EXP 000004f0: SUB 000004f1: AND 000004f2: DUP2 000004f3: JUMP 000004f4: STOP 000004f5: LOG1 000004f6: PUSH6 0x627a7a723058 000004fd: KECCAK256 000004fe: UNKNOWN(0xC7) 000004ff: UNKNOWN(0xC8) 00000500: PUSH5 0x801d9c870d 00000506: PUSH10 0xbc8cb86841e3775e61c4 00000511: PUSH22
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa1f885586018247f55e85d3db0854e60073cf2c0bd2cb3cbaf133a604197997a
call_targets:
0x9b7718a70da789dcd44c2fb11fbdc13684e72e2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa1f885586018247f55e85d3db0854e60073cf2c0bd2cb3cbaf133a604197997a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9b7718a70da789dcd44c2fb11fbdc13684e72e2b"
],
"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": "0x3ef13367",
"selector": "0x3ef13367",
"calldata_variants": [
"0x3ef13367",
"0x3ef133670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b9f96ea",
"selector": "0x6b9f96ea",
"calldata_variants": [
"0x6b9f96ea",
"0x6b9f96ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f84aa09",
"selector": "0x8f84aa09",
"calldata_variants": [
"0x8f84aa09",
"0x8f84aa090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96a4154e",
"selector": "0x96a4154e",
"calldata_variants": [
"0x96a4154e",
"0x96a4154e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfeb0a141",
"selector": "0xfeb0a141",
"calldata_variants": [
"0xfeb0a141",
"0xfeb0a1410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 153,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 596,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 759,
"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: 0xa1f885586018247f55e85d3db0854e60073cf2c0bd2cb3cbaf133a604197997a
call_targets:
0x9b7718a70da789dcd44c2fb11fbdc13684e72e2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa1f885586018247f55e85d3db0854e60073cf2c0bd2cb3cbaf133a604197997a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x9b7718a70da789dcd44c2fb11fbdc13684e72e2b"
],
"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": "0x3ef13367",
"selector": "0x3ef13367",
"calldata_variants": [
"0x3ef13367",
"0x3ef133670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6b9f96ea",
"selector": "0x6b9f96ea",
"calldata_variants": [
"0x6b9f96ea",
"0x6b9f96ea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f84aa09",
"selector": "0x8f84aa09",
"calldata_variants": [
"0x8f84aa09",
"0x8f84aa090000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96a4154e",
"selector": "0x96a4154e",
"calldata_variants": [
"0x96a4154e",
"0x96a4154e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfeb0a141",
"selector": "0xfeb0a141",
"calldata_variants": [
"0xfeb0a141",
"0xfeb0a1410000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 153,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 596,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 759,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|