CryptoGuard

A set of detection algorithms that refine program slices by identifying language-specific irrelevant elements.

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