GitHub repository: smeyer198/CryptoAnalysis
Description: CogniCrypt_SAST: CrySL-to-Static Analysis Compiler