GitHub repository: ph342/InfoFlow
Primary language: Java
Description: Thesis work: Static Information Flow Analysis