CogniCrypt

CogniCrypt is an API analysis framework for Java.

Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Checks if the APIs of cryptographic functions provided by libraries are used securely. Concrete rules written in a domain-specific language specify the correct use of an application programming interface (API) of a cryptographic library.