points_to
Resolve the heap objects a pointer may reference, returning alias targets with path evidence and unknowns for precise pointer alias follow-up.
Instructions
Read-only. Return the heap objects a value may point to through POINTS_TO edges — the alias set behind a pointer. Use it for pointer/alias follow-up, not for callers (callers) or value-flow (flow/reaches). Returns the pointed-to objects with path evidence plus explicit unknowns; a missing edge is over-approximation-safe, not proof the pointer is null.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| value | Yes | value name or graph node id | |
| format | No | text (compact, default) | json (structured result page) |