static analysis

CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite
Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite
Python Crypto Misuses in the Wild
Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild
Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini
Don't let data Go astray - A Context-sensitive Taint Analysis for Concurrent Programs in Go
Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert, Eric Bodden, Michael Eichberg
Information Flow Analysis for Go
Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert