2026-07-20T07:15:04Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9237 2024-03-06T11:05:04Z ddc:004 open_access

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact) Krüger, Stefan Späth, Johannes Ali, Karim Bodden, Eric Mezini, Mira cryptography domain-specific language static analysis In this artefact, we present CrySL, an extensible approach to validating the correct usage of cryptographic APIs. The artefact contains executables for CogniCrypt_{SAST}, the analysis CrySL-based analysis, along with the CrySL rules we used in in the original paper's experiments. We also provide scripts to re-run the experiments. We finally include a tutorial to showcase the CogniCrypt_{SAST} on a small Java target program. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Stefan Krüger and Johannes Späth and Karim Ali and Eric Bodden and Mira Mezini 2018 Is Part Of DARTS, Volume 4, Issue 3, Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.4.3.6 urn:nbn:de:0030-drops-92371 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.6 eng https://creativecommons.org/licenses/by/3.0/de/legalcode