reaches
Trace value flow from a source to a sink within code, resolving whether data reaches its destination. Returns the labeled witness path or a negative answer.
Instructions
Does src reach sink through value flow? Returns the labeled witness path or a negative answer. src/sink may be node ids or names.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| src | Yes | ||
| sink | Yes | ||
| format | No | text (compact, default) | json (structured result page) |