GitHub repository: CROSSINGTUD/CryptoAnalysis
Primary language: Java
Description: CogniCrypt_SAST: CrySL-to-Static Analysis Compiler