MCPcopy Create free account
hub / github.com/akwick/gotcha / handleReturn

Function handleReturn

worklist/wlHelper.go:466–475  ·  view source on GitHub ↗

handleReturn updates the exit lattice of the contextes and adds the contexts to the worklist which has a transfer to the node.

(c *ContextCallSite)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

checkAndHandleReturnFunction · 0.85

Calls 6

getTransToXFunction · 0.85
NewExitValueMethod · 0.80
AddMethod · 0.80
StringMethod · 0.65
ContextMethod · 0.45
GetOutMethod · 0.45

Tested by

no test coverage detected