Module Internal

Import path

import semmle.go.dataflow.SsaImpl

assignedThroughClosure	Holds if `v` is assigned outside its declaring function.
defAt	Holds if the `i`th node of `bb` defines `v`.
mayUpdateCapturedVariable	Holds if the `i`th node of basic block `bb` may induce a pseudo-definition for modeling updates to captured variable `v`.
useAt	Holds if the `i`th node of `bb` reads `v`.

SSA input.