Module call_visit 

Call-terminator visiting logic.

When the backward visitor encounters a call terminator, it delegates to this module, which consults the interprocedural dependency summaries to decide which arguments flow through to the destination and whether the call may modify relevant state.

Functions

call_context_from_args 🔒

Build a concrete CallContext from the call’s literal arguments so the backward slicer prunes callee paths the same way the forward VM does. Only constant integer arguments are carried; symbolic arguments are absent.

visit 🔒

Visit a call terminator using an interprocedural dependency summary.