@CryptographicSink()
Crypto Annotations (dw::Crypto)
Parameters annotated with @CryptographicSink are subject to taint analysis during
type checking. When a literal algorithm value is passed to a parameter marked with
this annotation, the type checker validates whether the algorithm is permitted.
If the algorithm matches a forbidden or insecure algorithm (such as MD5 or SHA-1 in
FIPS-compliant environments), a compilation error is raised.
This annotation can only be applied to function parameters.



