ErrorProne
Augments the compiler’s type analysis.
Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Access to a private protocol buffer field is forbidden. This protocol buffer carries a security contract, and can only be created using an approved library. Direct access to the fields is forbidden.
A standard cryptographic operation is used in a mode that is prone to vulnerabilities.