list_unresolved
Identify Solidity call sites static analysis cannot resolve, show which entry points reach each one, and list interfaces that can be bound to concrete implementations.
Instructions
List every call site static analysis cannot follow (unbound interface calls, low-level .call/.delegatecall, Yul dynamic dispatch, abstract with no impl), which entry points hit each one, and interfaces that could be bound to a concrete implementation via set_interface_bindings (with candidates).
Args:
repo_path: Project root.
contract: Only flows whose entry point is on this contract.
max_chars: Output size cap.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"repo_path": "<repo_path>"
},
"name": "list_unresolved"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| contract | No | ||
| max_chars | No | ||
| repo_path | Yes |