static analysis

To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild
Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini
Talk: Go Flow Safe: Ensure Data Flow of your App with Taint Analyses@ GopherCon Europe
Jul 31, 2022 — Berlin
Anna-Katharina Wickert
Talk: Go Flow Safe: Ensure Data Flow of your App with Taint Analyses@ GopherCon Europe
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