Type system to detect accidental logging and inappropriate use of critical data in Java applications. - View it on GitHub