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 thecorrect 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}
}
| Keywords: | cryptography, domain-specific language, static analysis | |
| Seminar: | DARTS, Volume 4, Issue 3 | |
| Related Scholarly Article: | https://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.10 | |
| Issue date: | 2018 | |
| Date of publication: | 05.07.2018 |
