CryptoLint

Identifies flows between cryptographic keys, initialization vectors, and similar cryptographic material and the cryptographic operations themselves.

Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Checks if APIs are used correctly.