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