1. Cryptoanalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
2. Crypto-API-Rules
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
3. SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework
1-3 of 3 user projects