query_reachability
Query the call graph to check if one function can reach another, returning reachability status, method used, and path when reachable via BFS.
Instructions
Query reachability between two functions in a project's call graph. Uses Kameda O(1) index for planar subgraphs with BFS fallback for non-planar edges. Returns whether the source can reach the target, the method used, and the path if reachable via BFS.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| source_function | Yes | ||
| target_function | Yes | ||
| workingDirectory | Yes |