Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
Securing Your Crypto-API Usage Through Tool Support - A Usability Study
Algebraic Replicated Data Types: Programming Secure Local-First Software date
UNGOML: Automated Classification of unsafe Usages in Go
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild
A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits
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
A Dataset of Parametric Cryptographic Misuses
Information Flow Analysis for Go