A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API. - View it on GitHub