Data Set of Publication on Detecting Encryption Vulnerabilities By Coupling Architectural Analyses and Source Code Analyses

This data set contains the evaluation data and a prototypical implementation of the coupling approach of our publication on "Detecting Encryption Vulnerabilities By Coupling Architectural Analyses and Source Code Analyses". The data set contains the applied input models for the architectural analysis and the source code for the source code analysis used in the evaluation. In addition, it comprises the prototypical implementation supporting the source code analyses Snyk, Semgrep and FindSecBugs. Please see the README.MD in the dataset.zip for more information.