CROSSINGTUD/Crypto-API-Rules
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
Issues
- 0
Missing SHA3 algorithms BC-JCA
#107 opened by svenfeld - 0
Missing key constraints KeyAgreement
#106 opened by svenfeld - 0
Wrong aggregate order MAC
#105 opened by svenfeld - 0
- 0
- 1
Bouncy Castle AES specifications are incomplete
#84 opened by rakshitkr - 0
No constraints on ECGenParameterSpec
#96 opened by svenfeld - 0
Incorrect algorithm for AlgorithmParameters
#93 opened by akwick - 0
Cipher rule misses updateAAD events
#9 opened by johspaeth - 0
Bouncy Castle EC specifications are incomplete
#83 opened by rakshitkr - 2
- 1
Possible typo in SecretKeyFactory default rule
#50 opened by enriozuni - 0
KeyStore should support android
#72 opened by AnakinRaW - 1
- 5
Model BouncyCastle (Lightweight API)
#22 opened by kruegers - 10
- 0
- 0
Model BouncyCastle (as JCA Provider)
#21 opened by kruegers - 0
Deprecated support for TLSv1.1 protocol
#51 opened by enriozuni - 0
- 1
Model JCA providers individually
#42 opened by kruegers - 2
API usage rule for String
#1 opened by ericbodden - 4
Some insecure configurations listed in rule
#13 opened by johspaeth - 0
Small fixes to MessageDigest CrySL rule
#32 opened by enriozuni - 1
Model Tink
#23 opened by kruegers - 11
- 1
Rule for cipher should allow multiple `init` calls
#17 opened by kmindi - 0
Write CrySL rules for DigestInputStream, DigestOutputStream, CipherInputStream, CipherOutputStream
#18 opened by enriozuni - 2
Check BigInteger arguments to constructor of DSAParameterSpec, DHParameterSpec
#14 opened by johspaeth - 1
Finite State Machine for KeyStore is wrong
#7 opened by johspaeth - 0
- 0
- 0
Wrong argument to doFinal call
#12 opened by johspaeth - 0
- 0
Rule for String is unclear
#16 opened by johspaeth - 1
- 0
- 0
Model correct PBEKeySpec usage
#3 opened by kruegers - 0
Model AlgorithmParameterSpec classes
#2 opened by kruegers