GitHub repository: pulse227/zagane
Primary language: Go
Description: zagane is a static analysis tool which can find bugs in spanner's code