/CryptSL

Primary LanguageJavaEclipse Public License 2.0EPL-2.0

CryptSL

CrySL is a domain-specific language that allows to specify the correct usage of cryptographic APIs.

More information can be found under the following link.