Secure Information Flow by Symbolic PathFinder

by Quoc-Sang Phan for The Java Pathfinder Team

This project is a continuation from last year, which aims to quantify leakage of confidential information in Java programs. This project focuses on analysing programs with unbounded loops.