GitHub repository: Anemone95/joana
Description: Joana - Information Flow Control for Java