Parfait Static program analysis for bug and security vulnerability checking of systems code Primary Research Category: System Software   For more information Principal Investigator: Cristina Cifuentes   Parfait Project Pages Project Overview The Parfait project looks into the design and development of a framework for bug and security vulnerability checking. We focus on analysis of code written in the C language. We are interested in applications of this work to systems code such as Solaris, Java core libraries, compilers, and more. The framework can be configured to find quality bugs as well as security bugs. Our real webpage is this one. Technical Reports User-Input Dependence Analysis via Graph Reachability By: Bernard Scholz, Chenyi Zhang and Cristina Cifuentes Report Number: TR-2008-171 Mar 31, 2008 News A Parfait Overview Sun Microsystems The Parfait UI Sun Microsystems Team Members Cristina Cifuentes Nathan Hawes Nathan Keynes Lian Li Michele Pocknee