Function updateNewVC

worklist/wlHelper.go:416–445 · view source on GitHub ↗

(vc *ValueContext, ps []ssa.Value, c *ContextCallSite, callee *ssa.Function, call ssa.Instruction)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

flowFunction · 0.85

NewTransitionFunction · 0.85

matchRetStatementsFunction · 0.85

ExitValueMethod · 0.80

MethodMethod · 0.80

SetOutMethod · 0.80

vcKnownMethod · 0.65

LeastUpperBoundMethod · 0.65

ContextMethod · 0.45

GetOutMethod · 0.45

no test coverage detected