Vgo – verifiable go (vgo.readthedocs.org)

Interesting, but it looks like it doesn't detect threading errors (concurrent access)?

They should name something in their toolchain 'Mortensen'.