CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)

Stefan Krüger, Johannes Späth, Karim Ali 0001, Eric Bodden, Mira Mezini. CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). DARTS, 4(3), 2018. [doi]

Abstract

Abstract is missing.