GitHub repository: seiferma/joana
Primary language: Java
Description: Joana - Information Flow Control for Java