CogniCrypt is an Eclipse Plugin that supports software developers to use cryptographic libraries securely. CogniCrypt ships in two main feature: A code generation and a static code analysis continously checking modification in the code.
For more details, please visit the project website at
Johannes Späth is involved in the static code analysis part of CogniCrypt. The static code analysis is configured by rules written in a domain-sepcific languauge, called CrySL. The CrySL rules are automatically compiled into a static code analysis that relies on Boomerang and $IDE^{al}$.
The static analysis of CogniCrypt is developed independently of Eclipse and can be executed on any Java byte code and Android APK files.
For more details, please visit the GitHub repositories
https://github.com/CROSSINGTUD/CryptoAnalysis https://github.com/CROSSINGTUD/CryptoAnalysis-Android
