This package constructs a simple control-flow graph (CFG) of the statements and expressions within a single function.

Package whitelist defines exceptions for the vet tool.