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

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. IEEE Trans. Software Eng., 47(11):2382-2400, 2021. [doi]

Abstract

Abstract is missing.