Overview
System Model
SecLan Model
Hotfixer
Performs automatic crypto API misuse hotfixing at Java application runtime.
Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Cryptographic API Misuse Check
Checks if APIs are used correctly.