static analysis

To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild
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