static analysis

CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite
Python Crypto Misuses in the Wild
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild
Don't let data Go astray - A Context-sensitive Taint Analysis for Concurrent Programs in Go
Information Flow Analysis for Go