The tool will now warn when Go features that are a threat to soundness are use in a function being analyzed by the dataflow analyses (see #95 ):
This is in addition to the existing warnings about possibly unbound defer stacks and data flowing through Go calls.
This feature is meant to help users understand what may threaten soundness, but we won't give guarantees about "a warning will be produced iff the analyzer encounters a feature that is a threat to soundness".
The tool will now warn when Go features that are a threat to soundness are use in a function being analyzed by the dataflow analyses (see #95 ):
This is in addition to the existing warnings about possibly unbound defer stacks and data flowing through Go calls. This feature is meant to help users understand what may threaten soundness, but we won't give guarantees about "a warning will be produced iff the analyzer encounters a feature that is a threat to soundness".