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