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: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9237/
Go back to Dagstuhl Artifacts Series

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:
DARTS-4-3-6.pdf (0.4 MB)

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}
}

Keywords: cryptography, domain-specific language, static analysis
Collection: 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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI