71 citations · 289 across the 25 of their papers we have counts for
3 papers · 1 filter
A Systematic Evaluation of Static API-Misuse Detectors
Sven Amann, Hoan Anh Nguyen, Sarah Nadi +2
Application Programming Interfaces (APIs) often have usage constraints, such as restrictions on call order or call conditions. API misuses, i.e., violations of these constraints, m…
CrySL: Validating Correct Usage of Cryptographic APIs
Stefan Krüger, Johannes Späth, Karim Ali +2
Various studies have empirically shown that the majority of Java and Android apps misuse cryptographic libraries, causing devastating breaches of data security. Therefore, it is cr…
A Co-contextual Type Checker for Featherweight Java (incl. Proofs)
Edlira Kuci, Sebastian Erdweg, Oliver Bračevac +2
This paper addresses compositional and incremental type checking for object-oriented programming languages. Recent work achieved incremental type checking for structurally typed fu…