Skip to content

CROSSINGTUD/CryptoAnalysis-demo

Repository files navigation

Demo for the githaub Action of CryptoAnalysis - executed on CamBench

This repository is a demo on how to integrate the on githaub Action of CryptoAnalysis into a reposity. This demo is performed on CamBench as it provides labeled examples of cryptographic API misuses and correct usages in CamBench_Cap The github action is configured in cognicrypt.yml and executed in pull requests. More detailed results can be seen in the workflow's summary.

CamBench - Cryptographic API Misuse Detection Tool Benchmark

CamBench envisions to be a comprehensive benchmark for cryptographic API misuse detection tools consisting of three components:

  • CamBench_Real includes real-world Java applications with manually labeled usages.
  • CamBench_Cap includes synthetic test cases to cover analysis capabilities.
  • CamBench_Cov is a heuristic for crypto API coverage.

CamBench is accepted as a registered report at MSR 22 [^1]. If you are interested in the progress of CamBench, please watch the repository or reach out to us. If you want to contribute to CamBench, feel free to raise an issue or contact us.

Project structure

  • logos contains the CamBench logo
  • presentations contains the various slides we used to present CamBench

[^1] Schlichtig, M., Wickert, A. K., Krüger, S., Bodden, E., & Mezini, M. (2022). CamBench--Cryptographic API Misuse Detection Tool Benchmark Suite. arXiv preprint arXiv:2204.06447.

License

The artwork and logos of the projects are licensed under CC BY-SA 4.0.

About

Demo of the github Action of CryptoAnalysis (for the CamBench repository)

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages