CryptoTutor

Automatically flag common cryptographic misuses and suggest possible repairs for teaching purposes.

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