hub / github.com/aclements/go-misc / walkFunction

Method walkFunction

rtcheck/main.go:1325–1452 · view source on GitHub ↗

walkFunction explores f, starting at the given path state. It returns the set of path states possible on exit from f. ps should have block and mask set to nil, and ps.vs may contain heap values and parameter/free variable values for this function. ps.vs should not contain anything else. Path state

(f *ssa.Function, ps PathState)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 3

mainFunction · 0.95

walkBlockMethod · 0.95

handleRuntimeMorestackFunction · 0.80

Calls 13

warnlMethod · 0.95

AddMethod · 0.95

walkBlockMethod · 0.95

livenessForFunction · 0.85

NewPathStateMapFunction · 0.85

NewPathStateSetFunction · 0.85

PushMethod · 0.80

PopMethod · 0.80

AppendfMethod · 0.80

StringMethod · 0.65

WriteToMethod · 0.45

GetMethod · 0.45

Tested by

no test coverage detected