zagane is a static analysis tool which can find bugs in spanner's code - View it on GitHub