GSoC/GCI Archive
Google Summer of Code 2013 The Java Pathfinder Team

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.