shahrzad

Hi @fwendland, yes, I use only all the rules that I wrote. I wrote them based on the JCA ruleset of CrySL ([https://github.com/CROSSINGTUD/Crypto-API-Rules/tree/master/JavaCryptographicArchitecture/src](url)). For each class, there is a CrySL...

Hi @fwendland, were you able to check the MARK rules I made?

The name of this class in CrySL must be android.security.keystore.KeyGenParameterSpec.Builder. Without the Builder at the end. the set methods (e.g. setKeySize) throw an error (Couldn't resolve reference to JvmExecutable 'setKeySize'.)...

@AnakinSklavenwalker My guess is that it is the CryptoAnalysis, but it should be debugged to see how it proves the CONSTRAINTS.

#400

@AnakinSklavenwalker