23 citations · 38 across the 6 of their papers we have counts for
15 papers
CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite
Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger +2
Context: Cryptographic APIs are often misused in real-world applications. Therefore, many cryptographic API misuse detection tools have been introduced. However, there exists no es…
Python Crypto Misuses in the Wild
Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder +1
Background: Previous studies have shown that up to 99.59 % of the Java apps using crypto APIs misuse the API at least once. However, these studies have been conducted on Java and C…
Fex: Assisted Identification of Domain Features from C Programs
Patrick Müller, Krishna Narasimhan, Mira Mezini
Modern software typically performs more than one functionality. These functionalities or features are not always organized in a way for modules representing these features to be us…
Dealing with Variability in API Misuse Specification
Rodrigo Bonifacio, Stefan Krüger, Krishna Narasimhan +2
APIs are the primary mechanism for developers to gain access to externally defined services and tools. However, previous research has revealed API misuses that violate the contract…
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild
Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert +1
The Go programming language aims to provide memory and thread safety through measures such as automated memory management with garbage collection and a strict type system. However,…
Modular Collaborative Program Analysis in OPAL
Dominik Helm, Florian Kübler, Michael Reif +2
Current approaches combining multiple static analyses deriving different, independent properties focus either on modularity or performance. Whereas declarative approaches facilitat…