License:
Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.6
URN: urn:nbn:de:0030-drops-92371
URL: https://drops.dagstuhl.de/opus/volltexte/2018/9237/
Krüger, Stefan ;
Späth, Johannes ;
Ali, Karim ;
Bodden, Eric ;
Mezini, Mira
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)
pdf-format:
|
|
artifact-format:
|
|
Abstract
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.
BibTeX - Entry
@Article{krger_et_al:DARTS:2018:9237,
author = {Stefan Kr{\"u}ger and Johannes Sp{\"a}th and Karim Ali and Eric Bodden and Mira Mezini},
title = {{CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)}},
pages = {6:1--6:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9237},
doi = {10.4230/DARTS.4.3.6},
annote = {Keywords: cryptography, domain-specific language, static analysis}
}